Última actualización: 08/10/2019


Curso Académico: 2019/2020

Elementos de Software Crítico
(12444)
Titulación: Máster Universitario en Ingeniería Aeronáutica / Master in Aeronautical Engineering (296)
Escuela de Ingeniería y Ciencias Básicas


Coordinador/a: GARCIA-HERAS CARRETERO, JAVIER

Departamento asignado a la asignatura: Departamento de Bioingeniería e Ingeniería Aeroespacial

Tipo: Obligatoria
Créditos: 3.0 ECTS

Curso:
Cuatrimestre:




Materias que se recomienda haber superado
Conocimientos básicos de Computadores y Lenguajes de Programación.
Competencias que adquiere el estudiante y resultados del aprendizaje.
COMPETENCIAS: 1. Que los estudiantes sean capaces de integrar conocimientos y enfrentarse a la complejidad de formular juicios a partir de una información que, siendo incompleta o limitada, incluya reflexiones sobre las responsabilidades sociales y éticas vinculadas a la aplicación de sus conocimientos y juicios. 2. Capacidad de integrar sistemas aeroespaciales complejos y equipos de trabajo multidisciplinares 3. Competencia en todas aquellas áreas relacionadas con las tecnologías aeroportuarias, aeronáuticas o espaciales que, por su naturaleza, no sean exclusivas de otras ramas de la ingeniería 4. Conocimiento adecuado de la Aviónica y el Software Embarcado, y de las técnicas de Simulación y Control utilizadas en la navegación aérea. 5. Conocimiento adecuado de las distintas Normativas aplicables a la navegación y circulación áreas y capacidad para certificar los Sistemas de Navegación Aérea. RESULTADOS DEL APRENDIZAJE: Los estudiantes deberán ser capaces de entender el ciclo completo del proceso de desarrollo de un Software Crítico Embarcado. Asímismo, deberán ser capaces de entender los requisitos de Certificación y de Seguridad aplicables a este tipo de Software.
Descripción de contenidos: Programa
Introducción a los Elementos de Software Crítico. Introducción a la RTCA DO-178B. Introducción a la RTCA DO-178C. Descripción de Arquitecturas Software. Programación de Bajo Nivel. Sistemas Operativos de Tiempo Real. Práctica de Gestión de Requisitos Software. Diseño Software. Prácticas de Diseño Software. Implementáción Software. Prácticas de Implementación Software. Verificación Software. Prácticas de Verificación Software.
Actividades formativas, metodología a utilizar y régimen de tutorías
Clases teóricas. Ejercicios prácticos durante las sesiones teóricas. Clases prácticas en Aula de Informática. Clases prácticas en Laboratorio. Adicionalmente, se dispondrá de una tutoría 1 hora a la semana.
Sistema de evaluación
  • Peso porcentual del Examen Final 25
  • Peso porcentual del resto de la evaluación 75
Bibliografía básica
  • 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

El programa de la asignatura y la planificación semanal podrían sufrir alguna variación por causa de fuerza mayor debidamente justificada o por eventos académicos comunicados con antelación.


Dirección web para más información: https://www3.uc3m.es/reina/Fichas/Idioma_1/296.12444.html