Última actualización: 27/04/2024


Curso Académico: 2024/2025

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


Coordinador/a: GARCIA-HERAS CARRETERO, JAVIER

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

Tipo: Obligatoria
Créditos: 3.0 ECTS

Curso:
Cuatrimestre:




Requisitos (Asignaturas o materias cuyo conocimiento se presupone)
Conocimientos básicos de Computadores y Lenguajes de Programación.
Objetivos
Este curso tiene como objetivo el entendimiento del ciclo completo del proceso de desarrollo de un Software Crítico Embarcado (Concepto operacional, requisitos y arquitectura, Diseño detallado, Implementación, Validación y Verificación). Asimismo, el conocimiento de los requisitos específicos de Certificación y de Seguridad que se aplican a este tipo de Software. El curso se desarrolla con un alto contenido práctico donde el alumno va poniendo a prueba los conceptos teóricos mediante la realización de actividades dedicadas a cada una de las fases del desarrollo de un Software Critico embarcado.
Competencias y resultados del aprendizaje
Descripción de contenidos: Programa
Bloque I: Introducción a los Elementos de Software Crítico: - Elementos de Software Crítico - RTCA DO-178B - RTCA DO-178C Bloque II: Arquitecturas de Software: - Descripción de Arquitecturas Software - Programación de Bajo Nivel - Sistemas Operativos de Tiempo Real Bloque III: Requisitos de Software: - Teoría del proceso de Requisitos de un Software Crítico - Práctica del proceso de Requisitos de un Software Crítico Bloque IV: Diseño de Software: - Teoría del proceso de diseño de un Software Crítico - Práctica del proceso de diseño de un Software Crítico Bloque V: Implementación de Software: - Teoría del proceso de Implementación de un Software Crítico - Práctica del proceso de Implementación de un Software Crítico Bloque VI: Verificación de Software: - Teoría del proceso de Verificación de un Software Crítico - Práctica del proceso de Verificación de un Software Crítico
Actividades formativas, metodología a utilizar y régimen de tutorías
ACTIVIDADES FORMATIVAS AF1 (Clases teóricas) y AF2 (Clases prácticas), AF3 (Prácticas en aula de informática) y AF4 (Prácticas de laboratorio), AF5 (Trabajo individual del estudiante) y trabajo en grupo AF6 (Tutoría) se dispondrá de una tutoría 1 hora a la semana. METODOLOGÍAS DOCENTES MD1 (Exposiciones en clase del profesor con soporte de medios informáticos y audiovisuales). MD3 (Resolución de casos prácticos planteados por el profesor de manera individual o en grupo) MD5 (Elaboración de trabajos e informes de manera individual o en grupo)
Sistema de evaluación
  • Peso porcentual del Examen Final 25
  • Peso porcentual del resto de la evaluación 75

Calendario de Evaluación Continua


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 podría 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