A correct by construction approach for modeling and formalizing self-adaptive systems

Hachicha, Marwa; Emna, Dammak; Halima, Riadh Ben; Kacem, Ahmed Hadj

doi:10.1109/snpd.2016.7515928

Cited by 9 publications

(3 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Through formal model transformation, MDE can guarantee the consistency between meta-model and other analytical models, and improves the trustability of V&V results with cross verification. Models based on SCPS (dependability) V&V have become more and more popular [ 139 , 140 , 141 ]. MDE can help designers to find defects at design period and reduce the cost of development on the domain of the Internet of Things, People and Services (IoTPS) [ 45 , 142 ].…”

Section: Guarantee the Dependability Of The Design With Model Basementioning

confidence: 99%

A Comprehensive Technological Survey on the Dependable Self-Management CPS: From Self-Adaptive Architecture to Self-Management Strategies

Zhou

Zuo

Hou

et al. 2019

Sensors

View full text Add to dashboard Cite

Cyber Physical Systems (CPS) has been a popular research area in the last decade. The dependability of CPS is still a critical issue, and few surveys have been published in this domain. CPS is a dynamic complex system, which involves various multidisciplinary technologies. To avoid human errors and to simplify management, self-management CPS (SCPS) is a wise choice. To achieve dependable self-management, systematic solutions are necessary to verify the design and to guarantee the safety of self-adaptation decisions, as well as to maintain the health of SCPS. This survey first recalls the concepts of dependability, and proposes a generic environment-in-loop processing flow of self-management CPS, and then analyzes the error sources and challenges of self-management through the formal feedback flow. Focusing on reducing the complexity, we first survey the self-adaptive architecture approaches and applied dependability means, then we introduce a hybrid multi-role self-adaptive architecture, and discuss the supporting technologies for dependable self-management at the architecture level. Focus on dependable environment-centered adaptation, we investigate the verification and validation (V&V) methods for making safe self-adaptation decision and the solutions for processing decision dependably. For system-centered adaptation, the comprehensive self-healing methods are summarized. Finally, we analyze the missing pieces of the technology puzzle and the future directions. In this survey, the technical trends for dependable CPS design and maintenance are discussed, an all-in-one solution is proposed to integrate these technologies and build a dependable organic SCPS. To the best of our knowledge, this is the first comprehensive survey on dependable SCPS building and evaluation.

show abstract

Section: Guarantee the Dependability Of The Design With Model Basementioning

confidence: 99%

A Comprehensive Technological Survey on the Dependable Self-Management CPS: From Self-Adaptive Architecture to Self-Management Strategies

Zhou

Zuo

Hou

et al. 2019

Sensors

View full text Add to dashboard Cite

show abstract

“…A software environment supporting the different features of this approach, has been implemented and integrated as a plugin in the open source Eclipse framework. Consequently, this work represents an extension of our previous work (Hachicha et al, 2016) which considers only modelling structural features for self-adaptive systems.…”

Section: Contributionmentioning

confidence: 99%

Modelling, specifying and verifying self-adaptive systems instantiating MAPE patterns

Hachicha

Halima

Kacem

2018

IJCAT

Self Cite

View full text Add to dashboard Cite

show abstract

“…Further, the authors point out the need of ad hoc approaches to perform on-line verification and discourage the use of general formalisms [94]. Marwa H et al first built a high level abstract model with event-B method and verified the correctness of self-adaptive systems with the transformation rules of pattern entity, tagged value and connections [95]. Paolo A et al provided a formal rule based validation method for service-oriented applications.…”

Section: Self-adaptability and Validationmentioning

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

A correct by construction approach for modeling and formalizing self-adaptive systems

Cited by 9 publications

References 10 publications

A Comprehensive Technological Survey on the Dependable Self-Management CPS: From Self-Adaptive Architecture to Self-Management Strategies

A Comprehensive Technological Survey on the Dependable Self-Management CPS: From Self-Adaptive Architecture to Self-Management Strategies

Modelling, specifying and verifying self-adaptive systems instantiating MAPE patterns

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

Contact Info

Product

Resources

About