RTNS 07 > Advance program -

RTNS'07 program

Accepted papers

(exact schedule to come soon)

Keynote Speech

Implementation and Challenging Issues of Flash-Memory Storage Systems
Tei-Wei Kuo, National Taiwan University

Scheduling and control Chair : Joël Goossens

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 Managing 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

Scheduling 1 Chair : Giorgio Buttazzo

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, Belgiul
Nathan Fisher, University of North Carolina, Chapel Hill, USA

Schedulability Analysis using Exact Number of Preemtions and no Idle Time for Real-Time Systems
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, Universite Libre de Bruxelles, Belgium
Liliana Cucu, Universite Libre de Bruxelles, Belgium
Joel Goossens, Universite Libre de Bruxelles, Belgium

Scheduling 2 Chair : Sanjoy Baruah

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

Formal methods

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

Networks and distributed systems Chair : Guy Juanole

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 Mechanism for Time-Triggered Fault-Tolerant Distributed Systems with Atomic Broadcast
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 Unreliable Networks
Kai Han, Virginia Tech, USA
Binoy Ravindran, Virginia Tech, USA
Douglas Jensen, Mitre Inc. , USA

Architectures and worst-case execution time estimation Chair : Isabelle Puaut

Predictable Performance on Multithreaded Architectures for Streaming Protocol Processing
Matthias Ivers, Institut fuer Datentechnik und Kommunikationsnetze, Germany
Bhavani Janarthanan, Institut fuer Datentechnik und Kommunikationsnetze, Germany
Rolf Ernst, Institut fuer Datentechnik und Kommunikationsnetze, 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