Projekteja vuodessa
Abstrakti
Efficient reuse is a goal of many software engineering strategies and is useful in the safety-critical domain where formal development is required. Event-B can be used to develop safety-critical systems, but could be improved by a component-based reuse strategy. In this paper, we outline a component-based reuse methodology for Event-B. It provides a means for bottom-up scalability, and can also be used with the existing top-down approach. We describe the process of creating library components, their composition, and specification of new properties (involving the composed elements). We introduce Event- B component interfaces and propose to use a diagrammatic representation of component instances (based on iUML-B) which can be used to describe the relationships between the composed elements. We also discuss the specification of communication flow across component boundaries and describe the additional proof obligations that are required.
Alkuperäiskieli | Ei tiedossa |
---|---|
Otsikko | Abstract State Machines, Alloy, B, TLA, VDM, and Z. 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings |
Toimittajat | M Butler, K Schewe, A Mashkoor, M Biro |
Kustantaja | Springer |
Sivut | 151–166 |
ISBN (elektroninen) | 978-3-319-33600-8 |
ISBN (painettu) | 978-3-319-33599-5 |
DOI - pysyväislinkit | |
Tila | Julkaistu - 2016 |
OKM-julkaisutyyppi | A4 Artikkeli konferenssijulkaisuussa |
Tapahtuma | ABZ - ABZ 2016 Kesto: 23 toukok. 2016 → 27 toukok. 2016 |
Konferenssi
Konferenssi | ABZ |
---|---|
Ajanjakso | 23/05/16 → 27/05/16 |
Projektit
- 1 Päättynyt
-
ADVICeS: Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)
Walden, M. (Vastuullinen tutkija), Olszewska, M. (CoI), Edmunds, A. (CoI), Ostroumov, S. (CoI), Petre, L. (CoI), Boström, P. (CoI) & Neovius, M. (CoI)
01/09/13 → 31/08/17
Projekti: Research Council of Finland/Other Research Councils