Safety Critical Systems ITV Model-based Analysis and Design of Embedded Software Techniques and methods for Critical Software Anders P. Ravn Aalborg University.

Slides:

Advertisements

Similar presentations

Safety Update This presentation covers Machinery Directive 2006/42/EC

Advertisements

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

IEC61508 at ISIS Bob Mannix (Controls Group) Alan Stevens (Accelerator Operations Group)

Integrated Risk Management and Risk Communications David DeGagne, Executive Director Centre for Risk Management Tel: Fax: Web:

Define & Compare Flowcharts of Each Method Tom Delong.

Dependability ITV Model-based Analysis and Design of Embedded Software Techniques and methods for Critical Software Anders P. Ravn Aalborg University August.

1 SEA’99 Conference Verification & Validation of Safety Critical Software Verification & Validation of Safety Critical Software Dr Peter Lindsay Assistant.

1 Certification Chapter 14, Storey. 2 Topics  What is certification?  Various forms of certification  The process of system certification (the planning.

DIRC Workshop on Software Quality and the legal system 13 February 2004 Functional safety of electrical, electronic and programmable electronic safety-related.

1 Software Testing and Quality Assurance Lecture 38 – Software Quality Assurance.

Process ITV Model-based Analysis and Design of Embedded Software Techniques and methods for Critical Software Anders P. Ravn Aalborg University August.

Mini Project ITV Model-based Analysis and Design of Embedded Software Techniques and methods for Critical Software Anders P. Ravn Aalborg University August.

Documentation ITV Model-based Analysis and Design of Embedded Software Techniques and methods for Critical Software Anders P. Ravn Aalborg University August.

1 Risk evaluation Risk treatment. 2 Risk Management Process Risk Management Process.

Introduction ITV Model-based Analysis and Design of Embedded Software Techniques and methods for Critical Software Anders P. Ravn Aalborg University August.

Safety Assessment (Fault Trees) ITV Model-based Analysis and Design of Embedded Software Techniques and methods for Critical Software Anders P. Ravn Aalborg.

Operational Risk Management for Airport Emergency Planning

Tony Gould Quality Risk Management. 2 | PQ Workshop, Abu Dhabi | October 2010 Introduction Risk management is not new – we do it informally all the time.

Hazards Analysis & Risks Assessment By Sebastien A. Daleyden Vincent M. Goussen.

Testing safety-critical software systems

Systems Engineering Approach to MPS Risk Management Kelly Mahoney Presented at the Workshop for Machine Protection in Linear Accelerators.

Software Considerations in Airborne Systems

OHS Risk Management - Overview Risk management is a system that allows workplaces to identify OHS issues and to methodically control them by the best means.

Industrial Automation

Hazard Identification

Risk Analysis for Engineering Design J. M. McCarthy Fall 2003 Definitions Hazard Analysis Hazard Analysis Report Example for Mini Baja Nationally Recognized.

Hazard Management for Safety Critical Systems Philip Benjamin Supervised by: Dr. David Hemer Computer Science Department University Of Adelaide.

Health and Safety Dynamic Risk Assessment Aim To inform the students of the need for and the importance of a risk assessment.

Asher Etkin DOE Accelerator Safety Workshop August , 2009 DRAFT DOE STANDARD APPLICATION OF SAFETY INSTRUMENTED SYSTEMS USED AT DOE NON-REACTOR.

Risk Management for Technology Projects Geography 463 : GIS Workshop May

TOOL BOX TALKS OHS Risk Management. Definitions Hazard – anything with the potential to cause harm to a person or damage to property Risk – the actual.

OPERATIONAL RISK MANAGEMENT. The Benefits of Risk Management Reduction in Material and Property Damage. Effective Mission Accomplishment. Reduction in.

Risk assessments. Aims Follow safe working practices Objectives To define a hazard To define a risk List ways in which a hazard can be minimised Complete.

© 2011 Underwriters Laboratories Inc. All rights reserved. This document may not be reproduced or distributed without authorization. ASSET Safety Management.

Essentials of Machine Safety Standards in Perspective.

SIPI61508 Soft computing based qualitative method for determination of SILs István Ajtonyi 1 – László Ormos 2 1 University of Miskolc, Institute of Electric.

Safety-Critical Systems T Ilkka Herttua. Safety Context Diagram HUMANPROCESS SYSTEM - Hardware - Software - Operating Rules.

Two of the most important pieces of the health and safety legislation affecting educational establishments across the UK are the Health and Safety at.

Safety Critical Systems 5 Testing T Safety Critical Systems.

1 Reducing the Software Impact to System Safety Paul Mayo – SafeEng Limited.

Jacques Vanier ICAO EUR/NAT Regional Officer Almaty, 5 to 9 September 2005 SAFETY MANAGEMENT SYSTEMS RISK VERSUS SAFETY.

Safety-Critical Systems 7 Summary T V - Lifecycle model System Acceptance System Integration & Test Module Integration & Test Requirements Analysis.

©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 9 Slide 1 Critical Systems Specification 1.

Essentials of Machine Safety Standards in Perspective Introduction.

Product & Technology Quality. Excellence. Support SIL Explanation 27.JAN 2006 Automation & Safety.

How to develop E/E/PESs to IEC 61508?

Attributes Availability Reliability Safety Confidentiality Integrity Maintainability Dependability Means Fault Prevention Fault Tolerance Fault Removal.

6/11/04Part 11 Public Meeting1 Risk-Based Approach Scott M Revolinski Washington Safety Management Solutions Carolyn Apperson-Hansen Cleveland Clinic Foundation.

Safety Assessment: Safety Integrity Levels

1 Software Testing and Quality Assurance Lecture 38 – Software Quality Assurance.

Risk Assessment Process Bradford OHS Forum May 2016.

Toolbox presentation: Approaches to hazard identification.

Introduction to Safety Engineering for Safety-Critical Systems Seo Ryong Koo Dept. of Nuclear and Quantum Engineering KAIST Lab. Seminar.

An Integrated Model-Based Approach to System Safety and Aircraft System Architecture Development Eric Villhauer – Systems Engineer Brian Jenkins – System.

Functional Safety in industry application

Analysis of Current Maturity Models and Standards

Risk management Be aware. Take care.

SYSTEM SAFETY AND THE TECHNICAL AUTHOR

BEST PRACTICES IN PROCESS SAFETY

Quality Risk Management

Autonomous Robotics in the Nuclear Industry

Disaster Site Worker Safety

Risk Assessments for Camps and Excursions

H A C C P HAZARD ANALYSIS CRITICAL CONTROL POINTS 1 December 2018

Forklift Workplace Safety Guide – Read Now!

Disaster Site Worker Safety

A New Concept for Laboratory Quality Management Systems

HAZARDS AND RISKS. A Hazard is something that can cause harm, eg electricity, chemicals, working up a ladder, noise, a keyboard, a bully at work, stress.

Sector specific standards

Presentation transcript:

Safety Critical Systems ITV Model-based Analysis and Design of Embedded Software Techniques and methods for Critical Software Anders P. Ravn Aalborg University August 2011

Safety Critical Systems Safety is a property of a system: a failure in the operation of the system will not endanger human life or its environment. Safety-critical system is a system of high criticality, e.g. in IEC it relates to Safety Integrity Level 4, in which the safety of the related equipment and its environment is assured. A safety-critical system is generally one which carries an extremely high level of assurance of its safety. Safety integrity refers to the likelihood of a safety- critical system satisfactorily performing its required safety functions under all stated conditions within a stated period of time. N. Storey. Safety-Critical Computer Systems. Addison-Wesley, 1996.

Selected Safety Standards IEC 61508, Functional Safety of electrical/ electronic/programmable electronic safety-related systems, International Electrotechnical Commission, DO-178B, Software considerations in airborne systems and equipment certification, RTCA, 1992 ED-12B, Software considerations in airborne systems and equipment certification,RTCA & European Organisation for Civil Aviation Equipment, DEF STANDARD 00-56, Safety Management Requirements for Defence Systems, United Kingdom Ministry of Defence, June FDA 21 CFR part 820, Quality System (QS) Regulation/Medical Device Good Manufacturing Practice, June 1997.

Safety Integrity Levels DEF STANDARD Safety Integrity Levels

Safety Integrity Levels and acceptable risks IEC Safety Integrity Levels

IEC Organization - 1

IEC Organization

Safety Lifecycle

Lifecycle in Realisation Phase

Lifecycle Software Realization

Lifecycle Overview 1

Lifecycle Overview 2

Lifecycle Overview 3

Lifecycle Overview 4

From S-requirements to S-functions

Hazards and Risks ”Although not within the scope of this standard, it is of primary importance that identified hazards of the EUC are eliminated at source, for example by the application of inherent safety principles and the application of good engineering practices.” IEC NOTE A hazard is a situation that poses a level of threat to life, health, property, or environment. Most hazards are dormant or potential, with only a theoretical risk of harm; however, once a hazard becomes "active", it can create an emergency situation. A hazard does not exist when it is not happening. A hazardous situation that has come to pass is called an incident. Hazard and vulnerability interact together to create risk. (Wikipedia)

Target failure probabilities and SIL levels (low demand mode) Low demand mode: frequency of demand on safety function is less than one per year. (IEC )

Target failure probabilities and SIL levels (high demand or continuous mode)

Assessment

Consequences A – minor injury B – serious permant injury to one or more persons, death of one person C – death of several people D – very many people killed

Exercise – Please classify Airbus 380 control system Airbus 380 infotainment system High speed train control system Cruise control in a car Anaestetics monitoring equipment Electronic door lock Net banking application Playground entertainment system Consequence