Educational content

First phase: Fundamental concepts

Specification and design methods: panorama, introduction to SART, State charts and HOOD.

Real-time cores: panorama, introduction to ARTK, SMART, compatibility with standard DO-178B.

Computer languages: panorama, introduction to ADA, to industrial standards for using ADA and to the ADA 9X safety appendix; compatibility with standard DO-178B.

Second phase: Software and certification

Introduction to FAR and JAR 25-1309 regulations.

Introduction to standard DO-178B, general.

System aspects and software levels: determination of the software criticality level, downgrading of the software level according to a baseline system architecture.

Details of the software development requirements according to levels: development process

and integral process, transition criteria, life cycle model, traceability, documentation.

Details of software verification requirements according to levels: IV and V, reviews, analyses and tests, functional and structural coverage, test environments, documentation.

Details of software configuration management requirements according to levels: identification and definition of the configuration, management of modifications, category CC1 and CC2, documentation.

Details of software quality assurance requirements according to levels: awareness, quality

assurance and quality control, conformity review, documentation.

Third phase: Case studies

Case study: general presentation of the general architecture of critical on-board software; detailed analysis of a software module and of the associated verification tests.

Design Office: assessment of the functional and structural coverage levels of a software module which implements an elementary control law.

For information only  : 27 hours