“Evaluation of Safety Rules in a Safety Kernel-Based Architecture”
From Navigators
(Difference between revisions)
Line 4: | Line 4: | ||
|title=Evaluation of Safety Rules in a Safety Kernel-Based Architecture | |title=Evaluation of Safety Rules in a Safety Kernel-Based Architecture | ||
|author=Eric Vial, António Casimiro | |author=Eric Vial, António Casimiro | ||
- | |Project=Project:KARYON, | + | |Project=Project:KARYON, |
|ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS) | |ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS) | ||
|month=sep | |month=sep | ||
Line 12: | Line 12: | ||
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. | 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. | ||
|address=Florence, Italy | |address=Florence, Italy | ||
- | |booktitle=Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS | + | |booktitle=Proceedings of the Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS), SAFECOMP 2014 Workshops |
|editor=A. Bondavalli et al. | |editor=A. Bondavalli et al. | ||
|number=8696 | |number=8696 |
Latest revision as of 01:52, 23 July 2015
in Proceedings of the Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS), SAFECOMP 2014 Workshops, A. Bondavalli et al., Eds., ser. LNCS
Florence, Italy: Springer International Publishing, Sept. 2014, pp. 27–35.
Abstract: 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.
Download paper
Download Evaluation of Safety Rules in a Safety Kernel-Based Architecture
Export citation
Project(s): Project:KARYON
Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)