[aadl]: FW: AADL error annex

Peter Feiler phf at sei.cmu.edu
Fri Dec 13 12:11:54 EST 2013


Hi Sinem,

 

The AADL Wiki has some example models that make use of the Error Model Annex.

Check out https://wiki.sei.cmu.edu/aadl/index.php/Models_examples

The models themselves are also in a Github repository at https://github.com/osate/examples

 

The draft EMV2 Annex document defining the EMV2 notation can be found under Sept 2013 User Day https://wiki.sei.cmu.edu/aadl/index.php/Sept_2013_User_Day

 

Basically, you just as EMV2 annex subclauses to your classifier declarations following the syntax outlined in the draft EMV2 annex.

  device BrakePedal

    features

      sensor: out data port;

     annex EMV2 {**

      use types ErrorLibrary;

      error propagations

       sensor: out propagation {ServiceOmission}; 

       end propagations;

      **};

  end BrakePedal;

 

You also can create EMV2 libraries, e.g., for your own error types or error behavior state machines.

Those you create by EMV2 annex library declarations in an AADL package. For example:

package MyErrorLibrary

public

annex EMV2 {**

error types extends ErrorLibrary with

       HWError: type;

       HWFault: type extends HWError;

       HWGlitch: type extends HWError;

end types;   

**};

end MyErrorLibrary;

 

We are developing a guide to architecture fault modeling with AADL/EMV2 that covers all of the EMV2 Annex standard  a draft version will be available in early January.

 

Peter

 

From: sae-aadl-users-bounces+phf=sei.cmu.edu at lists.sei.cmu.edu [mailto:sae-aadl-users-bounces+phf=sei.cmu.edu at lists.sei.cmu.edu] On Behalf Of sinem GETIR
Sent: Friday, December 13, 2013 11:14 AM
To: sae-aadl-users at lists.sei.cmu.edu
Subject: [aadl]: AADL error annex

 

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

 

-------------- next part --------------
HTML attachment scrubbed and removed
-------------- next part --------------
A non-text attachment was scrubbed...
Name: PGP.sig
Type: application/pgp-signature
Size: 474 bytes
Desc: not available
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20131213/a2e6f35e/attachment.sig>


More information about the Sae-aadl-users mailing list