Modeling spatial aspects of safety-critical systems with focus-ST

Spichkova, M, Blech, J, Herrmann, P and Schmidt, H 2014, 'Modeling spatial aspects of safety-critical systems with focus-ST', in Frédéric Boulanger, Michalis Famelis, Daniel Ratiu (ed.) Proceedings of the 11th Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa2014, Valencia, Spain, 30 September 2014, pp. 49-58.


Document type: Conference Paper
Collection: Conference Papers

Title Modeling spatial aspects of safety-critical systems with focus-ST
Author(s) Spichkova, M
Blech, J
Herrmann, P
Schmidt, H
Year 2014
Conference name MoDeVVa2014 Vol-1235-4
Conference location Valencia, Spain
Conference dates 30 September 2014
Proceedings title Proceedings of the 11th Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa2014
Editor(s) Frédéric Boulanger, Michalis Famelis, Daniel Ratiu
Publisher Ruzica Piskac, Redaktion Sun SITE
Place of publication Aachen, Germany
Start page 49
End page 58
Total pages 10
Abstract This paper presents an approach for modeling and verification of components controlling behaviour of safety-critical systems in their physical environment. In particular, we introduce the modeling language FocusST that is centred on specifying time and space aspects. Verifications can be carried out using the interactive semi-automatic proof assistant Isabelle. The approach is exemplified by means of a railway system scenario.
Subjects Software Engineering
Copyright notice © 2014 for the individual papers by the papers' authors
ISSN 1613-0073
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 0 times in Scopus Article
Access Statistics: 134 Abstract Views  -  Detailed Statistics
Created: Wed, 21 Jan 2015, 13:27:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us