Commit 28f890e5 authored by yoogx's avatar yoogx
Browse files

* Adjust Support_Scheduling_Protocol to match AADL Inspector / Cheddar

        For openaadl/ocarina#245
parent 52584a6e
......@@ -31,8 +31,9 @@ property set AADL_Project is
Supported_Connection_QoS: type enumeration (GuaranteedDelivery, OrderedDelivery, SecureDelivery);
Supported_Scheduling_Protocols: type enumeration -- Updated for Cheddar
Supported_Scheduling_Protocols: type enumeration
(SporadicServer, RMS, FixedTimeline,
-- for Cheddar
PARAMETRIC_PROTOCOL,
EDF,
EARLIEST_DEADLINE_FIRST_PROTOCOL,
......@@ -50,7 +51,10 @@ property set AADL_Project is
HIERARCHICAL_CYCLIC_PROTOCOL,
HIERARCHICAL_ROUND_ROBIN_PROTOCOL,
HIERARCHICAL_FIXED_PRIORITY_PROTOCOL,
HIERARCHICAL_PARAMETRIC_PROTOCOL);
HIERARCHICAL_PARAMETRIC_PROTOCOL,
-- for AADL Inspector
RM, DM, HPF, ARINC653, static, cyclic
);
Supported_Source_Languages: type enumeration -- Updated for TASTE/Ocarina
(Ada95,
......
......@@ -151,22 +151,22 @@ Evaluating theorem set_declaration_is_passing_through
* Iterate for variable: rma.erc32_node_a_task_1
Content of set accessor_flows (test_real_exec_02.aadl:251:21) is
anonymous end to end flow :4014 end to end flow spec
anonymous end to end flow :4020 end to end flow spec
=> Result: TRUE
* Iterate for variable: rma.erc32_node_a_task_2
Content of set accessor_flows (test_real_exec_02.aadl:251:21) is
anonymous end to end flow :4014 end to end flow spec
anonymous end to end flow :4020 end to end flow spec
=> Result: TRUE
* Iterate for variable: rma.erc32_node_a_task_12
Content of set accessor_flows (test_real_exec_02.aadl:251:21) is
anonymous end to end flow :4015 end to end flow spec
anonymous end to end flow :4021 end to end flow spec
=> Result: TRUE
* Iterate for variable: rma.erc32_node_a_task_22
Content of set accessor_flows (test_real_exec_02.aadl:251:21) is
anonymous end to end flow :4015 end to end flow spec
anonymous end to end flow :4021 end to end flow spec
=> Result: TRUE
theorem set_declaration_is_passing_through is: TRUE
......
This diff is collapsed.
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment