A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System

Autor:	Alberto Griggio, Matteo Tessi, Arturo Amendola, Alessandro Cimatti, Giuseppe Scaglione, Alberto Tacchella, Angelo Susi, Roberto Cavada, Anna Becchi
Rok vydání:	2020
Předmět:	Functional specification business.industry Computer science language.human_language Domain (software engineering) Controlled natural language Systems Modeling Language Model-based design language Code generation Software engineering business Formal verification Interlocking
Zdroj:	Lecture Notes in Computer Science ISBN: 9783030614669 ISoLA (3)
DOI:	10.1007/978-3-030-61467-6_16
Popis:	This paper describes a model-based flow for the development of Interlocking Systems. The flow starts from a set of specifications in Controlled Natural Language (CNL), that are close to the jargon adopted in by domain experts, but fully formal. From the CNL, a complete SysML specification is extracted, leveraging various forms of diagrams, and enabling automated code generation. Several formal verification methods are supported. A complementary part of the flow supports the extraction of formal properties from legacy Interlocking Systems designed as Relay circuits. The flow is implemented in a comprehensive toolset, and is currently used by railway experts.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::12e2e1c9eeff7bd103d858ccafb268c0 https://doi.org/10.1007/978-3-030-61467-6_16 Zobrazit plný text záznamu