Commit 38e43195 authored by Thanassis Tsiodras's avatar Thanassis Tsiodras
Browse files

Merge branch 'test' into CoRA

parents 88695b22 b4d1bb30
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
-- 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)
MyInteger::= INTEGER (-411673351.. 763937697)
Seq3 ::= SEQUENCE (SIZE (3)) OF MyInteger
Seq4 ::= SEQUENCE (SIZE (4)) OF MyInteger
Seqout ::= SEQUENCE (SIZE (8)) OF MyInteger
In-Nested ::= SEQUENCE {
inest-a SEQUENCE (SIZE (4)) OF T-Int32,
inest-b SEQUENCE (SIZE (3)) OF T-Int32
}
Out-Nested ::= SEQUENCE {
onest-a SEQUENCE (SIZE (7)) OF T-Int32
}
MyInt ::= INTEGER (0 .. 20)
My2ndInt ::= MyInt ( 1 .. 18)
-- AType ::= SEQUENCE {
-- blArray SEQUENCE (SIZE(10)) OF BOOLEAN
-- }
-- My2ndAType ::= AType
-- TypeEnumerated ::= ENUMERATED {
-- red(0),
-- green(1),
-- blue(2)
-- }
-- My2ndEnumerated ::= TypeEnumerated
-- T-STRING ::= OCTET STRING (SIZE(16))
T-ARR ::= SEQUENCE (SIZE (6)) OF INTEGER (0..32764)
-- T-BOOL ::= BOOLEAN
TypeNested ::= SEQUENCE {
intVal INTEGER(0..10),
int2Val INTEGER(-10..10),
int3Val MyInt (10..12),
intArray SEQUENCE (SIZE (10)) OF INTEGER (0..3),
-- octStrArray SEQUENCE (SIZE (10)) OF OCTET STRING (SIZE(8)),
-- boolArray SEQUENCE (SIZE (10)) OF T-BOOL,
-- enumArray SEQUENCE (SIZE (10)) OF TypeEnumerated,
-- enumValue TypeEnumerated,
-- enumValue2 ENUMERATED {
-- truism(0),
-- falsism(1)
-- },
-- label OCTET STRING (SIZE(8)),
-- bAlpha T-BOOL,
-- bBeta BOOLEAN,
-- sString T-STRING,
arr T-ARR
}
-- Simple types:
-- MyInteger ::= INTEGER (0..255)
-- 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.2
-- TASTE type deploymentview
--
-- generated code: do not edit
---------------------------------------------------
PACKAGE deploymentview::DV::Node1
PUBLIC
WITH Taste;
WITH Deployment;
WITH TASTE_DV_Properties;
PROCESS gr740_partition
END gr740_partition;
PROCESS IMPLEMENTATION gr740_partition.others
END gr740_partition.others;
END deploymentview::DV::Node1;
PACKAGE deploymentview::DV
PUBLIC
WITH interfaceview::IV::Calling;
WITH interfaceview::IV::Gnc;
WITH interfaceview::IV::fpga_reconfiguration_engine;
WITH interfaceview::IV::Gnc2;
WITH interfaceview::IV::Function1;
WITH ocarina_processors_leon;
WITH deploymentview::DV::Node1;
WITH Taste;
WITH Deployment;
WITH interfaceview::IV;
WITH TASTE_DV_Properties;
SYSTEM Node1
END Node1;
SYSTEM IMPLEMENTATION Node1.others
SUBCOMPONENTS
IV_Calling : SYSTEM interfaceview::IV::Calling::Calling.others {
Taste::FunctionName => "Calling";
};
IV_Gnc : SYSTEM interfaceview::IV::Gnc::Gnc.others {
Taste::FunctionName => "Gnc";
};
IV_fpga_reconfiguration_engine : SYSTEM interfaceview::IV::fpga_reconfiguration_engine::fpga_reconfiguration_engine.others {
Taste::FunctionName => "fpga_reconfiguration_engine";
};
IV_Gnc2 : SYSTEM interfaceview::IV::Gnc2::Gnc2.others {
Taste::FunctionName => "Gnc2";
};
IV_Function1 : SYSTEM interfaceview::IV::Function1::Function1.others {
Taste::FunctionName => "Function1";
};
gr740_partition : PROCESS deploymentview::DV::Node1::gr740_partition.others {
Taste::coordinates => "90703 54292 127086 70804";
Deployment::Port_Number => 0;
};
gr740_rcc13rc5_posix : PROCESSOR ocarina_processors_leon::gr740.rcc13rc5_posix {
Taste::coordinates => "86155 49574 131634 73163";
};
PROPERTIES
Taste::APLC_Binding => (reference (gr740_partition)) APPLIES TO IV_Calling;
Taste::APLC_Binding => (reference (gr740_partition)) APPLIES TO IV_Gnc;
Taste::APLC_Binding => (reference (gr740_partition)) APPLIES TO IV_fpga_reconfiguration_engine;
Taste::APLC_Binding => (reference (gr740_partition)) APPLIES TO IV_Gnc2;
Taste::APLC_Binding => (reference (gr740_partition)) APPLIES TO IV_Function1;
Actual_Processor_Binding => (reference (gr740_rcc13rc5_posix)) APPLIES TO gr740_partition;
END Node1.others;
SYSTEM deploymentview
END deploymentview;
SYSTEM IMPLEMENTATION deploymentview.others
SUBCOMPONENTS
Node1 : SYSTEM Node1.others {
Taste::coordinates => "80470 42834 137319 76533";
};
interfaceview : SYSTEM interfaceview::IV::interfaceview.others;
END deploymentview.others;
PROPERTIES
Taste::coordinates => "0 0 297000 210000";
Taste::version => "2.2";
Taste::interfaceView => "InterfaceView.aadl";
Taste::HWLibraries => ("/home/taste/tool-inst/share/ocarina/AADLv2/ocarina_components.aadl");
END deploymentview::DV;
---------------------------------------------------
-- AADL2.2
-- TASTE type interfaceview
--
-- generated code: do not edit
---------------------------------------------------
PACKAGE interfaceview::IV::Calling
PUBLIC
WITH interfaceview::IV::Gnc;
WITH interfaceview::IV::fpga_reconfiguration_engine;
WITH interfaceview::IV::Gnc2;
WITH interfaceview::IV::Function1;
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_changeMode
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_changeMode;
SUBPROGRAM IMPLEMENTATION PI_changeMode.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_changeMode.others;
SUBPROGRAM RI_do_something
FEATURES
inp1 : IN PARAMETER DataView::Seq3 {
Taste::encoding => NATIVE;
};
inp2 : IN PARAMETER DataView::Seq3 {
Taste::encoding => NATIVE;
};
inp3 : IN PARAMETER DataView::Seq4 {
Taste::encoding => NATIVE;
};
outpu : OUT PARAMETER DataView::Seqout {
Taste::encoding => NATIVE;
};
innested : IN PARAMETER DataView::In_Nested {
Taste::encoding => NATIVE;
};
outnested : OUT PARAMETER DataView::Out_Nested {
Taste::encoding => NATIVE;
};
END RI_do_something;
SUBPROGRAM IMPLEMENTATION RI_do_something.others
END RI_do_something.others;
SUBPROGRAM RI_init
END RI_init;
SUBPROGRAM IMPLEMENTATION RI_init.others
END RI_init.others;
SUBPROGRAM RI_run
FEATURES
spi_address : IN PARAMETER DataView::MyInteger {
Taste::encoding => NATIVE;
};
size : IN PARAMETER DataView::MyInteger {
Taste::encoding => NATIVE;
};
END RI_run;
SUBPROGRAM IMPLEMENTATION RI_run.others
END RI_run.others;
SUBPROGRAM RI_status
FEATURES
fpga_status : OUT PARAMETER DataView::MyInteger {
Taste::encoding => NATIVE;
};
END RI_status;
SUBPROGRAM IMPLEMENTATION RI_status.others
END RI_status.others;
SUBPROGRAM RI_do_something2
FEATURES
inp1 : IN PARAMETER DataView::Seq3 {
Taste::encoding => NATIVE;
};
inp2 : IN PARAMETER DataView::Seq3 {
Taste::encoding => NATIVE;
};
inp3 : IN PARAMETER DataView::Seq4 {
Taste::encoding => NATIVE;
};
outpu : OUT PARAMETER DataView::Seqout {
Taste::encoding => NATIVE;
};
innested : IN PARAMETER DataView::In_Nested {
Taste::encoding => NATIVE;
};
outnested : OUT PARAMETER DataView::Out_Nested {
Taste::encoding => NATIVE;
};
END RI_do_something2;
SUBPROGRAM IMPLEMENTATION RI_do_something2.others
END RI_do_something2.others;
SUBPROGRAM RI_stressTiago
FEATURES
inp : IN PARAMETER DataView::TypeNested {
Taste::encoding => NATIVE;
};
outp : OUT PARAMETER DataView::TypeNested {
Taste::encoding => NATIVE;
};
END RI_stressTiago;
SUBPROGRAM IMPLEMENTATION RI_stressTiago.others
END RI_stressTiago.others;
SYSTEM Calling
FEATURES
PI_pulse : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Calling::PI_pulse.others {
Taste::coordinates => "100509 56233";
Taste::RCMoperationKind => cyclic;
Taste::RCMperiod => 1000 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "pulse";
};
PI_changeMode : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Calling::PI_changeMode.others {
Taste::coordinates => "111658 56233";
Taste::RCMoperationKind => cyclic;
Taste::RCMperiod => 3000 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "changeMode";
};
RI_do_something : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::Gnc::PI_do_something.others {
Taste::coordinates => "134118 68838";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "do_something";
Taste::labelInheritance => "true";
};
RI_init : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::fpga_reconfiguration_engine::PI_init.others {
Taste::coordinates => "108721 94530";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "init";
Taste::labelInheritance => "true";
};
RI_run : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::fpga_reconfiguration_engine::PI_run.others {
Taste::coordinates => "125534 94530";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "run";
Taste::labelInheritance => "true";
};
RI_status : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::fpga_reconfiguration_engine::PI_status.others {
Taste::coordinates => "97597 94530";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "status";
Taste::labelInheritance => "true";
};
RI_do_something2 : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::Gnc2::PI_do_something2.others {
Taste::coordinates => "134118 75133";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "do_something2";
Taste::labelInheritance => "true";
};
RI_stressTiago : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::Function1::PI_stressTiago.others {
Taste::coordinates => "134118 79858";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "stressTiago";
Taste::labelInheritance => "true";
};
PROPERTIES
Source_Language => (C);
Taste::Active_Interfaces => any;
END Calling;
SYSTEM IMPLEMENTATION Calling.others
END Calling.others;
END interfaceview::IV::Calling;
PACKAGE interfaceview::IV::Gnc
PUBLIC
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_do_something
FEATURES
inp1 : IN PARAMETER DataView::Seq3 {
Taste::encoding => NATIVE;
};
inp2 : IN PARAMETER DataView::Seq3 {
Taste::encoding => NATIVE;
};
inp3 : IN PARAMETER DataView::Seq4 {
Taste::encoding => NATIVE;
};
outpu : OUT PARAMETER DataView::Seqout {
Taste::encoding => NATIVE;
};
innested : IN PARAMETER DataView::In_Nested {
Taste::encoding => NATIVE;
};
outnested : OUT PARAMETER DataView::Out_Nested {
Taste::encoding => NATIVE;
};
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_do_something;
SUBPROGRAM IMPLEMENTATION PI_do_something.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_do_something.others;
SYSTEM Gnc
FEATURES
PI_do_something : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Gnc::PI_do_something.others {
Taste::coordinates => "174484 81134";
Taste::RCMoperationKind => protected;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "do_something";
};
PROPERTIES
Source_Language => (Simulink);
Taste::Active_Interfaces => any;
END Gnc;
SYSTEM IMPLEMENTATION Gnc.others
END Gnc.others;
END interfaceview::IV::Gnc;
PACKAGE interfaceview::IV::fpga_reconfiguration_engine
PUBLIC
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_init
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_init;
SUBPROGRAM IMPLEMENTATION PI_init.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_init.others;
SUBPROGRAM PI_run
FEATURES
spi_address : IN PARAMETER DataView::MyInteger {
Taste::encoding => NATIVE;
};
size : IN PARAMETER DataView::MyInteger {
Taste::encoding => NATIVE;
};
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_run;
SUBPROGRAM IMPLEMENTATION PI_run.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_run.others;
SUBPROGRAM PI_status
FEATURES
fpga_status : OUT PARAMETER DataView::MyInteger {
Taste::encoding => NATIVE;
};
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_status;
SUBPROGRAM IMPLEMENTATION PI_status.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_status.others;
SYSTEM fpga_reconfiguration_engine
FEATURES
PI_init : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::fpga_reconfiguration_engine::PI_init.others {
Taste::coordinates => "120167 113227";
Taste::RCMoperationKind => unprotected;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "init";
};
PI_run : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::fpga_reconfiguration_engine::PI_run.others {
Taste::coordinates => "135308 113227";
Taste::RCMoperationKind => unprotected;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "run";
};
PI_status : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::fpga_reconfiguration_engine::PI_status.others {
Taste::coordinates => "99407 113227";
Taste::RCMoperationKind => unprotected;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "status";
};
PROPERTIES
Source_Language => (C);
Taste::Active_Interfaces => any;
END fpga_reconfiguration_engine;
SYSTEM IMPLEMENTATION fpga_reconfiguration_engine.others
SUBCOMPONENTS
flagToLinkWith : DATA DataView::Taste_directive {
Taste::FS_Default_Value => "linker-option:""-L$PRJ_FOLDER/external_libs/lib -lmdw""";
};
flagsToCompileWith : DATA DataView::Taste_directive {
Taste::FS_Default_Value => "compiler-option:""-I$PRJ_FOLDER/external_libs/inc""";
};
END fpga_reconfiguration_engine.others;
END interfaceview::IV::fpga_reconfiguration_engine;
PACKAGE interfaceview::IV::Gnc2
PUBLIC
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_do_something2
FEATURES
inp1 : IN PARAMETER DataView::Seq3 {
Taste::encoding => NATIVE;
};
inp2 : IN PARAMETER DataView::Seq3 {
Taste::encoding => NATIVE;
};
inp3 : IN PARAMETER DataView::Seq4 {
Taste::encoding => NATIVE;
};
outpu : OUT PARAMETER DataView::Seqout {
Taste::encoding => NATIVE;
};
innested : IN PARAMETER DataView::In_Nested {
Taste::encoding => NATIVE;
};
outnested : OUT PARAMETER DataView::Out_Nested {
Taste::encoding => NATIVE;
};
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_do_something2;
SUBPROGRAM IMPLEMENTATION PI_do_something2.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_do_something2.others;
SYSTEM Gnc2
FEATURES
PI_do_something2 : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Gnc2::PI_do_something2.others {
Taste::coordinates => "172121 115903";
Taste::RCMoperationKind => protected;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "do_something2";
};
PROPERTIES
Source_Language => (Simulink);
Taste::Active_Interfaces => any;
END Gnc2;
SYSTEM IMPLEMENTATION Gnc2.others
END Gnc2.others;
END interfaceview::IV::Gnc2;
PACKAGE interfaceview::IV::Function1
PUBLIC
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_stressTiago
FEATURES
inp : IN PARAMETER DataView::TypeNested {
Taste::encoding => NATIVE;
};
outp : OUT PARAMETER DataView::TypeNested {
Taste::encoding => NATIVE;
};
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_stressTiago;
SUBPROGRAM IMPLEMENTATION PI_stressTiago.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 1000 ms;
END PI_stressTiago.others;
SYSTEM Function1
FEATURES
PI_stressTiago : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Function1::PI_stressTiago.others {
Taste::coordinates => "152126 143461";
Taste::RCMoperationKind => unprotected;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "stressTiago";
};
PROPERTIES
Source_Language => (Simulink);
Taste::Active_Interfaces => any;
END Function1;
SYSTEM IMPLEMENTATION Function1.others