Automated fault tolerance augmentation in model-driven engineering for CPS

•A framework to augment design models with dependability mechanisms is presented.•The proposed approach decouples functional and non-functional concerns.•The augmentation process is automated by the NHC tool.•NHC’s viability is shown with NVP, a leading fault-tolerance pattern.•Data correctness and...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Computer standards and interfaces Ročník 70; s. 103424 - 13
Hlavní autoři: Hu, Tingting, Cibrario Bertolotti, Ivan, Navet, Nicolas, Havet, Lionel
Médium: Journal Article
Jazyk:angličtina
Vydáno: Amsterdam Elsevier B.V 01.06.2020
Elsevier BV
Témata:
Automation
Cognification
Cyber-physical systems
Domain specific languages
Fault tolerance
Industrial cyber physical systems
Model-driven engineering
Run time (computers)
Software engineering
Workflow
Model-driven engineering
Cognification
Fault-tolerance
Domain-specific languages
Industrial cyber physical systems
ISSN:0920-5489, 1872-7018
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:•A framework to augment design models with dependability mechanisms is presented.•The proposed approach decouples functional and non-functional concerns.•The augmentation process is automated by the NHC tool.•NHC’s viability is shown with NVP, a leading fault-tolerance pattern.•Data correctness and timing correctness of the augmented model are preserved. 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.
Bibliografie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0920-5489
1872-7018
DOI:10.1016/j.csi.2020.103424