Última actualización: 15/02/2017


Curso Académico: 2018/2019

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: Fundamentos y conocimiento aplicado de Software Crítico Embarcado. Adquisición de conocimientos básicos sobre el Proceso de Desarrollo de un Software Crítico Embarcado. Adquisición del conocimiento de las reglas y guías de Certificación básicas aplicables a un Software Crítico Embarcado. 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