Automated fault tolerance augmentation in model-driven engineering for CPS |
| |
| Affiliation: | 1. Faculty of Science, Technology and Medicine, University of Luxembourg, 6 Avenue de la Fonte, L-4364 Esch-sur-Alzette, Luxembourg;2. CNR – National Research Council of Italy, IEIIT, c.so Duca degli Abruzzi 24, Torino I-10129, Italy;3. RealTime-at-Work (RTaW), 4 Rue Piroux, Nancy 54000, France;1. UECE - State University of Ceará, Brazil;2. IFES - Federal Institute of Technology of Espírito Santo State, Brazil;3. Associated researcher at the State University of Ceará - UECE;4. Associated professor at the Federal Institute of Technology of Espírito Santo State - IFES;5. Titular professor at the State University of Ceará - UECE;1. ITK, 5 rue de la cavalerie, Montpellier F-34000, France;2. ISIMA/LIMOS, UMR 6158 CNRS, Blaise Pascal University, BP 10125, Aubiere F-63177, France |
| |
| Abstract: | 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. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
