Checking date: 23/05/2022

Course: 2022/2023

Elements of critical software
Study: Master in Aeronautical Engineering (296)


Department assigned to the subject: Department of Bioengineering and Aerospace Engineering

Type: Compulsory
ECTS Credits: 3.0 ECTS


Requirements (Subjects that are assumed to be known)
Basic knowledge in Computers and Programming Languages.
COMPETENCES: 1. Students are able to integrate knowledge and face the complexity of making judgments based on information that, being incomplete or limited, includes reflections on social and ethical responsibilities linked to the application of their knowledge and judgments. 2. Ability to integrate complex aerospace systems and multidisciplinary work teams. 3. Competence in all areas related to airport, aeronautical or space technologies that, by their nature, are not exclusive to other branches of engineering. 4. Adequate knowledge of Avionics and Onboard Software, and of the Simulation and Control techniques used in air navigation. 5. Adequate knowledge of the different regulations applicable to air navigation and transport and the ability to certify Air Navigation Systems. LEARNING RESULTS: The students shall be able to understand the complete Development Process of an Onboard Critical Software and to understand the Certification and Safety requirements applicable to such kind of Software.
Skills and learning outcomes
Description of contents: programme
Elements of Critical Software Introduction. Introduction to RTCA DO-178B. Introduction to RTCA DO-178C. SW Architectures Description. Low Level Programming. Real-Time Operating Systems. SW Requirements Management Practice. SW Design. SW Design Practices. SW Implementation. SW Implementation Practices. SW Verification. SW Verification Practices.
Learning activities and methodology
Theory sessions. Practical Exercises during the sessions. Practices in the Computers Room. Practices in Laboratory. In addition, 1 hour/week as Office Hour by the professor.
Assessment System
  • % end-of-term-examination 25
  • % of continuous assessment (assigments, laboratory, practicals...) 75
Calendar of Continuous assessment
Basic Bibliography
  • ARINC. Avionics Software Standard Interface. ARINC Specification 653. . ARINC. 2003
  • Grady Booch, Ivar Jacobson & Jim Rumbaugh. OMG Unified Modeling Language Specification, Version 1.3. OMG. 2008
  • RTCA. DO-178C, ¿Software Considerations in Airborne Systems and Equipment Certification. RTCA. 2011
  • RTCA. DO-178B, Software Considerations in Airborne Systems and Equipment Certification. RTCA. 1992
  • SAE. ARP4754: Certification Considerations for Highly Integrated or Complex Aircraft Systems. SAE. 1996

The course syllabus may change due academic events or other reasons.

More information: