An Integrated Approach for Software Safety Analysis

Slides:



Advertisements
Similar presentations
99/11/12. When to use it Fig. 1. Fault Tree Analysis in problem solving.
Advertisements

State Charts Mehran Najafi. Reactive Systems A reactive, event-driven, object is one whose behavior is best characterized by its response to events dispatched.
From Model-based to Model-driven Design of User Interfaces.
Karolina Muszyńska Based on: S. Wrycza, B. Marcinkowski, K. Wyrzykowski „Język UML 2.0 w modelowaniu SI”
1 Fault-Tolerant Computing Systems #6 Network Reliability Pattara Leelaprute Computer Engineering Department Kasetsart University
1 Chapter 4 Dynamic Modeling and Analysis (Part I) Object-Oriented Technology From Diagram to Code with Visual Paradigm for UML Curtis H.K. Tsang, Clarence.
Slide 1 Systems Analysis & Design CS183 Spring Semester Dr. Jonathan Y. Clark Course Website:
© 2005 Prentice Hall12-1 Stumpf and Teague Object-Oriented Systems Analysis and Design with UML.
Data Analysis (and User Interaction) GEOG 463 5/7/04.
7. 2Object-Oriented Analysis and Design with the Unified Process Objectives  Detailed Object-Oriented Requirements Definitions  System Processes—A Use.
Practical Object-Oriented Design with UML 2e Slide 1/1 ©The McGraw-Hill Companies, 2004 PRACTICAL OBJECT-ORIENTED DESIGN WITH UML 2e Chapter 10: Statecharts.
State and Sequence Diagrams Modelling dynamic information So far we have seen: Use Case Diagrams – requirements capture, interface.
Chapter 10 State Machine Diagrams
BPMN By Hosein Bitaraf Software Engineering. Business Process Model and Notation (BPMN) is a graphical representation for specifying business processes.
1 Object-Oriented Modeling Using UML (2) CS 3331 Fall 2009.
NJIT Modeling Behavior in State Chart Diagrams Chapter 29 Rafael Mello.
ACS 560 – SOFTWARE ENGINEERING Course Accomplishment Summary Shilpashree K.S Fall 2010 Purdue University – Fort Wayne Instructor – Dr. John Tanik.
Guide to State Transition Diagram. 2 Contents  What is state transition diagram?  When is state transition diagram used?  What are state transition.
 2000 Deitel & Associates, Inc. All rights reserved. Optional Case Study - Chapter 3 Outline 3.1 Introduction 3.2 Class Attributes 3.3 Statechart Diagrams.
Object-Oriented Modeling Using UML CS 3331 Section 2.3 of Jia 2003.
FAULT TREE ANALYSIS (FTA). QUANTITATIVE RISK ANALYSIS Some of the commonly used quantitative risk assessment methods are; 1.Fault tree analysis (FTA)
ניתוח מערכות מידע 1 Unified Modeling Language (UML) § § The Unified Modeling Language (UML) is the industry-standard language for: Specifying, Visualizing,
7 Systems Analysis and Design in a Changing World, Fifth Edition.
Chapter 11 Activity Diagrams. 2 “Activity diagrams are a technique to describe procedural logic, business processes, and work flows” - M. Fowler An activity.
Object Oriented Analysis & Design & UML (Unified Modeling Language)1 Part VI: Design Continuous Activity Diagams State Diagrams.
OMT Modeling 1. Object Model : presented by the object model and the data dictionary. 2. Dynamic Model: presented by the state diagrams and event flow.
Systems Analysis and Design in a Changing World, Fourth Edition
States.
State Chart diagram Week objective Describe State chart Diagrams in Dynamic Modelling 2.
Conquering Complex and Changing Systems Object-Oriented Software Engineering Chapter 5, Analysis: Dynamic Modeling.
1 NASA OSMA SAS02 Software Fault Tree Analysis Dolores R. Wallace SRS Information Services Software Assurance Technology Center
RLV Reliability Analysis Guidelines Terry Hardy AST-300/Systems Engineering and Training Division October 26, 2004.
Practical Object-Oriented Design with UML 2e Slide 1/1 ©The McGraw-Hill Companies, 2004 PRACTICAL OBJECT-ORIENTED DESIGN WITH UML 2e Chapter 10: Statecharts.
Introduction to GO-FLOW Method and Comparison to RGGG Method Lab Seminar Dec. 13th, 2010 Seung Ki Shin.
LOGO Combining Fault Trees and Event Trees Seung Ki, Shin.
CompSci 280 S Introduction to Software Development
NASA OSMA SAS '02 Software Fault Tree Analysis Dolores R. Wallace SRS Information Services Software Assurance Technology Center
Systems Analysis and Design in a Changing World, Fourth Edition
Software Design Refinement Using Design Patterns
CHAPTER
Jim Fawcett CSE681 – Software Modeling and Analysis Fall 2017
The Movement To Objects
Main issues: • What do we want to build • How do we write this down
BTS430 Systems Analysis and Design using UML
Dynamic Modeling of Banking System Case Study - I
Unified Modeling Language
Dynamic Modeling of Banking System Case Study - II
Visit for more Learning Resources
Online Shopping APP.
UML dynamic Modeling (Behavior Diagram)
Introduction to Software Engineering
Composite Pattern Oct 7, 2003 A composite is a group of objects in which some objects contain others; one object may represent groups, and another.
Princess Nourah bint Abdulrahman University
UML Activity Diagrams & State Charts
States.
Object Oriented System Design
How do we convince people that in programming simplicity and clarity —in short: what mathematicians call "elegance"— are not a dispensable luxury, but.
CS310 Software Engineering Dr.Doaa Sami
Dynamic Modeling Lecture # 37.
State-Transition Diagrams
States.
Software Engineering System Modeling Chapter 5 (Part 1) Dr.Doaa Sami
Software design and architecture
Stumpf and Teague Object-Oriented Systems Analysis and Design with UML
Sample Test Questions Please identify the use cases of the system that cover all the behaviors described in the system specification. Please identify.
Information Systems Engineering
Modeling Behavior in Statechart Diagrams
Ch. 28 Larman UML & Patterns
CS 491z / CS 791z Topics on Software Engineering
State-Transition Diagrams
Presentation transcript:

An Integrated Approach for Software Safety Analysis FAYOKEMI OJO TANGEE BEVERLY

Introduction Software safety analysis is not based on an integrated model to be both functional and safety. In result, it does not give an analysis of all possible failures. The objective of this research is to integrate safety analysis methods with functional requirements to reduce failures in performing the two independently. We are suppose to use the Fault Tree Analysis(FTA), which is used as a way to analyze causes of hazards, and create the UML statechart diagram. The UML statechart diagram is the standard for representing the functional specifications of a software system.

Research Goals Gather knowledge on State chart and Fault Tree. Find a case study Create a Fault Tree Create a State chart diagram

Fault Tree Analysis (FTA) FTA is used for reliability and safety security. The purpose for FTA is to determine possible combinations of causes which can lead to certain undesirable event(s). Task of a FTA The generation of a graphic/logical tree structure to understand the connections Identify any possible failure causes and their combinations Calculation of the probability of the undesirable event.

Fault Tree Block Types AND All input events TRUE OR At least one input event TRUE PRIORITY AND The output event occurs if all input events occur in a specific sequence NOT The output event occurs if the input event does not occur. INHIBIT The output event occurs if all input events occur and an additional conditional event occurs

State chart Diagram Statechart diagrams are also known as a statechart and state machine. Illustration of the states in the Unified Modeling Language(UML). It show how objects interact to meet some system requirements A statechart composed of states, events and transitions. Statechart diagrams used for forward and reverse engineering of a system. Statechart diagram describes the flow of control from one state to another state.

Statechart keywords Initial State States Events Transitions It represents the source of all objects. States Is a condition of an object in which it performs some activity or waits for an event. Events Trigger a state transition. Transitions The movement from one state to another state. Final state It is the end of an object’s existence

Purpose of a Statechart To model the dynamic nature of a system. They define different states of an object during its lifetime and these states are changed by events To model the life time of a reactive system. Reactive systems are defined as a system that responds to external or internal events. To describe different states of an object during its life time. From creation to termination Define a state machine to model the states of an object.

Design of a Statechart Diagram Before drawing a Statechart diagram we need to do the following points Identify the objects to be analyzed Identify the states Identify the events

Continued First state is an idle from where the process start. The next states are arrived for events like send request, confirm request, and dispatch order. Abnormal exit occur due to a problem in the system.

Case Study: Stair Climbing Wheelchair

Fault Tree Model

UML State Machine

Final Statechart

Challenges Communication Time Constraints Gathering Information

Future Research Find better ways to integrate functional requirements and safety faults Apply this method to larger, more complex systems

Conclusion We found ways to integrate some of the events in the fault tree diagram into the state machine.

Acknowledgement We would like to give thanks to Dr. Eric Wong for providing this opportunity to conduct research and NSF for funding the research project.

References Ariss, Omar El, Dianxiang Xu, and W. Eric Wong. "Integrating Safety Analysis With Functional Modeling." IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans 41.4 (2011): 610-24. Web. Ciobotaru, Matei. “The Fault Tree Tutorial.” N.p., n.d. Web. 18 July 2017. "Design Patterns and Refactoring." SourceMaking. N.p., n.d. Web. 19 July 2017. Flaus, Jean-Marie. "Fault Tree Analysis." Risk Analysis (2013): 229-51. Web. Guidelines: Statechart Diagram. N.p., n.d. Web. 19 July 2017. M, Mohtashim. "UML - Statechart Diagrams." Www.tutorialspoint.com. N.p., n.d. Web. 18 July 2017. Rouse, Margaret. "What is state diagram (state machine diagram or statechart diagram)? - Definition from WhatIs.com." SearchMicroservices. N.p., n.d. Web. 18 July 2017. "State Machine Diagram Tutorial." Lucidchart. N.p., 05 June 2017. Web. 18 July 2017.

Questions?