Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Safety Concept for a Mixed Criticality On-Board Software System
Año:2015
Áreas de investigación
  • Ciencias de la computación y tecnología informática,
  • Telemática,
  • Software
Datos
Descripción
This paper presents a safety concept for the on-board software system of the UPMSat-2 experimental satellite. Subsystems with different criticality levels are assigned to different partitions in a partitioned software architecture. The architecture is based on XtratuM, an open-source virtualization kernel, and ORK+, an open-source real-time kernel for high- integrity systems. The safety requirements of the system are analysed, and a safety concept is developed based on the partitioned software architecture. The properties of the implementation resulting from the approach are discussed, and guidelines for future developments are proposed.
Internacional
Si
Nombre congreso
19th IFAC World Congress. 2nd IFAC Conference on Embedded Systems, Computational Intelligence and Telematics in Control, CESCIT 2015.
Tipo de participación
960
Lugar del congreso
Maribor, SLOVENIA
Revisores
Si
ISBN o ISSN
14746670
DOI
10.1016/j.ifacol.2015.08.138
Fecha inicio congreso
22/06/2015
Fecha fin congreso
24/06/2015
Desde la página
240
Hasta la página
245
Título de las actas
IFAC-PapersOnline, Volume 48, Issue 10.
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Alejandro Antonio Alonso Muñoz (UPM)
  • Autor: Juan Antonio de la Puente Alfaro (UPM)
  • Autor: Juan Rafael Zamorano Flores (UPM)
  • Autor: Miguel Angel de Miguel Cabello (UPM)
  • Autor: José Emilio Salazar Marsá (UPM)
  • Autor: Jorge Garrido Balaguer (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Sistemas de tiempo real y arquitectura de servicios telemáticos
  • Departamento: Arquitectura y Tecnología de Sistemas Informáticos
  • Departamento: Ingeniería de Sistemas Telemáticos
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)