Formal Engineering Methods, International Conference on (2000)
Sept. 4, 2000 to Sept. 7, 2000
K. Lano , King's College London
K. Androutsopoulos , King's College London
P. Kan , King's College London
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.
K. Lano, K. Androutsopoulos and P. Kan, "Structuring Reactive Systems in B AMN," Formal Engineering Methods, International Conference on(ICFEM), York, England, 2000, pp. 25.