Incremental Modeling Methodology of Railway System Specifications

Foundations for model‐based systems engineering and model‐based safety assessment

“…Computer science produced an incredible variety of formalisms to describe state machines, as well as process algebras (see, eg, Ref. for a classical textbook) that may also be a good candidate to represent certain aspects of systems’ behaviors, see, eg, Ref for recent developments.…”

“…We have also used S2ML in the context of 3 recent PhD theses. The first one was on reverse engineering of textual specifications using a scenario‐based approach . S2ML was used there both to describe the system architecture (this model has been co‐designed with the scenarios) and as a mean to structure scenarios.…”