167 lines
4.6 KiB
Plaintext
167 lines
4.6 KiB
Plaintext
// Preserve the authored startup order rationale.
|
|
arcadia 5;
|
|
project mission "Startup scenario order review" id "44ee1446-6c83-46da-a0c7-7780d3719881" {
|
|
description "";
|
|
|
|
sa_occurrence energize_10ca3141 "SA Energize" id "10ca3141-0fec-4158-9bb4-020cac14fdfc" {
|
|
body {
|
|
Action {
|
|
action none;
|
|
lifeline none;
|
|
};
|
|
};
|
|
description "";
|
|
parent @startup_scenario_9fe4d605;
|
|
postcondition "";
|
|
precondition "";
|
|
}
|
|
|
|
oa_occurrence request_start "OA Request start" id "1c0cb002-a7a5-4e6d-9e55-b37fa574e096" {
|
|
body {
|
|
Action {
|
|
action none;
|
|
lifeline none;
|
|
};
|
|
};
|
|
description "";
|
|
parent @startup_scenario;
|
|
postcondition "";
|
|
precondition "";
|
|
}
|
|
|
|
oa_occurrence local_self_test "OA Local self-test" id "30abc877-03ba-4c5b-9222-3c51222f197a" {
|
|
body {
|
|
Action {
|
|
action none;
|
|
lifeline none;
|
|
};
|
|
};
|
|
description "";
|
|
parent @startup_scenario;
|
|
postcondition "";
|
|
precondition "";
|
|
}
|
|
|
|
sa_occurrence request_start_8b82f67f "SA Request start" id "8b82f67f-c027-416d-9f8f-0d4057674b50" {
|
|
body {
|
|
Action {
|
|
action none;
|
|
lifeline none;
|
|
};
|
|
};
|
|
description "";
|
|
parent @startup_scenario_9fe4d605;
|
|
postcondition "";
|
|
precondition "";
|
|
}
|
|
|
|
sa_scenario startup_scenario_9fe4d605 "SA Startup scenario" id "9fe4d605-5e9d-4486-bc5d-f0ec660a8601" {
|
|
context none;
|
|
description "";
|
|
parent none;
|
|
postcondition "";
|
|
precondition "";
|
|
steps [@request_start_8b82f67f, @local_self_test_de57a577, @energize_10ca3141];
|
|
viewpoint Functional;
|
|
}
|
|
|
|
oa_occurrence energize "OA Energize" id "b3eaf78f-d793-433c-853b-4a27cdf0e809" {
|
|
body {
|
|
Action {
|
|
action none;
|
|
lifeline none;
|
|
};
|
|
};
|
|
description "";
|
|
parent @startup_scenario;
|
|
postcondition "";
|
|
precondition "";
|
|
}
|
|
|
|
oa_scenario startup_scenario "OA Startup scenario" id "b82aea81-8e09-4436-8877-0a097d86a10a" {
|
|
context none;
|
|
description "";
|
|
parent none;
|
|
postcondition "";
|
|
precondition "";
|
|
steps [@request_start, @verify_interlock, @energize];
|
|
viewpoint OperationalActivity;
|
|
}
|
|
|
|
sa_occurrence verify_interlock_cedb45fb "SA Verify interlock" id "cedb45fb-83d2-4b6f-b812-51853b7dcaf7" {
|
|
body {
|
|
Action {
|
|
action none;
|
|
lifeline none;
|
|
};
|
|
};
|
|
description "";
|
|
parent @startup_scenario_9fe4d605;
|
|
postcondition "";
|
|
precondition "";
|
|
}
|
|
|
|
oa_occurrence verify_interlock "OA Verify interlock" id "cfaa7b0f-3823-4a9b-a456-7bb31c233b55" {
|
|
body {
|
|
Action {
|
|
action none;
|
|
lifeline none;
|
|
};
|
|
};
|
|
description "";
|
|
parent @startup_scenario;
|
|
postcondition "";
|
|
precondition "";
|
|
}
|
|
|
|
sa_occurrence local_self_test_de57a577 "SA Local self-test" id "de57a577-75f3-4bdc-a5d0-b09d44defde0" {
|
|
body {
|
|
Action {
|
|
action none;
|
|
lifeline none;
|
|
};
|
|
};
|
|
description "";
|
|
parent @startup_scenario_9fe4d605;
|
|
postcondition "";
|
|
precondition "";
|
|
}
|
|
|
|
trace startup_order_review "Startup scenario order review" id "2cd537f1-fef4-4593-a5e9-c639fcc9fd97" {
|
|
baseline {
|
|
oa {
|
|
description "";
|
|
name "OA Startup scenario";
|
|
};
|
|
sa {
|
|
description "";
|
|
name "SA Startup scenario";
|
|
};
|
|
semantic {
|
|
facets [{
|
|
Member {
|
|
collection Steps;
|
|
keys {
|
|
oa uuid "cfaa7b0f-3823-4a9b-a456-7bb31c233b55";
|
|
sa uuid "cedb45fb-83d2-4b6f-b812-51853b7dcaf7";
|
|
};
|
|
review {
|
|
oa {
|
|
Value true;
|
|
};
|
|
sa {
|
|
Value false;
|
|
};
|
|
};
|
|
};
|
|
}];
|
|
};
|
|
};
|
|
description "";
|
|
kind Manual;
|
|
oa @startup_scenario;
|
|
sa @startup_scenario_9fe4d605;
|
|
}
|
|
|
|
}
|