Critical systems design

Slides:



Advertisements
Similar presentations
Integra Consult A/S Safety Assessment. Integra Consult A/S SAFETY ASSESSMENT Objective Objective –Demonstrate that an acceptable level of safety will.
Advertisements

Software Quality Assurance (SQA). Recap SQA goal, attributes and metrics SQA plan Formal Technical Review (FTR) Statistical SQA – Six Sigma – Identifying.
5 december 2011 Living Probabilistic Asset Management Dr.ir. J.A. van den Bogaard.
Risk Analysis for Testing Based on Chapter 9 of Text Based on the article “ A Test Manager’s Guide to Risks Analysis and Management” by Rex Black published.
SWE Introduction to Software Engineering
1 Software Testing and Quality Assurance Lecture 38 – Software Quality Assurance.
CSE 322: Software Reliability Engineering Topics covered: Dependability concepts Dependability models.
©Ian Sommerville 2006Software Engineering, 8th edition. Chapter 30 Slide 1 Security Engineering.
©Ian Sommerville 2006Critical Systems Slide 1 Critical Systems Engineering l Processes and techniques for developing critical systems.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 2 Slide 1 Systems engineering 1.
Romaric GUILLERM Hamid DEMMOU LAAS-CNRS Nabil SADOU SUPELEC/IETR ESM'2009, October 26-28, 2009, Holiday Inn Leicester, Leicester, United Kingdom.
Software Dependability CIS 376 Bruce R. Maxim UM-Dearborn.
Romaric GUILLERM Hamid DEMMOU LAAS-CNRS Nabil SADOU SUPELEC/IETR.
4. Dynamic reliability models Objectives Be able to find reliability of series, parallel, stand-by and shared load parallel systems, when the reliabilities.
1 Chapter 2 Socio-technical Systems (Computer-based System Engineering)
Risk Management - the process of identifying and controlling hazards to protect the force.  It’s five steps represent a logical thought process from.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 9 Slide 1 Critical Systems Specification 2.
CSE 403 Lecture 14 Safety and Security Requirements.
University of Sunderland CIFM03Lecture 4 1 Software Measurement and Reliability CIFM03 Lecture 4.
1 Chapter 3 Critical Systems. 2 Objectives To explain what is meant by a critical system where system failure can have severe human or economic consequence.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 3 Slide 1 Critical Systems 1.
Socio-technical Systems (Computer-based System Engineering)
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 20 Slide 1 Critical systems development 3.
On the Definition of Survivability J. C. Knight and K. J. Sullivan, Department of Computer Science, University of Virginia, December 2000.
Nonbehavioral Specifications Non-behavioral Characteristics Portability Portability Reliability Reliability Efficiency Efficiency Human Engineering.
1 Fault-Tolerant Computing Systems #1 Introduction Pattara Leelaprute Computer Engineering Department Kasetsart University
CS, AUHenrik Bærbak Christensen1 Critical Systems Sommerville 7th Ed Chapter 3.
Slide 1 Security Engineering. Slide 2 Objectives l To introduce issues that must be considered in the specification and design of secure software l To.
It is the fuel of modern life Business are run Government rule Scientists Industries Education However, building and maintaining software is hard and getting.
©Ian Sommerville 2000Dependability Slide 1 Chapter 16 Dependability.
©Ian Sommerville 2006Software Engineering, 8th edition. Chapter 3 Slide 1 Critical Systems.
SENG521 (Fall SENG 521 Software Reliability & Testing Fault Tolerant Software Systems: Techniques (Part 4a) Department of Electrical.
1 Software Testing and Quality Assurance Lecture 38 – Software Quality Assurance.
1 Introduction to Engineering Spring 2007 Lecture 16: Reliability & Probability.
Software Engineering — Software Life Cycle Processes — Maintenance
Software Metrics and Reliability
Introduction Edited by Enas Naffar using the following textbooks: - A concise introduction to Software Engineering - Software Engineering for students-
Hardware & Software Reliability
Software Project Management
Critical Systems.
Security Engineering.
Auditing Application Controls
Introduction Edited by Enas Naffar using the following textbooks: - A concise introduction to Software Engineering - Software Engineering for students-
Critical Systems.
IS301 – Software Engineering V:
Charakteristiky kvality
Thursday’s Lecture Chemistry Building Musspratt Lecture Theatre,
What is software quality?
Fault Tolerance Distributed Web-based Systems
Software Architecture Lecture 20
Critical Systems.
What is software quality?
Lecture 06:Software Maintenance
Software Engineering for Safety: a Roadmap
Definitions Cumulative time to failure (T): Mean life:
Critical Systems.
Presentation transcript:

Critical systems design Atliko: Nerijus Jusas

Three types of critical system Safety-critical systems.   Mission-critical systems. Business-critical systems.

General guidance for developing critical system Avoid complexity in the design. Use deterministic design techniques. Separate critical from non-critical portions of the system.

Dependability

Other dimensions of dependability Repairability: reflects the extent to which the system can be repaired in the event of a failure; Maintainability: reflects the extent to which the system can be adapted to new : reflects the extent to which the system can be adapted to new requirements; Error tolerance: reflects the extent to which user input errors can be avoided and tolerated;

Cost of dependability

Reliability Failure function, is a probability that the system will survive beyond a specified time t. Failure rate (λ(t)) expresses the number of failures in a given time period.

Failure rate

Fault – system failure concept Design reliability Fault – system failure concept

Design reliability (2) The first step in a safety analysis process is to determine and identify the hazards of the system and to evaluate their severity and probability/likelihood, which expresses risk: If the total hazard resulting from system operation consists of n disjunctive hazards then total risk of the system can be calculated:

Fault – error – failure chain Redundancy Because electronics can fail suddenly and without warning, redundant and fault-tolerant systems are traditionally used for safety-critical functions, such as in aerospace. Fault – error – failure chain

Redundancy in computer system There are two types of redundancy in critical computer systems: Active (‘hot’) Passive (‘cold’)

N-modular redundancy

Critical systems software Reliability of software can be hard to determine; Software does not wear out or break down; It may have a large number of states that cannot be fully tested;

Characteristic of critical software developing Degree of Control: The degree of control that the software exercises over safety-critical functions in the system. Complexity: The complexity of the software system. Greater complexity increases the chances of errors. Timing criticality: The timing criticality of hazardous control actions.

Five rules for creating critical software 1. Communicate; 2. Have and follow good software engineering practices and procedures; 3. Perform safety and development analyses; 4. Incorporate appropriate software development methodologies, techniques &design features; 5. Caveat emptor;

Communication in software developing

V-Model

Conclusion A critical system is a system where failure can lead to high economic loss, physical damage or threats to life; The dependability in a system reflects the user’s trust in that system; Reliability and availability are generally seen as necessary but not sufficient conditions for safety; The more and more software are used in critical system, so it must be designed and created as goo as possible;

Questions Types of critical systems ? What is demonstrated by fault function ? What type of redundancy are used in computer system ? What characteristics of critical software developing ? Five rules for creating critical software ?