Dotti, Fernando and Iliasov, Alexei and Romanovsky, Alexander Specifying Modal Systems using Event-B. (Technical report). (Unpublished)
This is the latest version of this item.
![[img]](../style/images/fileicons/application_pdf.png)
| PDF 209Kb |
Abstract
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.
| Item Type: | Other |
|---|---|
| Subjects: | Methodology > Composition and reuse Methodology Event-B |
| ID Code: | 134 |
| Deposited By: | Prof A Romanovsky |
| Deposited On: | 08 Jul 2009 16:31 |
| Last Modified: | 19 Apr 2010 16:05 |
Available Versions of this Item
Repository Staff Only: item control page
