Microelectronics Engineering Group

Microelectronics Engineering Group

Electronics Technology, Systems and Automation Engineering Department University of Cantabria
Home    Staff    Research    Teaching    Doctorate    Publications    Tools    versión en español Mon 03-Aug-20 . 22:56



Web Map


Location

News

Santander Info

GIM>AADS

AADS-T


What is AADS-T?

AADS-T is a tool for simulating an AADL model using the tool SCoPE, Ravenscar Computational Model compliant.

If you want to read something more about AADS-T just click here.


Available version

This version of AADS-T supports XML and C/C++ language as input and produces files in POSIX / C++, XML and text.

AADS-T is available for Linux platforms with OSATE.


Documents related

You can have a look to the documents about AADS-T
[MANUAL], [ICECCS09], [DATE09], [ICECCS10], [ISSE11].

And you can read about our research activities: Design and verification of HW/SW embedded systems.


If you want more information ...

About future updates or you are interested in the Tool, you can write an e-mail.




This work has been developed by the UC and has been partially supported by the Spanish MICyT through the ITEA 05015 SPICES project and the TEC2008-04107 project,

and the ESTEC 22810/09/NL/JK HW-SW CODESIGN project contracted to GMV Aerospace and Defense S.A.U.



Last update: 6.6.11


© Copyright GIM (TEISA-UC)    ¤    All rights reserved.    ¤    Legal TermsE-Mail Webmaster