RTNS 07 > Conference Schedule -

Conference Schedule

Thursday, March 29, 2007

The conference proceedings are now available here

8:30 &minus 9:00 Registration

9:00 &minus 10:15 Formal Methods
Chair : Mikael Nolin, Maelardalen University, Sweden

The Timed Abstract State Machine Language: An Executable Specification Language for Reactive Real-Time Systems
Martin Ouimet, Massachusetts Institute of Technology, USA
Kristina Lundqvist, Massachusetts Institute of Technology, USA
Mikael Nolin, Maelardalen University, Sweden

Extended Real-Time LOTOS for Preemptive Systems Verification
Tarek Sadani, LAAS-CNRS /Ensica, France
Pierre de Saqui-Sannes, LAAS-CNRS /Ensica, France
Jean-Pierre Courtiat, LAAS-CNRS, France

Generation of tests for real-time systems with test purposes
Sebastien Salva, LIMOS, France
Patrice Laurençot, LIMOS, France

10:15 &minus 10:45 Coffee Break

10h45 &minus 12h50 Architectures and worst-case execution time estimation
Chair : Isabelle Puaut (University of Rennes 1/ IRISA, France)

Predictable Performance on Multithreaded Architectures for Streaming Protocol Processing
Matthias Ivers, University of Braunschweig, Germany
Bhavani Janarthanan, University of Braunschweig, Germany
Rolf Ernst, University of Braunschweig, Germany

A Context Cache Replacement Algorithm for Pfair Scheduling
Kenji Funaoka, Keio University, Japan
Shinpei Kato, Keio University, Japan
Nobuyuki Yamasaki, Keio University, Japan

Exact Cache Characterization by Experimental Parameter Extraction
Tobias John, Chemnitz University of Technology, Germany
Robert Baumgartl, Chemnitz University of Technology, Germany

Towards Predictable, High-Performance Memory Hierarchies in Fixed-Priority Preemptive Multitasking Real-Time Systems
Eugenio Tamura, Pontificia Universidad Javeriana, Cali, Colombia
José Vicente Busquets-Mataix, Universidad Politécnica de Valencia, Spain
Antonio Martí Campoy, Universidad Politécnica de Valencia, Spain

On the sensitivity of WCET estimates to the variability of basic blocks execution times
Hugues Cassé, IRIT, Toulouse, France
Christine Rochange, IRIT, Toulouse, France
Pascal Sainrat, IRIT, Toulouse, France

13:00 &minus 14:00 Lunch

14:00 &minus 15:00 Keynote talk by Prof. Tei-Wei Kuo, National Taiwan University, Taiwan &minus Implementation and Challenging Issues of Flash-Memory Storage Systems
The slides of the keynote talk is now available here

15:00 &minus 15:15 Welcome address by Prof. Karl Tombre, Director of LORIA Lab.

15:15 &minus 15:30 Coffee Break

15:30 &minus 17:15 Scheduling 1
Chair : Giorgio Buttazzo (Scuola Superiore S. Anna, Pisa, Italy)

Efficient computation of response time bounds under fixed-priority scheduling
Enrico Bini, Scuola Superiore Sant'Anna, Italy
Sanjoy Baruah, University of North Carolina, USA

Approximate Feasibility Analysis and Response-Time Bounds of Static-Priority Tasks with Release Jitters
Pascal Richard, LISI/ENSMA, France
Joel Goossens, Universite Libre de Bruxelles, Belgium
Nathan Fisher, University of North Carolina, Chapel Hill, USA

Off-line Scheduling with Exact Number of Preemptions and no Idle Time for Real-Time Systems with Precedence and Strict Periodicity Constraints
Patrick Meumeu Yomsi, INRIA Rocquencourt, France
Yves Sorel, INRIA Rocquencourt, France

Algorithm and complexity for the global scheduling of sporadic tasks on multiprocessors with work-limited parallelism
Sebastien Collette, Université Libre de Bruxelles, Belgium
Liliana Cucu, Université Libre de Bruxelles, Belgium
Joel Goossens, Université Libre de Bruxelles, Belgium

17:30 &minus 19:30 Guided Tour of Nancy (schedule subject to change)

20:00 &minus 22:00 Conference banquet, Grand café Foy, place Stanislas (schedule subject to change) / Best Paper Award

Friday, March 30, 2007

8:30 &minus 10:00 Junior Workshop Presentations

10:00 &minus 10:30 Coffee Break &minus Junior Workshop Poster Session

10:30 &minus 11:45 Scheduling 2
Chair : Sanjoy Baruah (University ofNorth Carolina, USA)

Schedulability analysis of OSEK/VDX applications
Pierre-Emmanuel Hladik, LINA, France
Anne-Marie Deplanche, IRCCyN, France
Sebastien Faucou, IRCCyN, France
Yvon Trinquet, IRCCyN, France

Improvement of the configuration and the analysis of Posix 1003.1b scheduling
Mathieu Grenier, LORIA, France
Nicolas Navet, LORIA, France

An Extended Scheduling Protocol for the Enhancement of RTDBSs Performances
Samy Semghouni, Laboratoire Informatique L.I.T.I.S antenne du Havre, France
Bruno Sadeg, Laboratoire Informatique L.I.T.I.S antenne du Havre, France
Laurent Amanton, Laboratoire Informatique L.I.T.I.S antenne du Havre, France
Alexandre Berred, Laboratoire de Mathématiques Appliquées du Havre, France

11:45 &minus 13:00 Scheduling and Control
Chair : Joël Goossens (ULB, Brussels, Belgium)

Comparative Assessment and Evaluation of Jitter Control Methods
Giorgio Buttazzo, Scuola Superiore S. Anna, Italy
Anton Cervin, University of Lund, Sweden

Reducing Delay and Jitter in Software Control Systems
Hoai Hoang, Halmstad University, Halmstad, Sweden
Giorgio Buttazzo, Scuola Superiore S. Anna, Pisa, Italy

Feedback scheduling based on (m,k)-firm constraint model for the handling of a set of real-time controllers
Ning Jia, LORIA - University of Nancy, France
YeQiong Song, LORIA - University of Nancy, France
Francoise Simonot-Lion, LORIA - University of Nancy, France

13:00 &minus 14:20 Lunch

14:20 &minus 16:00 Networks and distributed systems
Chair : Guy Juanole (LAAS, Toulouse, France)

Interface Design for Real-Time Smart Transducer Networks - Examining COSMIC, LIN, and TTP/A as Case Study
Wilfried Elmenreich, Vienna University of Technology, Germany
Hubert Piontek, University of Ulm, Germany
Jörg Kaiser, Otto-von-Guericke-University Magdeburg, Germany

Delay-Bounded Medium Access for Unidirectional Wireless Links
Björn Andersson, Institute Polytechnic Porto, Portugal
Nuno Pereira, Institute Polytechnic Porto, Portugal
Eduardo Tovar, Institute Polytechnic Porto, Portugal

Tolerating Arbitrary Failures in a Master-Slave Clock-Rate Correction
Astrit Ademaj, Vienna University of Technology, Real-Time Systems Group, Austria
Alexander Hanzlik, Vienna University of Technology, Real-Time Systems Group, Austria
Hermann Kopetz, Vienna University of Technology, Real-Time Systems Group, Austria

Exploiting Slack for Scheduling Dependent, Distributable Real-Time Threads in Mobile Ad Hoc Networks
Kai Han, Virginia Tech, USA
Binoy Ravindran, Virginia Tech, USA
Douglas Jensen, Mitre Inc., USA

16:00 &minus 16:30 Coffee Break &minus Farewell