[aadl]: AADL error annex

[Brian Larson]

On Dec 13, 2013, at 10:14 AM, sinem GETİR <sinemgetir at gmail.com> wrote:

> Hi,
> I would like to use error annex and create own error definitions for my model then integrate it into model.
> However i could not find any info how to use this annex in the tool. I see ErrorLibrary in the tool. But i am not clear where to add my error model? to a new package or to the ErrorLibrary addl? Also it always gives the error missing model property.
> 
> Actually what is the first step to define the error models and use them?
> 
> Thanks
> 
> -- 
> Sinem
> 

Sinem,

You ask a good question.

First of all the EMV2 plug-in to OSATE must be understood in the context of the official, standard, annex document.  (I'll send it and its syntax card separately.)

You can also find EMV2 in the Eclipse Help->Help Contents.  Poke around the AADL wiki:  https://wiki.sei.cmu.edu/aadl/index.php/Main_Page
especially the "User Days" presentations.

Your EMV2 model is necessarily permeated into the AADL architecture.  
Stuff that gets re-used gets declared in EMV2 annex libraries (in an AADL package, but not attached to any particular component).  
Stuff particular to components goes in EMV2 annex subclauses within the text of AADL component to which it applies.

EMV2 has not yet been balloted by the AADL standard committee, so you're pioneering the edge of technology.  The EMV2 plug-in to OSATE has been revised with (what we hope are) the last changes in EMV2 syntax before standardization.  

I suggest writing yourself, a guide for novices, that has explanations for all the questions you have.  Then it can be posted on the AADL wiki as a service to others.


Brian Larson
Research Associate
FDA Scholar in Residence
Kansas State University


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