Name
Abstract | ||
|---|---|---|
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. |
Year | DOI | Venue |
|---|---|---|
2014 | 10.1007/978-3-319-17581-2_7 | Communications in Computer and Information Science |
Keywords | Field | DocType |
State machine,Dynamic instantiation,Railway control system,Metamodel,Model driven,System testing,CRYSTAL | System under test,Programming language,Simulation,Computer science,System testing,Finite-state machine,Control system,Formalism (philosophy),Semantics,Metamodeling,Bounded function | Conference |
Volume | ISSN | Citations |
476 | 1865-0929 | 8 |
PageRank | References | Authors |
0.58 | 9 | 9 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Roberto Nardone | 1 | 108 | 15.07 |
| Ugo Gentile | 2 | 36 | 6.52 |
| Adriano Peron | 3 | 381 | 45.82 |
| Massimo Benerecetti | 4 | 287 | 34.60 |
| valeria vittorini | 5 | 339 | 33.14 |
| Stefano Marrone | 6 | 174 | 25.49 |
| Renato De Guglielmo | 7 | 15 | 1.73 |
| Nicola Mazzocca | 8 | 674 | 78.37 |
| Luigi Velardi | 9 | 29 | 3.64 |