ac6-formation, un département d'Ac6 SAS
 
Site displayed in English (USA)
Site affiché en English (USA)View the site in FrenchVoir le site en English (GB)
go-up

leftthintrapezium-20-bb9203 ac6 > ac6-formation > Programming > Methods > Critical Systems Safety Inquire Download as PDF Call us Write us

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
  • Basic knowledge of embedded and real-time systems
  • Theoretical course
    • PDF course material (in English) supplemented by a printed version.
    • The trainer answers trainees' questions during the training and provide technical and pedagogical assistance.
  • At the start of each session the trainer will interact with the trainees to ensure the course fits their expectations and correct if needed
  • Any embedded systems engineer or technician with the above prerequisites.
  • The prerequisites indicated above are assessed before the training by the technical supervision of the traineein his company, or by the trainee himself in the exceptional case of an individual trainee.
  • Trainee progress is assessed by quizzes offered at the end of various sections to verify that the trainees have assimilated the points presented
  • At the end of the training, each trainee receives a certificate attesting that they have successfully completed the course.
    • In the event of a problem, discovered during the course, due to a lack of prerequisites by the trainee a different or additional training is offered to them, generally to reinforce their prerequisites,in agreement with their company manager if applicable.

Course Outline

  • 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
  • Need for formal specification
  • Formal specifications methods
Example::  Proofs using invariants, pre-and post-conditions
  • 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
  • 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 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
  • 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