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
|