Report for Ocarina run 20121108-010300

Ocarina:/AADL-CTS

Click on lines in the table to see the details about each problem.

Test Name	Severity	Failure
/04-Examples/04_2/Aircraft_Cockpit_4_2	failed	RESULT is 'INVALID' instead of 'VALID'
Messages from the test: Aircraft_Cockpit_4_2.aadl:17:48: Avionics::DataTypes::AirData (identifier) is not visible Cannot analyze AADL specifications Reference to the specification: /Requirements/04-Examples/04_2/Aircraft_Cockpit_4_2
/04-Examples/04_5_2/Redundancy_4_5_2	failed	RESULT is 'INVALID' instead of 'VALID'
Messages from the test: Redundancy_4_5_2.aadl:17:50: parsing Record_Term_Element, token '=>' is expected, found token ')' Redundancy_4_5_2.aadl:17:64: parsing Property_Association, token ';' is expected, found token '}' Redundancy_4_5_2.aadl:15:07: parsing Connections, list is empty Cannot parse AADL specifications Reference to the specification: /Requirements/04-Examples/04_5_2/Redundancy_4_5_2