Sécurité fonctionnelle des systèmes embarquésSystèmes Industriels et sûreté de fonctionnement (MRI)

Systematic presentation of software operating safety To acquire a global perception of the issues raised by the safety of critical systems with predominant software, whatever the occupation considered (railway, automobile, avionics, defence, fire safety, energy...) Know reference standards, good practices, standard tools and methods. Understand how the contents of different prerequisite courses can be implemented to address a software security problem.

Overview of the problem of software operating safety Acceptance process and commissioning Difference between security and safety

Operating Safety Standards Sectoral standards: avionics, automotive, nuclear, medical, industrial processes and machinery, rail.

Life Cycle Software Operating Safety System and Activity Safety Integrity Level (SIL) audit activities

Methodological Plans / Organization Basic Quality Principles, Software Quality Assurance Plan support for FMDS verification activities detailed description of activities, analysis and means

Safe operation throughout the software life cycle SIL level expected performance FDM requirements allocation of tasks to achieve security objectives Types of analysis and safety analyses

Specification phase the system and its missions mode of use of the system specification of functional and non-functional requirements Design phases Module specification: decomposition and description of modules SwDS/SwMDS Traceability Matrix

Test activity, verification, validation techniques and tools Covers: structural, functional

Authorised calculator.

Cottet, Francis; Grolleau, Emmanuel, "Real time control-command systems: design and implementation", Dunod

Brenier, Henri, "The Functional Specifications: Industrial Automation and Real Time", Dunod De Geeter, Jean-Marie, "Approche du temps réel industrielle", Ellipses

Cottet, Francis, "Real time order: corrected courses and exercises", Hermès

Nussbaumer, Henri, "Industrial IT. 2, Introduction to real-time computing", Polytechnic Presses and Romanesque academics Hersch, Roger D, "Industrial IT: microprocessors and real-time interfaces", Presses polytechniques et universitaires romandes