abstract a
end a;
abstract implementation a.i
end a.i;
system s
end s;
system implementation s.i
properties
SEI::SafetyCriticality => 1;
end s.i;
end test;
Then, adding the Criticality property from ARINC653, the model becomes the following:
package test
public
with SEI;
with ARINC653;
system s
properties
SEI::SafetyCriticality => 1;
ARINC653::Criticality => LEVEL_C;
ARINC653::Criticality => LEVEL_C;
end s;
end test;
Starting with the following model: package test
public with SEI;
end test;
Then, adding the Criticality property from ARINC653, the model becomes the following: package test
public with SEI; with ARINC653; system s properties SEI::SafetyCriticality => 1; ARINC653::Criticality => LEVEL_C; ARINC653::Criticality => LEVEL_C; end s; end test;
Then, all other components are being deleted.