:: Site map:: Intranet
:: Research Areas:: Projects :: About CfPC:: News & Events:: Publications
  Modelling and Validation of Distributed Systems  
    Executive summary  

Most modern computing systems are distributed, and a current trend is that they become more and more pervasive.

A common property of these systems is that they are extremely complex to design, debug, and maintain. One way to cope with this challenge is to test and further develop the different design proposals by creating a number of models/prototypes which can be manipulated and executed in a computer. In this way it becomes possible to investigate how the system design works before the implementation starts. The result is an improved understanding of key design issues, fewer design errors, faster implementation, better documentation, and easier maintenance.

Coloured Petri Nets (CP-nets or CPNs) provide a framework for the construction and analysis of concurrent and distributed systems. CP-nets have a wide range of application areas and many CPN projetcs have been carried out in the industry

The work within the CPN centre focuses on three main areas:

The CPN centre is based on the expertise of the CPN group at University of Aarhus. The work is organised as a number of projects in which CP-nets and other formal methods are used for modelling and analysis of systems. A typical project runs for 6-12 months and cooperates with an ongoing development project at one of the industrial partners. A project could, e.g., be the design and validation of the communication and synchronisation in a new system, or it could be performance analysis and capacity planning of a system. The choice of projects is based on the needs of the participating companies.

Partners: Nokia Research Center, Microsoft Research Limited, Ericsson Telebit, Hewlett-Packard, and George Mason University.

People: http://www.daimi.au.dk/CPnets/people


Related projects
UML + CPN @ Nokia
IPv6: Design and Validation of Protocols
Area Site
Coloured Petri Nets at the University of Aarhus
Area Manager
Kurt Jensen
Dept. of Computer Science
University of Aarhus
Aabogade 34
DK-8200 Århus N

Phone: +45 8942 5612
Fax: +45 8942 5624
Email: kjensen@daimi.au.dk

   CfPC©, updated: 14-nov-05