Model-Driven Engineering of Reliable Fault-Tolerant Systems—A State-of-the-Art Survey

In the past years, great effort has been spent on enhancing the security and safety of vehicular systems. Current advances in information and communication technology have increased the complexity of these systems and lead to extended functionalities towards self-driving and more connectivity. Unfortunately, these advances open the door for diverse and newly emerging attacks that hamper the security and, thus, the safety of vehicular systems. In this paper, we contribute to supporting the design of resilient automotive systems. We review and analyze scientific literature on resilience techniques, fault tolerance, and dependability. As a result, we present the REMIND resilience framework providing techniques for attack detection, mitigation, recovery, and resilience endurance. Moreover, we provide guidelines on how the REMIND framework can be used against common security threats and attacks and further discuss the trade-offs when applying these guidelines.

show abstract

“…-Runtime Verification [13], [20]. A monitor observes the system at runtime to verify the correctness of the execution.…”

Section: A Detectionmentioning

confidence: 99%

“…-HW/SW Redundancy [11]- [13], [15], [17]- [20]. Redundancy combined with a voter allows to mask system failures.…”

Section: A Detectionmentioning

confidence: 99%

REMIND: A Framework for the Resilient Design of Automotive Systems

Rosenstatter

Strandberg

Jolak

et al. 2020

2020 IEEE Secure Development (SecDev)

View full text Add to dashboard Cite

show abstract

“…In the section, we ease the restrictions of eligible papers to MDE based and model based dependability V&V. A comprehensive survey on MDE of fault-tolerate (software) systems is presented [244], and 10 MDE approaches are analyzed from 13 characteristics. Yet this survey is dedicated to high reliable/available component-based information and communication system, no MDE approach for physical side is analyzed.…”

Section: Mde On Dependable (Self-management) Cps Vandvmentioning

confidence: 99%

“…Another detail survey on models based the root-cause analysis (RCA) is proposed [245]; the authors introduced the models, the inference techniques and the theoretical complexity of inference. Combined with the two surveys [244][245] and the analysis in section 6.1, we can draw the workflow for MDE based dependable CPS V&V which is illustrated in Figure 16. For MDE based CPS dependability V&V, we need to generate the RCA models from the reference models of MDE.…”

Section: Mde On Dependable (Self-management) Cps Vandvmentioning

confidence: 99%

A Comprehensive Technological Survey on Dependable Self-Managing CPS: The Decade of Researches on Correctness and Dependability

Zhou¹,

Hou²,

Zhang³

et al. 2017

Preprint

View full text Add to dashboard Cite

Though Cyber Physical Systems (CPS) become very popular in last the decade, dependability of CPS is still a critical issue and related survey is rare. We try to spell out the jigsaw of technologies and figure out the technical trends of dependable self-managing CPS. This survey first recalls the motivation and the similar concepts. By analyzing four generic architectures, we summarize the common characteristics and related assurance technologies, and propose a more generic environment-in-loop processing flow of CPS and a formal interaction flow between physical space and cyber space. Further, the similarity between correctness and dependability is formally analyzed and the new five research questions of dependable self-managing CPS are presented. Then we review the critical technologies and related correctness verification & validation (V&V) methods, the architectures for dependable self-managing CPS. Further, the detail dependability management and V&V technologies are surveyed, which covers the areas of running-time fault management methods and whole life cycle V&V technologies, maintenance and available tool sets. For holistic CPS development, Modeling techniques and MDE (model driven engineering) based V&V methods are analyzed in detail. Then we complete the jigsaw of technologies and figure out the missing part. Further, we propose the technical challenges and the further direction. To our best knowledge, this is the first comprehensive survey on dependable self-managing CPS development and evaluation.

show abstract

“…MDSD has been successfully applied with different purposes and in different domains as fault-tolerant systems [ 20 ], user interfaces [ 21 ], multiagent systems [ 22 ], game development [ 23 ], and systems engineering [ 24 ], among others. In all of them, MDSD appears as a promising software development approach that aims to change the focus of software development from code to models by enabling systems engineers to model their domain knowledge and tooling on a more abstract level.…”

Section: An Overview Of Researchmentioning

confidence: 99%

Models and Frameworks: A Synergistic Association for Developing Component-Based Applications

Alonso

Sánchez-Ledesma

Sánchez

et al. 2014

The Scientific World Journal

View full text Add to dashboard Cite

The use of frameworks and components has been shown to be effective in improving software productivity and quality. However, the results in terms of reuse and standardization show a dearth of portability either of designs or of component-based implementations. This paper, which is based on the model driven software development paradigm, presents an approach that separates the description of component-based applications from their possible implementations for different platforms. This separation is supported by automatic integration of the code obtained from the input models into frameworks implemented using object-oriented technology. Thus, the approach combines the benefits of modeling applications from a higher level of abstraction than objects, with the higher levels of code reuse provided by frameworks. In order to illustrate the benefits of the proposed approach, two representative case studies that use both an existing framework and an ad hoc framework, are described. Finally, our approach is compared with other alternatives in terms of the cost of software development.

show abstract

Model-Driven Engineering of Reliable Fault-Tolerant Systems—A State-of-the-Art Survey

Cited by 10 publications

References 99 publications

REMIND: A Framework for the Resilient Design of Automotive Systems

REMIND: A Framework for the Resilient Design of Automotive Systems

A Comprehensive Technological Survey on Dependable Self-Managing CPS: The Decade of Researches on Correctness and Dependability

Models and Frameworks: A Synergistic Association for Developing Component-Based Applications

Contact Info

Product

Resources

About