Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
Ocarina
Commits
90b44b11
Commit
90b44b11
authored
Jan 10, 2017
by
yoogx
Browse files
* Update testsuite output
For issue #75
parent
a51895d8
Changes
38
Hide whitespace changes
Inline
Side-by-side
examples/real/security/all.aadl.out
View file @
90b44b11
...
...
@@ -146,48 +146,48 @@ Evaluating theorem bell_lapadula
* Iterate for variable: main.i_node1_partition_topsecret
Content of set vp1 (lib.real:27:14) is
main.i_node1_runtime_topsecret:
48
component instance all.aadl:156:04
main.i_node1_runtime_topsecret:
53
component instance all.aadl:156:04
Content of set b_src (lib.real:29:16) is
main.i_rtbus_layer_topsecret:
727
component instance all.aadl:15:04
main.i_rtbus_layer_topsecret:
821
component instance all.aadl:15:04
Content of set p_dest (lib.real:31:17) is
main.i_node2_partition_topsecret: 4
1
6 component instance all.aadl:138:04
main.i_node2_partition_topsecret: 46
5
component instance all.aadl:138:04
Content of set vp2 (lib.real:33:14) is
main.i_node2_runtime_topsecret: 1
39
component instance all.aadl:156:04
main.i_node2_runtime_topsecret: 1
60
component instance all.aadl:156:04
Content of set b_dst (lib.real:35:16) is
main.i_rtbus_layer_topsecret:
727
component instance all.aadl:15:04
main.i_rtbus_layer_topsecret:
821
component instance all.aadl:15:04
=> Result: TRUE
* Iterate for variable: main.i_node1_partition_secret
Content of set vp1 (lib.real:27:14) is
main.i_node1_runtime_secret:
28
component instance all.aadl:156:04
main.i_node1_runtime_secret:
30
component instance all.aadl:156:04
Content of set b_src (lib.real:29:16) is
main.i_rtbus_layer_secret:
735
component instance all.aadl:10:04
main.i_rtbus_layer_secret:
830
component instance all.aadl:10:04
Content of set p_dest (lib.real:31:17) is
main.i_node2_partition_secret:
483
component instance all.aadl:138:04
main.i_node2_partition_secret:
537
component instance all.aadl:138:04
Content of set vp2 (lib.real:33:14) is
main.i_node2_runtime_secret: 1
2
4 component instance all.aadl:156:04
main.i_node2_runtime_secret: 14
2
component instance all.aadl:156:04
Content of set b_dst (lib.real:35:16) is
main.i_rtbus_layer_secret:
735
component instance all.aadl:10:04
main.i_rtbus_layer_secret:
830
component instance all.aadl:10:04
=> Result: TRUE
* Iterate for variable: main.i_node1_partition_unclassified
Content of set vp1 (lib.real:27:14) is
main.i_node1_runtime_unclassified:
64
component instance all.aadl:156:04
main.i_node1_runtime_unclassified:
72
component instance all.aadl:156:04
Content of set b_src (lib.real:29:16) is
main.i_rtbus_layer_unclassified:
743
component instance all.aadl:5:04
main.i_rtbus_layer_unclassified:
839
component instance all.aadl:5:04
Content of set p_dest (lib.real:31:17) is
main.i_node2_partition_unclassified:
547
component instance all.aadl:138:04
main.i_node2_partition_unclassified:
606
component instance all.aadl:138:04
Content of set vp2 (lib.real:33:14) is
main.i_node2_runtime_unclassified: 1
54
component instance all.aadl:156:04
main.i_node2_runtime_unclassified: 1
78
component instance all.aadl:156:04
Content of set b_dst (lib.real:35:16) is
main.i_rtbus_layer_unclassified:
743
component instance all.aadl:5:04
main.i_rtbus_layer_unclassified:
839
component instance all.aadl:5:04
=> Result: TRUE
* Iterate for variable: main.i_node2_partition_topsecret
Content of set vp1 (lib.real:27:14) is
main.i_node2_runtime_topsecret: 1
39
component instance all.aadl:156:04
main.i_node2_runtime_topsecret: 1
60
component instance all.aadl:156:04
Content of set b_src (lib.real:29:16) is
main.i_rtbus_layer_topsecret:
727
component instance all.aadl:15:04
main.i_rtbus_layer_topsecret:
821
component instance all.aadl:15:04
Content of set p_dest (lib.real:31:17) is
Content of set vp2 (lib.real:33:14) is
Content of set b_dst (lib.real:35:16) is
...
...
@@ -195,9 +195,9 @@ Content of set b_dst (lib.real:35:16) is
* Iterate for variable: main.i_node2_partition_secret
Content of set vp1 (lib.real:27:14) is
main.i_node2_runtime_secret: 1
2
4 component instance all.aadl:156:04
main.i_node2_runtime_secret: 14
2
component instance all.aadl:156:04
Content of set b_src (lib.real:29:16) is
main.i_rtbus_layer_secret:
735
component instance all.aadl:10:04
main.i_rtbus_layer_secret:
830
component instance all.aadl:10:04
Content of set p_dest (lib.real:31:17) is
Content of set vp2 (lib.real:33:14) is
Content of set b_dst (lib.real:35:16) is
...
...
@@ -205,9 +205,9 @@ Content of set b_dst (lib.real:35:16) is
* Iterate for variable: main.i_node2_partition_unclassified
Content of set vp1 (lib.real:27:14) is
main.i_node2_runtime_unclassified: 1
54
component instance all.aadl:156:04
main.i_node2_runtime_unclassified: 1
78
component instance all.aadl:156:04
Content of set b_src (lib.real:29:16) is
main.i_rtbus_layer_unclassified:
743
component instance all.aadl:5:04
main.i_rtbus_layer_unclassified:
839
component instance all.aadl:5:04
Content of set p_dest (lib.real:31:17) is
Content of set vp2 (lib.real:33:14) is
Content of set b_dst (lib.real:35:16) is
...
...
@@ -221,48 +221,48 @@ Evaluating theorem biba
* Iterate for variable: main.i_node1_partition_topsecret
Content of set vp1 (lib.real:51:14) is
main.i_node1_runtime_topsecret:
48
component instance all.aadl:156:04
main.i_node1_runtime_topsecret:
53
component instance all.aadl:156:04
Content of set b_src (lib.real:53:16) is
main.i_rtbus_layer_topsecret:
727
component instance all.aadl:15:04
main.i_rtbus_layer_topsecret:
821
component instance all.aadl:15:04
Content of set p_dest (lib.real:55:17) is
main.i_node2_partition_topsecret: 4
1
6 component instance all.aadl:138:04
main.i_node2_partition_topsecret: 46
5
component instance all.aadl:138:04
Content of set vp2 (lib.real:57:14) is
main.i_node2_runtime_topsecret: 1
39
component instance all.aadl:156:04
main.i_node2_runtime_topsecret: 1
60
component instance all.aadl:156:04
Content of set b_dst (lib.real:59:16) is
main.i_rtbus_layer_topsecret:
727
component instance all.aadl:15:04
main.i_rtbus_layer_topsecret:
821
component instance all.aadl:15:04
=> Result: TRUE
* Iterate for variable: main.i_node1_partition_secret
Content of set vp1 (lib.real:51:14) is
main.i_node1_runtime_secret:
28
component instance all.aadl:156:04
main.i_node1_runtime_secret:
30
component instance all.aadl:156:04
Content of set b_src (lib.real:53:16) is
main.i_rtbus_layer_secret:
735
component instance all.aadl:10:04
main.i_rtbus_layer_secret:
830
component instance all.aadl:10:04
Content of set p_dest (lib.real:55:17) is
main.i_node2_partition_secret:
483
component instance all.aadl:138:04
main.i_node2_partition_secret:
537
component instance all.aadl:138:04
Content of set vp2 (lib.real:57:14) is
main.i_node2_runtime_secret: 1
2
4 component instance all.aadl:156:04
main.i_node2_runtime_secret: 14
2
component instance all.aadl:156:04
Content of set b_dst (lib.real:59:16) is
main.i_rtbus_layer_secret:
735
component instance all.aadl:10:04
main.i_rtbus_layer_secret:
830
component instance all.aadl:10:04
=> Result: TRUE
* Iterate for variable: main.i_node1_partition_unclassified
Content of set vp1 (lib.real:51:14) is
main.i_node1_runtime_unclassified:
64
component instance all.aadl:156:04
main.i_node1_runtime_unclassified:
72
component instance all.aadl:156:04
Content of set b_src (lib.real:53:16) is
main.i_rtbus_layer_unclassified:
743
component instance all.aadl:5:04
main.i_rtbus_layer_unclassified:
839
component instance all.aadl:5:04
Content of set p_dest (lib.real:55:17) is
main.i_node2_partition_unclassified:
547
component instance all.aadl:138:04
main.i_node2_partition_unclassified:
606
component instance all.aadl:138:04
Content of set vp2 (lib.real:57:14) is
main.i_node2_runtime_unclassified: 1
54
component instance all.aadl:156:04
main.i_node2_runtime_unclassified: 1
78
component instance all.aadl:156:04
Content of set b_dst (lib.real:59:16) is
main.i_rtbus_layer_unclassified:
743
component instance all.aadl:5:04
main.i_rtbus_layer_unclassified:
839
component instance all.aadl:5:04
=> Result: TRUE
* Iterate for variable: main.i_node2_partition_topsecret
Content of set vp1 (lib.real:51:14) is
main.i_node2_runtime_topsecret: 1
39
component instance all.aadl:156:04
main.i_node2_runtime_topsecret: 1
60
component instance all.aadl:156:04
Content of set b_src (lib.real:53:16) is
main.i_rtbus_layer_topsecret:
727
component instance all.aadl:15:04
main.i_rtbus_layer_topsecret:
821
component instance all.aadl:15:04
Content of set p_dest (lib.real:55:17) is
Content of set vp2 (lib.real:57:14) is
Content of set b_dst (lib.real:59:16) is
...
...
@@ -270,9 +270,9 @@ Content of set b_dst (lib.real:59:16) is
* Iterate for variable: main.i_node2_partition_secret
Content of set vp1 (lib.real:51:14) is
main.i_node2_runtime_secret: 1
2
4 component instance all.aadl:156:04
main.i_node2_runtime_secret: 14
2
component instance all.aadl:156:04
Content of set b_src (lib.real:53:16) is
main.i_rtbus_layer_secret:
735
component instance all.aadl:10:04
main.i_rtbus_layer_secret:
830
component instance all.aadl:10:04
Content of set p_dest (lib.real:55:17) is
Content of set vp2 (lib.real:57:14) is
Content of set b_dst (lib.real:59:16) is
...
...
@@ -280,9 +280,9 @@ Content of set b_dst (lib.real:59:16) is
* Iterate for variable: main.i_node2_partition_unclassified
Content of set vp1 (lib.real:51:14) is
main.i_node2_runtime_unclassified: 1
54
component instance all.aadl:156:04
main.i_node2_runtime_unclassified: 1
78
component instance all.aadl:156:04
Content of set b_src (lib.real:53:16) is
main.i_rtbus_layer_unclassified:
743
component instance all.aadl:5:04
main.i_rtbus_layer_unclassified:
839
component instance all.aadl:5:04
Content of set p_dest (lib.real:55:17) is
Content of set vp2 (lib.real:57:14) is
Content of set b_dst (lib.real:59:16) is
...
...
@@ -296,48 +296,48 @@ Evaluating theorem mils_1
* Iterate for variable: main.i_node1_partition_topsecret
Content of set vp1 (lib.real:73:14) is
main.i_node1_runtime_topsecret:
48
component instance all.aadl:156:04
main.i_node1_runtime_topsecret:
53
component instance all.aadl:156:04
Content of set b_src (lib.real:75:16) is
main.i_rtbus_layer_topsecret:
727
component instance all.aadl:15:04
main.i_rtbus_layer_topsecret:
821
component instance all.aadl:15:04
Content of set p_dest (lib.real:77:17) is
main.i_node2_partition_topsecret: 4
1
6 component instance all.aadl:138:04
main.i_node2_partition_topsecret: 46
5
component instance all.aadl:138:04
Content of set vp2 (lib.real:79:14) is
main.i_node2_runtime_topsecret: 1
39
component instance all.aadl:156:04
main.i_node2_runtime_topsecret: 1
60
component instance all.aadl:156:04
Content of set b_dst (lib.real:81:16) is
main.i_rtbus_layer_topsecret:
727
component instance all.aadl:15:04
main.i_rtbus_layer_topsecret:
821
component instance all.aadl:15:04
=> Result: TRUE
* Iterate for variable: main.i_node1_partition_secret
Content of set vp1 (lib.real:73:14) is
main.i_node1_runtime_secret:
28
component instance all.aadl:156:04
main.i_node1_runtime_secret:
30
component instance all.aadl:156:04
Content of set b_src (lib.real:75:16) is
main.i_rtbus_layer_secret:
735
component instance all.aadl:10:04
main.i_rtbus_layer_secret:
830
component instance all.aadl:10:04
Content of set p_dest (lib.real:77:17) is
main.i_node2_partition_secret:
483
component instance all.aadl:138:04
main.i_node2_partition_secret:
537
component instance all.aadl:138:04
Content of set vp2 (lib.real:79:14) is
main.i_node2_runtime_secret: 1
2
4 component instance all.aadl:156:04
main.i_node2_runtime_secret: 14
2
component instance all.aadl:156:04
Content of set b_dst (lib.real:81:16) is
main.i_rtbus_layer_secret:
735
component instance all.aadl:10:04
main.i_rtbus_layer_secret:
830
component instance all.aadl:10:04
=> Result: TRUE
* Iterate for variable: main.i_node1_partition_unclassified
Content of set vp1 (lib.real:73:14) is
main.i_node1_runtime_unclassified:
64
component instance all.aadl:156:04
main.i_node1_runtime_unclassified:
72
component instance all.aadl:156:04
Content of set b_src (lib.real:75:16) is
main.i_rtbus_layer_unclassified:
743
component instance all.aadl:5:04
main.i_rtbus_layer_unclassified:
839
component instance all.aadl:5:04
Content of set p_dest (lib.real:77:17) is
main.i_node2_partition_unclassified:
547
component instance all.aadl:138:04
main.i_node2_partition_unclassified:
606
component instance all.aadl:138:04
Content of set vp2 (lib.real:79:14) is
main.i_node2_runtime_unclassified: 1
54
component instance all.aadl:156:04
main.i_node2_runtime_unclassified: 1
78
component instance all.aadl:156:04
Content of set b_dst (lib.real:81:16) is
main.i_rtbus_layer_unclassified:
743
component instance all.aadl:5:04
main.i_rtbus_layer_unclassified:
839
component instance all.aadl:5:04
=> Result: TRUE
* Iterate for variable: main.i_node2_partition_topsecret
Content of set vp1 (lib.real:73:14) is
main.i_node2_runtime_topsecret: 1
39
component instance all.aadl:156:04
main.i_node2_runtime_topsecret: 1
60
component instance all.aadl:156:04
Content of set b_src (lib.real:75:16) is
main.i_rtbus_layer_topsecret:
727
component instance all.aadl:15:04
main.i_rtbus_layer_topsecret:
821
component instance all.aadl:15:04
Content of set p_dest (lib.real:77:17) is
Content of set vp2 (lib.real:79:14) is
Content of set b_dst (lib.real:81:16) is
...
...
@@ -345,9 +345,9 @@ Content of set b_dst (lib.real:81:16) is
* Iterate for variable: main.i_node2_partition_secret
Content of set vp1 (lib.real:73:14) is
main.i_node2_runtime_secret: 1
2
4 component instance all.aadl:156:04
main.i_node2_runtime_secret: 14
2
component instance all.aadl:156:04
Content of set b_src (lib.real:75:16) is
main.i_rtbus_layer_secret:
735
component instance all.aadl:10:04
main.i_rtbus_layer_secret:
830
component instance all.aadl:10:04
Content of set p_dest (lib.real:77:17) is
Content of set vp2 (lib.real:79:14) is
Content of set b_dst (lib.real:81:16) is
...
...
@@ -355,9 +355,9 @@ Content of set b_dst (lib.real:81:16) is
* Iterate for variable: main.i_node2_partition_unclassified
Content of set vp1 (lib.real:73:14) is
main.i_node2_runtime_unclassified: 1
54
component instance all.aadl:156:04
main.i_node2_runtime_unclassified: 1
78
component instance all.aadl:156:04
Content of set b_src (lib.real:75:16) is
main.i_rtbus_layer_unclassified:
743
component instance all.aadl:5:04
main.i_rtbus_layer_unclassified:
839
component instance all.aadl:5:04
Content of set p_dest (lib.real:77:17) is
Content of set vp2 (lib.real:79:14) is
Content of set b_dst (lib.real:81:16) is
...
...
@@ -371,9 +371,9 @@ Evaluating theorem mils_2
* Iterate for variable: main.i_node1_partition_topsecret
Content of set vp1 (lib.real:98:14) is
main.i_node1_runtime_topsecret:
48
component instance all.aadl:156:04
main.i_node1_runtime_topsecret:
53
component instance all.aadl:156:04
Content of set b_src (lib.real:100:16) is
main.i_rtbus_layer_topsecret:
727
component instance all.aadl:15:04
main.i_rtbus_layer_topsecret:
821
component instance all.aadl:15:04
Content of set cnx (lib.real:102:14) is
Content of set p_dest (lib.real:104:17) is
Content of set vp2 (lib.real:106:14) is
...
...
@@ -383,9 +383,9 @@ Content of set b_cnx (lib.real:110:16) is
* Iterate for variable: main.i_node1_partition_secret
Content of set vp1 (lib.real:98:14) is
main.i_node1_runtime_secret:
28
component instance all.aadl:156:04
main.i_node1_runtime_secret:
30
component instance all.aadl:156:04
Content of set b_src (lib.real:100:16) is
main.i_rtbus_layer_secret:
735
component instance all.aadl:10:04
main.i_rtbus_layer_secret:
830
component instance all.aadl:10:04
Content of set cnx (lib.real:102:14) is
Content of set p_dest (lib.real:104:17) is
Content of set vp2 (lib.real:106:14) is
...
...
@@ -395,9 +395,9 @@ Content of set b_cnx (lib.real:110:16) is
* Iterate for variable: main.i_node1_partition_unclassified
Content of set vp1 (lib.real:98:14) is
main.i_node1_runtime_unclassified:
64
component instance all.aadl:156:04
main.i_node1_runtime_unclassified:
72
component instance all.aadl:156:04
Content of set b_src (lib.real:100:16) is
main.i_rtbus_layer_unclassified:
743
component instance all.aadl:5:04
main.i_rtbus_layer_unclassified:
839
component instance all.aadl:5:04
Content of set cnx (lib.real:102:14) is
Content of set p_dest (lib.real:104:17) is
Content of set vp2 (lib.real:106:14) is
...
...
@@ -407,9 +407,9 @@ Content of set b_cnx (lib.real:110:16) is
* Iterate for variable: main.i_node2_partition_topsecret
Content of set vp1 (lib.real:98:14) is
main.i_node2_runtime_topsecret: 1
39
component instance all.aadl:156:04
main.i_node2_runtime_topsecret: 1
60
component instance all.aadl:156:04
Content of set b_src (lib.real:100:16) is
main.i_rtbus_layer_topsecret:
727
component instance all.aadl:15:04
main.i_rtbus_layer_topsecret:
821
component instance all.aadl:15:04
Content of set cnx (lib.real:102:14) is
Content of set p_dest (lib.real:104:17) is
Content of set vp2 (lib.real:106:14) is
...
...
@@ -419,9 +419,9 @@ Content of set b_cnx (lib.real:110:16) is
* Iterate for variable: main.i_node2_partition_secret
Content of set vp1 (lib.real:98:14) is
main.i_node2_runtime_secret: 1
2
4 component instance all.aadl:156:04
main.i_node2_runtime_secret: 14
2
component instance all.aadl:156:04
Content of set b_src (lib.real:100:16) is
main.i_rtbus_layer_secret:
735
component instance all.aadl:10:04
main.i_rtbus_layer_secret:
830
component instance all.aadl:10:04
Content of set cnx (lib.real:102:14) is
Content of set p_dest (lib.real:104:17) is
Content of set vp2 (lib.real:106:14) is
...
...
@@ -431,9 +431,9 @@ Content of set b_cnx (lib.real:110:16) is
* Iterate for variable: main.i_node2_partition_unclassified
Content of set vp1 (lib.real:98:14) is
main.i_node2_runtime_unclassified: 1
54
component instance all.aadl:156:04
main.i_node2_runtime_unclassified: 1
78
component instance all.aadl:156:04
Content of set b_src (lib.real:100:16) is
main.i_rtbus_layer_unclassified:
743
component instance all.aadl:5:04
main.i_rtbus_layer_unclassified:
839
component instance all.aadl:5:04
Content of set cnx (lib.real:102:14) is
Content of set p_dest (lib.real:104:17) is
Content of set vp2 (lib.real:106:14) is
...
...
resources/AADLv2/errorlibrary.aadl
View file @
90b44b11
package
ErrorLibrary
public
data
dummy
--
FIXME
:
Workaround
to
allow
pretty
printing
this
package
end
dummy
;
annex
EMV2
{**
error
types
CommonErrors
:
type
set
{
ServiceError
,
TimingRelatedError
,
ValueRelatedError
,
ReplicationError
,
...
...
tests/SAE-behaviour_annex-04202009/ba_example_001.aadl.out
View file @
90b44b11
package
Test
public
data
number
end
number
;
subprogram
mul
features
x
:
in
parameter
number
;
y
:
in
parameter
number
;
z
:
out
parameter
number
;
end
mul
;
subprogram
cube
features
x
:
in
parameter
number
;
y
:
out
parameter
number
;
mul
:
requires
subprogram
access
mul
;
annex
behavior_specification
{**
variables
tmp
;
states
s
:
initial
final
state
;
transitions
t
:
s
-[]->
s
{
mul
!(x, x, tmp);
mul
!(tmp, x, y)
};
**};
end
cube
;
end
Test
;
Frontends : error : ba_example_001.aadl:25:11: parsing Behavior_Variable, token ':' is expected, found token ';'
Frontends : error : ba_example_001.aadl:25:11: parsing Behavior_Variable, the list parsed is empty
Frontends : fatal error : ba_example_001.aadl:28:07: parsing Behavior_Specification, failed
tests/SAE-behaviour_annex-04202009/ba_example_002.aadl.out
View file @
90b44b11
package
Test
public
with
Base_types
;
thread
speed
features
tick
:
in
event
port
{
Dequeue_Protocol
=>
AllItems
;};
sp
:
out
data
port
Base_types
::
integer
;
properties
Dispatch_Protocol
=>
periodic
;
Period
=>
1000
Ms
;
end
speed
;
thread
implementation
speed
.
i
annex
behavior_specification
{**
states
s0
:
initial
complete
state
;
transitions
s0
-[]->
s0
{
sp
:=
tick
'count
};
**};
end speed.i;
end Test;
package Base_Types
public
with data_model;
data Boolean
properties
Data_Model::Data_Representation => Boolean;
end Boolean;
data Integer
properties
Data_Model::Data_Representation => Integer;
end Integer;
data Integer_8 extends Integer
properties
Data_Model::Number_Representation => Signed;
Source_Data_Size => 1 Bytes;
end Integer_8;
data Integer_16 extends Integer
properties
Data_Model::Number_Representation => Signed;
Source_Data_Size => 2 Bytes;
end Integer_16;
data Integer_32 extends Integer
properties
Data_Model::Number_Representation => Signed;
Source_Data_Size => 4 Bytes;
end Integer_32;
data Integer_64 extends Integer
properties
Data_Model::Number_Representation => Signed;
Source_Data_Size => 8 Bytes;
end Integer_64;
data Unsigned_8 extends Integer
properties
Data_Model::Number_Representation => Unsigned;
Source_Data_Size => 1 Bytes;
end Unsigned_8;
data Unsigned_16 extends Integer
properties
Data_Model::Number_Representation => Unsigned;
Source_Data_Size => 2 Bytes;
end Unsigned_16;
data Unsigned_32 extends Integer
properties
Data_Model::Number_Representation => Unsigned;
Source_Data_Size => 4 Bytes;
end Unsigned_32;
data Unsigned_64 extends Integer
properties
Data_Model::Number_Representation => Unsigned;
Source_Data_Size => 8 Bytes;
end Unsigned_64;
data Natural extends Integer
properties
Data_Model::Integer_Range => 0 .. Max_Target_Integer;
end Natural;
data Float
properties
Data_Model::Data_Representation => Float;
end Float;
data Float_32 extends Float
properties
Data_Model::IEEE754_Precision => Simple;
Source_Data_Size => 4 Bytes;
end Float_32;
data Float_64 extends Float
properties
Data_Model::IEEE754_Precision => Double;
Source_Data_Size => 8 Bytes;
end Float_64;
data Character
properties
Data_Model::Data_Representation => Character;
end Character;
data String
properties
Data_Model::Data_Representation => String;
end String;
end Base_Types;
property set Data_Model is
Base_Type : list of classifier (
data)
applies to (data);
Code_Set : aadlinteger
applies to (data);
Data_Digits : aadlinteger
applies to (data);
Data_Scale : aadlinteger
applies to (data);
Data_Representation : enumeration (Array, Boolean, Character, Enum, Float, Fixed, Integer, String, Struct, Union)
applies to (data);
Dimension : list of aadlinteger
applies to (data);
Indefinite_Dimension : constant aadlinteger => -1;
Infinite_Dimension : constant aadlinteger => -2;
Element_Names : list of aadlstring
applies to (data);
Enumerators : list of aadlstring
applies to (data);
IEEE754_Precision : enumeration (Simple, Double)
applies to (data);
Initial_Value : list of aadlstring
applies to (data, port, parameter);
Integer_Range : range of aadlinteger
applies to (data, port, parameter);
Measurement_Unit : aadlstring
applies to (data, port, parameter);
Number_Representation : enumeration (Signed, Unsigned)
applies to (data);
Real_Range : range of aadlreal
applies to (data, port, parameter);
Representation : list of aadlstring
applies to (data);
end Data_Model;
ba_example_002.aadl:20:05: speed.i ( Thread ) must define one or more final states.
Cannot analyze BEHAVIOR_SPECIFICATION specifications
tests/SAE-behaviour_annex-04202009/ba_example_003.aadl.out
View file @
90b44b11
package
Test
public
with
Base_types
,
Data_Model
;
thread
sender
features
d
:
out
event
data
port
Base_Types
::
Integer
;
a
:
in
event
data
port
Base_Types
::
Integer
;
properties
Dispatch_Protocol
=>
Timed
;
Period
=>
10
Ms
;
end
sender
;
thread
implementation
sender
.
v1
subcomponents
v
:
data
Base_Types
::
Integer
;
annex
behavior_specification
{**
states
st
:
initial
complete
state
;
sf
:
complete
state
;