Model-based Verification of Real-Time Software

Project: Research project

Project Details


Test and verification of complex reactive real-time software involve execution in conjunction with the process to control, which has a lot of drawbacks. An environment simulation model of the process is coupled to the software system under test. This provides better insight and control of the interaction between control system and its environment. Important topics that arise are model architecture, abstraction level and its verification as well as system coupling concepts.
Effective start/end date1/01/9631/01/00


Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.