CAS *753 / Specifying, Implementing and Verifying Timing Behaviours for Hard Real-Time Systems

3 unit(s)

A. Wassyng

Hard-real-time systems are those in which timing requirements are just as important as any other requirement. The course will present a number of timing specification models and methods, such as timed automata, as well as new methods that cope with tolerances on the time durations. Techniques for implementing timing behaviours and verification of those behaviours, both mathematical and testing-based, will be included.