Safety concept for a mixed criticality on-board software system

Alonso Muñoz, Alejandro Antonio and Puente Alfaro, Juan Antonio de la and Zamorano Flores, Juan Rafael and Miguel Cabello, Miguel Angel de and Salazar Marsá, José Emilio and Garrido Balaguer, Jorge (2015). Safety concept for a mixed criticality on-board software system. In: "nd IFAC Conference on Embedded Systems, Computer Intelligence and Telematics (CESCIT 2015)", 22/06/2015 - 24/06/2015, Maribor, Slovenia. pp. 240-245. https://doi.org/10.1016/j.ifacol.2015.08.138.

Description

Title: Safety concept for a mixed criticality on-board software system
Author/s:
  • Alonso Muñoz, Alejandro Antonio
  • Puente Alfaro, Juan Antonio de la
  • Zamorano Flores, Juan Rafael
  • Miguel Cabello, Miguel Angel de
  • Salazar Marsá, José Emilio
  • Garrido Balaguer, Jorge
Item Type: Presentation at Congress or Conference (Article)
Event Title: nd IFAC Conference on Embedded Systems, Computer Intelligence and Telematics (CESCIT 2015)
Event Dates: 22/06/2015 - 24/06/2015
Event Location: Maribor, Slovenia
Title of Book: IFAC-PapersOnLine
Date: 2015
Volume: 48
Subjects:
Freetext Keywords: Computers in control; real-time systems; mixed-criticality systems
Faculty: E.T.S.I. Telecomunicación (UPM)
Department: Ingeniería de Sistemas Telemáticos [hasta 2014]
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview

Abstract

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.

Funding Projects

TypeCodeAcronymLeaderTitle
Government of SpainTIN2011-28567-C03-01HI-PARTESUnspecifiedUnspecified
FP7IST 287702MultiPARTESUnspecifiedUnspecified

More information

Item ID: 42424
DC Identifier: http://oa.upm.es/42424/
OAI Identifier: oai:oa.upm.es:42424
DOI: 10.1016/j.ifacol.2015.08.138
Deposited by: Memoria Investigacion
Deposited on: 17 Jul 2016 11:23
Last Modified: 17 Jul 2016 11:23
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM