all.aadl.out 2.58 KB
Newer Older
hugues.jerome's avatar
hugues.jerome committed
1
all.aadl:66:03: warning: Field references a component type
2
all.aadl:66:03: warning: Field references a component type
hugues.jerome's avatar
hugues.jerome committed
3
4
5
6
all.aadl:124:03: warning: proc_1 references a component type
all.aadl:125:03: warning: proc_2 references a component type
all.aadl:126:03: warning: ram references a component type
all.aadl:127:03: warning: ram_2 references a component type
7
ocarina: Total: 0 error and 6 warnings
hugues.jerome's avatar
hugues.jerome committed
8
9
resources execution
requirement : connections
10
11
12
13
14
15
16
17
Content of set proc_set (lib.real:25:18) is 
  shared.impl_sn: 13 component instance all.aadl:302:01
Content of set cnx_set (lib.real:27:14) is 
  shared.impl_tr: 200 component instance all.aadl:279:01
Content of set proc_set (lib.real:25:18) is 
  shared.impl_tr: 200 component instance all.aadl:279:01
Content of set cnx_set (lib.real:27:14) is 
  shared.impl_sn: 13 component instance all.aadl:302:01
hugues.jerome's avatar
hugues.jerome committed
18
19
theorem connections is: TRUE
requirement : memory_size
20
21
22
23
24
25
26
27
28
29
30
31
32
33
Content of set proc_set (lib.real:42:18) is 
  shared.impl_sn: 13 component instance all.aadl:302:01
Content of set threads (lib.real:44:14) is 
  shared.impl_sn_th1: 43 component instance all.aadl:209:01
  shared.impl_sn_th2: 112 component instance all.aadl:233:01
Content of set mem_set (lib.real:46:17) is 
  shared.impl_ram: 586 component instance all.aadl:93:01
Content of set proc_set (lib.real:42:18) is 
  shared.impl_tr: 200 component instance all.aadl:279:01
Content of set threads (lib.real:44:14) is 
  shared.impl_tr_th1: 219 component instance all.aadl:259:01
  shared.impl_tr_th2: 371 component instance all.aadl:259:01
Content of set mem_set (lib.real:46:17) is 
  shared.impl_ram_2: 597 component instance all.aadl:93:01
hugues.jerome's avatar
hugues.jerome committed
34
35
theorem memory_size is: TRUE
requirement : mutexes
36
37
38
39
40
41
Content of set proc_set (lib.real:63:18) is 
  shared.impl_sn: 13 component instance all.aadl:302:01
Content of set protected_data_set (lib.real:65:25) is 
Content of set proc_set (lib.real:63:18) is 
  shared.impl_tr: 200 component instance all.aadl:279:01
Content of set protected_data_set (lib.real:65:25) is 
hugues.jerome's avatar
hugues.jerome committed
42
43
44
theorem mutexes is: TRUE
requirement : latency
requirement : buses_rate
45
46
47
48
Content of set cnx_set (lib.real:8:17) is 
  shared.impl_cnx_1: 614 connection instance all.aadl:130:03
  shared.impl_cnx_2: 626 connection instance all.aadl:131:03
Content of set connected_data_set (lib.real:10:25) is 
49
lib.real:12:33 Backends: warning : property "assert_properties::access_bandwidth" is not defined on element 607 (shared.impl_a_bus) all.aadl:104:01Bus_Set
50
lib.real:12:72 Backends: error : Property is false for instance 607 (shared.impl_a_bus)
hugues.jerome's avatar
hugues.jerome committed
51
52
theorem buses_rate is: FALSE
lib.real:85:01 Backends: fatal error : requirements are not fulfilled