Architecture Level Safety Analyses for Safety-Critical Systems

Box 3

Component error behaviour.

device  display_unit

features

status  : in data port;

BA1  : requires bus access  Marine.Standard;

flows

on_flow_snk  : flow sink status;

annex EMV2

use types  ErrorModelLibrary;

use behavior  ErrorModelLibrary::Simple;

error propagations

status: in propagationNoValue;

Flows

fPath_Snk: error sink statusNoValue;

end propagations;

component error behavior

transitions

t0: Operational -statusNoValue  -> Failed;

end component;