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