Title :
Structuring reactive systems in B AMN
Author :
Lano, K. ; Androutsopoulos, K. ; Kan, P.
Author_Institution :
Dept. of Comput. Sci., King´´s Coll., London, UK
Abstract :
B has been widely used for high-integrity systems 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 the graphical design of systems using the B abstract machine notation (AMN), and we develop guidelines for expressing the structuring requirements of reactive systems in B
Keywords :
adaptive control; adaptive systems; control system synthesis; finite automata; formal specification; real-time systems; specification languages; B abstract machine notation; B specifications; RSDS method; graphical design; high-integrity systems development; railway industry; reactive control systems; statecharts; structured reactive systems; structuring requirements; Actuators; Computer industry; Computer science; Control systems; Educational institutions; Guidelines; Partitioning algorithms; Rail transportation; Safety; Sensor systems;
Conference_Titel :
Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on
Conference_Location :
York
Print_ISBN :
0-7695-0822-7
DOI :
10.1109/ICFEM.2000.873802
