Authors: Atef Gharbi; Mohamed Khalgui
Addresses: LISI Laboratory, INSAT, Carthago University, Centre urbain nord de Tunis, B.P. 676 Cedex Tunis – 1080, Tunisia ' LISI Laboratory, INSAT, Carthago University, Centre urbain nord de Tunis, B.P. 676 Cedex Tunis – 1080, Tunisia
Abstract: This paper deals with the functional safety of embedded control system following component-based technologies. The functional safety in a device of the interconnected control components is handled by an agent that controls and adapts the local behaviour at run-time. The interaction between control agents in devices is ensured via the communication protocol based on a coordination agent. We propose technical solutions to implement the whole agent-based architecture, by defining UML meta-models for both control components and also agents. At the operational level, an OS task is assumed to be a set of components having some properties independently from any real-time operating system. To guarantee safety reconfiguration of OS tasks at run-time, we define service and reconfiguration processes for safety. We apply the priority ceiling protocol as a method to ensure the scheduling between periodic tasks with precedence and mutual exclusion constraints.
Keywords: control components; multi-agent systems; MSA; agent-based systems; communication protocol; coordination agents; functional safety; adaptive control; embedded control; metamodelling; priority ceiling protocol; scheduling; component-based technologies.
International Journal of Critical Computer-Based Systems, 2014 Vol.5 No.3/4, pp.300 - 353
Available online: 03 Sep 2014 *Full-text access for editors Access for subscribers Purchase this article Comment on this article