ac6-training, un département d'Ac6 SAS
 
Site displayed in English (USA)
View the site in FrenchSite affiché en English (USA)Voir le site en English (GB)
+ +
- -
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
3 days
Cost
2290 € HT
Calendar
Session calendar

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 two confirmed bookings.

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

Last update of course schedule: 10 January 2023

Booking one of our trainings is subject to our Adobe PDF format file General Terms of Sales

 

Ac6 SARL
webmaster@ac6-training.com
Last site update: Tue Sep 5 14:36:39 2023
Get Adobe free acrobat reader