Dynamic State Machines for Formalizing Railway Control System Specifications
| Autor: | Luigi Velardi, Adriano Peron, Roberto Nardone, Valeria Vittorini, Renato De Guglielmo, Massimo Benerecetti, Nicola Mazzocca, Ugo Gentile, Stefano Marrone |
|---|---|
| Přispěvatelé: | Cyrille Artho, Peter Csaba Ölveczky, Nardone, Roberto, Gentile, Ugo, Peron, Adriano, Benerecetti, Massimo, Vittorini, Valeria, Marrone, Stefano, De Guglielmo, Renato, Mazzocca, Nicola, Velardi, Luigi, AA.VV., Artho C.,Olveczky P.C. |
| Jazyk: | angličtina |
| Rok vydání: | 2015 |
| Předmět: |
Finite-state machine
CRYSTAL Railway control system Formalism (philosophy) Semantics (computer science) business.industry Computer science Computer Science (all) System testing Context (language use) Dynamic instantiation Metamodeling State machine System under test Control system Metamodel Model driven Software engineering business Simulation |
| Zdroj: | Communications in Computer and Information Science ISBN: 9783319175805 FTSCS |
| Popis: | activities regulated by international standards which explicitly recommend the usage of Finite State Machines (FSMs) to model the specification of the system under test. Despite the great number of work addressing the usage of FSMs and their extensions, actual model-driven verification processes still lacks concise and expressive enough notations, able to easily capture characteristic features of specific domains. This paper introduces DSTM4Rail, a hierarchical state machines formalism to be used in verification contexts, whose peculiarity mainly resides in the semantics of fork-and-join which allows dynamic (bounded) instantiation of machines (processes). The formalism described in this paper is industry driven, as it raises from real industrial needs in the context of an European project. Hence, the proposed semantics is motivated by illustrating concrete issues in modeling specific functionalities of the Radio Block Centre, the vital core of the ERTMS/ETCS Control System. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|