MATCH Advanced Summer Schools

Index page
General presentation
Performance School
System Engineering School
Slides of the courses

General presentation

MATCH (Modelling and Analysis of Time Constrained and Hierarchical Systems) is a Human Capital and Mobility initiative, sponsored by the European Union. One of its objectives is the organization of two open complementary Advanced Schools concerning Discrete Event Dynamic Systems (DEDS), focusing one on performance modelling and evaluation, and the other on modelling and verification. Each school can be attended independently.

In the past years an increasing demand for precise and graphical modelling techniques has become visible in almost all fields of computer applications from industry, commerce and research. This is due to growing requirements for efficient and reliable methods on the one hand and increased power of computer tools on the other.

It is thus not surprising that Petri nets have become a common technique for the specification, validation and performance evaluation of systems, since they provide an intuitive approach, formal techniques and graphical description methods.

The intended audience consists of people interested in both the theoretical and practical aspects of modelling for evaluation and verification of DEDS. Concepts, methods and computer supported tools will allow to provide answers to questions like the following:

  • Could a token-ring protocol lose or duplicate some messages?
  • How to ensure that even in case of a computer crash no crucial information would be lost?
  • How to check that replicated file copies remain consistent?
  • How to be sure the implemented system will be consistent with the verified model?
  • How to increase the throughput of a large insurance company by a work flow analysis?
  • Is it possible to check whether a flexible manufacturing system may have some of its robots blocked?
  • How should a production line be designed in order to achieve a given production rate?
  • What should be the size of the buffers of ATM switches so that the cell loss probability remains below a given value?
  • Do the verification and the performance evaluation need completely different formalisms?
  • What kind of approaches are available to deal with large size and complex DEDS?