This course has been given in the context of
a École JEUNES CHERCHEURS en PROGRAMMATION
from June 5-16, 2006.
Here is the lists of the main topics covered:
- PART I: Asynchronous modelling (slides in pdf)
- Introduction on on synchronous versus asynchronous modelling techniques
- Some semantic models for the asynchronous approach
- Timed automata and some decidability results
- Model-checking and techniques for making model-checking more efficient
- PART II: The IF language and toolset -- an implementation of an asynchronous framework (slides in pdf)
- Motivation
- Language features
- Tool architecture and Simulation and validation features
- PART III: A Case study in the context of embedded sytems (slides in pdf)
- Presentation of the case study
- Verification problem to be solved
- A UML model
- Validation with the IF tool
A list of related documents and links are provided here:
Link concerning IF and the case study:
Other documents which might be useful (will be completed over time):
- The reference on event structures
- A brief history in process algebrae by Jos Baeten a pdf file
- An overview on results on process algebrae a pdf file
- An overview on decidability results concerning hybrid (and timed systems)
a pdf file
Susanne Graf
Last modified: Sat Jun 17 17:58:57 MEST 2006