osate/osate2-core — Issue #9: Failed to parse properties
Author: juli1
Created: 2011-10-28 12:35:57+00:00
State: open

Hello,

When trying OSATE2 and defining my own properties, I get compilation errors. However, these property set compile fine with Ocarina. There are the property definition (see below).

Any idea on why this is not working in OSATE2 ?

Thanks for any comment/suggestion,

Best regards,

property set Processor_Properties is

Frequency : type aadlinteger 0 Hz .. Max_Aadlinteger units
(Hz,
KHz => Hz * 1000,
MHz => KHz * 1000,
GHz => MHz * 1000);

CPU_Speed : Frequency applies to (processor);

MIPS : aadlinteger 0 .. Max_Aadlinteger applies to (processor, abstract);

end Processor_Properties;

property set Physical_Properties is

-----------------
-- Power units --
-----------------

Power_Units: type units
(W,
KW => W * 1000,
MW => KW * 1000,
GW => MW * 1000,
TW => GW * 1000);

Max_Power: constant Physical_Properties::Power_Units => 2#1#e32 W;
Power : type aadlreal 0 W .. Max_Power units Physical_Properties::Power_Units;
Power_Consume : Power applies to (processor, device, memory, system);
Power_Provide : Power applies to (device);
Total_Power : Power applies to (system);

---------
-- EMC --
---------

Ionizing_Dose_Units : type units (
rad,
Krad => rad * 1000,
Mrad => Krad * 1000,
Grad => Mrad * 1000,
Trad => Grad * 1000);

Max_Ionizing_Dose: constant Ionizing_Dose_Units => 2#1#e32 rad;

Ionizing_Type : type aadlinteger
0 rad .. Max_Ionizing_Dose units Ionizing_Dose_Units;

TID : Ionizing_Type applies to (processor, device, memory);

Mass_Units: type units (
g,
Kg => g * 1000,
T => Kg * 1000);

Maximum_Mass: constant Mass_Units => 2#1#e32 g;

Mass_Type : type aadlreal 0 g .. Maximum_Mass units Mass_Units;

Mass : Mass_Type applies to (processor, device, memory, system);

Max_Mass : Mass_Type applies to (processor, device, memory, system);

end Physical_Properties;