Scenario‐oriented reverse engineering of complex railway system specifications

Melissa Issad, Leila Kloul and Antoine Rauzy

Systems Engineering, 2018, vol. 21, issue 2, 91-104

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.

Date: 2018
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://doi.org/10.1002/sys.21413

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:wly:syseng:v:21:y:2018:i:2:p:91-104

Access Statistics for this article

More articles in Systems Engineering from John Wiley & Sons
Bibliographic data for series maintained by Wiley Content Delivery ().