“Evaluation of Safety Rules in a Safety Kernel-Based Architecture”

From Navigators

(Difference between revisions)
Jump to: navigation, search
 
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'14), SAFECOMP 2014 Workshops
+
|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

Eric Vial, António Casimiro

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

BibTeX

Project(s): Project:KARYON

Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)

Personal tools
Navigators toolbox