Can I read Automated fault tolerance augmentation in model-driven engineering for CPS on EtoBox?

Automated fault tolerance augmentation in model-driven engineering for CPS by Hu, Tingting; Cibrario Bertolotti, Ivan; Navet, Nicolas; Havet, Lionel is a Computer Science article available to read on EtoBox.

What is Automated fault tolerance augmentation in model-driven engineering for CPS about?

Cyber-Physical Systems are usually subject to dependability requirements such as safety and reliability constraints. Over the last 50 years, a body of efficient fault-tolerance mechanisms has been devised to handle faults occurring at run-time. However, properly implementing those mechanisms is a time-consuming task that requires a great deal of know-how. In this paper, we propose a general framework which allows system designers to decouple functional and non-functional concerns, and express non-functional properties at design time using domain-specific languages. In the spirit of generative programming, functional models are then automatically "augmented" with dependability mechanisms. Importantly, the real-time behavior of the initial models in terms of sampling times and meeting deadlines is preserved. The practicality of the approach is demonstrated with the automated implementation of one prominent software fault-tolerance pattern, namely N-Version Programming, in the CPAL model-driven engineering workflow.

Who reads Automated fault tolerance augmentation in model-driven engineering for CPS?

Author

Hu, Tingting; Cibrario Bertolotti, Ivan; Navet, Nicolas; Havet, Lionel

Publisher

Elsevier Science; Elsevier ; Elsevier BV (ISSN 0920-5489)

Published

2020

Language

EN

Field

Computer Science (Physical Sciences)