19. ECRTS 2007: Pisa, Italy

19th Euromicro Conference on Real-Time Systems, ECRTS'07, 4-6 July 2007, Pisa, Italy, Proceedings. IEEE Computer Society 2007, ISBN 978-0-7695-2914-1 BibTeX

Keynote Talks

Bran Selic:
From Model-Driven Development to Model-Driven Engineering. 3
Electronic Edition (link) BibTeX
Francisco Gomez-Molinero:
Real-Time Requirement of Media Control Applications. 4
Electronic Edition (link) BibTeX
Mercè Griera:
Research Opportunities in the IST Thematic Priority of the 7th Framework Program. 5
Electronic Edition (link) BibTeX

Scheduling and Schedulability Analysis

Michele Cirinei, Theodore P. Baker:
EDZL Scheduling Analysis. 9-18
Electronic Edition (link) BibTeX
Enrico Bini, Giorgio C. Buttazzo:
The Space of EDF Feasible Deadlines. 19-28
Electronic Edition (link) BibTeX
Praveen Jayachandran, Tarek F. Abdelzaher:
A Delay Composition Theorem for Real-Time Pipelines. 29-38
Electronic Edition (link) BibTeX
Wan-Chen Lu, Kwei-Jay Lin, Hsin-Wen Wei, Wei Kuan Shih:
New Schedulability Conditions for Real-Time Multiframe Tasks. 39-50
Electronic Edition (link) BibTeX

Multiprocessor Scheduling

Nathan Fisher, Sanjoy K. Baruah:
The Global Feasibility and Schedulability of General Task Models on Multiprocessor Platforms. 51-60
Electronic Edition (link) BibTeX
Björn B. Brandenburg, James H. Anderson:
Integrating Hard/Soft Real-Time Tasks and Best-Effort Jobs on Multiprocessors. 61-70
Electronic Edition (link) BibTeX
Hennadiy Leontyev, James H. Anderson:
Tardiness Bounds for FIFO Scheduling on Multiprocessors. 71
Electronic Edition (link) BibTeX

Control and Energy Management

Luciano Bertini, J. C. B. Leite, Daniel Mossé:
Statistical QoS Guarantee and Energy-Efficiency in Web Server Clusters. 83-92
Electronic Edition (link) BibTeX
Ala' Qadi, Steve Goddard, Jiangyang Huang, Shane Farritor:
Dynamic Speed and Sensor Rate Adjustment for Mobile Robotic Systems. 93-102
Electronic Edition (link) BibTeX
Xiaorui Wang, Yingming Chen, Chenyang Lu, Xenofon D. Koutsoukos:
On Controllability and Feasibility of Utilization Control in Distributed Real-Time Systems. 103-112
Electronic Edition (link) BibTeX
Alexandre P. Ferreira, Daniel Mossé, Jae C. Oh:
Thermal Faults Modeling Using a RC Model with an Application to Web Farms. 113-124
Electronic Edition (link) BibTeX

Wireless Network Scheduling

Anis Koubaa, André Cunha, Mário Alves:
A Time Division Beacon Scheduling Mechanism for IEEE 802.15.4/Zigbee Cluster-Tree Wireless Sensor Networks. 125-135
Electronic Edition (link) BibTeX
Shashi Prabh, Tarek F. Abdelzaher:
On Scheduling and Real-Time Capacity of Hexagonal Wireless Sensor Networks. 136-145
Electronic Edition (link) BibTeX
Douglas Dimi Demarch, Leandro Buss Becker:
An Integrated Scheduling and Retransmission Proposal for Firm Real-Time Traffic in IEEE 802.11e. 146-158
Electronic Edition (link) BibTeX

Timing Analysis

Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury, Lothar Thiele, Unmesh D. Bordoloi, Cem Derdiyok:
Cache-Aware Timing Analysis of Streaming Applications. 159-168
Electronic Edition (link) BibTeX
Isabelle Puaut, Damien Hardy:
Predictable Paging in Real-Time Systems: A Compiler Approach. 169-178
Electronic Edition (link) BibTeX
Jean-François Deverge, Isabelle Puaut:
WCET-Directed Dynamic Scratchpad Memory Allocation of Data. 179-190
Electronic Edition (link) BibTeX

Quality of Service Management

Abhishek Singh, Kevin Jeffay:
Co-Scheduling Variable Execution Time Requirement Real-Time Tasks and Non Real-Time Tasks. 191-200
Electronic Edition (link) BibTeX
Audrey Marchand, Patricia Balbastre, Ismael Ripoll, Miguel Masmano, Alfons Crespo:
Memory Resource Management for Real-Time Systems. 201-210
Electronic Edition (link) BibTeX
Claude-Joachim Hamann, Michael Roitzsch, Lars Reuther, Jean Wolter, Hermann Härtig:
Probabilistic Admission Control to Govern Real-Time Systems under Overload. 211-222
Electronic Edition (link) BibTeX

Scheduling in Networks and Multicore Platforms

Chengdu Huang, Tarek F. Abdelzaher, Xue Liu:
On Dominating Set Allocation Policies in Real-Time Wide-Area Distributed Systems. 223-234
Electronic Edition (link) BibTeX
Madhukar Anand, Sebastian Fischmeister, Insup Lee:
Composition Techniques for Tree Communication Schedules. 235-246
Electronic Edition (link) BibTeX
John M. Calandrino, James H. Anderson, Dan P. Baumberger:
A Hybrid Real-Time Scheduling Approach for Large-Scale Multicore Platforms. 247-258
Electronic Edition (link) BibTeX

Fixed-Priority Scheduling

Yanching Chu, Alan Burns:
Supporting Deliberative Real-Time AI Systems: A Fixed Priority Scheduling Approach. 259-268
Electronic Edition (link) BibTeX
Reinder J. Bril, Johan J. Lukkien, Wim F. J. Verhaegh:
Worst-Case Response Time Analysis of Real-Time Tasks under Fixed-Priority Scheduling with Deferred Preemption Revisited. 269-279
Electronic Edition (link) BibTeX
Patrick Meumeu Yomsi, Yves Sorel:
Extending Rate Monotonic Analysis with Exact Cost of Preemptions for Hard Real-Time Systems. 280-290
Electronic Edition (link) BibTeX
Laura Carnevali, Luigi Sassoli, Enrico Vicario:
Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software. 291-300
Electronic Edition (link) BibTeX