Using Object Orientation in High Integrity Applications: A Case Study

BOOK CHAPTER published 2002 in Lecture Notes in Computer Science

Authors: Alejandro Alonso | Roberto López | Tullio Vardanega | Juan Antonio de la Puente

Implementing Execution-Time Clocks for the Ada Ravenscar Profile

BOOK CHAPTER published 2004 in Lecture Notes in Computer Science

Authors: Juan Zamorano | Alejandro Alonso | José Antonio Pulido | Juan Antonio de la Puente

The design and implementation of the open Ravenscar kernel

PROCEEDINGS ARTICLE published 2001 in Proceedings of the 10th international workshop on Real-time Ada workshop - IRTAW '00

Authors: Juan A. de la Puente | Juan Zamorano | José Ruiz | Ramón Fernández | Rodrigo García

ORK+/XtratuM: An Open Partitioning Platform for Ada

BOOK CHAPTER published 2011 in Reliable Software Technologies - Ada-Europe 2011

Authors: Ángel Esquinas | Juan Zamorano | Juan A. de la Puente | Miguel Masmano | Ismael Ripoll | Alfons Crespo

A New Approach to Memory Partitioning in On-Board Spacecraft Software

BOOK CHAPTER published 2008 in Reliable Software Technologies – Ada-Europe 2008

Authors: Santiago Urueña | José A. Pulido | Jorge López | Juan Zamorano | Juan A. de la Puente

The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems

BOOK CHAPTER published 2006 in Reliable Software Technologies – Ada-Europe 2006

Authors: Santiago Urueña | Juan Zamorano | Daniel Berjón | José A. Pulido | Juan A. de la Puente

On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks

BOOK CHAPTER published 2018 in Reliable Software Technologies – Ada-Europe 2018

Authors: Jorge Garrido | Juan Zamorano | Alejandro Alonso | Juan A. de la Puente