Loading...
Date
2010
Abstract
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.
Supervisor
Description
peer-reviewed
Publisher
20th European Meeting on Cybernetics and System Research
Citation
Files
Keywords
Funding code
Funding Information
Science Foundation Ireland (SFI)
Sustainable Development Goals
External Link
Type
Meetings and Proceedings
Rights
https://creativecommons.org/licenses/by-nc-sa/1.0/