Functional safety of adaptive embedded control systems: new solutions

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.