system rover_root properties Ocarina_Config::Timeout_Property => 4000ms; Ocarina_Config::Referencial_Files => ("central_node", "central_node.ref"); Ocarina_Config::AADL_Files => ("central_control_unit.aadl","common.aadl"); Ocarina_Config::Generator => polyorb_hi_c; Ocarina_Config::Needed_Property_Sets => (value (Ocarina_Config::Data_Model), value (Ocarina_Config::Deployment), value (Ocarina_Config::Cheddar_Properties)); Ocarina_Config::AADL_Version => AADLv2; end rover_root; system implementation rover_root.Impl end rover_root.Impl;