Modeling Spatial Aspects of Safety-Critical Systems with FOCUS-ST
Journal article, Peer reviewed
MetadataShow full item record
Original versionCEUR Workshop Proceedings 2014, 1235:49-58
This paper presents an approach for modeling and veri - cation 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. Veri cations can be carried out using the interactive semi-automatic proof assistant Isabelle. The approach is exempli ed by means of a railway system scenario.