Exposé (14h)

• Titre : Emmanuel Arbaretier (APSYS, EADS)
• Intervenant : De l'optimisation prédictive à la gestion du cycle de vie : des techniques et outils au service de l'ingénierie des performances

Résumé :

Exposé (15h)

• Titre : A formal model-based methodology to specify railway systems
• Intervenante : Mélissa Issad (Siemens, CentraleSupelec)

Résumé :
Regarding their complexity, industrial systems are hard to design and even harder to validate and maintain. We try to address some particular issues of the railway systems conception. Railway systems are characterized by their identified and limited number of failure accidents. Thus, safety analyses is mainly based on the research of failure scenarios that lead to these accidents. Those scenarios represent the misbehavior that must be avoided or corrected in the system. But, the specifications ambiguity makes it difficult to obtain a consistency and completeness in the analysis. In this presentation, we propose an approach for system formalization and safety analyses. We define ScOLA, a modeling language built to understand and to formalize the specifications based on core concepts. We explain how, using a formal description and a stepwise simulation of the system, safety analysis can be performed easier and faster. The approach is applied to the TGMT CBTC system of Siemens.