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).
Formal Development and Verification of a Distributed Railway Control System
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Analyzing data flow in trustworthy electronic payment systems using event-b
ICDEM'10 Proceedings of the Second international conference on Data Engineering and Management
| Hi-index | 0.00 |
This chapter presents the modelling of a software controller in charge of managing the movements of trains on a track network. Some methodological aspects of this development are emphasized: the preliminary informal presentation of the requirements, the careful definition of a refinement strategy, the attention payed to the precise mathematical definition of the train network, and the modelling of a complete system including the external environment. A special attention is given to the prevention of errors and also (but to a less extend) to their tolerance. The modelling notation which is used in this presentation is Event-B.