Objectif 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.OBJECTIVESThe 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 WORKWe 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. Champ scientifique natural sciencescomputer and information sciencessoftware Programme(s) FP5-IST - Programme for research, technological development and demonstration on a "User-friendly information society, 1998-2002" Thème(s) IST-2001-4.2.1 - Real time distributed systems Appel à propositions Data not available Régime de financement CSC - Cost-sharing contracts Coordinateur STICHTING KATHOLIEKE UNIVERSITEIT Contribution de l’UE Aucune donnée Adresse GEERT GROOTEPLEIN-NOORD 9 6525 EZ NIJMEGEN Pays-Bas Voir sur la carte Liens Site web Opens in new window Coût total Aucune donnée Participants (14) Trier par ordre alphabétique Trier par contribution de l’UE Tout développer Tout réduire AALBORG UNIVERSITET Danemark Contribution de l’UE Aucune donnée Adresse FREDRIK BAJERS VEJ 5 9220 AALBORG Voir sur la carte Coût total Aucune donnée AXXOM SOFTWARE AG Allemagne Contribution de l’UE Aucune donnée Adresse LANDSBERGER STRASSE 312 80687 MUENCHEN Voir sur la carte Coût total Aucune donnée CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE France Contribution de l’UE Aucune donnée Adresse 3, RUE MICHEL-ANGE 75794 PARIS CEDEX 16 Voir sur la carte Coût total Aucune donnée CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE France Contribution de l’UE Aucune donnée Adresse 3, RUE MICHEL-ANGE 75794 PARIS CEDEX 16 Voir sur la carte Coût total Aucune donnée CYBERNETIX France Contribution de l’UE Aucune donnée Adresse RUE ALBERT EINSTEIN TECHNOPOLE DE CHATEAU GOMBERT 13382 DOMAINE DE L'ANNONCIADE - MARSEILLE Voir sur la carte Coût total Aucune donnée INSTITUT NATIONAL POLYTECHNIQUE DE GRENOBLE France Contribution de l’UE Aucune donnée Adresse 46 AVENUE FELIX VIALLET 38031 GRENOBLE CEDEX 1 Voir sur la carte Coût total Aucune donnée ROBERT BOSCH GMBH Allemagne Contribution de l’UE Aucune donnée Adresse ROBERT-BOSCH-PLATZ1 70839 GERLINGEN-SCHILLERHOEHE Voir sur la carte Coût total Aucune donnée TERMA ELEKTRONIK A/S Danemark Contribution de l’UE Aucune donnée Adresse HOVMARKEN 4 8520 LYSTRUP Voir sur la carte Coût total Aucune donnée THE WEIZMANN INSTITUTE OF SCIENCE Israël Contribution de l’UE Aucune donnée Adresse HERZEL STREET 2 76100 REHOVOT Voir sur la carte Coût total Aucune donnée UNIVERSITAET DORTMUND Allemagne Contribution de l’UE Aucune donnée Adresse AUGUST-SCHMIDT-STRASSE 4 44227 DORTMUND Voir sur la carte Coût total Aucune donnée UNIVERSITE DE LA MEDITERRANEE France Contribution de l’UE Aucune donnée Adresse BD CHARLES LIVON 58 13007 MARSEILLE Voir sur la carte Coût total Aucune donnée UNIVERSITE DE PROVENCE France Contribution de l’UE Aucune donnée Adresse 3, PLACE VICTOR HUGO 13331 MARSEILLE CEDEX 03 Voir sur la carte Coût total Aucune donnée UNIVERSITE JOSEPH FOURIER GRENOBLE 1 France Contribution de l’UE Aucune donnée Adresse 621 AVENUE CENTRALE - DOMAINE UNIVERSITAIRE 38400 SAINT MARTIN D'HERES Voir sur la carte Coût total Aucune donnée UNIVERSITEIT TWENTE Pays-Bas Contribution de l’UE Aucune donnée Adresse DRIENERLOLAAN 5 7522 NB ENSCHEDE Voir sur la carte Coût total Aucune donnée