Architecture Level Safety Analyses for Safety-Critical Systems

Box 1

Error source and propagation.

device interface

features

set_speed  : out data port;

disengage  : out event port;

control_on  : out event port;

BA1  : requires bus access  Marine.Standard;

flows

on_flow_src  : flow source  set_speed;

annex EMV2

use types  ErrorModelLibrary;

use behavior  ErrorModelLibrary::Simple;

error propagations

set_speed: out propagationNoValue;

disengage: out propagationNoService;

control_on: out propagationNoService;

flows

fPath_Src: error source set_speedNoValue;

end propagations;