[aadl]: Spring meeting & Error Annex tools

[Pierre Dissaux]

> Dear all,

> 

> The next AADL meeting will be held in Jacksonville, Florida, on April 22-25[1]. The agenda will be drafted soon, Bruce Lewis would send drafts and 

> revisions according to the topics and the presentations. If you would like to make a presentation and/or are interested in a particular topic, please let 

> us know and contact Bruce Lewis. 



Ellidiss would be happy to present the new version of AADL Inspector at the next meeting



AADL Inspector is a commercially supported AADL model processing tool that can be easilly extended by new input and output plugins.



Version 1.1 embeds the last version of CHEDDAR (v3), an AADL 2.1 rules checker and the MARZHIN AADL simulator that can analyse the AADL Behavior Annex.



For the future versions, we have plans to add a large variety of input and output plugins:

- import of UML/Marte models

- import of SysML models

- FIACRE generator (export to TINA)

- SLIM generator (export to the COMPASS safety analysis toolset)

- SIGNAL generator (export to POLYCHRONY)

- bidge with code generators (OCARINA, RAMSES)

- ...



plugins to import or export Domain Specific Models can be also developed to support corporate or project specific MDE processes



Best regards



Pierre Dissaux

Ellidiss Technologies

www.ellidiss.fr



> ...

 
-------------- next part --------------
HTML attachment scrubbed and removed