| GIM>Research>project>ITEA 05015 SPICES...
| PROJECT: |
| ||ITEA 05015 SPICES |
| Select this link to see PUBLICATIONS within this project |
|Title:||ITEA 05015 SPICES|
|Payer:||MITyC (PROFIT) |
|Partners:||Airbus, Axlog, Barco, CEA, CeTIC, Feria, LAAS, U. Leuven, SQS, Thales, TCP, UBS, Verimag |
|Director:||Eugenio Villar |
Eduardo de las Heras
|Description:||AADL (Architecture Analysis & Design Language) has been designed to allow the description of task and communication architectures of real-time, embedded, fault-tolerant, secure, safety-critical, software-intensive systems. In this project, new, solid engineering methods and tools dedicated to embedded systems and including validation support will be built. They will be derived from extended AADL descriptions to support specific non-functional real-time embedded constraints and to provide run-time execution capabilities.|
Web page of the project.