Scenario‐oriented reverse engineering of complex railway system specifications

Abstract

In this article, we present a scenario-oriented modeling methodology dedicated to the analysis and the formalization of complex system specifications. The methodology relies on the SCOLA semiformal notation to describe scenarios and on a formal execution model described in the AltaRica 3.0 modeling language. We designed this methodology because we had to review thousands of pages of natural language specifications of a railway system in view of their validation with respect to safety constraints. We needed therefore some means to understand what the system was supposed to be and to do as well as to support a dialog with experts. This article aims at introducing the methodology and the modeling formalism that supports it as well as at discussing its application to the railway systems. K E Y W O R D Sformal specifications, modeling languages, railway systems, systems engineering

System Modeling and Fault Tree Analysis Based on AltaRica

“…In system modeling and analysis using AltaRica, there are some researches on it. Issad M, Kloul L and Rauzy A proposed a scene-oriented modeling approach which relies on semi-formal representation to describe the scene and relies on the formal execution model described in the AltaRica 3.0 modeling language [13]. In literature [14], a method was described that extends the AltaRica model developed for safety analysis with time information and provides a tool to interpret the correctness of time safety conditions.…”

“…In those existed literatures, we have found AltaRica has been successfully used in system and fault modeling and analysis [13]- [19], and most of those literatures only proposed the principle and framework to generate fault tree from assertions in single or multiple class [20]- [24]. So there are relatively absence in method to automatically generate and programming realize the safety analysis as FT from complex nested systems including interaction between nodes and subsystems.…”