Publications

The following publications were made by TECOM members.  


Contract Based Management of the Memory Resource

Authors: M. Masmano, I Ripoll, A. Crespo, P. Balbastre, A. Burns (Universidad Politécnica de Valencia)
Publisher: 17th International Conference on Real-Time and Network Systems
Date: October 2009
Text: Inria


XtratuM: a Hypervisor for Safety Critical Embedded Systems

Authors: M. Masmano, I Ripoll, A. Crespo, P. Balbastre (Universidad Politécnica de Valencia)
Publisher: 11th Real-Time Linux Workshop
Date: September 2009
Text: Real Time Linux Foundation


Exact Response Time Analysis of Hierarchical Fixed-Priority Scheduling

Authors: P. Balbastre, I. Ripoll, A. Crespo (Universidad Politécnica de Valencia)
Publisher: 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2009)
Date: August 2009
Text: CS Digital Library


Period Sensitivity Analysis and D-P Domain Feasibility Region in Dynamic Priority Systems

Authors: P. Balbastre, I. Ripoll, A. Crespo (Universidad Politécnica de Valencia)
Publisher: Journal of Systems and Software
Date: July 2009
Text: ACM Portal


XtratuM: an Open Source Hypervisor for TSP Embedded Systems in Aerospace

Authors: M. Masmano, I Ripoll, A. Crespo (Universidad Politécnica de Valencia)
Publisher: Data Systems in Aerospace DASIA09
Date: May 2009
Text: Real Time Linux Foundation pdf


A Constant-Time Dynamic Storage Allocator for Real-Time Systems

Authors: M. Masmano, I. Ripoll, A. Crespo, P. Balbastre (Universidad Politécnica de Valencia)
Publisher: Real Time Systems, Volume 40, Issue 2
Date: November 2008
Text: ACM Portal


PaRTiKle LPC: Port to the LPC2000

Authors: S. Peiro, M. Masmano, I. Ripoll, A. Crespo (Universidad Politécnica de Valencia)
Publisher: 10th Real-Time Linux Workshop
Date: October 2008
Text: PaRTiKle


XtratuM: A Hypervisor for Real-Time Systems

Authors: M. Masmano, I Ripoll, A. Crespo, P. Balbastre (Universidad Politécnica de Valencia)
Publisher: 10th Real-Time Linux Workshop
Date: October 2008
Text:


Implementation of a Constant-time Dynamic Storage Allocator

Authors: M. Masmano, I. Ripoll, J. Real, A. Crespo, A.J. Wellings (Universidad Politécnica de Valencia)
Publisher: Software: Practice and Experience, Volume 38, Issue 10
Date: August 2008
Text: ACM Portal


Minimum Deadline Calculation for Periodic Real-Time Tasks in Dynamic Priority Systems

Authors: I. Ripoll, A. Crespo, P. Balbastre (Universidad Politécnica de Valencia)
Publisher: IEEE Transactions on Computers
Date: January 2008
Text: ACM Portal


Un Assistant Autonome à la Définition d´Architectures Logicielles

Authors: José L. Fernandez-Sanchez, Javier Carracedo-Pais (Universidad Politecnica de Madrid)
Publisher: Génie Logiciel, nº 83, pp 13-20
Date: December 2007
Text: See English version pdf


PaRTiKle OS: A Replacement for the Core of RTLinux-GPL

Authors: S. Peiro, M. Masmano, I. Ripoll, A. Crespo
Publisher: 9th Real Time Linux Workshop, Real-Time Systems Group
Date: November 2007
Text: PaRTiKle


Embedded RTLinux: A New Stand-Alone RTLinux Approach

Authors: M. Masmano, A. Gonzalez, I. Ripoll, A. Crespo
Publisher: Dr. Dobbs Journal: Embedded Systems
Date: September 2007
Text: Dr. Dobbs