Lectures for the NDP Course on Distributed System Modeling, Verification, and Testing

(Fall 2008)

(Please download Uppaal to your computer before the lecture day!)

Lecture 09: Modeling, Verification, and Testing of Reactive Systems

Topics:

- Reactive system concepts

- Formal models (LTS, FSM, EFSM, Statecharts)

- Simple FSM modeling

- Modeling reactive systems using Uppaal

- System simulation using Uppaal

- Model checking using Uppaal

- Model-based testing of reactive systems (introduction)

Lecture 10: Modeling, Verification, and Testing of Real-time Systems

Topics:

- Model-based testing of reactive systems: principles, methods, and tools (continued)
- Real-time systems
- Timed Automata (TA)
- Modeling real-time systems using Uppaal
- System simulation and verification using Uppaal
- Model-based testing of real-time systems using Uppaal-Cover and Uppaal-TRON