. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Projects - Fundamental Research (Past)

Reflect

Reflection Mechanisms in Real-Time Embedded Systems
POSC/EIA/60797/2004
33 months (Jan 2005 to Oct 2007)

Sponsors:
Partners:

Summary:	The main goal of this project is to provide real-time systems with a generic framework for dynamic application monitoring and control, which uses the advantages offered by advanced programming paradigms, with a particular focus on reflection technologies. The correct use of this technology will allow building systems where the functional aspects are guaranteed to be reliable and deterministic, whilst providing the required flexibility. The main target of this framework is to support online resource consumption feedback for systems with dynamic QoS requirements.

Conferences and Workshops

A Time Division Beacon Scheduling Mechanism for IEEE 802.15.4/Zigbee Cluster-Tree Wireless Sensor Networks HURRAY-TR-070702
Anis Koubaa, André Cunha, Mário Alves (Jul 2007)
ABSTRACT |

PDF
Published in 19th Euromicro Conference on Real-Time Systems (ECRTS 2007), Pisa(Italy), July 2007, pp. 125-135
Best Paper Award

Handling Shared Resources and Precedence Constraints in Open Systems HURRAY-TR-070704
Luis Miguel Nogueira, Luis Miguel Pinho (Jul 2007)
ABSTRACT |

PDF
Published at the WIP Proceedings of 19th Euromicro Conference on Real-Time Systems (ECRTS’07), Pisa, Italy, July 2007.

Exact Analysis of TDMA with Slot Skipping HURRAY-TR-070608
Nuno Pereira, Björn Andersson, Eduardo Tovar (Mar 2007)
ABSTRACT |

PDF
Published at the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'07), August 21-24, 2007, Daegu, Korea.

Capacity Sharing and Stealing in Dynamic Server-based Real-Time Systems HURRAY-TR-070201
Luis Miguel Nogueira, Luis Miguel Pinho (Feb 2007)
ABSTRACT |

PDF
Published in proceeding of the IEEE International Parallel and Distributed Processing Symposium, IPDPS 2007, March 2007

Competitive Analysis of Partitioned Scheduling on Uniform Multiprocessors HURRAY-TR-070101
Björn Andersson, Eduardo Tovar (Jan 2007)
ABSTRACT |

PDF
Published in proceedings of the 15th International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS'07), March 26-27, Long Beach, California, USA

Delay-Bounded Medium Access for Unidirectional Wireless Links HURRAY-TR-070103
Björn Andersson, Nuno Pereira, Eduardo Tovar (Jan 2007)
ABSTRACT |

PDF
Published in proceedings of the 15th International Conference on Real-Time and Network Systems (RTNS'07), Nancy, France, March 2007

Iterative Refinement Approach for QoS-aware Service configuration HURRAY-TR-061001
Luis Miguel Nogueira, Luis Miguel Pinho (Oct 2006)
ABSTRACT |

PDF
Published in "From Model-Driven Design to Resource Management for Distributed Embedded Systems", B. Kleinjohann, L. Kleinjohann, R. Machado, C. Pereira, P. Thiagarajan (Eds.), IFIP Vol. 225, 2006, Springer, pp. 155-164. Also presented at DIPES'2006, Braga, Portugal, October 2006

Building Adaptable, QoS-aware Dependable Embedded Systems HURRAY-TR-061005
Luis Miguel Nogueira, Luis Miguel Pinho (Oct 2006)
ABSTRACT |

PDF
published in proceedings of the 3rd International Workshop on Dependable Embedded Systems October 1st, 2006, Leeds, UK

Dynamic Adaptation of Stability Periods for Service Level Agreements HURRAY-TR-060801
Luis Miguel Nogueira, Luis Miguel Pinho (Aug 2006)
ABSTRACT |

PDF
Published in proceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing and Applications, Sydney, Australia, August 2006, pp. 77 - 81.

POSIX Trace Based Behavioural Reflection HURRAY-TR-060203
Filipe Valpereiro, Luis Miguel Pinho (Feb 2006)
ABSTRACT |

PDF
Proceedings of the 11th International Conference on Reliable Software Technologies Ada-Europe 2006, Porto, Portugal

An Ada Framework for QoS-Aware Applications HURRAY-TR-050601
Luis Miguel Pinho, Luis Miguel Nogueira, Ricardo Barbosa (Jun 2005)
ABSTRACT |

PDF
Published in Proceedings of the 10th International Conference on Reliable Software Technologies Ada-Europe 2005, pp. 25 - 38, York, England

Dynamic QoS-Aware Coalition Formation HURRAY-TR-050401
Luis Miguel Nogueira, Luis Miguel Pinho (Apr 2005)
ABSTRACT |

PDF
Published in Proceedings of the 19th IEEE International Parallel & Distributed Processing Symposium, Workshop on Parallel and Distributed Real-Time Systems, Denver, USA

Mechanisms for Reflection-based Monitoring of Real-Time Systems HURRAY-TR-0420
Ricardo Barbosa, Luis Miguel Pinho (Jul 2004)
ABSTRACT |

PDF
Published in Proceedings of the WIP Session of the 16th Euromicro Conference on Real-Time Systems, Catania, Italy, pp. 21-24

Technical Reports

Run-time Monitoring Approach for the Shark Kernel HURRAY-TR-060104
Filipe Valpereiro, Luis Miguel Pinho (Jan 2006)
ABSTRACT |

PDF

Time-bounded Distributed QoS-Aware Service Configuration in Heterogeneous Cooperative Environments HURRAY-TR-060105
Luis Miguel Nogueira, Luis Miguel Pinho (Jan 2006)
ABSTRACT |

PDF

Capacity Sharing and Stealing in Server-based Real-Time Systems HURRAY-TR-051205
Luis Miguel Nogueira, Luis Miguel Pinho (Dec 2005)
ABSTRACT |

PDF

Reflective Monitoring using the POSIX Trace in MaRTEOS HURRAY-TR-050903
Filipe Valpereiro, Luis Miguel Pinho (Sep 2005)
ABSTRACT

Implementation Model for the Monitoring Framework HURRAY-TR-050704
Filipe Valpereiro, Luis Miguel Pinho (Jul 2005)
ABSTRACT

QoS-based Surrogates Selection and Service Proposal Formulation in Offloading Environments HURRAY-TR-050703
Luis Miguel Nogueira, Luis Miguel Pinho (Jul 2005)
ABSTRACT |

PDF

Run-time Monitoring in Real-Time Operating Systems HURRAY-TR-050501
Filipe Valpereiro, Luis Miguel Pinho (May 2005)
ABSTRACT |

PDF