Valid XHTML 1.0 Strict

¡CSS Válido!

ORK-related papers

See the group publications page for additional papers.

Juan A. de la Puente, José F. Ruiz, Juan Zamorano.
An open Ravenscar real-time kernel for GNAT.
In Hubert B. Keller and Erhard Plödereder (eds.), Reliable Software Technologies. Ada-Europe 2000.
Springer-Verlag, LNCS 1845 (2000). DOI 10.1007/10722060_4

Juan A. de la Puente, Juan Zamorano, José F. Ruiz, Ramón Fernández, Rodrigo García.
The design and implementation of the Open Ravenscar Kernel.
Ada Letters, XXI, 1, March 2001. DOI 10.1145/374369.374387

Juan Zamorano, José F. Ruiz, Juan A. de la Puente.
Implementing Ada.Real_Time.Clock and absolute delays in real-time kernels.
In D. Craeynest and A. Strohmeier (eds.), Reliable Software Technologies. Ada-Europe 2001.
Springer-Verlag, LNCS 2043 (2001). DOI 10.1007/3-540-45136-6_25.

Juan Zamorano, Alejandro Alonso, José Antonio Pulido, Juan Antonio de la Puente.
Implementing Execution-Time Clocks for the Ada Ravenscar Profile.
In Albert Llamosí and Alfred Strohmeier (Eds.), Reliable Software Technologies — Ada-Europe 2004
LNCS 3063, ISBN 3-540-22011-9, 2004. DOI 10.1007/b97913.

Tullio Vardanega, Juan Zamorano, Juan Antonio de la Puente.
On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels.
Real-Time Systems, 29, 1, Jan. 2005, pp. 59–89. DOI 10.1023/B:TIME.0000048937.17571.2b.

Santiago Urueña, José A. Pulido, José Redondo, Juan Zamorano.
Implementing the new Ada 2005 real-time features on a bare board kernel.
13th International Real-Time Ada Workshop — IRTAW13
Ada Letters, XXVII, 2, August 2007. DOI 10.1145/1316002.1316016