International Association of Engineers
Aircraft software systems are categorized as safety critical systems. This is due to them being employed in high-risk tasks that require rigorous development methodologies to assure their integrity. Designing these systems require: thorough understanding of their requirements, precise and unambiguous specifications and metrics to verify and validate the quality of software produced. Safety critical aviation systems must adhere to standards such as the RTCA DO-178C in order to be acceptable by regulatory agencies. The DO-178C focuses on all aspects of round trip software engineering. This paper outlines a software engineering methodology that is model-based and incorporates formal specification techniques towards being DO-178C compliant.