Observatorio de I+D+i UPM

Descripción
This paper describes some important aspects of high- integrity software development based on the authors? work. Current group research is oriented towards mixed- criticality partitioned systems, development tools, real- time kernels, and language features. The UPMSat-2 satellite software is being used as technology demonstra- tor and a case study for the assessment of the research results. The flight software that will run on the satellite is based on proven technology, such as GNAT/ORK+ and LEON3. There is an experimental version that is being built using a partitioned approach, aiming at assessing a toolset targeting partitioned multi-core em- bedded systems. The singularities of both approaches are discussed, as well as some of the tools that are being used for developing the software.
Internacional	Si
JCR del ISI	No
Título de la revista	Ada User Journal
ISSN	1381-6551
Factor de impacto JCR
Información de impacto
Volumen	35
DOI
Número de revista	1
Desde la página	55
Hasta la página	60
Mes	MARZO
Ranking

Esta actividad pertenece a memorias de investigación

• Autor: Juan Antonio de la Puente Alfaro (UPM)
• Autor: Alejandro Antonio Alonso Muñoz (UPM)
• Autor: Juan Rafael Zamorano Flores (UPM)
• Autor: Jorge Garrido Balaguer (UPM)
• Autor: José Emilio Salazar Marsá (UPM)
• Autor: Miguel Angel de Miguel Cabello (UPM)

• Creador: Grupo de Investigación: Sistemas de tiempo real y arquitectura de servicios telemáticos
• Departamento: Ingeniería de Sistemas Telemáticos
• Departamento: Arquitectura y Tecnología de Sistemas Informáticos