Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST

Maria Spichkova, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt
2014 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
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