Stepwise development and model checking of a distributed interlocking system using RAISE

DOI10.1007/S00165-020-00507-2zbMath1458.68117OpenAlexW2808836015WikidataQ130884772 ScholiaQ130884772MaRDI QIDQ1996429

S. Geisler, Anne Elisabeth Haxthausen

Publication date: 4 March 2021

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

Full work available at URL: https://orbit.dtu.dk/en/publications/a41f95b0-cecb-4480-819e-ddaaea81554d

zbMATH Keywords

distributed systemsmodel checkingrailway interlocking systemsRAISEstepwise development

Mathematics Subject Classification ID

Traffic problems in operations research (90B20) Specification and verification (program logics, model checking, etc.) (68Q60) Networked control (93B70)

Uses Software

• RAISE
• SAL

Cites Work

• Model checking RAISE applicative specifications
• A state/event-based model-checking approach for the analysis of abstract system properties
• Abstract state machines, Alloy, B, TLA, VDM, and Z. 6th international conference, ABZ 2018, Southampton, UK, June 5--8, 2018. Proceedings
• Stepwise development and model checking of a distributed interlocking system -- using RAISE
• Unnamed Item

This page was built for publication: Stepwise development and model checking of a distributed interlocking system using RAISE