Specification and analysis of railway systems using a scenario-oriented language

Les systèmes industriels tels que les systèmes ferroviaires sont de plus en plus complexes. Cependant, leur spécification demeure manuelle et rédigée en langage naturel, source d’ambigüité et erreurs. Ces erreurs se répercutent sur l’ensemble du cycle de vie du système, notamment l’analyse de sûreté qui repose sur l’expertise des ingénieurs sûreté et l’analyse effectuée sur d’anciens projets. Dans cet article, nous proposons une approche basée sur les scénarios afin de modéliser l’architecture et le comportement du système. A partir de cette vue fonctionnelle, nous proposons une méthode de propagation de fautes afin de générer des scénarios défaillants et évaluer leur impact sur le système.Due to their complexity, industrial systems as railway systems are hard to specify, validate and even harder to maintain. Still, the specification of such systems is written in a natural language, which is source of ambiguity and errors. These errors may have an impact on the overall system life-cycle, especially safety analysis that is based on the expertise of safety engineers that relate on the previous projects analyses. In this article, we propose a scenario-based approach to specify the architecture and behavior of systems. Therefore, we implement a fault propagation technique to generate failure scenarios based on the system behavior and evaluate the impact of such failures on the system