Juan Zamorano

34 papers A 1C 2Misc 14Journal 6Unranked 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
Model-based Toolchain for Core Flight System (cFS) Embedded Systems.
ACM Trans. Embed. Comput. Syst.
Hugo Valente, Miguel A. de Miguel, Ángel-Grover Pérez-Muñoz, Alejandro Alonso, Juan Zamorano, Juan Antonio de la Puente
2024 J jnl
Design and implementation of a real-time onboard system for a stratospheric balloon mission using commercial off-the-self components and a model-based approach.
CoRR
Ángel-Grover Pérez-Muñoz, José Carlos Gamazo-Real, David González-Bárcena, Juan Zamorano
2023 J jnl
Design and implementation of a real-time onboard system for a stratospheric balloon mission using commercial off-the-self components and a model-based approach.
Comput. Electr. Eng.
Ángel-Grover Pérez-Muñoz, José Carlos Gamazo-Real, David González-Bárcena, Juan Zamorano
2021 — conf
Analysis of results from PIRAMIDE educational innovation project (short paper).
CINAIC
Ana Isabel Soria-Carro, Elena Roibás-Millán, Javier Pérez-Álvarez, Javier Cubas, Juan Zamorano, José Miguel Álvarez, Daniel Alfonso-Corcuera, Santiago Pindado
2018 Misc conf
On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks.
Ada-Europe
Jorge Garrido, Juan Zamorano, Alejandro Alonso, Juan Antonio de la Puente
2017 Misc conf
Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile.
Ada-Europe
Jorge Garrido, Juan Zamorano, Alejandro Alonso, Juan Antonio de la Puente
2015 Misc conf
Schedulability Analysis of PWM Tasks for the UPMSat-2 ADCS.
Ada-Europe
Juan Zamorano, Jorge Garrido
2013 — conf
Static analysis of WCET in a satellite software subsystem.
WCET
Jorge Garrido, Juan Zamorano, Juan Antonio de la Puente
2012 C conf
A Platform for Real-Time Control Education with LEGO MINDSTORMS.
ACE
Peter J. Bradley, Juan Antonio de la Puente, Juan Zamorano, Daniel Brosnan
2012 — conf
Analysis of WCET in an experimental satellite software development.
WCET
Jorge Garrido, Daniel Brosnan, Juan Antonio de la Puente, Alejandro Alonso, Juan Zamorano
2011 — conf
Model-Driven Development of High-Integrity Distributed Real-Time Systems Using the End-to-End Flow Model.
EUROMICRO-SEAA
Héctor Pérez, J. Javier Gutiérrez, Esteban Asensio, Juan Zamorano, Juan Antonio de la Puente
2011 Misc conf
ORK+/XtratuM: An Open Partitioning Platform for Ada.
Ada-Europe
Ángel Esquinas, Juan Zamorano, Juan Antonio de la Puente, Miguel Masmano, Ismael Ripoll, Alfons Crespo
2010 J jnl
Argos: An Advanced In-Vehicle Data Recorder on a Massively Sensorized Vehicle for Car Driver Behavior Experimentation.
IEEE Trans. Intell. Transp. Syst.
Antonio Pérez, Maria Isabel García, Manuel Nieto, José Luis Pedraza, Santiago Rodríguez, Juan Zamorano
2010 C conf
Design and implementation of real-time distributed systems with the ASSERT Virtual Machine.
ETFA
Juan Zamorano, Juan Antonio de la Puente
2010 — conf
Real-time system development in ada using LEGO® mindstorms® NXT.
SIGAda
Peter J. Bradley, Juan Antonio de la Puente, Juan Zamorano
2009 Misc conf
A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems.
Ada-Europe
Santiago Urueña, Juan Zamorano, Juan Antonio de la Puente
2008 Misc conf
A New Approach to Memory Partitioning in On-Board Spacecraft Software.
Ada-Europe
Santiago Urueña, José Antonio Pulido, Jorge López, Juan Zamorano, Juan Antonio de la Puente
2008 — conf
Communication Paradigms for High-Integrity Distributed Systems with Hard Real-Time Requirements.
DIPES
Santiago Urueña, Juan Zamorano, José Antonio Pulido, Juan Antonio de la Puente
2007 J jnl
A framework for lab work management in mass courses. Application to Low Level Input/Output without hardware.
Comput. Educ.
Santiago Rodríguez, Juan Zamorano, Francisco Rosales, Antonio García Dopico, José Luis Pedraza
2007 — conf
Building high-integrity distributed systems with Ravenscar restrictions.
IRTAW
Santiago Urueña, Juan Zamorano
2007 Misc conf
Handling Temporal Faults in Ada 2005.
Ada-Europe
José Antonio Pulido, Santiago Urueña, Juan Zamorano, Juan Antonio de la Puente
2007 — conf
Implementing the new Ada 2005 real-time features on a bare board kernel.
IRTAW
Santiago Urueña, José Antonio Pulido, José Redondo, Juan Zamorano
2006 Misc conf
Hierarchical Scheduling with Ada 2005.
Ada-Europe
José Antonio Pulido, Santiago Urueña, Juan Zamorano, Tullio Vardanega, Juan Antonio de la Puente
2006 A conf
Schedulability analysis of AR-TP, a Ravenscar compliant communication protocol for high-integrity distributed systems.
IPDPS
Santiago Urueña, Juan Zamorano, Daniel Berjón, José Antonio Pulido, Juan Antonio de la Puente
2006 Misc conf
The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems.
Ada-Europe
Santiago Urueña, Juan Zamorano, Daniel Berjón, José Antonio Pulido, Juan Antonio de la Puente
2005 J jnl
On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels.
Real Time Syst.
Tullio Vardanega, Juan Zamorano, Juan Antonio de la Puente
2004 Misc conf
Implementing Execution-Time Clocks for the Ada Ravenscar Profile.
Ada-Europe
Juan Zamorano, Alejandro Alonso, José Antonio Pulido, Juan Antonio de la Puente
2003 Misc conf
A Test Environment for High Integrity Software Development.
Ada-Europe
Alejandro Alonso, Juan Antonio de la Puente, Juan Zamorano
2003 — conf
Execution-time clocks and Ravenscar kernels.
IRTAW
Juan Antonio de la Puente, Juan Zamorano
2002 — conf
Precise response time analysis for Ravenscar kernels.
IRTAW
Juan Zamorano, Juan Antonio de la Puente
2001 Misc conf
Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels.
Ada-Europe
Juan Zamorano, José F. Ruiz, Juan Antonio de la Puente
2000 Misc conf
An Open Ravenscar Real-Time Kernel for GNAT.
Ada-Europe
Juan Antonio de la Puente, José F. Ruiz, Juan Zamorano
2000 — conf
The design and implementation of the open Ravenscar kernel.
IRTAW
Juan Antonio de la Puente, Juan Zamorano, José F. Ruiz, Ramón Fernández, Rodrigo García
1992 Misc conf
Reusable Executives for Hard Real-Time Systems in Ada.
Ada-Europe
Juan Antonio de la Puente, Juan Zamorano, Alejandro Alonso, José L. Fernández