Upload File

safety critical systems

11
Safety Critical Systems The CISS perspective.

Upload: signe-bowen

Post on 30-Dec-2015

50 views

Category:

Documents


1 download

Report

Tags:

DESCRIPTION

Safety Critical Systems. The CISS perspective. Safety critical systems. frequency. 0.01 0.1 1 10 100+. IV. fatalities. 1E-1. III. SIL1. 1E-2. II. SIL2. 1E-3. SIL3. I. 1E-4. SIL4. SW development and probabilities !!. - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: Safety Critical Systems

Safety Critical Systems

The CISS perspective.

Page 2: Safety Critical Systems

Safety critical systems

frequency

fatalities1E-1

1E-2

1E-3

1E-4

0.01 0.1 1 10 100+

I

II

III

IV

SIL1

SIL2

SIL3

SIL4

Page 3: Safety Critical Systems

SW development and probabilities !!

• Failure rates computed by probability calculus (for SW ?!)

• Failure rates proven in use (new developments ?)

• Failure rates estimated by test (how long ?, certification)

• Failure rates certified by process assessment (IEC 61508)

Page 4: Safety Critical Systems

SW development(from an IEC61508 perspective)

Page 5: Safety Critical Systems

Requirements Specification

Page 6: Safety Critical Systems

Architectural Design

Page 7: Safety Critical Systems

Detailed Design

Page 8: Safety Critical Systems

Software Validation

Page 9: Safety Critical Systems

Modelling

Page 10: Safety Critical Systems

Functional Safety Certification

• Technischer Überwachungs-Verein (TÜV), Rheinland

• Sira Certification Service UK (CASS scheme)

(The 61508 Association, UK's Health and Safety Executive (HSE), CASS)

Page 11: Safety Critical Systems

CISS and Functional Safety

• CISS comprises nearly all competences required for safety.

• Development of Safety Critical Systems challenges theoretical/technical competences to their limit.

• There is a need to bridge theory and industrial practice.

• One Ph.D. study (Anders Jørgensen) launched 1. August 03

• Industrial cooperation wanted.

• Case Study for AJ.

• CISS may host/participate in industrial network.


Formal Methods in Safety-Critical Systems

Safety Critical Systems

Towards Programming Safety Critical Systems in Java

Safety-Critical Systems 4: Engineering of Embedded

Developing Open Standards for Safety Critical Technologies...safety critical systems - High performance & Low power usage - Cost effective •Safety Critical standards optimize for

CMPE 233: Human Factors Safety Critical Interactive …srikur/files/Lecture8a.pdfCMPE 233: Human Factors Human Reliability Safety Critical Interactive Systems Safety Critical Systems

Safety critical systems problems process and practice

Real time operating systems for safety-critical applications

“Computers and Safety Critical Systems” [ “CSCS CS ” ] · “Computers and Safety Critical Systems” [ “CSCS ... • Sophisticated automatic tracking system • Paper and

Safety Critical Systems - Safety

HCI & Safety Critical Systems Lynne Hall. Overview zWhat are safety critical systems zWhy use software zCausation zThe fallacy of human error zDesigning

Safety-Critical Systems

FMECA Assessment for Railway Safety-Critical Systems

Smart Cards a(s) Safety Critical Systems

Reliability analysis of safety-critical embedded systems

FPGAs in Safety-Critical Systems - MWFTR Marlon_FPGAs in Safety... · Leveraging FPGAs in Safety-Critical Systems • Advantages – Performance (vs. uProc) – Time to Market (vs

Safety Critical Systems Desing

Lecture 1 Overview of Safety-Critical Embedded Systems · Overview of Safety-Critical Embedded Systems ... Safety-Critical Embedded Systems . 7 ... The cause of the missile system

State Space Exploration for NASA’s Safety Critical Systems

Four Pillars for Improving the Quality of Safety-Critical Software-Reliant Systems · 2013-04-29 · Quality of Safety-Critical Software-Reliant Systems Studies of safety-critical

Safety-critical systems: Requirements

Multicore for safety-critical embedded systems: challenges ... · Multicore for safety-critical embedded systems: challenges and opportunities Giuseppe Lipari CRIStAL - Émeraude

Model-based Specification of safety-critical Rail Systems · Model-based Specification of safety-critical Rail Systems Randolf Berglehner, DB Netze AG Andreas Korff, Atego Systems

Dev ops and safety critical systems

Safety-Critical Systems 6 Certification T 79.232

13 Embedded Nuclear Safety-Critical Systems

Software Development for Safety Critical Systems

Dynamic versus static modelling of safety-critical systems ...orbit.dtu.dk/files/104686670/Lund_presentation_nov2014.pdf · Dynamic versus static modelling of safety-critical systems

Safety Critical Systems Design - omg.org · Safety Critical Systems Design: ... Safety is not Reliability! Safety-Related Concepts ... – data – control • Redundancy may be either

Developing Correct Safety Critical, Hybrid, Embedded Systems

Engineering Resilience into Safety-Critical Systems

Reliable Design of Safety Critical Systems

Security of Safety-Critical Devicescups.cs.cmu.edu/courses/ups-sp14/Lecture23.pdf · Vulnerabilities within Safety-Critical Systems ! Systems comprised of multiple components provided

Manycore Operating Systems for Safety-Critical Systems

Safety-Critical Systems 3