Formalisation of an Industrial Approach to Monitoring Critical Data

Autor:	Elena Troubitsyna, Yuliya Prokhorova, Linas Laibinis, Dubravka Ilic, Timo Latvala
Rok vydání:	2013
Předmět:	Large class Engineering Architectural pattern Kernel (image processing) business.industry Data integrity Control system System parameters Monitoring system Fault tolerance business Reliability engineering
Zdroj:	Lecture Notes in Computer Science ISBN: 9783642407925 SAFECOMP
DOI:	10.1007/978-3-642-40793-2_6
Popis:	A large class of safety-critical control systems contains monitoring subsystems that display certain system parameters to (human) operators. Ensuring that the displayed data are sufficiently fresh and non-corrupted constitutes an important part of safety requirements. However, the monitoring subsystems are typically not a part of a safety kernel and hence often built of SIL1—SIL2 components. In this paper, we formalise a recently implemented industrial approach to architecting dependable monitoring systems, which ensures data freshness and integrity despite unreliability of their components. Moreover, we derive an architectural pattern that allows us to formally reason about data freshness and integrity. The proposed approach is illustrated by an industrial case study.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::fa2c7e7c31484cfbe371298f07830c65 https://doi.org/10.1007/978-3-642-40793-2_6 Zobrazit plný text záznamu