Modeling Spatial Aspects of Safety-Critical Systems with FOCUS-ST
Original version
CEUR Workshop Proceedings 2014, 1235:49-58Abstract
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.