The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
JBTools: an experimental platform for the formal B method
PPPJ '02/IRE '02 Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002
A comparison of tools for teaching formal software verification
Formal Aspects of Computing
Virtual prototyping of automated manufacturing systems with Geometry-driven Petri nets
Computer-Aided Design
Visualising Event-B Models with B-Motion Studio
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
Modeling in Event-B: System and Software Engineering
Modeling in Event-B: System and Software Engineering
| Hi-index | 0.00 |
This paper proposes an approach connecting an automated control system, developed using formal methods, with an emulation of an environment where it is intended to operate. The motivation is to improve formal methods teaching by providing virtual representation of environments where the formally developed systems are or should be used. The emphasis is on the visualisation of the implementation of the control system and use of existing tools for visualisations and existing models for virtual environments and devices. The paper also describes a concrete application of this approach: a connection of a track layout, simulated by the Train Director software, with a control system, developed using the B-Method. This includes utilisation of various tools developed at the home institution of the authors: translator from the language of B-Method to Java, an application to interconnect the control system with the Train Director and a customized version of the Train Director.