Skip to main content

Lund University Publications

LUND UNIVERSITY LIBRARIES

Towards validation of smart cyber-physical systems

Tavcar, Joze LU ; Duhovnik, Jože and Horvath, Imre (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:
author
; and
publishing date
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}},
}