Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
Safeware: system safety and computers
Safeware: system safety and computers
Safety Critical Computer Systems
Safety Critical Computer Systems
A Discipline of Programming
Program Development by Refinement: Case Studies Using the B Method
Program Development by Refinement: Case Studies Using the B Method
From Safety Analysis to Software Requirements
IEEE Transactions on Software Engineering
Trace Refinement of Action Systems
CONCUR '94 Proceedings of the Concurrency Theory
An Action System Approach to the Steam Boiler Problem
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
Refinement of Safety-Related Hazards into Verifiable Code Assertions
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Hazard Analysis in Formal Specification
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Refining for Safety
| Hi-index | 0.00 |
Formal methods give us techniques to specify the functionality of a system, to verify its correctness or to develop the system stepwise from an abstract specification to its implementation. These aspects are important when designing safety-critical systems. Safety analysis is a vital part of the development of such systems. However, formal methods seldom interface well with the more informal techniques developed for safety analysis. Action systems is a formal approach to distributed computing that has proven its worth in the design of safety-critical systems. The approach is based on a firm mathematical foundation within which the reasoning about the correctness and behaviour of the system under development is carried out. The purpose of this paper is to show how we can incorporate the results of safety analysis into an action system specification by encoding this information via available composition operators for action systems in order to specify robust and safe controllers.