Commit 077a3aa4 authored by Thanassis Tsiodras's avatar Thanassis Tsiodras

The 3 new projects made in the ISAE hackathons - SpW, Eth, Serial for GR740/N2X.

parent 073806b5
TASTE-Dataview DEFINITIONS ::= BEGIN
-- In this ACN model, you can specify custom binary encoding rules for
-- your data types. For example if you require a specific memory layout
-- for a record, or need to add padding fields, define endianness, etc.
-- you can do that with ACN. Refer to the ACN user manual for details.
-- TASTE-Boolean []
END
TASTE-Dataview DEFINITIONS ::=
BEGIN
IMPORTS T-Int32, T-UInt32, T-Int8, T-UInt8, T-Boolean FROM TASTE-BasicTypes;
TASTE-Boolean ::= BOOLEAN
T-SEQ ::= SEQUENCE {
anInt INTEGER (0 .. 10),
aFloat REAL (0.0 .. 10.0),
anArray SEQUENCE(SIZE(3)) OF REAL (0.0 .. 10.0)
}
-- ASN.1 Type definitions must start with an uppercase
-- Field names in records (SEQUENCE) must start with a lowercase
-- Underscores are not allowed: use dash (hyphen)
-- Simple types:
-- MyInteger ::= INTEGER (0..255)
-- MyReal ::= REAL (0.0 .. 1000.0)
-- MyBool ::= BOOLEAN
-- MyEnum ::= ENUMERATED { hello, world, how-are-you }
-- Complex types:
-- MySeq ::= SEQUENCE {
-- input-data MyInteger,
-- output-data MyInteger,
-- validity ENUMERATED { valid, invalid }
-- }
--
-- MyChoice ::= CHOICE {
-- a BOOLEAN,
-- b MySeq
-- }
--
-- MySeqOf ::= SEQUENCE (SIZE (2)) OF MyEnum
--
-- MyOctStr ::= OCTET STRING (SIZE (3))
--
-- -- You can also declare constants
-- myVar MySeqOf ::= { hello, world }
END
---------------------------------------------------
-- AADL2.1
-- TASTE type deploymentview
--
-- 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 x86_partition
END x86_partition;
PROCESS IMPLEMENTATION x86_partition.others
END x86_partition.others;
DEVICE generic_sockets_ip_pohic
EXTENDS ocarina_drivers::generic_sockets_ip
FEATURES
link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::ip.i {
Taste::coordinates => "106642 116917";
};
PROPERTIES
Taste::Interface_Coordinates => "120784 150075" APPLIES TO link;
Deployment::Help => "Write your ASN.1 configuration here";
Deployment::Configuration => "{devname ""enx0050b6519447"", address ""192.168.0.151"", port 5116 }";
Deployment::Config => "/home/taste/tool-inst/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/ip.asn";
Deployment::Version => "0.1beta";
END generic_sockets_ip_pohic;
DEVICE IMPLEMENTATION generic_sockets_ip_pohic.others
EXTENDS ocarina_drivers::generic_sockets_ip.pohic
END generic_sockets_ip_pohic.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 gr740_partition
END gr740_partition;
PROCESS IMPLEMENTATION gr740_partition.others
END gr740_partition.others;
DEVICE leon_ethernet_raw
EXTENDS ocarina_drivers::leon_ethernet
FEATURES
link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::ip.i {
Taste::coordinates => "172100 116810";
};
PROPERTIES
Taste::Interface_Coordinates => "163932 150075" APPLIES TO link;
Deployment::Help => "Write your ASN.1 configuration here";
Deployment::Configuration => "{devname ""greth1"", address ""192.168.0.81"", gateway ""192.168.0.1"", netmask ""255.255.255.0"", version ipv4, port 5118 }";
Deployment::Config => "/home/taste/tool-inst/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/ip.asn";
Deployment::Version => "0.1beta";
END leon_ethernet_raw;
DEVICE IMPLEMENTATION leon_ethernet_raw.others
EXTENDS ocarina_drivers::leon_ethernet.raw
END leon_ethernet_raw.others;
END deploymentview::DV::Node2;
PACKAGE deploymentview::DV
PUBLIC
WITH interfaceview::IV::LivesInX86;
WITH ocarina_processors_x86;
WITH deploymentview::DV::Node1;
WITH interfaceview::IV::LivesInGR740;
WITH ocarina_processors_leon;
WITH deploymentview::DV::Node2;
WITH ocarina_buses;
WITH Taste;
WITH Deployment;
WITH interfaceview::IV;
WITH TASTE_DV_Properties;
SYSTEM Node1
FEATURES
generic_sockets_ip_pohic_ip_i : REQUIRES BUS ACCESS ocarina_buses::ip.i;
END Node1;
SYSTEM IMPLEMENTATION Node1.others
SUBCOMPONENTS
IV_LivesInX86 : SYSTEM interfaceview::IV::LivesInX86::LivesInX86.others {
Taste::FunctionName => "LivesInX86";
};
x86_partition : PROCESS deploymentview::DV::Node1::x86_partition.others {
Taste::coordinates => "91018 62191 117323 88272";
Deployment::Port_Number => 0;
};
x86_linux : PROCESSOR ocarina_processors_x86::x86.linux {
Taste::coordinates => "87730 54739 120611 91998";
};
generic_sockets_ip_pohic : DEVICE deploymentview::DV::Node1::generic_sockets_ip_pohic.others {
Taste::coordinates => "89257 97794 118522 116917";
};
CONNECTIONS
generic_sockets_ip_pohic_ip_i_link : BUS ACCESS generic_sockets_ip_pohic_ip_i -> generic_sockets_ip_pohic.link;
PROPERTIES
Taste::APLC_Binding => (reference (x86_partition)) APPLIES TO IV_LivesInX86;
Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO x86_partition;
Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO generic_sockets_ip_pohic;
END Node1.others;
SYSTEM Node2
FEATURES
leon_ethernet_raw_ip_i : REQUIRES BUS ACCESS ocarina_buses::ip.i;
END Node2;
SYSTEM IMPLEMENTATION Node2.others
SUBCOMPONENTS
IV_LivesInGR740 : SYSTEM interfaceview::IV::LivesInGR740::LivesInGR740.others {
Taste::FunctionName => "LivesInGR740";
};
gr740_partition : PROCESS deploymentview::DV::Node2::gr740_partition.others {
Taste::coordinates => "154393 62725 186543 89579";
Deployment::Port_Number => 0;
};
gr740_rtems412_posix : PROCESSOR ocarina_processors_leon::gr740.rtems412_posix {
Taste::coordinates => "150374 55053 190562 93415";
};
leon_ethernet_raw : DEVICE deploymentview::DV::Node2::leon_ethernet_raw.others {
Taste::coordinates => "157178 99425 187601 116810";
};
CONNECTIONS
leon_ethernet_raw_ip_i_link : BUS ACCESS leon_ethernet_raw_ip_i -> leon_ethernet_raw.link;
PROPERTIES
Taste::APLC_Binding => (reference (gr740_partition)) APPLIES TO IV_LivesInGR740;
Actual_Processor_Binding => (reference (gr740_rtems412_posix)) APPLIES TO gr740_partition;
Actual_Processor_Binding => (reference (gr740_rtems412_posix)) APPLIES TO leon_ethernet_raw;
END Node2.others;
SYSTEM deploymentview
END deploymentview;
SYSTEM IMPLEMENTATION deploymentview.others
SUBCOMPONENTS
Node1 : SYSTEM Node1.others {
Taste::coordinates => "84565 50865 125666 138453";
};
Node2 : SYSTEM Node2.others {
Taste::coordinates => "144563 51022 194798 138018";
};
ip_i : BUS ocarina_buses::ip.i {
Taste::coordinates => "120784 150075 176373 182672";
};
interfaceview : SYSTEM interfaceview::IV::interfaceview.others;
CONNECTIONS
Connection2 : BUS ACCESS ip_i -> Node1.generic_sockets_ip_pohic_ip_i {
Taste::coordinates => "106642 116917 106642 133496 120784 133496 120784 150075";
};
Connection1 : BUS ACCESS ip_i -> Node2.leon_ethernet_raw_ip_i {
Taste::coordinates => "172100 116810 172100 133442 163932 133442 163932 150075";
};
PROPERTIES
Actual_Connection_Binding => (reference (ip_i)) APPLIES TO interfaceview.LivesInX86_PI_report_LivesInGR740_RI_report;
Actual_Connection_Binding => (reference (ip_i)) APPLIES TO interfaceview.LivesInGR740_PI_something_LivesInX86_RI_something;
END deploymentview.others;
PROPERTIES
Taste::coordinates => "0 0 297000 210000";
Taste::version => "2.0";
Taste::interfaceView => "InterfaceView.aadl";
Taste::HWLibraries => ("../../../tool-inst/share/ocarina/AADLv2/ocarina_components.aadl");
END deploymentview::DV;
---------------------------------------------------
-- AADL2.1
-- TASTE type interfaceview
--
-- generated code: do not edit
---------------------------------------------------
PACKAGE interfaceview::IV::LivesInX86
PUBLIC
WITH interfaceview::IV::LivesInGR740;
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_pulse
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_pulse;
SUBPROGRAM IMPLEMENTATION PI_pulse.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_pulse.others;
SUBPROGRAM PI_report
FEATURES
inputData : IN PARAMETER DataView::T_SEQ {
Taste::encoding => UPER;
};
END PI_report;
SUBPROGRAM IMPLEMENTATION PI_report.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_report.others;
SUBPROGRAM RI_something
FEATURES
inputData : IN PARAMETER DataView::T_SEQ {
Taste::encoding => UPER;
};
END RI_something;
SUBPROGRAM IMPLEMENTATION RI_something.others
END RI_something.others;
SYSTEM LivesInX86
FEATURES
PI_pulse : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::LivesInX86::PI_pulse.others {
Taste::coordinates => "118268 50077";
Taste::RCMoperationKind => cyclic;
Taste::RCMperiod => 1000 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "pulse";
};
PI_report : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::LivesInX86::PI_report.others {
Taste::coordinates => "134642 78427";
Taste::RCMoperationKind => sporadic;
Taste::InterfaceName => "report";
};
RI_something : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::LivesInGR740::PI_something.others {
Taste::coordinates => "134642 56377";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "something";
Taste::labelInheritance => "true";
};
PROPERTIES
Source_Language => (C);
Taste::Active_Interfaces => any;
END LivesInX86;
SYSTEM IMPLEMENTATION LivesInX86.others
END LivesInX86.others;
END interfaceview::IV::LivesInX86;
PACKAGE interfaceview::IV::LivesInGR740
PUBLIC
WITH interfaceview::IV::LivesInX86;
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_something
FEATURES
inputData : IN PARAMETER DataView::T_SEQ {
Taste::encoding => UPER;
};
END PI_something;
SUBPROGRAM IMPLEMENTATION PI_something.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_something.others;
SUBPROGRAM RI_report
FEATURES
inputData : IN PARAMETER DataView::T_SEQ {
Taste::encoding => UPER;
};
END RI_report;
SUBPROGRAM IMPLEMENTATION RI_report.others
END RI_report.others;
SYSTEM LivesInGR740
FEATURES
PI_something : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::LivesInGR740::PI_something.others {
Taste::coordinates => "159523 62205";
Taste::RCMoperationKind => sporadic;
Taste::InterfaceName => "something";
};
RI_report : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::LivesInX86::PI_report.others {
Taste::coordinates => "159523 73230";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "report";
Taste::labelInheritance => "true";
};
PROPERTIES
Source_Language => (C);
Taste::Active_Interfaces => any;
END LivesInGR740;
SYSTEM IMPLEMENTATION LivesInGR740.others
END LivesInGR740.others;
END interfaceview::IV::LivesInGR740;
PACKAGE interfaceview::IV
PUBLIC
WITH interfaceview::IV::LivesInX86;
WITH interfaceview::IV::LivesInGR740;
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SYSTEM interfaceview
END interfaceview;
SYSTEM IMPLEMENTATION interfaceview.others
SUBCOMPONENTS
LivesInX86 : SYSTEM interfaceview::IV::LivesInX86::LivesInX86.others {
Taste::coordinates => "93068 50077 134642 99525";
};
LivesInGR740 : SYSTEM interfaceview::IV::LivesInGR740::LivesInGR740.others {
Taste::coordinates => "159523 49605 202829 99210";
};
CONNECTIONS
LivesInX86_PI_report_LivesInGR740_RI_report : SUBPROGRAM ACCESS LivesInX86.PI_report -> LivesInGR740.RI_report {
Taste::coordinates => "159523 73230 147082 73230 147082 78427 134642 78427";
};
LivesInGR740_PI_something_LivesInX86_RI_something : SUBPROGRAM ACCESS LivesInGR740.PI_something -> LivesInX86.RI_something {
Taste::coordinates => "134642 56377 147082 56377 147082 62205 159523 62205";
};
END interfaceview.others;
PROPERTIES
Taste::dataView => ("DataView");
Taste::dataViewPath => ("DataView.aadl");
Taste::coordinates => "0 0 297000 210000";
Taste::version => "2.0";
END interfaceview::IV;
55651d6605e2a48dcca32f6d02fb3c2c InterfaceView.aadl
---------------------------------------------------
-- AADL2.1
-- TASTE type deploymentview
--
-- 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 x86_partition
END x86_partition;
PROCESS IMPLEMENTATION x86_partition.others
END x86_partition.others;
DEVICE generic_sockets_ip_pohic
EXTENDS ocarina_drivers::generic_sockets_ip
FEATURES
link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::ip.i {
Taste::coordinates => "106642 116917";
};
PROPERTIES
Taste::Interface_Coordinates => "120784 150075" APPLIES TO link;
Deployment::Help => "Write your ASN.1 configuration here";
Deployment::Configuration => "{devname ""enx0050b6519447"", address ""192.168.0.151"", port 5116 }";
Deployment::Config => "/home/taste/tool-inst/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/ip.asn";
Deployment::Version => "0.1beta";
END generic_sockets_ip_pohic;
DEVICE IMPLEMENTATION generic_sockets_ip_pohic.others
EXTENDS ocarina_drivers::generic_sockets_ip.pohic
END generic_sockets_ip_pohic.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 gr740_partition
END gr740_partition;
PROCESS IMPLEMENTATION gr740_partition.others
END gr740_partition.others;
DEVICE leon_ethernet_raw
EXTENDS ocarina_drivers::leon_ethernet
FEATURES
link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::ip.i {
Taste::coordinates => "172100 116810";
};
PROPERTIES
Taste::Interface_Coordinates => "163932 150075" APPLIES TO link;
Deployment::Help => "Write your ASN.1 configuration here";
Deployment::Configuration => "{devname ""greth1"", address ""192.168.0.81"", gateway ""192.168.0.1"", netmask ""255.255.255.0"", version ipv4, port 5118 }";
Deployment::Config => "/home/taste/tool-inst/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/ip.asn";
Deployment::Version => "0.1beta";
END leon_ethernet_raw;
DEVICE IMPLEMENTATION leon_ethernet_raw.others
EXTENDS ocarina_drivers::leon_ethernet.raw
END leon_ethernet_raw.others;
END deploymentview::DV::Node2;
PACKAGE deploymentview::DV
PUBLIC
WITH interfaceview::IV;
WITH ocarina_processors_x86;
WITH deploymentview::DV::Node1;
WITH ocarina_processors_leon;
WITH deploymentview::DV::Node2;
WITH ocarina_buses;
WITH Taste;
WITH Deployment;
WITH interfaceview::IV;
WITH TASTE_DV_Properties;
SYSTEM Node1
FEATURES
generic_sockets_ip_pohic_ip_i : REQUIRES BUS ACCESS ocarina_buses::ip.i;
END Node1;
SYSTEM IMPLEMENTATION Node1.others
SUBCOMPONENTS
IV_LivesInX86 : SYSTEM interfaceview::IV::LivesInX86.others {
Taste::FunctionName => "LivesInX86";
};
x86_partition : PROCESS deploymentview::DV::Node1::x86_partition.others {
Taste::coordinates => "91018 62191 117323 88272";
Deployment::Port_Number => 0;
};
x86_linux : PROCESSOR ocarina_processors_x86::x86.linux {
Taste::coordinates => "87730 54739 120611 91998";
};
generic_sockets_ip_pohic : DEVICE deploymentview::DV::Node1::generic_sockets_ip_pohic.others {
Taste::coordinates => "89257 97794 118522 116917";
};
CONNECTIONS
generic_sockets_ip_pohic_ip_i_link : BUS ACCESS generic_sockets_ip_pohic_ip_i -> generic_sockets_ip_pohic.link;
PROPERTIES
Taste::APLC_Binding => (reference (x86_partition)) APPLIES TO IV_LivesInX86;
Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO x86_partition;
Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO generic_sockets_ip_pohic;
END Node1.others;
SYSTEM Node2
FEATURES
leon_ethernet_raw_ip_i : REQUIRES BUS ACCESS ocarina_buses::ip.i;
END Node2;
SYSTEM IMPLEMENTATION Node2.others
SUBCOMPONENTS
IV_LivesInGR740 : SYSTEM interfaceview::IV::LivesInGR740.others {
Taste::FunctionName => "LivesInGR740";
};
gr740_partition : PROCESS deploymentview::DV::Node2::gr740_partition.others {
Taste::coordinates => "154393 62725 186543 89579";
Deployment::Port_Number => 0;
};
gr740_rtems412_posix : PROCESSOR ocarina_processors_leon::gr740.rtems412_posix {
Taste::coordinates => "150374 55053 190562 93415";
};
leon_ethernet_raw : DEVICE deploymentview::DV::Node2::leon_ethernet_raw.others {
Taste::coordinates => "157178 99425 187601 116810";
};
CONNECTIONS
leon_ethernet_raw_ip_i_link : BUS ACCESS leon_ethernet_raw_ip_i -> leon_ethernet_raw.link;
PROPERTIES
Taste::APLC_Binding => (reference (gr740_partition)) APPLIES TO IV_LivesInGR740;
Actual_Processor_Binding => (reference (gr740_rtems412_posix)) APPLIES TO gr740_partition;
Actual_Processor_Binding => (reference (gr740_rtems412_posix)) APPLIES TO leon_ethernet_raw;
END Node2.others;
SYSTEM deploymentview
END deploymentview;
SYSTEM IMPLEMENTATION deploymentview.others
SUBCOMPONENTS
Node1 : SYSTEM Node1.others {
Taste::coordinates => "84565 50865 125666 138453";
};
Node2 : SYSTEM Node2.others {
Taste::coordinates => "144563 51022 194798 138018";
};
ip_i : BUS ocarina_buses::ip.i {
Taste::coordinates => "120784 150075 176373 182672";
};
interfaceview : SYSTEM interfaceview::IV::interfaceview.others;
CONNECTIONS
Connection2 : BUS ACCESS ip_i -> Node1.generic_sockets_ip_pohic_ip_i {
Taste::coordinates => "106642 116917 106642 133496 120784 133496 120784 150075";
};
Connection1 : BUS ACCESS ip_i -> Node2.leon_ethernet_raw_ip_i {
Taste::coordinates => "172100 116810 172100 133442 163932 133442 163932 150075";
};
PROPERTIES
Actual_Connection_Binding => (reference (ip_i)) APPLIES TO interfaceview.LivesInX86_PI_report_LivesInGR740_RI_report;
Actual_Connection_Binding => (reference (ip_i)) APPLIES TO interfaceview.LivesInGR740_PI_something_LivesInX86_RI_something;
END deploymentview.others;
PROPERTIES
Taste::coordinates => "0 0 297000 210000";
Taste::version => "1.3";
Taste::interfaceView => "InterfaceView.aadl";
Taste::HWLibraries => ("../../../tool-inst/share/ocarina/AADLv2/ocarina_components.aadl");
END deploymentview::DV;
---------------------------------------------------
-- AADL2.1
-- TASTE type interfaceview
--
-- generated code: do not edit
---------------------------------------------------
PACKAGE interfaceview::FV::LivesInX86
PUBLIC
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_pulse
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_pulse;
SUBPROGRAM IMPLEMENTATION PI_pulse.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_pulse.others;
SUBPROGRAM PI_report
FEATURES
inputData : IN PARAMETER DataView::T_SEQ {
Taste::encoding => UPER;
};
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_report;
SUBPROGRAM IMPLEMENTATION PI_report.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_report.others;
SUBPROGRAM RI_something
FEATURES
inputData : IN PARAMETER DataView::T_SEQ {
Taste::encoding => UPER;
};
END RI_something;
SUBPROGRAM IMPLEMENTATION RI_something.others
END RI_something.others;
END interfaceview::FV::LivesInX86;
PACKAGE interfaceview::FV::LivesInGR740
PUBLIC
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_something
FEATURES
inputData : IN PARAMETER DataView::T_SEQ {
Taste::encoding => UPER;
};
PROPERTIES