Open submenu
Close submenu
ac6
Calendar
Consulting
Tools
OpenSTM32
Contact us
Jobs
Login :
Password :
Connect
New user
Forgot password?
Online Training
Languages
Programmable Logic
Real-Time Systems
Safety and security
Linux
Calendar
Details
Operating Systems
System Workbench
Android
Linux
RTOS
Drivers
Calendar
Details
Programming
Methods
Languages
Safety and security
Real-Time
Internet
Programmable Logic
Calendar
Details
Processors
ARM Cores
NXP ARM SoCs
ST processors
TI processors
NXP Power CPUs
Calendar
Details
Communication
Connectivity
Network
Storage
Calendar
Details
Related Courses
UML Real−Time
Critical Systems Safety
Software Architecture with UML
Eclipse
Real Time and Multi−Core programming
FreeRTOS Real Time Programming
ac6
>>
ac6-training
>>
Programming
>>
Methods
>>
Critical Systems Safety
C8
Critical Systems Safety
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