Commit 995380b9 authored by Jerome Legrand's avatar Jerome Legrand

taste 2.0.12 64 bits release.

All exe are 64bits except sbprolog which is 32bits (we are working on a 64 bits version)
parent 2fdc1f9b
---------------------------------------------------
-- AADL2.1
-- TASTE type concurrencyview
-- (c)Ellidiss Technologies
-- generated code: do not edit
---------------------------------------------------
PROPERTY SET AI IS
Root_System : AADLSTRING
APPLIES TO(SYSTEM IMPLEMENTATION);
Disabled_Processing_Tools : LIST OF AADLSTRING
APPLIES TO(SYSTEM IMPLEMENTATION);
END AI;
PACKAGE concurrencyview::CV
PUBLIC
WITH AI;
WITH ocarina_processors_x86;
WITH ocarina_processors_x86;
WITH deploymentview::DV::Node1;
WITH deploymentview::DV::Node2;
SYSTEM deployment
END deployment;
SYSTEM IMPLEMENTATION deployment.final
SUBCOMPONENTS
Node1_x86_linux : PROCESSOR ocarina_processors_x86::x86.linux;
Node2_x86_linux : PROCESSOR ocarina_processors_x86::x86.linux;
Node1_App1 : PROCESS Node1_App1.final;
Node2_App2 : PROCESS Node2_App2.final;
PROPERTIES
AI::Root_System => "generated";
Actual_Processor_Binding => (REFERENCE(Node1_x86_linux)) APPLIES TO Node1_App1;
Actual_Processor_Binding => (REFERENCE(Node2_x86_linux)) APPLIES TO Node2_App2;
Scheduling_Protocol => (POSIX_1003_Highest_Priority_First_Protocol) APPLIES TO Node1_x86_linux;
Scheduling_Protocol => (POSIX_1003_Highest_Priority_First_Protocol) APPLIES TO Node2_x86_linux;
END deployment.final;
PROCESS Node1_App1
EXTENDS deploymentview::DV::Node1::App1
END Node1_App1;
PROCESS IMPLEMENTATION Node1_App1.final
SUBCOMPONENTS
Node1_IV_S1_PI_clock : THREAD Node1_IV_S1_PI_clock.final;
Node1_IV_S2_PI_clock : THREAD Node1_IV_S2_PI_clock.final;
Node1_IV_Preproc_PI_clock : THREAD Node1_IV_Preproc_PI_clock.final;
Node1_IV_Preproc_PI_getVal : THREAD Node1_IV_Preproc_PI_getVal.final;
Node1_IV_S1_PI_getVal1 : SUBPROGRAM Node1_IV_S1_PI_getVal1.final;
Node1_IV_S2_PI_getVal2 : SUBPROGRAM Node1_IV_S2_PI_getVal2.final;
END Node1_App1.final;
PROCESS Node2_App2
EXTENDS deploymentview::DV::Node2::App2
END Node2_App2;
PROCESS IMPLEMENTATION Node2_App2.final
SUBCOMPONENTS
Node2_IV_Postproc_PI_clock : THREAD Node2_IV_Postproc_PI_clock.final;
Node2_IV_A1_PI_clock : THREAD Node2_IV_A1_PI_clock.final;
Node2_IV_A2_PI_clock : THREAD Node2_IV_A2_PI_clock.final;
Node2_IV_A1_PI_setVal1 : SUBPROGRAM Node2_IV_A1_PI_setVal1.final;
Node2_IV_A2_PI_setVal2 : SUBPROGRAM Node2_IV_A2_PI_setVal2.final;
END Node2_App2.final;
THREAD Node1_IV_S1_PI_clock
END Node1_IV_S1_PI_clock;
THREAD IMPLEMENTATION Node1_IV_S1_PI_clock.final
PROPERTIES
Dispatch_Protocol => Periodic;
Period => 10ms;
Deadline => 10ms;
Compute_Execution_Time => 2ms..2ms;
ANNEX behavior_specification {**
STATES
s : INITIAL COMPLETE FINAL STATE;
TRANSITIONS
t : s -[ ]-> s {
COMPUTATION ( 1ms )
};
**};
END Node1_IV_S1_PI_clock.final;
THREAD Node1_IV_S2_PI_clock
END Node1_IV_S2_PI_clock;
THREAD IMPLEMENTATION Node1_IV_S2_PI_clock.final
PROPERTIES
Dispatch_Protocol => Periodic;
Period => 10ms;
Deadline => 10ms;
Compute_Execution_Time => 2ms..2ms;
ANNEX behavior_specification {**
STATES
s : INITIAL COMPLETE FINAL STATE;
TRANSITIONS
t : s -[ ]-> s {
COMPUTATION ( 1ms )
};
**};
END Node1_IV_S2_PI_clock.final;
THREAD Node1_IV_Preproc_PI_clock
END Node1_IV_Preproc_PI_clock;
THREAD IMPLEMENTATION Node1_IV_Preproc_PI_clock.final
PROPERTIES
Dispatch_Protocol => Periodic;
Period => 10ms;
Deadline => 10ms;
Compute_Execution_Time => 2ms..2ms;
ANNEX behavior_specification {**
STATES
s : INITIAL COMPLETE FINAL STATE;
TRANSITIONS
t : s -[ ]-> s {
COMPUTATION ( 2ms );
Node1_IV_S1_PI_getVal1 !;
Node1_IV_S2_PI_getVal2 !
};
**};
END Node1_IV_Preproc_PI_clock.final;
THREAD Node1_IV_Preproc_PI_getVal
END Node1_IV_Preproc_PI_getVal;
THREAD IMPLEMENTATION Node1_IV_Preproc_PI_getVal.final
PROPERTIES
Dispatch_Protocol => Sporadic;
Period => 10ms;
Deadline => 0ms;
Compute_Execution_Time => 1ms..1ms;
ANNEX behavior_specification {**
STATES
s : INITIAL COMPLETE FINAL STATE;
TRANSITIONS
t : s -[ ]-> s {
COMPUTATION ( 2ms );
Node1_IV_S1_PI_getVal1 !;
Node1_IV_S2_PI_getVal2 !
};
**};
END Node1_IV_Preproc_PI_getVal.final;
THREAD Node2_IV_Postproc_PI_clock
END Node2_IV_Postproc_PI_clock;
THREAD IMPLEMENTATION Node2_IV_Postproc_PI_clock.final
PROPERTIES
Dispatch_Protocol => Periodic;
Period => 20ms;
Deadline => 20ms;
Compute_Execution_Time => 5ms..5ms;
ANNEX behavior_specification {**
STATES
s : INITIAL COMPLETE FINAL STATE;
TRANSITIONS
t : s -[ ]-> s {
COMPUTATION ( 5ms );
Node2_IV_A1_PI_setVal1 !;
Node2_IV_A2_PI_setVal2 !
};
**};
END Node2_IV_Postproc_PI_clock.final;
THREAD Node2_IV_A1_PI_clock
END Node2_IV_A1_PI_clock;
THREAD IMPLEMENTATION Node2_IV_A1_PI_clock.final
PROPERTIES
Dispatch_Protocol => Periodic;
Period => 15ms;
Deadline => 15ms;
Compute_Execution_Time => 2ms..2ms;
ANNEX behavior_specification {**
STATES
s : INITIAL COMPLETE FINAL STATE;
TRANSITIONS
t : s -[ ]-> s {
COMPUTATION ( 1ms )
};
**};
END Node2_IV_A1_PI_clock.final;
THREAD Node2_IV_A2_PI_clock
END Node2_IV_A2_PI_clock;
THREAD IMPLEMENTATION Node2_IV_A2_PI_clock.final
PROPERTIES
Dispatch_Protocol => Periodic;
Period => 25ms;
Deadline => 25ms;
Compute_Execution_Time => 10ms..10ms;
ANNEX behavior_specification {**
STATES
s : INITIAL COMPLETE FINAL STATE;
TRANSITIONS
t : s -[ ]-> s {
COMPUTATION ( 1ms )
};
**};
END Node2_IV_A2_PI_clock.final;
SUBPROGRAM Node1_IV_S1_PI_getVal1
PROPERTIES
Compute_Execution_Time => 1ms..1ms;
END Node1_IV_S1_PI_getVal1;
SUBPROGRAM IMPLEMENTATION Node1_IV_S1_PI_getVal1.final
END Node1_IV_S1_PI_getVal1.final;
SUBPROGRAM Node1_IV_S2_PI_getVal2
PROPERTIES
Compute_Execution_Time => 1ms..1ms;
END Node1_IV_S2_PI_getVal2;
SUBPROGRAM IMPLEMENTATION Node1_IV_S2_PI_getVal2.final
END Node1_IV_S2_PI_getVal2.final;
SUBPROGRAM Node2_IV_A1_PI_setVal1
PROPERTIES
Compute_Execution_Time => 1ms..1ms;
END Node2_IV_A1_PI_setVal1;
SUBPROGRAM IMPLEMENTATION Node2_IV_A1_PI_setVal1.final
END Node2_IV_A1_PI_setVal1.final;
SUBPROGRAM Node2_IV_A2_PI_setVal2
PROPERTIES
Compute_Execution_Time => 1ms..1ms;
END Node2_IV_A2_PI_setVal2;
SUBPROGRAM IMPLEMENTATION Node2_IV_A2_PI_setVal2.final
END Node2_IV_A2_PI_setVal2.final;
END concurrencyview::CV;
---------------------------------------------------
-- AADL2.1
-- TASTE type deploymentview
-- (c)Ellidiss Technologies
-- generated code: do not edit
---------------------------------------------------
PACKAGE deploymentview::DV::Node1
PUBLIC
WITH ocarina_buses;
WITH ocarina_drivers;
WITH Taste;
WITH Deployment;
WITH TASTE_DV_Properties;
PROCESS App1
END App1;
PROCESS IMPLEMENTATION App1.others
END App1.others;
DEVICE driver
EXTENDS ocarina_drivers::generic_serial
FEATURES
link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::serial.generic {
Taste::coordinates => "113835 67430";
};
PROPERTIES
Taste::Interface_Coordinates => "138660 69107" APPLIES TO link;
Deployment::Help => "Write your ASN.1 configuration here";
END driver;
DEVICE IMPLEMENTATION driver.others
EXTENDS ocarina_drivers::generic_serial.raw
END driver.others;
END deploymentview::DV::Node1;
PACKAGE deploymentview::DV::Node2
PUBLIC
WITH ocarina_buses;
WITH ocarina_drivers;
WITH Taste;
WITH Deployment;
WITH TASTE_DV_Properties;
PROCESS App2
END App2;
PROCESS IMPLEMENTATION App2.others
END App2.others;
DEVICE driver
EXTENDS ocarina_drivers::generic_serial
FEATURES
link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::serial.generic {
Taste::coordinates => "174666 67541";
};
PROPERTIES
Taste::Interface_Coordinates => "148276 69330" APPLIES TO link;
Deployment::Help => "Write your ASN.1 configuration here";
END driver;
DEVICE IMPLEMENTATION driver.others
EXTENDS ocarina_drivers::generic_serial.raw
END driver.others;
END deploymentview::DV::Node2;
PACKAGE deploymentview::DV
PUBLIC
WITH interfaceview::IV::Sensors::S1;
WITH interfaceview::IV::Sensors::S2;
WITH interfaceview::IV::Processing::Preproc;
WITH ocarina_processors_x86;
WITH deploymentview::DV::Node1;
WITH interfaceview::IV::Processing::Postproc;
WITH interfaceview::IV::Actuators::A1;
WITH interfaceview::IV::Actuators::A2;
WITH deploymentview::DV::Node2;
WITH ocarina_buses;
WITH Taste;
WITH Deployment;
WITH interfaceview::IV;
WITH TASTE_DV_Properties;
SYSTEM Node1
FEATURES
driver_serial_generic : REQUIRES BUS ACCESS ocarina_buses::serial.generic;
END Node1;
SYSTEM IMPLEMENTATION Node1.others
SUBCOMPONENTS
IV_S1 : SYSTEM interfaceview::IV::Sensors::S1::S1.others {
Taste::coordinates => "97509 90800 110033 101982";
Taste::FunctionName => "S1";
};
IV_S2 : SYSTEM interfaceview::IV::Sensors::S2::S2.others {
Taste::coordinates => "98627 106678 109139 117413";
Taste::FunctionName => "S2";
};
IV_Preproc : SYSTEM interfaceview::IV::Processing::Preproc::Preproc.others {
Taste::coordinates => "90129 91918 96391 116966";
Taste::FunctionName => "Preproc";
};
App1 : PROCESS deploymentview::DV::Node1::App1.others {
Taste::coordinates => "88619 84547 111386 119724";
Deployment::Port_Number => 0;
};
x86_linux : PROCESSOR ocarina_processors_x86::x86.linux {
Taste::coordinates => "85656 73624 119650 123877";
};
driver : DEVICE deploymentview::DV::Node1::driver.others {
Taste::coordinates => "95720 64410 113835 70001";
};
CONNECTIONS
driver_serial_generic_link : BUS ACCESS driver_serial_generic -> driver.link;
PROPERTIES
Taste::APLC_Binding => (reference (App1)) APPLIES TO IV_S1;
Taste::APLC_Binding => (reference (App1)) APPLIES TO IV_S2;
Taste::APLC_Binding => (reference (App1)) APPLIES TO IV_Preproc;
Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO App1;
Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO driver;
END Node1.others;
SYSTEM Node2
FEATURES
driver_serial_generic : REQUIRES BUS ACCESS ocarina_buses::serial.generic;
END Node2;
SYSTEM IMPLEMENTATION Node2.others
SUBCOMPONENTS
IV_Postproc : SYSTEM interfaceview::IV::Processing::Postproc::Postproc.others {
Taste::coordinates => "172654 91694 178692 118755";
Taste::FunctionName => "Postproc";
};
IV_A1 : SYSTEM interfaceview::IV::Actuators::A1::A1.others {
Taste::coordinates => "182941 90129 192782 101758";
Taste::FunctionName => "A1";
};
IV_A2 : SYSTEM interfaceview::IV::Actuators::A2::A2.others {
Taste::coordinates => "184059 106902 192334 118308";
Taste::FunctionName => "A2";
};
App2 : PROCESS deploymentview::DV::Node2::App2.others {
Taste::coordinates => "170561 85106 195689 121378";
Deployment::Port_Number => 0;
};
x86_linux : PROCESSOR ocarina_processors_x86::x86.linux {
Taste::coordinates => "167018 74742 202443 126560";
};
driver : DEVICE deploymentview::DV::Node2::driver.others {
Taste::coordinates => "174666 64410 195242 70672";
};
CONNECTIONS
driver_serial_generic_link : BUS ACCESS driver_serial_generic -> driver.link;
PROPERTIES
Taste::APLC_Binding => (reference (App2)) APPLIES TO IV_Postproc;
Taste::APLC_Binding => (reference (App2)) APPLIES TO IV_A1;
Taste::APLC_Binding => (reference (App2)) APPLIES TO IV_A2;
Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO App2;
Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO driver;
END Node2.others;
SYSTEM deploymentview
END deploymentview;
SYSTEM IMPLEMENTATION deploymentview.others
SUBCOMPONENTS
Node1 : SYSTEM Node1.others {
Taste::coordinates => "81407 59266 123899 131056";
};
Node2 : SYSTEM Node2.others {
Taste::coordinates => "162590 59937 206871 133963";
};
serial_generic : BUS ocarina_buses::serial.generic {
Taste::coordinates => "138660 64410 148276 104666";
};
interfaceview : SYSTEM interfaceview::IV::interfaceview.others;
CONNECTIONS
Connection1 : BUS ACCESS serial_generic -> Node1.driver_serial_generic {
Taste::coordinates => "113835 67430 126247 67430 126247 69107 138660 69107";
};
Connection2 : BUS ACCESS serial_generic -> Node2.driver_serial_generic {
Taste::coordinates => "174666 67541 161471 67541 161471 69330 148276 69330";
};
PROPERTIES
Actual_Connection_Binding => (reference (serial_generic)) APPLIES TO interfaceview.Processing.Preproc_PI_getVal_Postproc_RI_getVal;
Taste::Coordinates => "142462 76039 144474 89234" APPLIES TO interfaceview.Processing.Preproc_PI_getVal_Postproc_RI_getVal;
END deploymentview.others;
PROPERTIES
Taste::coordinates => "0 0 297000 210000";
Taste::version => "2.0";
Taste::interfaceView => "DemoIV.aadl";
Taste::HWLibraries => ("common/ocarina_components.aadl");
END deploymentview::DV;
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
PACKAGE concurrencyview::CV_proxy
PUBLIC
WITH concurrencyview::CV;
WITH AI;
SYSTEM deployment
EXTENDS concurrencyview::CV::deployment
END deployment;
SYSTEM IMPLEMENTATION deployment.final
EXTENDS concurrencyview::CV::deployment.final
PROPERTIES
AI::root_system => "SELECTED";
Priority => 1 APPLIES TO Node1_App1.Node1_IV_S1_PI_clock;
Priority => 2 APPLIES TO Node1_App1.Node1_IV_S2_PI_clock;
Priority => 3 APPLIES TO Node1_App1.Node1_IV_Preproc_PI_clock;
Priority => 4 APPLIES TO Node1_App1.Node1_IV_Preproc_PI_getVal;
Priority => 2 APPLIES TO Node2_App2.Node2_IV_Postproc_PI_clock;
Priority => 3 APPLIES TO Node2_App2.Node2_IV_A1_PI_clock;
Priority => 1 APPLIES TO Node2_App2.Node2_IV_A2_PI_clock;
END deployment.final;
END concurrencyview::CV_proxy;
<?xml version="1.0" encoding="UTF-8"?>
<Assembly:Assembly xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:Assembly="http://www.esa.int/2005/10/Smdl/Assembly" xmlns:Types="http://www.esa.int/2005/10/Core/Types" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsd="http://www.w3.org/2001/XMLSchema" Id="TasteDemo" Name="TasteDemo" Creator="htp" Date="2012-02-02T10:57:57.355Z" Title="TasteDemo" Version="1.0">
<Description>Assembly using Interface Based design</Description>
<Model xlink:title="AssemblyModel" xlink:role="Model" xlink:href="TasteDemo.cat#ID_b65c82e7-e375-4540-bfe9-da79a6db7338"/>
<Implementation>b65c82e7-e375-4540-bfe9-da79a6db7338</Implementation>
<ModelInstance Id="ID_77debaba-d168-4238-a8c5-5fc94f4ea7b3" Name="onlinux_gui">
<Description>The Control and Monitoring model</Description>
<Model xlink:title="OnLinuxGui" xlink:role="Model" xlink:href="TasteDemo.cat#ID_d05bc34e-7d85-4c5d-ada6-83ec120ad7e8"/>
<Implementation>d05bc34e-7d85-4c5d-ada6-83ec120ad7e8</Implementation>
<FieldValue>
<Field xlink:title="result" xlink:href="TasteDemo.cat#ID_8442b86a-cdc0-40b9-a07e-a49c9a5f05ee"/>
<Value xsi:type="Types:SimpleValue">
<Value xsi:type="xsd:double">0.0</Value>
</Value>
</FieldValue>
<Link xsi:type="Assembly:InterfaceLink" Id="ID_a08b4b14-989d-48ac-84b0-266d705cd971" Name="ItfLnkStartFunction">
<Description></Description>
<Reference xlink:title="RefStartFunction" xlink:role="Reference" xlink:href="TasteDemo.cat#ID_ee4dd288-7ef1-421d-bfd1-909557d9f069"/>
<Provider xlink:title="ModelInstance myfunction" xlink:href="#ID_bd4184a0-cd29-47b8-b3df-de4d2f2496a8"/>
</Link>
<Container xlink:title="MdlContainer" xlink:role="Container" xlink:href="TasteDemo.cat#ID_3c6fa9ef-0ff6-4bda-a0bf-50f5848c2376"/>
</ModelInstance>
<ModelInstance Id="ID_bd4184a0-cd29-47b8-b3df-de4d2f2496a8" Name="myfunction">
<Description>The Functional model</Description>
<Model xlink:title="MyFunction" xlink:role="Model" xlink:href="TasteDemo.cat#ID_f62728e0-f91d-45b2-b1ad-3e9d0e899543"/>
<Implementation>f62728e0-f91d-45b2-b1ad-3e9d0e899543</Implementation>
<FieldValue>
<Field xlink:title="result" xlink:href="TasteDemo.cat#ID_721626ee-011e-4e44-b7cc-4a480f311134"/>
<Value xsi:type="Types:SimpleValue">
<Value xsi:type="xsd:double">0.0</Value>
</Value>
</FieldValue>
<Link xsi:type="Assembly:InterfaceLink" Id="ID_9e355f47-6259-4880-be91-ae2794bb66a1" Name="ItfLnkAddValue">
<Description></Description>
<Reference xlink:title="RefAddValue" xlink:role="Reference" xlink:href="TasteDemo.cat#ID_cf909626-70ea-4174-be97-f69dd2bf79ab"/>
<Provider xlink:title="ModelInstance mysimulink" xlink:href="#ID_73438e2f-efff-46c1-9806-5e7016e0e847"/>
</Link>
<Link xsi:type="Assembly:InterfaceLink" Id="ID_7cb7eb7d-1689-45f6-b460-9c3810e5b1ee" Name="ItfLnkResult">
<Description></Description>
<Reference xlink:title="RefResult" xlink:role="Reference" xlink:href="TasteDemo.cat#ID_359b9894-318c-4570-9d0a-84f1ebc51679"/>
<Provider xlink:title="ModelInstance onlinux_gui" xlink:href="#ID_77debaba-d168-4238-a8c5-5fc94f4ea7b3"/>
</Link>
<Container xlink:title="MdlContainer" xlink:role="Container" xlink:href="TasteDemo.cat#ID_3c6fa9ef-0ff6-4bda-a0bf-50f5848c2376"/>
</ModelInstance>
<ModelInstance Id="ID_73438e2f-efff-46c1-9806-5e7016e0e847" Name="mysimulink">
<Description>The Simulink model</Description>
<Model xlink:title="MySimulink" xlink:role="Model" xlink:href="TasteDemo.cat#ID_74b9c7c4-23a5-4274-b4b4-81c2a3c9c209"/>
<Implementation>74b9c7c4-23a5-4274-b4b4-81c2a3c9c209</Implementation>
<FieldValue>
<Field xlink:title="tunable" xlink:href="TasteDemo.cat#ID_b1ab73b7-1adc-46ef-8679-8731883c7d00"/>
<Value xsi:type="Types:SimpleValue">
<Value xsi:type="xsd:double">42.0</Value>
</Value>
</FieldValue>
<FieldValue>
<Field xlink:title="result" xlink:href="TasteDemo.cat#ID_3b0fa88a-b033-4343-a142-f34003cfe740"/>
<Value xsi:type="Types:SimpleValue">
<Value xsi:type="xsd:double">0.0</Value>
</Value>
</FieldValue>
<Container xlink:title="MdlContainer" xlink:role="Container" xlink:href="TasteDemo.cat#ID_3c6fa9ef-0ff6-4bda-a0bf-50f5848c2376"/>
</ModelInstance>
</Assembly:Assembly>
\ No newline at end of file
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
property set assert_properties_extended is
FV_Name : aadlstring applies to (all);
end assert_properties_extended;
\ No newline at end of file
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.