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

dc.contributor.author	Spichkova, Maria
dc.contributor.author	Blech, Jan Olaf
dc.contributor.author	Herrmann, Peter Michael
dc.contributor.author	Schmidt, Heinz
dc.date.accessioned	2015-01-26T16:44:20Z
dc.date.accessioned	2016-05-12T08:02:48Z
dc.date.available	2015-01-26T16:44:20Z
dc.date.available	2016-05-12T08:02:48Z
dc.date.issued	2014
dc.identifier.citation	CEUR Workshop Proceedings 2014, 1235:49-58	nb_NO
dc.identifier.issn	1613-0073
dc.identifier.uri	http://hdl.handle.net/11250/2389211
dc.description.abstract	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.	nb_NO
dc.language.iso	eng	nb_NO
dc.rights	Navngivelse-Ikkekommersiell-IngenBearbeidelse 3.0 Norge	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/3.0/no/	*
dc.title	Modeling Spatial Aspects of Safety-Critical Systems with FOCUS-ST	nb_NO
dc.type	Journal article	nb_NO
dc.type	Peer reviewed	nb_NO
dc.date.updated	2015-01-26T16:44:20Z
dc.source.pagenumber	49-58	nb_NO
dc.source.volume	1235	nb_NO
dc.source.journal	CEUR Workshop Proceedings	nb_NO
dc.identifier.cristin	1191060
dc.description.localcode	© The authors	nb_NO

Except where otherwise noted, this item's license is described as Navngivelse-Ikkekommersiell-IngenBearbeidelse 3.0 Norge