Modelling Safety Monitors of Safety-Critical Railway Systems by Formal Methods

Condition monitoring or safety monitor is a cost-effective safety protection technique which is widely used in safety-critical industries, such as nuclear plants and aerospace operation. The adoption of safety monitor offers continuous or real-time safety protection at a high level of diversity and its implementation is relatively simple and thus...