Structuring Reactive Systems in B AMN

Authors:
K. Lano;K. Androutsopoulos;P. Kan
Affiliations:
-;-;-
Venue:
ICFEM '00 Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods
Year:
2000

Citing 0
Cited 3

Translating Statecharts to B

IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
From Implicit Specifications to Explicit Designs in Reactive System Development

IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.01

Visualization

Abstract

B has been widely used for high-integrity system development, for example in the railway industry. However there are few published guidelines on how to structure B specifications for particular types of system, such as reactive control systems. In this paper, we describe a method to support graphical design of systems using B AMN, and develop guidelines for expressing the structuring requirements of reactive systems in B.