Towards validation of smart cyber-physical systems
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