Checking date: 18/01/2024

Course: 2023/2024

Elements of critical software
Master in Aeronautical Engineering / Máster Universitario en Ingeniería Aeronáutica (Plan: 328 - Estudio: 296)


Department assigned to the subject: Aerospace Engineering Department

Type: Compulsory
ECTS Credits: 3.0 ECTS


Requirements (Subjects that are assumed to be known)
Basic knowledge in Computers and Programming Languages.
This course aims to understand the complete cycle of the development process of Onboard Critical Software (Operational concept, requirements and architecture, Detailed design, Implementation, Validation and Verification). Likewise, knowledge of the specific Certification and Safety requirements applicable to such kind of Software. The course is developed with an important practical component, where the student puts the theoretical concepts to the test by carrying out activities dedicated to each phase of the development of onboard Critical Software.
Skills and learning outcomes
Description of contents: programme
Block I: Elements of Critical Software Introduction: - Elements of Critical Software - RTCA DO-178B - RTCA DO-178C Block II: Software Architectures: - Software Architectures description - Low-Level Programming - Real-Time Operating Systems Block III: Software Requirements: - Critical Software Requirement process theoretical concepts - Critical Software Requirement process practice Block IV: Software Design - Critical Software Design process theoretical concepts - Critical Software Design process practice Block V: Software Implementation - Critical Software Implementation process theoretical concepts - Critical Software Implementation process practice Block VI: Software Verification - Critical Software Verification process theoretical concepts - Critical Software Verification process practice
Learning activities and methodology
TRAINING ACTIVITIES AF1 (Theoretical classes) and AF2 (Practical classes), AF3 (Practices in computer classroom) and AF4 (Laboratory practices), AF5 (Individual student work) as well as group work AF6 (Office Hour) 1 hour/week as Office Hour by the professor. TEACHING METHODOLOGIES MD1 (Presentations in the teacher's class with the support of computer and audiovisual media). MD3 (Resolution of practical cases raised by the teacher individually or in groups) MD5 (Preparation of papers and reports individually or in groups)
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: