Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
kazoo
Commits
b75a6d44
Commit
b75a6d44
authored
Aug 08, 2019
by
Maxime Perrotin
Browse files
Add more RAM to AIR test with 2 cyclics
parent
a05e7790
Changes
2
Hide whitespace changes
Inline
Side-by-side
test/test-air-2cyclics/DataView.aadl
View file @
b75a6d44
--------------------------------------------------------
--
! File generated by asn2aadl v2.1.3
1
: DO NOT EDIT !
--
! File generated by asn2aadl v2.1.3
8
: DO NOT EDIT !
--------------------------------------------------------
--
! InputASN1FileChecksum:6bf664b31ce9ca6fd89af52cea7ea0f2:/home/taste/kazoo/test/test-air-2cyclics/DataView.asn:
--
! InputASN1FileChecksum:6bf664b31ce9ca6fd89af52cea7ea0f2:/home/taste/
tool-src/
kazoo/test/test-air-2cyclics/DataView.asn:
--
! InputASN1FileChecksum:ee8a7e01f29874c0d50f437d5abb9599:/home/taste/tool-inst/share/taste-types/taste-types.asn:
--------------------------------------------------------
...
...
@@ -13,7 +13,6 @@ public
with
Taste
;
with
Base_Types
;
with
Deployment
;
DATA
Simulink_Tunable_Parameter
PROPERTIES
TASTE
::
Ada_Package_Name
=>
"TASTE_Directives"
;
...
...
@@ -21,7 +20,6 @@ PROPERTIES
Deployment
::
ASN1_Module_Name
=>
"TASTE-Directives"
;
TASTE
::
Forbid_in_PI
=>
true
;
END
Simulink_Tunable_Parameter
;
DATA
Timer
PROPERTIES
TASTE
::
Ada_Package_Name
=>
"TASTE_Directives"
;
...
...
@@ -29,7 +27,6 @@ PROPERTIES
Deployment
::
ASN1_Module_Name
=>
"TASTE-Directives"
;
TASTE
::
Forbid_in_PI
=>
true
;
END
Timer
;
DATA
Taste_directive
PROPERTIES
TASTE
::
Ada_Package_Name
=>
"TASTE_Directives"
;
...
...
@@ -43,53 +40,57 @@ data Stream_Element_Buffer
properties
Data_Model
::
Data_Representation
=>
Character
;
end
Stream_Element_Buffer
;
DATA
T
ASTE
_Boolean
DATA
T_Boolean
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/kazoo/test/test-air-2cyclics/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Text
=>
(
"/home/taste/tool-inst/share/taste-types/taste-types.asn"
);
TASTE
::
EncodingDefinitionFile
=>
classifier
(
DataView
::
ACN_taste_types
);
TASTE
::
Ada_Package_Name
=>
"TASTE_BasicTypes"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-BasicTypes"
;
Source_Language
=>
(
ASN1
);
--
Size
of
a
buffer
to
cover
all
forms
of
message
representation
:
--
Real
message
size
is
1
;
suggested
aligned
message
buffer
is
...
Source_Data_Size
=>
8
Bytes
;
--
name
of
the
corresponding
data
type
in
the
source
file
:
Type_Source_Name
=>
"T
ASTE
-Boolean"
;
TASTE
::
Position_In_File
=>
[
line
=>
5
;
column
=>
1
;
];
Type_Source_Name
=>
"T-Boolean"
;
TASTE
::
Position_In_File
=>
[
line
=>
14
;
column
=>
1
;
];
--
what
kind
of
type
is
this
?
TASTE
::
ASN1_Basic_Type
=>
aBOOLEAN
;
END
T
ASTE
_Boolean
;
END
T_Boolean
;
DATA
IMPLEMENTATION
T
ASTE
_Boolean
.
impl
END
T
ASTE
_Boolean
.
impl
;
DATA
IMPLEMENTATION
T_Boolean
.
impl
END
T_Boolean
.
impl
;
DATA
T
ASTE
_Boolean_Buffer_Max
END
T
ASTE
_Boolean_Buffer_Max
;
DATA
T_Boolean_Buffer_Max
END
T_Boolean_Buffer_Max
;
DATA
IMPLEMENTATION
T
ASTE
_Boolean_Buffer_Max
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
T
ASTE
_Boolean
DATA
IMPLEMENTATION
T_Boolean_Buffer_Max
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
T_Boolean
PROPERTIES
Data_Model
::
Data_Representation
=>
array
;
Data_Model
::
Dimension
=>
(
8
);
--
Size
of
the
buffer
Source_Data_Size
=>
8
Bytes
;
--
Size
of
the
buffer
in
bytes
Data_Model
::
Base_Type
=>
(
classifier
(
DataView
::
Stream_Element_Buffer
));
END
T
ASTE
_Boolean_Buffer_Max
.
impl
;
END
T_Boolean_Buffer_Max
.
impl
;
DATA
T
ASTE
_Boolean_Buffer
END
T
ASTE
_Boolean_Buffer
;
DATA
T_Boolean_Buffer
END
T_Boolean_Buffer
;
DATA
IMPLEMENTATION
T
ASTE
_Boolean_Buffer
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
T
ASTE
_Boolean
DATA
IMPLEMENTATION
T_Boolean_Buffer
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
T_Boolean
SUBCOMPONENTS
Buffer
:
data
T
ASTE
_Boolean_Buffer_Max
.
impl
;
Buffer
:
data
T_Boolean_Buffer_Max
.
impl
;
Length
:
data
Base_Types
::
Unsigned_32
;
PROPERTIES
Data_Model
::
Data_Representation
=>
Struct
;
END
TASTE_Boolean_Buffer
.
impl
;
Source_Data_Size
=>
24
Bytes
;
--
Size
of
the
buffer
in
bytes
END
T_Boolean_Buffer
.
impl
;
DATA
T_Int32
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-inst/share/taste-types/taste-types.asn"
);
TASTE
::
EncodingDefinitionFile
=>
classifier
(
DataView
::
ACN_taste_types
);
TASTE
::
Ada_Package_Name
=>
"TASTE_BasicTypes"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-BasicTypes"
;
Source_Language
=>
(
ASN1
);
...
...
@@ -114,6 +115,7 @@ DATA IMPLEMENTATION T_Int32_Buffer_Max.impl
PROPERTIES
Data_Model
::
Data_Representation
=>
array
;
Data_Model
::
Dimension
=>
(
8
);
--
Size
of
the
buffer
Source_Data_Size
=>
8
Bytes
;
--
Size
of
the
buffer
in
bytes
Data_Model
::
Base_Type
=>
(
classifier
(
DataView
::
Stream_Element_Buffer
));
END
T_Int32_Buffer_Max
.
impl
;
...
...
@@ -127,12 +129,14 @@ SUBCOMPONENTS
Length
:
data
Base_Types
::
Unsigned_32
;
PROPERTIES
Data_Model
::
Data_Representation
=>
Struct
;
Source_Data_Size
=>
24
Bytes
;
--
Size
of
the
buffer
in
bytes
END
T_Int32_Buffer
.
impl
;
DATA
T_
U
Int
32
DATA
T_Int
8
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-inst/share/taste-types/taste-types.asn"
);
TASTE
::
EncodingDefinitionFile
=>
classifier
(
DataView
::
ACN_taste_types
);
TASTE
::
Ada_Package_Name
=>
"TASTE_BasicTypes"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-BasicTypes"
;
Source_Language
=>
(
ASN1
);
...
...
@@ -140,42 +144,45 @@ PROPERTIES
--
Real
message
size
is
8
;
suggested
aligned
message
buffer
is
...
Source_Data_Size
=>
8
Bytes
;
--
name
of
the
corresponding
data
type
in
the
source
file
:
Type_Source_Name
=>
"T-
U
Int
32
"
;
TASTE
::
Position_In_File
=>
[
line
=>
8
;
column
=>
1
;
];
Type_Source_Name
=>
"T-Int
8
"
;
TASTE
::
Position_In_File
=>
[
line
=>
10
;
column
=>
1
;
];
--
what
kind
of
type
is
this
?
TASTE
::
ASN1_Basic_Type
=>
aINTEGER
;
END
T_
U
Int
32
;
END
T_Int
8
;
DATA
IMPLEMENTATION
T_
U
Int
32
.
impl
END
T_
U
Int
32
.
impl
;
DATA
IMPLEMENTATION
T_Int
8
.
impl
END
T_Int
8
.
impl
;
DATA
T_
U
Int
32
_Buffer_Max
END
T_
U
Int
32
_Buffer_Max
;
DATA
T_Int
8
_Buffer_Max
END
T_Int
8
_Buffer_Max
;
DATA
IMPLEMENTATION
T_
U
Int
32
_Buffer_Max
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
T_
U
Int
32
DATA
IMPLEMENTATION
T_Int
8
_Buffer_Max
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
T_Int
8
PROPERTIES
Data_Model
::
Data_Representation
=>
array
;
Data_Model
::
Dimension
=>
(
8
);
--
Size
of
the
buffer
Source_Data_Size
=>
8
Bytes
;
--
Size
of
the
buffer
in
bytes
Data_Model
::
Base_Type
=>
(
classifier
(
DataView
::
Stream_Element_Buffer
));
END
T_
U
Int
32
_Buffer_Max
.
impl
;
END
T_Int
8
_Buffer_Max
.
impl
;
DATA
T_
U
Int
32
_Buffer
END
T_
U
Int
32
_Buffer
;
DATA
T_Int
8
_Buffer
END
T_Int
8
_Buffer
;
DATA
IMPLEMENTATION
T_
U
Int
32
_Buffer
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
T_
U
Int
32
DATA
IMPLEMENTATION
T_Int
8
_Buffer
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
T_Int
8
SUBCOMPONENTS
Buffer
:
data
T_
U
Int
32
_Buffer_Max
.
impl
;
Buffer
:
data
T_Int
8
_Buffer_Max
.
impl
;
Length
:
data
Base_Types
::
Unsigned_32
;
PROPERTIES
Data_Model
::
Data_Representation
=>
Struct
;
END
T_UInt32_Buffer
.
impl
;
Source_Data_Size
=>
24
Bytes
;
--
Size
of
the
buffer
in
bytes
END
T_Int8_Buffer
.
impl
;
DATA
T_Int
8
DATA
T_
U
Int
32
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-inst/share/taste-types/taste-types.asn"
);
TASTE
::
EncodingDefinitionFile
=>
classifier
(
DataView
::
ACN_taste_types
);
TASTE
::
Ada_Package_Name
=>
"TASTE_BasicTypes"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-BasicTypes"
;
Source_Language
=>
(
ASN1
);
...
...
@@ -183,42 +190,45 @@ PROPERTIES
--
Real
message
size
is
8
;
suggested
aligned
message
buffer
is
...
Source_Data_Size
=>
8
Bytes
;
--
name
of
the
corresponding
data
type
in
the
source
file
:
Type_Source_Name
=>
"T-Int
8
"
;
TASTE
::
Position_In_File
=>
[
line
=>
10
;
column
=>
1
;
];
Type_Source_Name
=>
"T-
U
Int
32
"
;
TASTE
::
Position_In_File
=>
[
line
=>
8
;
column
=>
1
;
];
--
what
kind
of
type
is
this
?
TASTE
::
ASN1_Basic_Type
=>
aINTEGER
;
END
T_Int
8
;
END
T_
U
Int
32
;
DATA
IMPLEMENTATION
T_Int
8
.
impl
END
T_Int
8
.
impl
;
DATA
IMPLEMENTATION
T_
U
Int
32
.
impl
END
T_
U
Int
32
.
impl
;
DATA
T_Int
8
_Buffer_Max
END
T_Int
8
_Buffer_Max
;
DATA
T_
U
Int
32
_Buffer_Max
END
T_
U
Int
32
_Buffer_Max
;
DATA
IMPLEMENTATION
T_Int
8
_Buffer_Max
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
T_Int
8
DATA
IMPLEMENTATION
T_
U
Int
32
_Buffer_Max
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
T_
U
Int
32
PROPERTIES
Data_Model
::
Data_Representation
=>
array
;
Data_Model
::
Dimension
=>
(
8
);
--
Size
of
the
buffer
Source_Data_Size
=>
8
Bytes
;
--
Size
of
the
buffer
in
bytes
Data_Model
::
Base_Type
=>
(
classifier
(
DataView
::
Stream_Element_Buffer
));
END
T_Int
8
_Buffer_Max
.
impl
;
END
T_
U
Int
32
_Buffer_Max
.
impl
;
DATA
T_Int
8
_Buffer
END
T_Int
8
_Buffer
;
DATA
T_
U
Int
32
_Buffer
END
T_
U
Int
32
_Buffer
;
DATA
IMPLEMENTATION
T_Int
8
_Buffer
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
T_Int
8
DATA
IMPLEMENTATION
T_
U
Int
32
_Buffer
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
T_
U
Int
32
SUBCOMPONENTS
Buffer
:
data
T_Int
8
_Buffer_Max
.
impl
;
Buffer
:
data
T_
U
Int
32
_Buffer_Max
.
impl
;
Length
:
data
Base_Types
::
Unsigned_32
;
PROPERTIES
Data_Model
::
Data_Representation
=>
Struct
;
END
T_Int8_Buffer
.
impl
;
Source_Data_Size
=>
24
Bytes
;
--
Size
of
the
buffer
in
bytes
END
T_UInt32_Buffer
.
impl
;
DATA
T_UInt8
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-inst/share/taste-types/taste-types.asn"
);
TASTE
::
EncodingDefinitionFile
=>
classifier
(
DataView
::
ACN_taste_types
);
TASTE
::
Ada_Package_Name
=>
"TASTE_BasicTypes"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-BasicTypes"
;
Source_Language
=>
(
ASN1
);
...
...
@@ -243,6 +253,7 @@ DATA IMPLEMENTATION T_UInt8_Buffer_Max.impl
PROPERTIES
Data_Model
::
Data_Representation
=>
array
;
Data_Model
::
Dimension
=>
(
8
);
--
Size
of
the
buffer
Source_Data_Size
=>
8
Bytes
;
--
Size
of
the
buffer
in
bytes
Data_Model
::
Base_Type
=>
(
classifier
(
DataView
::
Stream_Element_Buffer
));
END
T_UInt8_Buffer_Max
.
impl
;
...
...
@@ -256,61 +267,70 @@ SUBCOMPONENTS
Length
:
data
Base_Types
::
Unsigned_32
;
PROPERTIES
Data_Model
::
Data_Representation
=>
Struct
;
Source_Data_Size
=>
24
Bytes
;
--
Size
of
the
buffer
in
bytes
END
T_UInt8_Buffer
.
impl
;
DATA
T_Boolean
DATA
T
ASTE
_Boolean
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-
inst/share
/t
a
st
e-types/taste-types
.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_
BasicTypes
"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-
BasicTypes
"
;
Source_Text
=>
(
"/home/taste/tool-
src/kazoo/test
/t
e
st
-air-2cyclics/DataView
.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_
Dataview
"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-
Dataview
"
;
Source_Language
=>
(
ASN1
);
--
Size
of
a
buffer
to
cover
all
forms
of
message
representation
:
--
Real
message
size
is
1
;
suggested
aligned
message
buffer
is
...
Source_Data_Size
=>
8
Bytes
;
--
name
of
the
corresponding
data
type
in
the
source
file
:
Type_Source_Name
=>
"T-Boolean"
;
TASTE
::
Position_In_File
=>
[
line
=>
14
;
column
=>
1
;
];
Type_Source_Name
=>
"T
ASTE
-Boolean"
;
TASTE
::
Position_In_File
=>
[
line
=>
5
;
column
=>
1
;
];
--
what
kind
of
type
is
this
?
TASTE
::
ASN1_Basic_Type
=>
aBOOLEAN
;
END
T_Boolean
;
END
T
ASTE
_Boolean
;
DATA
IMPLEMENTATION
T_Boolean
.
impl
END
T_Boolean
.
impl
;
DATA
IMPLEMENTATION
T
ASTE
_Boolean
.
impl
END
T
ASTE
_Boolean
.
impl
;
DATA
T_Boolean_Buffer_Max
END
T_Boolean_Buffer_Max
;
DATA
T
ASTE
_Boolean_Buffer_Max
END
T
ASTE
_Boolean_Buffer_Max
;
DATA
IMPLEMENTATION
T_Boolean_Buffer_Max
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
T_Boolean
DATA
IMPLEMENTATION
T
ASTE
_Boolean_Buffer_Max
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
T
ASTE
_Boolean
PROPERTIES
Data_Model
::
Data_Representation
=>
array
;
Data_Model
::
Dimension
=>
(
8
);
--
Size
of
the
buffer
Source_Data_Size
=>
8
Bytes
;
--
Size
of
the
buffer
in
bytes
Data_Model
::
Base_Type
=>
(
classifier
(
DataView
::
Stream_Element_Buffer
));
END
T_Boolean_Buffer_Max
.
impl
;
END
T
ASTE
_Boolean_Buffer_Max
.
impl
;
DATA
T_Boolean_Buffer
END
T_Boolean_Buffer
;
DATA
T
ASTE
_Boolean_Buffer
END
T
ASTE
_Boolean_Buffer
;
DATA
IMPLEMENTATION
T_Boolean_Buffer
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
T_Boolean
DATA
IMPLEMENTATION
T
ASTE
_Boolean_Buffer
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
T
ASTE
_Boolean
SUBCOMPONENTS
Buffer
:
data
T_Boolean_Buffer_Max
.
impl
;
Buffer
:
data
T
ASTE
_Boolean_Buffer_Max
.
impl
;
Length
:
data
Base_Types
::
Unsigned_32
;
PROPERTIES
Data_Model
::
Data_Representation
=>
Struct
;
END
T_Boolean_Buffer
.
impl
;
Source_Data_Size
=>
24
Bytes
;
--
Size
of
the
buffer
in
bytes
END
TASTE_Boolean_Buffer
.
impl
;
SYSTEM
Taste_DataView
END
Taste_DataView
;
SYSTEM
IMPLEMENTATION
Taste_DataView
.
others
SUBCOMPONENTS
T
ASTE
_Boolean
:
DATA
T
ASTE
_Boolean
.
impl
;
T_Boolean
:
DATA
T_Boolean
.
impl
;
T_Int32
:
DATA
T_Int32
.
impl
;
T_UInt32
:
DATA
T_UInt32
.
impl
;
T_Int8
:
DATA
T_Int8
.
impl
;
T_UInt32
:
DATA
T_UInt32
.
impl
;
T_UInt8
:
DATA
T_UInt8
.
impl
;
T_Boolean
:
DATA
T_Boolean
.
impl
;
T
ASTE
_Boolean
:
DATA
T
ASTE
_Boolean
.
impl
;
END
Taste_DataView
.
others
;
DATA
ACN_taste_types
PROPERTIES
Source_Text
=>
(
"/home/taste/tool-inst/share/taste-types/taste-types.acn"
);
Source_Language
=>
(
ACN
);
END
ACN_taste_types
;
end
DataView
;
test/test-air-2cyclics/DeploymentView.aadl
View file @
b75a6d44
...
...
@@ -50,13 +50,13 @@ MEMORY IMPLEMENTATION main_memory.others
SUBCOMPONENTS
part1_Segment : MEMORY deploymentview::DV::partition_memory.others {
Base_Address => 16#100000#;
Memory_Size => 16#100# Bytes;
Byte_Count => 16#100#;
Memory_Size => 16#100
000
# Bytes;
Byte_Count => 16#100
000
#;
};
part2_Segment : MEMORY deploymentview::DV::partition_memory.others {
Base_Address => 16#600000#;
Memory_Size => 16#100# Bytes;
Byte_Count => 16#100#;
Memory_Size => 16#100
000
# Bytes;
Byte_Count => 16#100
000
#;
};
END main_memory.others;
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment