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.
@inproceedings{Vial:14a, 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 = {http://www.di.fc.ul.pt/~casim/papers/ascoms14/ascoms14.htm}, documentURL = {http://www.di.fc.ul.pt/~casim/papers/ascoms14/ascoms14.pdf}, keywords = {--}, }