Scenario‐oriented reverse engineering of complex railway system specifications

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...

Full description

Saved in:
Bibliographic Details
Published in:Systems engineering 2018-03, Vol.21 (2), p.91-104
Main Authors: Issad, Melissa, Kloul, Leila, Rauzy, Antoine
Format: Article
Language:English
Subjects:
formal specifications
Methodology
modeling languages
Modelling
Railway engineering
railway systems
Railways
Reverse engineering
Specifications
systems engineering
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1098-1241
1520-6858
DOI:10.1002/sys.21413