Reflect
Reflection Mechanisms in Real-Time Embedded Systems
POSC/EIA/60797/2004 32 months (Jan 2005 to Aug 2007) | |
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. |
Funding: | Global: 50KEUR, CISTER: 50KEUR |
Sponsors: | |
Partners: | |
Contact Person at CISTER: | Luis Miguel Pinho |
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Conference or Workshop Papers/Talks
Exact Analysis of TDMA with Slot Skipping HURRAY-TR-070608
Nuno Pereira, Björn Andersson, Eduardo Tovar13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'07), IEEE. 21 to 24, Aug, 2007, pp 63-72. Daegu, South Korea.
Nuno Pereira, Björn Andersson, Eduardo Tovar13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'07), IEEE. 21 to 24, Aug, 2007, pp 63-72. Daegu, South Korea.
A Time Division Beacon Scheduling Mechanism for IEEE 802.15.4/Zigbee Cluster-Tree Wireless Sensor Networks HURRAY-TR-070702
Anis Koubâa, André Cunha, Mário Alves19th Euromicro Conference on Real-Time Systems (ECRTS 07), IEEE. 4 to 6, Jul, 2007, pp 125-135. Pisa, Italy.
Best Paper Award
Anis Koubâa, André Cunha, Mário Alves19th Euromicro Conference on Real-Time Systems (ECRTS 07), IEEE. 4 to 6, Jul, 2007, pp 125-135. Pisa, Italy.
Best Paper Award
Handling Shared Resources and Precedence Constraints in Open Systems HURRAY-TR-070704
Luis Miguel Nogueira, Luis Miguel PinhoWork in Progress Session, 19th Euromicro Conference on Real-Time Systems (ECRTS 07). 4 to 6, Jul, 2007. Pisa, Italy.
Luis Miguel Nogueira, Luis Miguel PinhoWork in Progress Session, 19th Euromicro Conference on Real-Time Systems (ECRTS 07). 4 to 6, Jul, 2007. Pisa, Italy.
Delay-Bounded Medium Access for Unidirectional Wireless Links HURRAY-TR-070103
Björn Andersson, Nuno Pereira, Eduardo Tovar15th International Conference on Real-Time and Network Systems (RTNS 2007). 29 to 30, Mar, 2007. Nancy, France.
Björn Andersson, Nuno Pereira, Eduardo Tovar15th International Conference on Real-Time and Network Systems (RTNS 2007). 29 to 30, Mar, 2007. Nancy, France.
Competitive Analysis of Partitioned Scheduling on Uniform Multiprocessors HURRAY-TR-070101
Björn Andersson, Eduardo Tovar15th International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS'07). 26 to 27, Mar, 2007. Long Beach, U.S.A..
Björn Andersson, Eduardo Tovar15th International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS'07). 26 to 27, Mar, 2007. Long Beach, U.S.A..
Capacity Sharing and Stealing in Dynamic Server-based Real-Time Systems HURRAY-TR-070201
Luis Miguel Nogueira, Luis Miguel Pinho21st IEEE International Parallel & Distributed Processing Symposium (IPDPS 2007), IEEE. 26 to 30, Mar, 2007, pp 1-8. Long Beach, U.S.A..
Luis Miguel Nogueira, Luis Miguel Pinho21st IEEE International Parallel & Distributed Processing Symposium (IPDPS 2007), IEEE. 26 to 30, Mar, 2007, pp 1-8. Long Beach, U.S.A..
Iterative Refinement Approach for QoS-aware Service configuration HURRAY-TR-061001
Luis Miguel Nogueira, Luis Miguel Pinho5th IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), Springer US. 11 to 13, Oct, 2006, pp 155-164. Braga, Portugal.Also 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.
Luis Miguel Nogueira, Luis Miguel Pinho5th IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), Springer US. 11 to 13, Oct, 2006, pp 155-164. Braga, Portugal.Also 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.
Building Adaptable, QoS-aware Dependable Embedded Systems HURRAY-TR-061005
Luis Miguel Nogueira, Luis Miguel Pinho3rd International Workshop on Dependable Embedded Systems. 1, Oct, 2006. Leeds, United Kingdom.
Luis Miguel Nogueira, Luis Miguel Pinho3rd International Workshop on Dependable Embedded Systems. 1, Oct, 2006. Leeds, United Kingdom.
Dynamic Adaptation of Stability Periods for Service Level Agreements HURRAY-TR-060801
Luis Miguel Nogueira, Luis Miguel Pinho12th IEEE International Conference on Embedded and Real-Time Computing and Applications (RTCSA 2006), IEEE. 16 to 18, Aug, 2006, pp 77-81. Sydney, Australia.
Luis Miguel Nogueira, Luis Miguel Pinho12th IEEE International Conference on Embedded and Real-Time Computing and Applications (RTCSA 2006), IEEE. 16 to 18, Aug, 2006, pp 77-81. Sydney, Australia.
POSIX Trace Based Behavioural Reflection HURRAY-TR-060203
Filipe Valpereiro, Luis Miguel Pinho11th International Conference on Reliable Software Technologies (Ada-Europe 2006), Springer Berlin Heidelberg. 5 to 9, Jun, 2006, Lecture Notes in Computer Science, 4006, pp 27-39. Porto, Portugal.
Filipe Valpereiro, Luis Miguel Pinho11th International Conference on Reliable Software Technologies (Ada-Europe 2006), Springer Berlin Heidelberg. 5 to 9, Jun, 2006, Lecture Notes in Computer Science, 4006, pp 27-39. Porto, Portugal.
An Ada Framework for QoS-Aware Applications HURRAY-TR-050601
Luis Miguel Pinho, Luis Miguel Nogueira, Ricardo Barbosa10th International Conference on Reliable Software Technologies (Ada-Europe 2005), Springer Berlin Heidelberg. 20, Jun, 2005, Lecture Notes in Computer Science, 3555, pp 25-38. York, United Kingdom.
Luis Miguel Pinho, Luis Miguel Nogueira, Ricardo Barbosa10th International Conference on Reliable Software Technologies (Ada-Europe 2005), Springer Berlin Heidelberg. 20, Jun, 2005, Lecture Notes in Computer Science, 3555, pp 25-38. York, United Kingdom.
Dynamic QoS-Aware Coalition Formation HURRAY-TR-050401
Luis Miguel Nogueira, Luis Miguel Pinho19th IEEE International Parallel & Distributed Processing Symposium (IPDPS 2005). 3, Apr, 2005. Denver, U.S.A..Workshop on Parallel and Distributed Real-Time Systems (WPDRTS05), Denver, USA
Luis Miguel Nogueira, Luis Miguel Pinho19th IEEE International Parallel & Distributed Processing Symposium (IPDPS 2005). 3, Apr, 2005. Denver, U.S.A..Workshop on Parallel and Distributed Real-Time Systems (WPDRTS05), Denver, USA
Mechanisms for Reflection-based Monitoring of Real-Time Systems HURRAY-TR-0420
Ricardo Barbosa, Luis Miguel PinhoWork in Progress Session, 16th Euromicro Conference on Real-Time Systems (ECRTS '04). 30, Jun, 2004, pp 21-24. Catania, Italy.
Ricardo Barbosa, Luis Miguel PinhoWork in Progress Session, 16th Euromicro Conference on Real-Time Systems (ECRTS '04). 30, Jun, 2004, pp 21-24. Catania, Italy.
Technical Reports
Run-time Monitoring Approach for the Shark Kernel HURRAY-TR-060104
Filipe Valpereiro, Luis Miguel Pinho1, Jan, 2006.
Filipe Valpereiro, Luis Miguel Pinho1, Jan, 2006.
Time-bounded Distributed QoS-Aware Service Configuration in Heterogeneous Cooperative Environments HURRAY-TR-060105
Luis Miguel Nogueira, Luis Miguel Pinho1, Jan, 2006.
Luis Miguel Nogueira, Luis Miguel Pinho1, Jan, 2006.
Capacity Sharing and Stealing in Server-based Real-Time Systems HURRAY-TR-051205
Luis Miguel Nogueira, Luis Miguel Pinho1, Dec, 2005.
Luis Miguel Nogueira, Luis Miguel Pinho1, Dec, 2005.
Reflective Monitoring using the POSIX Trace in MaRTEOS HURRAY-TR-050903
Filipe Valpereiro, Luis Miguel Pinho1, Sep, 2005.
Filipe Valpereiro, Luis Miguel Pinho1, Sep, 2005.
Implementation Model for the Monitoring Framework HURRAY-TR-050704
Filipe Valpereiro, Luis Miguel Pinho1, Jul, 2005.
Filipe Valpereiro, Luis Miguel Pinho1, Jul, 2005.
QoS-based Surrogates Selection and Service Proposal Formulation in Offloading Environments HURRAY-TR-050703
Luis Miguel Nogueira, Luis Miguel Pinho1, Jul, 2005.
Luis Miguel Nogueira, Luis Miguel Pinho1, Jul, 2005.
Run-time Monitoring in Real-Time Operating Systems HURRAY-TR-050501
Filipe Valpereiro, Luis Miguel Pinho1, May, 2005.
Filipe Valpereiro, Luis Miguel Pinho1, May, 2005.