Exposé de 14h

• Titre : Positionnement et résultats du projet FSF de l'IRT SystemX
• Intervenant : Elie Soubiran (IRT SystemX)

Résumé : Le projet FSF se positionne sur la thématique de la sureté de fonctionnement dans le domaine ferroviaire. Premier projet de l'IRT SystemX, il réunit autour d'Alstom Transport quatre partenaires industriels (Airbus Apsys, Krono-Safe, Esterel Tech., Scaelo chip) et quatre partenaires académiques (CEA, INRIA, IMT, LRI). Les activités de R&T du projet portent aussi bien sur les méthodes et l'outillage dédiés à la conception et à l'analyse de sous-systèmes de signalisation ferroviaires que sur les calculateurs de sécurité embarqués. Après un tour d'horizon des objectifs initiaux du projet cette présentation décrira les principaux résultats obtenus et proposera une démonstration de plateforme d'exécution prototypée récemment.

Exposé de 15h

• Titre : SO/TR 12489: Modélisation et calcul fiabiliste des systèmes de sécurité
• Intervenant : Jean-Pierre Signoret (chef de projet de l'ISO/TR 12489)

Résumé : The ISO/TR 12489 provides guidelines to reliability engineers who deal with probabilistic approaches which, in association with qualitative considerations, are increasingly used to design reliable safety systems. This is encouraged by regulations (e.g. SEVESO directive) or widely recognized standards (e.g. the SIL approach recommended for safety instrumented systems by the IEC 61508 mother standard and the sectoral derived standards like IEC 61511 which is focused on process systems). This implies to meet various probability related requirements but these probabilistic matters are rather briefly documented in standards and not really satisfactorily addressed in reliability textbooks. Therefore, the ISO/TR 12489 aims at closing this gap by establishing a sound specific probabilistic background, helping the reliability engineers to properly deal with the probabilistic modelling and calculations of any type of safety systems (e.g. ESD, High Integrity Pressure Protection System, etc.). After gathering the relevant definitions and raising the typical challenges, the technical report explains in detail how to solve them. It analyses in detail how simplified formulae can be established for simple safety systems and how the common standardized models - reliability block diagrams (IEC 61078), fault trees (IEC 61025), Markovian approach (IEC 61165) and Petri nets (IEC 62551) - may be used to deal with more complex situations. Moreover, ISO/TR 12489 develops in detail the approaches mentioned in the IEC 61508:2010 part 6 annex B for SIL related calculations. It provides also guidelines about the multiple safety systems mentioned in the IEC 61511 ed2 which is currently under development.