19th International Conference on Real-Time and Network Systems
Nantes, France, September 29-30, 2011
The purpose of the conference is to share ideas, experiences and informations among academic researchers, developers and service providers in the field of real-time systems and networks.
RNTS 2011 is the 19th edition of the conference formerly known as RTS (Real-Time Systems, Paris). The 12 first editions of RTS were french-speaking events held in Paris in conjunction with the RTS Embedded System exhibition. Since its 13th edition, the conference language of RTNS is english.
News
- RTNS 2012 website is online
- Proceedings of the conference are now online
- Proceedings of the junior workshop are now online
- July, 18: Conference program is online
- July 4: Giuseppe Lipari will give the keynote talk on Component-based analysis of real-time systems
- July 4: Registration is now open
- May 10: Deadline extented to May, 22
- Feb 4: Submission is open
- Jan 11: Site is open
Thursday, September 29 | |
9:00 - 9:15 | Conference opening |
9:15 - 10:15 |
Keynote talk (chair: Alan Burns) Component-based analysis of real-time systems Giuseppe Lipari |
10:15 - 10:45 | Coffee break |
10:45 - 12:45 | Multiprocessor scheduling 1 (chair: Robert Davis) |
An Optimal k-Exclusion Real-Time Locking Protocol Motivated by Multi-GPU Systems Glenn A. Elliott and James H. Anderson |
|
A faster exact multiprocessor schedulability test for sporadic tasks Markus Lindström, Gilles Geeraerts and Joël Goossens |
|
Scheduling of Hard Real-Time Multi-Thread Periodic Tasks Irina Lupu and Joël Goossens |
|
Overhead control in real-time global scheduling Muhammad Naeem Shehzad, Anne-Marie Déplanche and Yvon Trinquet |
|
12:45 - 14:00 | Lunch |
14:00 - 15:30 | Timing analysis (chair: Isabelle Puaut) |
Automatic Generation of Timing Models for Timing Analysis of High-Level Code Peter Altenbernd, Andreas Ermedahl, Björn Lisper and Jan Gustafsson |
|
A framework for the timing analysis of dynamic branch predictors Claire Maïza and Christine Rochange |
|
Relaxing Event Densities by Exploiting Infeasible Paths in Control Flow Graphs Kilian Kempf, Steffen Kollmann, Victor Pollex and Frank Slomka |
|
15:30 - 16:30 | Junior workshop (chair: Luca Santinelli) |
16:30 - 18:00 | Coffee break and poster session |
Friday, September 30 | |
9:00 - 10:30 | Modeling and Analysis (chair: Christian Fraboul) |
Scheduling safety-critical real-time bus accesses using Time-Constrained Automata Mathieu Jan, Jean-Sylvain Camier and Vincent David |
|
Temporal bounds verification of the STIMAP protocol Karen Godary-Dejean, David Andreu and Romain Richard |
|
Developing critical embedded systems on multicore architectures: the Prelude-SchedMCore toolset Mikel Cordovilla, Frédéric Boniol, Julien Forget, Éric Noulard and Claire Pagetti |
|
10:30 - 11:00 | Coffee break |
11:00 - 12:30 | Uniprocessor Scheduling (chair: Sanjoy Baruah) |
Transformation of Sporadic Tasks for Off-line Scheduling with Utilization and Response Time Trade-offs Jens Theis and Gerhard Fohler |
|
Optimal Priority Assignment Algorithms for Probabilistic Real-Time Systems Dorin Maxim, Olivier Buffet, Luca Santinelli, Liliana Cucu-Grosjean and Rob Davis |
|
Response-Time Analysis for Transactions with Execution-Time Dependencies Jukka Mäki-Turja and Mikael Sjödin |
|
12:30 - 13:45 | Lunch |
13:45 - 15:45 | Network and Distributed Systems (chair: Yves Sorel) |
Analysis of the pessimism of the Trajectory approach for upper bounding end-to-end delay of sporadic flows sharing a switched Ethernet network Xiaoting Li, Jean-Luc Scharbarg and Christian Fraboul |
|
Evaluation of Task Migration Mechanisms for Hard Real-Time Distributed Systems Thomas Megel, Mathieu Jan, Vincent David and Christian Fraboul |
|
Cross-Layer Optimization for MAC Layer to Physical Device Communication Protocol Mapping Andreea Chis, Eric Fleury and Antoine Fraboulet |
|
Schedulability Comparison for CAN Message with Offset : Priority Queue Versus FIFO Queue Yang Chen, Ryo Kurachi, Gang Zeng and Hiroaki Takada |
|
15:45 - 16:15 | Coffee break |
16:15 - 17:45 | Multiprocessor scheduling 2 (chair: Joël Goossens) |
Runtime Scheduling for Video Decoding on Heterogeneous Architectures Carolina Blanch Perez Del Notario, Rogier Baert, Paul Coene, Maja D'Hondt, Zhe Ma and Roel Wuyts |
|
Task assignment on two unrelated types of processors Sanjoy Baruah |
|
Improved Heuristics for Partitioned Multiprocessor Scheduling Based on Rate-Monotonic Small Tasks Dirk Müller and Matthias Werner |
Conference aims and topics
PDF version of the CfPThe purpose of the conference is to share ideas, experiences and information among academic researchers, developers and service providers in the field of real-time systems and networks. Original and unpublished papers on all aspects of real-time systems are welcome. These include, but are not limited to:
- Real-time system design and analysis: task and message scheduling, modeling, verification, evaluation, model-driven development, worst-case execution time estimation, distributed systems, fault tolerance, quality of service, security;
- Infrastructure and hardware for real-time systems: wired and wireless communication networks, fieldbuses, networked control systems, control/computing codesign, sensor networks, power-aware techniques;
- Software technologies for real-time systems: compilers, programming languages, middleware and component-based technologies, operating systems, databases;
- Applications: automotive, avionics, telecommunications, process control, multimedia.
RTNS also encourages the submission of papers discussing research that may not yet have achieved full maturity, but which would benefit from exposure to, and feedback from, other researchers.
All papers accepted for presentation at the conference will be published in the conference proceedings. RTNS proceedings are typically published as a technical report by the host institution (for RTNS 2011, by the IRCCyN lab), which is distributed at the conference and made available in electronic form on-line on HAL-INRIA, an environment for self-archiving of scientific publications. However, these proceedings are not considered to be archived publications and hence presenting research at RTNS does not preclude its later submission to another conference or journal.
A selection of best papers will be invited for submission of extended version to Real-Time Systems (RTS) Journal, Springer Editor.
The Program Committee will select one paper for the Best Student Paper Award.
Instructions to authors
Papers are limited to 10 two-column pages in a font no smaller than 10-points. Style guides and template for LaTeX are available on the conference web site. Accepted papers will have 30 minutes for presentation and discussion.
The guidelines for preparing your manuscript are given here. The corresponding templates are here:
Keynote Talk
Component-based analysis of real-time systems
Abstract
The complexity of modern embedded real-time systems is constantly increasing, as new and more complex functionality is added to existing software. At the same time, due to the increasing computational power of the hardware platforms and to the pressure to reduce the costs, software that in the past was run on different computational nodes, is now being integrated onto a single node.
An appealing way to reduce complexity is to apply a component-based real-time design methodology. A real-time system can be seen as a set of interacting components, each one providing a well-defined subset of functionalities, whose integration produces the final system behavior. A component-based methodology is successful only if it can effectively reduce the complexity. To achieve this goal, the system designer must be able to 1) analyze and validate each component in isolation from the rest of the system, 2) summarize its properties and requirements into simpler interfaces, 3) perform the final integration analysis and validation on the component interfaces.
In this talk, the author will give an overview of current techniques for component-based analysis of real-time systems, with a look at their possible use in avionics and automotive systems. Then, a possible research agenda will be discussed, highlighting the shortcomings of current analysis and how to improve on it.
Bio
Giuseppe Lipari is Associate Professor of Computer Engineering at the Scuola Superiore Sant'Anna, Pisa, Italy. He received his PhD from Scuola Sant'Anna in 2000 with a thesis "Resource Reservations in Real-Time Systems". His research interests are in real-time scheduling and schedulability analysis; real-time operating systems; embedded systems design methodoloogies. Giuseppe Lipari has been involved in the organization of many research conferences in the field (RTSS, ECRTS, RTAS) and has served as associated editor of IEEE Transactions on Computers. He is associate editor of the Journal of Systems Architectures. He is author of more than 20 journal papers and more then 70 refereed conference papers.
Registration
The registration procedure requires two steps:
- fill out and submit the online pre-registration form (click here, then follow the Pre-registration link for RTNS 2011)
- after receiving a confirmation email, you can complete the registration and pay online by credit card (French participants may also use checks or bank transfers).
Early registration: | Until September, 12 (Student: 140 euros; Other: 280 euros) |
Late registration: | Until September, 19 (Student: 280 euros; Other: 480 euros) |
Cancelation: | Until September, 19 |
The registration fee for RTNS conference includes one copy of the conference proceedings, one copy of the Junior Workshop proceedings, coffee breaks, lunches, and attendance to the gala dinner on sept. 29 (extra tickets for the gala dinner: 65 euros).
Important dates
Submission deadline: | |
Notification to authors: | July, 11 |
Camera ready paper due: | August, 29. |
Author registration deadline: | September, 2 |
Early registration: | Until September, 12 |
Late registration: | Until September, 19 |
Conference: | September , 29-30 |
Conference Committees
General chair- Sébastien Faucou (IRCCyN, Nantes, France)
Program chairs
- Alan Burns (University of York, UK)
- Laurent George (INRIA/AOSTE - UPEC/LISSI , France)
Local organization committee
- Michèle-Anne Audrain (IRCCyN, Nantes, France)
- Jean-Luc Béchennec (IRCCyN, Nantes, France)
- Mikaël Briday (IRCCyN, Nantes, France)
- Virginie Dupont (IRCCyN, Nantes, France)
- Sébastien Faucou (IRCCyN, Nantes, France)
- Yvon Trinquet (IRCCyN, Nantes, France)
- Richard Urunuela (IRCCyN, Nantes, France)
Program committee
- Tarek Abdelzaher (University of Illinois, USA)
- Hakan Aydin (George Mason University, USA)
- Sanjoy Baruah (University of North Carolina, USA)
- Enrico Bini (Scuola Superiore Sant'Anna, Pisa, Italy)
- Alan Burns (University of York, UK)
- Marco Caccamo (University of Illinois, USA)
- Maryline Chetto (IRCCyN, Nantes, France)
- Alfons Crespo (Polytechnic University of Valencia, Spain)
- Liliana Cucu-Grosjean (INRIA-Loria, Nancy, France)
- Rob Davis (University of York, UK)
- Tullio Facchinetti (University of Pavia, Italy)
- Séeacute;bastien Faucou (IRCCyN, Nantes, France)
- Nathan Fisher (Wayne State University, USA)
- Laurent George (INRIA-Aoste / UPEC-Lissi, France)
- Steve Goddard (University of Nebraska, USA)
- Joël Goossens (ULB, Brussels,Belgium)
- Pierre-Emmanuel Hladik (LAAS, Toulouse, France)
- Jörg Kaiser (University of Magdeburg, Germany)
- Raimund Kirner (TU Vienna, Austria)
- Lucia Lo Bello (University of Catania, Italy)
- Zoubir Mammeri (University of Toulouse / IRIT, France)
- Philippe Marquet (INRIA/LIFL, Lille, France)
- Serge Midonnet (University of Paris-Est, Marne la Vallé, France)
- Pascale Minet (INRIA-Rocquencourt, France)
- Daniel Mosse (University of Pittsburgh, USA)
- Nicolas Navet (INRIA-Loria, Nancy, France)
- Nimal Nissanke (London South Bank University, UK)
- Marc Pouzet (University of Paris Sud / LRI, France)
- Isabelle Puaut (University of Rennes / IRISA, France)
- Binoy Ravindran (Virginia Tech, USA)
- Pascal Richard (LISI, Poitiers, France)
- Christine Rochange (University of Toulouse / IRIT, France)
- Guillermo Rodriguez-Navas (University of Balearic Islands, Spain)
- Bruno Sadeg (University of Le Havre / LITIS, France)
- Daniel Simon (INRIA Rhone-Alpes, France)
- Françoise Simonot-Lion (LORIA-INPL, Nancy, France)
- Mikael Sjödin (Mälardalen University, Sweden)
- Yves Sorel (INRIA-Rocquencourt, France)
- Eduardo Tovar (Polytechnic Institute of Porto, Portugal)
- François Vernadat (LAAS, Toulouse, France)
Steering committee
- Sanjoy Baruah(University of North Carolina, USA)
- Maryline Chetto (IRCCyN, Nantes, France)
- Laurent George (INRIA-AOSTE / UPEC-LISSI, France)
- Pascale Minet (INRIA-Hipercom, Rocquencourt, France)
- Nicolas Navet (INRIA-Loria, Nancy, France)
- Isabelle Puaut (University of Rennes 1/IRISA, France)
- Françoise Simonot-Lion (LORIA-INPL, Nancy, France)
- Yves Sorel (INRIA-AOSTE, Rocquencourt, France)
Local information
The conference will take place in the building of the Institut de Recherche en Communications et Cybernétique de Nantes (IRCCyN) on the campus of the École Centrale de Nantes.
Instructions to reach the conference site can be found here.
Accomodation
The line 2 of the tramway allows to go easily from the conference site to the center of the town where you can find many hotels (a non exhaustive list here). We strongly recommend to book your hotel as soon as possible.
Tourism
You can find information about Nantes and its area on the Nantes Tourism Office website.
Past Issues
RTNS 2010: Toulouse (France), PC chairs: Sanjoy Baruah (University of North Carolina, USA) and Yves Sorel (INRIA, Rocquencourt, France)
RTNS 2009: Paris (France), PC chairs: Maryline Chetto (IRCCyN, Nantes, France) and Mikael Sjödin (Mälardalen University, Sweden)
RTNS 2008: Rennes (France), PC chairs: Pascale Minet (INRIA-Rocquencourt/Hipercom, France) and Giorgio Buttazzo (Scuola Superiore Sant'Anna, Pisa, Italy)
RTNS 2007: Nancy (France), PC chair: Isabelle Puaut (University of Rennes/IRISA, France)
RTNS 2006: Poitiers (France), PC chair: Guy Juanole(LAAS, Toulouse, France) and Pascal Richard (LISI, Poitiers, France)
RTS 2005: Paris (France), PC chair: Nicolas Navet (LORIA, Nancy, France)
RTS 2004 : Paris (France),PC chair : Joël Goossens (University of Bruxelles, Belgium)
RTS 2001: Paris (France), PC chair: Zoubir Mammeri (IRIT, UPS Toulouse, France)
RTS 2000: Paris (France), Francis Cottet (LISI, ENSMA, Poitiers)
RTS03, RTS02, RTS, RTS99, RTS98, RTS97, RTS96, RTS95, RTS94, RTS93: no official website