A study of Xtratum as a tool for space and time partitioning in safety-critical avionics software

Gastón Ochoa, Daniel (2020). A study of Xtratum as a tool for space and time partitioning in safety-critical avionics software. Thesis (Master thesis), E.T.S.I. de Sistemas Informáticos (UPM).

Description

Title: A study of Xtratum as a tool for space and time partitioning in safety-critical avionics software
Author/s:
  • Gastón Ochoa, Daniel
Contributor/s:
  • García Martín, Javier
Item Type: Thesis (Master thesis)
Masters title: Software de Sistemas Distribuidos y Empotrados
Date: 2020
Subjects:
Freetext Keywords: Software crítico; Lanzadera espacial; Critical software; Space launchers
Faculty: E.T.S.I. de Sistemas Informáticos (UPM)
Department: Sistemas Informáticos
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img] PDF - Users in campus UPM only - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB)

Abstract

Usually it’s admissible that a software application fails due to some reasons that we usually call ‘bugs’. On the other hand, there are environments in which a software failure is not admissible due to the potential catastrophic consequences that it could have, we are then speaking about critical software. Nevertheless, it might happen that a system needs to mix both critical and non-critical software, for example a train can have software for handling its breaks (critical) and software for displaying a film for the passengers (non-critical). In such case a problem is how to separate critical from non-critical software, as developing critical software is much more expensive in time and resources. The present document addresses the above problem using a selected technology (XtratuM) for developing software applications which mix critical and non-critical software. This project is developed within the environment of a team that develops software for a space micro launcher, but notice that the main objective is not developing a final application but perform the first steps in using XtratuM for creating a development guide that aims to help the team to develop the final software faster.

More information

Item ID: 62681
DC Identifier: http://oa.upm.es/62681/
OAI Identifier: oai:oa.upm.es:62681
Deposited by: Biblioteca Universitaria Campus Sur
Deposited on: 08 Jun 2020 14:38
Last Modified: 18 Jun 2020 12:37
  • 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