In this paper we describe the model-based approach to tool qualification starting from the process model for the determination of the qualification need until the model for test and qualification. The model-based approach can automate many steps from checking the syntactical requirements completeness until the determination whether all requirements have been implemented and successfully tested....

Transient neurological deficit following cervical trauma have been reported following sports injuries, and has been referred to as cervical cord neurapraxia. The so-called "whiplash injuries" following minor motor vehicle collisions usually do not produce any neurological deficit. Here we report the case of a whiplash type of injury presenting with a delayed onset neurological deficit, which wa...

A new guideline has emerged to help regulate the development and certification of software and the delivery of multiple supporting documents and records used on aircraft or engines. The previous guideline — called RTCA DO-178B, Software Considerations in Airborne Systems and Equipment Certification, and produced by the Radio Technical Commission for Aeronautics Inc. — served as a de facto stand...