How can a smart cyber-physical system validate its run-time adaptation actions before and after executing them?
(2020) p.103-114- Abstract
- Time has come for engineered systems to behave smartly. Towards this end, they need (i) to collect data directly from real life processes, (ii) to build situation awareness, (iii) to reason about their operational states, (iv) to determine the best servicing objectives, (v) to plan their run-time adaptation, and (vi) to provide dependable operations/services even under dynamically changing circumstances. Designers have to figure out how to design smart cyber-physical systems (S-CPSs) for adaptation at run-time. Designing such S-CPSs is a challenging task. S-CPSs should not prepare only device run-time adaptation plans, but also confirm their feasibility and efficiency. S-CPSs should predict the physical and computational resources. The... (More)
- Time has come for engineered systems to behave smartly. Towards this end, they need (i) to collect data directly from real life processes, (ii) to build situation awareness, (iii) to reason about their operational states, (iv) to determine the best servicing objectives, (v) to plan their run-time adaptation, and (vi) to provide dependable operations/services even under dynamically changing circumstances. Designers have to figure out how to design smart cyber-physical systems (S-CPSs) for adaptation at run-time. Designing such S-CPSs is a challenging task. S-CPSs should not prepare only device run-time adaptation plans, but also confirm their feasibility and efficiency. S-CPSs should predict the physical and computational resources. The theory and development methodology of smart systems is still under development. This paper focuses on run-time adaptation, provides an overview on the research efforts, and analyses the results published so far. The literature informs about the fact that there is a need for a meta-model of systems’ self-adaptation, which might however be completely different depending on the kind of systems and the applications. Therefore, the paper proposes that managing self-adaptation decomposes to four logical stages: (i) planning self-adaptation, (ii) verification before self-adaptation, (iii) operationalization of self-adaptation, and (iv) validation of self-adaptation. (Less)
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/bd04c044-8475-4930-8241-bc6dc409f917
- author
- Tavcar, Joze LU and Horvath, Imre
- publishing date
- 2020
- type
- Chapter in Book/Report/Conference proceeding
- publication status
- published
- subject
- keywords
- Smart cyber-physical systems, self-adaptation, pre-adaptation self-verification, post-adaptation self-validation, design approaches, design principles, system development
- host publication
- Proceedings of TMCE 2020 : tools and methods of competitive engineering. Thirteenth International Tools and Methods of Competitive Engineering Symposium (TCME 2020)
- pages
- 103 - 114
- publisher
- Delft University of Technology
- ISBN
- 978-94-6384-131-3
- language
- English
- LU publication?
- no
- additional info
- https://tmce.io.tudelft.nl/?year=2020&page=proceedings%202020
- id
- bd04c044-8475-4930-8241-bc6dc409f917
- alternative location
- https://tmce.io.tudelft.nl/pages/2020/proceedings/TMCE2020-ESS-VCS-2.pdf
- date added to LUP
- 2021-01-19 20:33:43
- date last changed
- 2021-01-20 11:37:32
@inproceedings{bd04c044-8475-4930-8241-bc6dc409f917,
abstract = {{Time has come for engineered systems to behave smartly. Towards this end, they need (i) to collect data directly from real life processes, (ii) to build situation awareness, (iii) to reason about their operational states, (iv) to determine the best servicing objectives, (v) to plan their run-time adaptation, and (vi) to provide dependable operations/services even under dynamically changing circumstances. Designers have to figure out how to design smart cyber-physical systems (S-CPSs) for adaptation at run-time. Designing such S-CPSs is a challenging task. S-CPSs should not prepare only device run-time adaptation plans, but also confirm their feasibility and efficiency. S-CPSs should predict the physical and computational resources. The theory and development methodology of smart systems is still under development. This paper focuses on run-time adaptation, provides an overview on the research efforts, and analyses the results published so far. The literature informs about the fact that there is a need for a meta-model of systems’ self-adaptation, which might however be completely different depending on the kind of systems and the applications. Therefore, the paper proposes that managing self-adaptation decomposes to four logical stages: (i) planning self-adaptation, (ii) verification before self-adaptation, (iii) operationalization of self-adaptation, and (iv) validation of self-adaptation.}},
author = {{Tavcar, Joze and Horvath, Imre}},
booktitle = {{Proceedings of TMCE 2020 : tools and methods of competitive engineering. Thirteenth International Tools and Methods of Competitive Engineering Symposium (TCME 2020)}},
isbn = {{978-94-6384-131-3}},
keywords = {{Smart cyber-physical systems; self-adaptation; pre-adaptation self-verification; post-adaptation self-validation; design approaches; design principles; system development}},
language = {{eng}},
pages = {{103--114}},
publisher = {{Delft University of Technology}},
title = {{How can a smart cyber-physical system validate its run-time adaptation actions before and after executing them?}},
url = {{https://tmce.io.tudelft.nl/pages/2020/proceedings/TMCE2020-ESS-VCS-2.pdf}},
year = {{2020}},
}