Skip to main content

Advanced Methods for Timed Systems

Ziel

The Ametist project is devoted to the development of a powerful methodology supported by efficient computerised problem-solving tools for the modeling and analysis of complex, distributed real-time systems. In particular, the project addresses the problems related to time-dependent behavior and (distributed, dynamic) resource allocation. Problems of this type are manifested under different names in application domains such as manufacturing, transport, communication networks and real-time software. A unifying mathematical framework will be developed for modeling and analysing these phenomena by extending and refining the existing body of theory and tools based on the model of timed automata.

OBJECTIVES
The Ametist project intends to develop a powerful methodology supported by efficient computerised problem-solving tools for the modelling and analysis of complex, distributed real-time systems. In particular, the project will address the problems in connection with time-dependent behaviour and (distributed, dynamic) resource allocation. We intend to develop a unifying mathematical framework for modelling and analysing these phenomena by extending and refining the existing body of theory and tools for the timed automata model. Thus the project will initiate first steps in the development of an emerging discipline, computer-aided timing analysis and design.

DESCRIPTION OF WORK
We intend to investigate several representative classes of time-related problems and see how they are modelled within the timed automata paradigm. This activity will constitute the modelling workpackage. Once the classes of models are defined, analysis methods will be developed for the control synthesis and validation problems that they pose. The analysis methods will include abstraction and compositional principles that can help to control the size and complexity of the models. We will develop new symbolic datastructures for state-space representation to improve the efficiency of state-of-the-art validation techniques. We will implement our ideas in a variety of (interacting) tools for control synthesis and real-time verification. The combination of the above constitutes the analysis and tools workpackage. The work in the previous two workpackages is driven by a number of case studies provided by the participating industries (and additionally by the members of the End-User Panel). The application of the developed modelling formalisms, their supporting analysis methods and tools to these case-studies makes up the case-studies workpackage. These case-studies help to evaluate the methods and tools under development and keep the research in the other workpackages on the relevant track. In principle, this allows for a cyclic development process of models, methods, tools and case studies.

Aufforderung zur Vorschlagseinreichung

Data not available

Koordinator

STICHTING KATHOLIEKE UNIVERSITEIT
Adresse
Geert Grooteplein-noord 9
6525 EZ Nijmegen
Niederlande

Auf der Karte ansehen

Beteiligte (14)

AALBORG UNIVERSITET
Dänemark
Adresse
Fredrik Bajers Vej 5
9220 Aalborg

Auf der Karte ansehen

Links
AXXOM SOFTWARE AG
Deutschland
Adresse
Landsberger Strasse 312
80687 Muenchen

Auf der Karte ansehen

Links
CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE
Frankreich
Adresse
3, Rue Michel-ange
75794 Paris Cedex 16

Auf der Karte ansehen

Links
CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE
Frankreich
Adresse
3, Rue Michel-ange
75794 Paris Cedex 16

Auf der Karte ansehen

Links
CYBERNETIX
Frankreich
Adresse
Rue Albert Einstein Technopole De Chateau Gombert
13382 Domaine De L'annonciade - Marseille

Auf der Karte ansehen

Links
INSTITUT NATIONAL POLYTECHNIQUE DE GRENOBLE
Frankreich
Adresse
46 Avenue Felix Viallet
38031 Grenoble Cedex 1

Auf der Karte ansehen

Links
ROBERT BOSCH GMBH
Deutschland
Adresse
Robert-bosch-platz1
70839 Gerlingen-schillerhoehe

Auf der Karte ansehen

Links
TERMA ELEKTRONIK A/S
Dänemark
Adresse
Hovmarken 4
8520 Lystrup

Auf der Karte ansehen

Links
THE WEIZMANN INSTITUTE OF SCIENCE
Israel
Adresse
Herzel Street 2
76100 Rehovot

Auf der Karte ansehen

Links
UNIVERSITAET DORTMUND
Deutschland
Adresse
August-schmidt-strasse 4
44227 Dortmund

Auf der Karte ansehen

Links
UNIVERSITE DE LA MEDITERRANEE
Frankreich
Adresse
Bd Charles Livon 58
13007 Marseille

Auf der Karte ansehen

Links
UNIVERSITE DE PROVENCE
Frankreich
Adresse
3, Place Victor Hugo
13331 Marseille Cedex 03

Auf der Karte ansehen

Links
UNIVERSITE JOSEPH FOURIER GRENOBLE 1
Frankreich
Adresse
621 Avenue Centrale - Domaine Universitaire
38400 Saint Martin D'heres

Auf der Karte ansehen

Links
UNIVERSITEIT TWENTE
Niederlande
Adresse
Drienerlolaan 5
7522 NB Enschede

Auf der Karte ansehen

Links