View the site in FrenchSite displayed in English (USA)Voir le site en English (GB)
 
Critical Systems Safety  
+ +
- -
Online Training
 
Calendar  Details
Operating Systems
 
Calendar  Details
Programming
Calendar  Details
Processors
 
Calendar  Details
Communication
 
 
 
Calendar  Details
+ +
> >
- -

 
ac6 >> ac6-training >> Programming >> Methods >> Critical Systems Safety Download Catalog Download as PDF Write us Printable version

C8 Critical Systems Safety

formateur
Objectives
  • Understand the challenges of system safety
  • Explore methods of formal proofs
  • Understand the development standards applicable
    • IEC 61508
    • DO-254
    • DO-178B and C
  • Understand certification issues
Prerequisites
  • Basic knowledge of embedded and real-time systems
First Day
System Safety
  • Risk Analysis
  • Analysis Techniques
    • Analysing defects causes and effects
    • Fault Tree Analysis
  • Safety Certification
  • Technical failure prevention
    • Inherent system safety
    • Limiting the effect of failures
  • Safety and reliability
Formal proofs
  • Need for formal specification
  • Formal specifications methods
Example::  Proofs using invariants, pre-and post-conditions
Software safety standards
  • The IEC 61508 Standard
    • Integrity Levels (SIL 1 to 4)
    • Validation
  • The DO-178 and DO-254 standards
    • System Safety Assessment
    • Software Levels (A to E)
    • Qualification tools
  • Other Standards
  • Other standards
Second Day
The DO-178 certification process
  • Certification Authorities
    • FAA (Federal Aviation Administration)
    • EASA (European Aviation Safety Agency)
    • JAA (European Joint Aviation Authorities)
    • CAB (Japan Civil Aviation Bureau)
    • ...
  • Certification Procedures
  • Various types of certificates
    • Type Certificate (TC)
    • Supplemental Type Certificate
  • The TSO (Technical Service Order)
  • The DER (Designated Engineering Representatives)
    • Difference between the FAA and EASA
  • The path to a successful certification
The DO-178B Standard
  • The DO-178B development model
    • DO-178B and DO-254
    • The system development life cycle
    • The life cycle processes
    • Difference between verification and testing
  • The software development process
    • Development Support
    • Development
    • Quality Assurance
    • Certification
  • The audit framework
    • Reviews
    • Analysis
    • Tests
  • Requirements traceability
    • Requirement-based tests
    • Test coverage
  • DO-178B and off-the-shelf products
Third day
The DO-178C
  • Why a new standard
    • Purpose of the DO-178C
    • Strategy definition
    • Structure of the DO-178C standard
  • The differences with DO-178B
    • Clarifications of the standard
    • Changes in the document core
    • New items
  • Supplements
    • DO-330: Tool Qualification
    • DO-331: Model Based Development
    • DO-332: Object Oriented Technology
    • DO-333: Formal Methods
 
Duration Cost Calendar
3 days 2290 € HT Session calendar
Last update: 10 January 2023
This course, designed for face-to-face delivery, can be provided either in our Paris training center or, worldwide, on your premises.
Scheduled classes are confirmed as soon as there is a confirmed booking.
To book a training session or for more information, please contact us on info@ac6-training.com.
Registrations are accepted till one week before the start date for scheduled classes.
For late registrations, please consult us.
You can also fill and send us the Adobe PDF format file registration form
Booking one of our trainings is subject to our General Terms of Sales
 

Get Adobe free acrobat reader
Ac6 SARL
webmaster@ac6-training.com
Last site update: Wed Mar 22 13:02:56 2023