Mixed-criticality design of a satellite software system

Salazar Marsá, José Emilio and Alonso Muñoz, Alejandro Antonio and Garrido Balaguer, Jorge (2014). Mixed-criticality design of a satellite software system. In: "19th World Congress of the International Federation of Automatic Control (IFAC 2014)", 24/08/2014 - 29/08/2014, Cape Town, South Africa. pp. 12278-12283.

Description

Title: Mixed-criticality design of a satellite software system
Author/s:
  • Salazar Marsá, José Emilio
  • Alonso Muñoz, Alejandro Antonio
  • Garrido Balaguer, Jorge
Item Type: Presentation at Congress or Conference (Article)
Event Title: 19th World Congress of the International Federation of Automatic Control (IFAC 2014)
Event Dates: 24/08/2014 - 29/08/2014
Event Location: Cape Town, South Africa
Title of Book: 19th World Congress of the International Federation of Automatic Control (IFAC 2014)
Date: 2014
Subjects:
Freetext Keywords: Real-time systems, partitioned Systems, mixed criticality, model driven engineering
Faculty: E.T.S.I. Telecomunicación (UPM)
Department: Ingeniería de Sistemas Telemáticos
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 (539kB) | Preview

Abstract

The continuous increment of processors computational power and the requirements on additional functionality and services are motivating a change in the way embedded systems are built. Components with different criticality level are allocated in the same processor, which give rise to mixed-criticality systems. The use of partitioned systems is a way of preventing undesirable interferences between components with different criticality level. An hypervisor provides these partitions or virtual machines, ensuring spatial, temporal and fault isolation between them. The purpose of this paper is to illustrate the development of a mixed-critical system. The attitude control subsystem is used for showing the different steps, which are supported by a toolset developed in the context of the MultiPARTES research project.

More information

Item ID: 36451
DC Identifier: http://oa.upm.es/36451/
OAI Identifier: oai:oa.upm.es:36451
Official URL: http://www.nt.ntnu.no/users/skoge/prost/proceedings/ifac2014/media/files/2002.pdf
Deposited by: Memoria Investigacion
Deposited on: 19 Jul 2015 08:29
Last Modified: 19 Jul 2015 08:29
  • 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