Projekteja vuodessa
Abstrakti
A formal development approach is required for high-quality development of safety critical systems. In order to make the formal development process more feasible, tool support is needed. Furthermore, integrating visualization means to the process makes it easier to communicate the model and to observe its behavior at an early development stage. These efforts are, however, not always enough to make the formal development process feasible for industrial use. Therefore, to make the process smoother and more flexible for industrial applications, it also needs to be parallelized. In this report we give an overview of the state-of-the-art of formal specification languages that are used in industrial settings. Tools supporting these methods in combination with different visualization means to facilitate the formal development are also presented. Parallelizing the formal development process by dividing a model into multiple abstractions that capture different aspects of the model is suggested as an approach to make the process more flexible.
Alkuperäiskieli | Englanti |
---|---|
Kustantaja | Åbo Akademi University |
ISBN (painettu) | 978-952-12-3160-5 |
Tila | Julkaistu - 2014 |
OKM-julkaisutyyppi | D4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset |
Julkaisusarja
Nimi | TUCS Technical Report |
---|---|
Vuosikerta | 1127 |
Sormenjälki
Sukella tutkimusaiheisiin 'An Overview of Formal Specification Languages and Tools Supporting Visualisation of System Development'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.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