Modellbasierte Verifikation von Echtzeit-Software

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.