Checking date: 08/10/2019


Course: 2019/2020

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


Coordinating teacher: GARCIA-HERAS CARRETERO, JAVIER

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

Type: Compulsory
ECTS Credits: 3.0 ECTS

Course:
Semester:




Students are expected to have completed
Basic knowledge in Computers and Programming Languages.
Competences and skills that will be acquired and learning results.
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 and the academic weekly planning may change due academic events or other reasons.


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