Modeling Spatial Aspects of Safety-Critical Systems with FOCUS-ST
Maria Spichkova, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt · RMIT Research Repository (RMIT University Library) · 2014
Abstract. This paper presents an approach for modeling and verifi-cation of components controlling behaviour of safety-critical systems in their physical environment. In particular, we introduce the modeling lan-guage FocusST that is centred on specifying time and space aspects. Ver-ifications can be carried out using the interactive semi-automatic proof assistant Isabelle. The approach is exemplified by means of a railway system scenario. 1