Modelling and verification of cyber-physical system

Embedded system interacting with physical world should be designed with high degree of safety. In most existing design approaches dealing with such systems verification is done afterwards what may lead to redesign problems. Moreover verification is done by simulation which may not consider whole spectrum of system operation. This work introduces methodology, which helps design the systems possible to verify by formal methods and according to system requirements. Moreover it helps partition system into the objects building it.