Towards validation of smart cyber-physical systems
(2018) p.17-26- Abstract
- Conventional technical system is designed with all details in the product development phase. Conditions of operation and modes of behaviour are known and validated before the product is launched to the market. This deterministic way of thinking is built into regulations procedures and it is requested at validation when safety is an issue. The existing way of validation that is based on predictive way of operation is in contradiction with smart systems. Smart cyber-physical systems (S-CPSs) are complex engineered systems empowered by cyber-physical computing and equipped with the capability of reasoning, learning, adapting, and evolving. Dynamic computing, own knowledge, the non-linear operation and emergent behaviour of S-CPSs in run-time... (More)
- Conventional technical system is designed with all details in the product development phase. Conditions of operation and modes of behaviour are known and validated before the product is launched to the market. This deterministic way of thinking is built into regulations procedures and it is requested at validation when safety is an issue. The existing way of validation that is based on predictive way of operation is in contradiction with smart systems. Smart cyber-physical systems (S-CPSs) are complex engineered systems empowered by cyber-physical computing and equipped with the capability of reasoning, learning, adapting, and evolving. Dynamic computing, own knowledge, the non-linear operation and emergent behaviour of S-CPSs in run-time brings new requests to validation process. Smart CPS is evolving with time and therefore cannot be validated in deterministic way as it is predicted in conventional technical systems. The paper is presented an overview of validation of medical devices end elementary methods of validation. In the next step the proposal toward validation of smart CPS is presented. If the system has higher level of adaptation freedom it requires higher level of self-control for constraining of resources and modes of operation. A derived conclusion is that complex and self-adaptable systems need to be autonomous, system and environment aware and with ability for self-control development. Self-learning and self-adaptive system represent a big unused potential of longer and more efficient operation. (Less)
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/f38fd611-c57d-4475-a233-5c40fffcf540
- author
- Tavcar, Joze LU ; Duhovnik, Jože and Horvath, Imre
- publishing date
- 2018
- type
- Chapter in Book/Report/Conference proceeding
- publication status
- published
- subject
- keywords
- Validation, verification, smart cyber-physical systems, product life cycle, product development
- host publication
- Tools and Methods of Competitive Engineering : Proceedings of the twelfth International Symposium on Tools and Methods of Competitive Engineering - TMCE 2018, May 07-11, Las Palmas De Gran Canaria, Spain - Proceedings of the twelfth International Symposium on Tools and Methods of Competitive Engineering - TMCE 2018, May 07-11, Las Palmas De Gran Canaria, Spain
- pages
- 17 - 26
- publisher
- Delft University of Technology
- ISBN
- 978-94-6186-910-4
- language
- English
- LU publication?
- no
- additional info
- https://tmce.io.tudelft.nl/?year=2018
- id
- f38fd611-c57d-4475-a233-5c40fffcf540
- date added to LUP
- 2021-01-19 21:15:11
- date last changed
- 2021-01-20 11:15:34
@inproceedings{f38fd611-c57d-4475-a233-5c40fffcf540, abstract = {{Conventional technical system is designed with all details in the product development phase. Conditions of operation and modes of behaviour are known and validated before the product is launched to the market. This deterministic way of thinking is built into regulations procedures and it is requested at validation when safety is an issue. The existing way of validation that is based on predictive way of operation is in contradiction with smart systems. Smart cyber-physical systems (S-CPSs) are complex engineered systems empowered by cyber-physical computing and equipped with the capability of reasoning, learning, adapting, and evolving. Dynamic computing, own knowledge, the non-linear operation and emergent behaviour of S-CPSs in run-time brings new requests to validation process. Smart CPS is evolving with time and therefore cannot be validated in deterministic way as it is predicted in conventional technical systems. The paper is presented an overview of validation of medical devices end elementary methods of validation. In the next step the proposal toward validation of smart CPS is presented. If the system has higher level of adaptation freedom it requires higher level of self-control for constraining of resources and modes of operation. A derived conclusion is that complex and self-adaptable systems need to be autonomous, system and environment aware and with ability for self-control development. Self-learning and self-adaptive system represent a big unused potential of longer and more efficient operation.}}, author = {{Tavcar, Joze and Duhovnik, Jože and Horvath, Imre}}, booktitle = {{Tools and Methods of Competitive Engineering : Proceedings of the twelfth International Symposium on Tools and Methods of Competitive Engineering - TMCE 2018, May 07-11, Las Palmas De Gran Canaria, Spain}}, isbn = {{978-94-6186-910-4}}, keywords = {{Validation, verification; smart cyber-physical systems; product life cycle; product development}}, language = {{eng}}, pages = {{17--26}}, publisher = {{Delft University of Technology}}, title = {{Towards validation of smart cyber-physical systems}}, year = {{2018}}, }