[aadl-modeling]: doubts about error sink

[Luciana Burgareli]

Hello,

We sent an email to the list and received no response (details below).
Could someone please help us?

Luciana Burgareli <luciana.burgareli at gmail.com> por  lists.sei.cmu.edu
responder a: AADL Modeling <aadl-modeling at lists.sei.cmu.edu>
para: aadl-modeling at lists.sei.cmu.edu
data: 28 de março de 2017 10:30
assunto: [aadl-modeling]: doubts about error sink
lista de e-mails: aadl-modeling at lists.sei.cmu.edu

Best regards, Luciana

2017-03-28 10:30 GMT-03:00 Luciana Burgareli <luciana.burgareli at gmail.com>:

>
> Hello,
>
> We have doubts about error sink. Our very simple example has a system
> sensor that is an error source and a system CD that handle the
> error. After the sink of the error, we want that the system CD stay in
> the Operational state.
>
> After running the Analysis of Consistency Checks, it resulted four errors:
>
> C2: transition t1 in component CD1 does not reference event Failure
> C2: transition FailureTransition in component CD1 does not reference error
> sink MSIError
> C10: transition t1 does not references error event Failure in component CD1
> C10: transition FailureTransition does not references error sink MSIError
> in component CD1
>
> We have the following doubts:
> 1) We want that the system CD stay in the Operational state. Is it
> necessary to insert the transition t1?
> 2) How to address the event Failure and transition FailureTransition
> errors of the ErrorLibrary.aadl?
>
> 2) Is the event Failure of the ErrorLibrary.aadl used only to
> represent intern failures of the component?
>
> Best regards
>
> -----------------------------
> package Sis
> public
>
> system CD
> features
> Dados_in: in data port;
> end CD;
>
> system implementation CD.i
>     annex emv2{**
>     use types ErrorLibrary;
>     use behavior ErrorLibrary::FailStop;
>     error propagations
>     Dados_in: in propagation {BadValue};
>     flows
>     MSIError: error sink Dados_in {BadValue};
>     end propagations;
>     component error behavior
>    transitions
>     t1 : Operational-[Dados_in {BadValue}]-> Operational;
>     end component;
>     **};
> end CD.i;
> system  sensor
> features
> dados_sensor: out data port;
> annex emv2{**
> use types ErrorLibrary;
> use behavior ErrorLibrary::FailStop;
> error propagations
> dados_sensor: out propagation {BadValue};
> flows
> sensorFail: error source dados_sensor{BadValue};
> end propagations;
> component error behavior
> propagations
> FailStop-[]->dados_sensor{BadValue};
> end component;
> **};
> end sensor;
>
> system REC
> end REC;
>
> system implementation REC.i
>        subcomponents
> CD1: system CD.i;
> MSI: system Sensor;
> connections
> C_MSI: port MSI.dados_sensor ->CD1.Dados_in;
> end REC.i;
>
> end Sis;
>
>
-------------- next part --------------
HTML attachment scrubbed and removed