Final Year Project

Only available on StudyMode
  • Download(s) : 51
  • Published : May 30, 2013
Open Document
Text Preview
FINAL PROJECT REPORT

August 2007

Project no.: IST-2001-35304 Project Co-ordinator: Frits Vaandrager Project Start Date: 1 April 02 Duration: 39 months Project home page: http://ametist.cs.utwente.nl/ Status: Public

Contents
1 Project Overview 1.1 Consortium Description . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2 Main Achievements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 Project Objectives 3 Project Methodologies, Results and Achievements 3.1 Model-Based System Development . . . . . . . . . . . . . . . . . . . . . . 3.2 Project Results: Expressiveness, Performance & Tools . . . . . . . . . . . . 3.2.1 3.2.2 3.2.3 3.2.4 3.2.5 3.2.6 3.2.7 3.3.1 3.3.2 3.3.3 3.4.1 3.4.2 3.5.1 3.5.2 3.6.1 3.6.2 3.6.3 3.6.4 Priced Timed Automata: Theory, Algorithms and Applications . . Stochastic Extensions of Timed Automata . . . . . . . . . . . . . . Modelling Frameworks for Scheduling Under (Discrete) Uncertainty Optimization and Constraint Satisfaction as a Tool for Timed Automata Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Improvements in Timed Automata Model Checking Technology . . Specialized Technology for Solving Scheduling Problems with Timed Automata . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Tools . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Activities in year one and two . . . . . . . . . . . . . . . . . . . . . Work in the third year . . . . . . . . . . . . . . . . . . . . . . . . . Conclusions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Summary of the work . . . . . . . . . . . . . . . . . . . . . . . . . . Conclusions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . The CPS Case Study . . . . . . . . . . . . . . . . . . . . . . . . . . The Airbag ECU Case Study . . . . . . . . . . . . . . . . . . . . . Problem Statement . . . . . . . . . . . . . . . . . . . . . . . . . . . Modeling and Requirement Specification . . . . . . . . . . . . . . . Tool Application and Solution . . . . . . . . . . . . . . . . . . . . . Conclusions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 4 5 6 7 8 10 10 11 11 12 12 12 13 15 16 17 18 19 19 20 20 20 22 25 26 27 29 42 44

3.3 Project Results: Cybernetix Case Study . . . . . . . . . . . . . . . . . . .

3.4 Project Results: Terma Case Study . . . . . . . . . . . . . . . . . . . . . .

3.5 Project Results: Bosch Case Studies

3.6 Project Results: Axxom Case Study . . . . . . . . . . . . . . . . . . . . . .

3.7 Project Results: Other Case Studies 2

3.8 Towards a Unifying Framework . . . . . . . . . . . . . . . . . . . . . . . . 4 Outlook 5 Conclusions A List of Deliverables

45 47 49 73

3

1
1.1

Project Overview
Consortium Description

The Ametist consortium is composed of seven academic partners and four industrial partners as indicated in the table below. The coordinator is listed first, followed by the industrial partners on places 2-5, followed by the other academic partners on places 6-11. No CO1 AC2 AC3 AC4 AC5 CR6 CR7 CR8 AC9 CR10 CR11 Name Radboud University Nijmegen Bosch Cybernetix Axxom Terma University of Aalborg University of Dortmund VERIMAG Weizmann Institute LIF Marseille University of Twente Contact person Frits Vaandrager Marko Auerswald Patrice Gauthier Dagmar Ludewig Thomas Hune Kim Larsen Sebastian Engell Oded Maler Amir Pnueli Peter Niebert Ed Brinksma Role Technology User User User User Technology Technology Technology Technology Technology Technology

Provider

Provider Provider Provider Provider Provider Provider

Already before the start of Ametist , the academic partners have been cooperating successfully for many years in European projects. All academic partners share a common mission, which is to conduct research on the application of formal methods for the development of computer based systems...
tracking img