António Casimiro

Evaluation of Safety Rules in a Safety Kernel-Based Architecture

Eric Vial, António Casimiro

3rd Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS 2014), Florence, Italy, September 2014


Kernel-based architectures have been proposed as a possible solution to build safe cooperative systems with improved performance. These systems adjust their operation mode at run-time, depending on the actual quality of sensor data used in control loops and on the execution timeliness of relevant control functions. Sets of safety rules, defined at design-time, express the conditions concerning data quality and timeliness that need to be satisfied for the system to operate safely in each operation mode.

In this paper we propose a solution for practically expressing these safety rules at design-time, and for evaluating them at run-time. This evaluation is done using periodically collected information about safety-related variables. For expressing the rules we adopt the XML language. The run-time solution is based on a safety rules evaluation engine, which was designed for efficiency and scalability. We describe the architecture of the engine, the solution for structuring data in memory and the rule evaluation algorithm. A simple sensor-based control system is considered to exemplify how the safety rules are expressed.


  author       = {Vial, Eric and Casimiro, Ant{\'o}nio},
  title        = {Evaluation of Safety Rules in a Safety Kernel-Based Architecture},
  booktitle    = {Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS'14), Proceedings of the 2014 international conference on Computer Safety, Reliability, and Security},
  series       = {LNCS},
  number       = {8696},
  editor       = {A. Bondavalli et al.},
  year         = {2014},
  month        = sep,
  isbn         = {--},
  address      = {Florence, Italy},
  pages        = {27--35},
  url          = {--},
  doi          = {--},
  publisher    = {Springer-Verlag},
  abstractURL  = {},
  documentURL  = {},
  keywords     = {--},


Download paper