title: Specifying Modal Systems using Event-B
creator: Dotti, Fernando
creator: Iliasov, Alexei
creator: Romanovsky, Alexander
subject: Composition and reuse
subject: Methodology
subject: Event-B
description: Several safety-critical systems, such as avionic, transportation and space systems, use the notion of operation modes. Operation modes are useful structuring units that facilitate design, specially if used with state-based formal methods. However, modelling abstractions to support the specification, analysis and correct construction of modal systems are still lacking. The contribution of this paper is twofold: (i) modal systems and modal systems refinement are discussed and formalized; (ii) the relation of a modal system specification with an Event-B model is discussed, showing how to demonstrate that the behaviour of an Event-B model can satisfy a modal system.
publisher: (Technical report)
type: Other
type: NonPeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/134/1/modesFM.pdf
identifier:   Dotti, Fernando and Iliasov, Alexei and Romanovsky, Alexander   Specifying Modal Systems using Event-B.  (Technical report).    (Unpublished)  
relation: http://deploy-eprints.ecs.soton.ac.uk/134/