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

(Fall 2007)

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

Lecture 8: Reactive and Real-time System Modeling

Topics:

- Introduction to Reactive Real-time Systems and Model-Based Development
- Finite State Machine (FSM)
- High-level FSM languages
- Modelling untimed systems using Uppaal
- Timed Automata (TA)
- Modelling timed systems using Uppaal
- Verification using Uppaal

Lecture 9: Model-Based Testing

Topics:

- Introduction to Model-Based Testing
- Finite State Machine (FSM)-based Testing
- Labelled Transition System (LTS)-based Testing
- Timed Automata (TA)-based Testing
- Tools for Model-Based Testing