Premium
Scenario‐oriented reverse engineering of complex railway system specifications
Author(s) -
Issad Melissa,
Kloul Leila,
Rauzy Antoine
Publication year - 2018
Publication title -
systems engineering
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.474
H-Index - 50
eISSN - 1520-6858
pISSN - 1098-1241
DOI - 10.1002/sys.21413
Subject(s) - computer science , notation , dialog box , modeling language , software engineering , formalism (music) , systems engineering , programming language , formal methods , reverse engineering , formal specification , specification language , unified modeling language , complex system , systems modeling , engineering , software , artificial intelligence , art , musical , arithmetic , mathematics , world wide web , visual arts
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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom