A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST
2014
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
Preserved Fulltext
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 Focus ST 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.
dblp:conf/models/SpichkovaBHS14
fatcat:x5qt75oxwvekzepd2mb7c6shru