Checking date: 10/07/2020


Course: 2020/2021

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


Coordinating teacher: GARCIA-HERAS CARRETERO, JAVIER

Department assigned to the subject: Bioengineering and Aeroespace Engineering Department

Type: Compulsory
ECTS Credits: 3.0 ECTS

Course:
Semester:




Requirements (Subjects that are assumed to be known)
Basic knowledge in Computers and Programming Languages.
Objectives
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.
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 may change due academic events or other reasons.


More information: https://www3.uc3m.es/reina/Fichas/Idioma_1/296.12444.html