Common Contracts
1 similar null contracts
A Dwarf Signal in CML COMPASS White Paper WP04 September 2013February 7th, 2023
This white paper presents an introduction to the COMPASS Modelling Language (CML) using a model of a Dwarf Signal. The paper introduces the states of the signal and the properties that must hold to ensure safety of the signal, and then introduces the types, functions and processes that model the state, safety properties and reactive behaviour in CML.
