A formal approach for the construction and verification of railway control systems

DOI10.1007/s00165-009-0143-6zbMath1216.68076OpenAlexW2038361485MaRDI QIDQ539161

Sebastian Kinder, Jan Peleska, Anne Elisabeth Haxthausen

Publication date: 27 May 2011

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-009-0143-6

zbMATH Keywords

verificationformal methodsdomain-specific languagescode generationdomain engineeringrailway control systems

Mathematics Subject Classification ID

Application models in control theory (93C95) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Manifest domains: analysis and description ⋮ An approach from answer set programming to decision making in a railway interlocking system

Uses Software

• SystemC
• CVT

Cites Work

• Unnamed Item
• The code validation tool (CVT). Automatic verification of a compilation process
• Domain Engineering

This page was built for publication: A formal approach for the construction and verification of railway control systems