Dynamic State Machines for Formalizing Railway Control System Specifications

DOI10.1007/978-3-319-17581-2_7zbMath1328.68129OpenAlexW938957855MaRDI QIDQ3460219

Valeria Vittorini, Massimo Benerecetti, Adriano Peron, Nicola Mazzocca, Ugo Gentile, Luigi Velardi, Stefano Marrone, Roberto Nardone, Renato de Guglielmo

Publication date: 6 January 2016

Published in: Communications in Computer and Information Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-17581-2_7

zbMATH Keywords

CRYSTALstate machinemetamodelsystem testingrailway control systemdynamic instantiationmodel driven

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Traffic problems in operations research (90B20) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• StateFlow

Cites Work

• Statecharts: a visual formalism for complex systems
• Fundamental Approaches to Software Engineering
• Unnamed Item

This page was built for publication: Dynamic State Machines for Formalizing Railway Control System Specifications