Structuring reactive systems in B AMN

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 gr...

Full description

Saved in:
Bibliographic Details
Main Authors: Lano, K., Androutsopoulos, K., Kan, P.
Format: Conference Proceeding
Language:English
Subjects:
Actuators
Computer industry
Computer science
Control systems
Educational institutions
Guidelines
Partitioning algorithms
Rail transportation
Safety
Sensor systems
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
DOI:10.1109/ICFEM.2000.873802