Formalisation of an Industrial Approach to Monitoring Critical Data


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 noncorrupted constitutes an important part of safety requirements. However, the monitoring subsystems are typically not a part of a safety kernel and hence… (More)
DOI: 10.1007/978-3-642-40793-2_6

5 Figures and Tables


  • Presentations referencing similar topics