Checking date: 15/02/2017

Course: 2018/2019

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


Students are expected to have completed
Basic knowledge in Computers and Programming Languages.
Competences and skills that will be acquired and learning results.
COMPETENCES: Fundamental and applied knowledge on Onboard Critical Software. Acquisition of the basic knowledge for the Development of a Onboard Critical Software. Acquisition of the knowledge of the basic Certification rules and guidelines applicable to an Oboard Critical Software. 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.
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
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 and the academic weekly planning may change due academic events or other reasons.

More information: