RTNS 2016

24th International Conference on Real-Time Networks and Systems

Brest, France, 19-21th October 2016

RTNS is a friendly conference with a great sense of community that presents excellent opportunities for collaboration.

The 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.

RTNS 2016 will be in Brest, France.

RTNS 2016 is the 24th edition of the conference formerly known as RTS (Real-Time Systems, Paris). The first 12 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 has been english.

Highlights

• Keynote talk by Sebastian Fischmeister, University of Waterloo, Canada
• Special focus will be given to the topic of "Applying Formal Methods to Real-Time Systems Theory and Design".
• A selection of the best papers will be identified as outstanding papers; the authors of these papers will be invited to submit extended versions to a special issue of the Springer Real-Time Systems journal.
• Prizes will be awarded for best paper, best student paper, and best presentation.

News

• 30th November 2015: Site is open
• 22 April 2016: Final CFP link available. Submission deadline added
• 10 June 2016: Conference fees added (see the Registration pane)
• 12 Sept 2016: Bank transfer informations fixed, the BIC code was bad, it is "TRPUFRP1" instead of "TRPUFRPI" ...

Conference Program

Conference aims and topics

RTNS is a friendly conference with a great sense of community that presents excellent opportunities for collaboration. The purpose of RTNS is to share new ideas, experiences and information among academic researchers, developers and service providers in the field of real-time systems and networks. Original 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, modelling, verification, evaluation, model-driven development, timing analysis, 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 co-design, sensor networks, power-aware techniques;
• Infrastructure and hardware for real-time systems: wired and wireless communication networks, fieldbuses, networked control systems, control/computing co-design, 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, space, railways, telecommunications, process control, multimedia.

Instructions to authors

The papers are limited to 10 two-column pages in a font no smaller than 9 points. Submission format is PDF.

The LaTeX formatting instructions as well as the Word template can be found here.

Authors submitting a paper to RTNS 2016 confirm that neither the paper, nor a version of it, is under submission elsewhere nor will be submitted elsewhere before notification by RTNS 2016, and that if the paper is accepted, at least one author will register by the special registration deadline, and present the paper at the conference.

RTNS 2016 results

Artifact submission

The objective of Artifact Evaluation (AE) is to reward efforts made by researchers to allow others to replicate their experiments. Major expected benefits of AE include that being able to reproduce results helps researchers build on top of each other's work and compare results in a fair manner. Note that the AE reviewers do not evaluate the correctness of the experimental results obtained using the artifact, only that these results can be reproduced.

Note that reviewers should be able to evaluate submitted artifacts using regular computing resources. Please feel free to contact the AE chair if you would like to submit an artifact for which this is not possible.

Submission instructions

Artifacts should include:

• A guide/README document providing system requirements and instructions about how to install and use the artifact, as well as a detailed description of the procedure to (possibly partially) reproduce the results presented in the paper.
• All software and data needed for repeating the experiments.
  

A nice HOWTO for preparing an artifact evaluation package is available online at http://bit.ly/HOWTO-AEC.

Prospective participants to the artifact evaluation are invited to package their artifact and send it via email to sophie.quinton@inria.fr by 29^th September 2016.

Important dates

• Artifact submission deadline: 29^th September 2016
• Discussion period: 3^rd October – 13^th October 2016
• Notification of acceptance: 14^th October 2016

Artifact Evaluation Committee

• Felipe Cerqueira, Max Planck Institute for Software Systems, Germany
• Martina Maggio, Lund University, Sweden
• Daniel Mosse, University of Pittsburgh, US
• Saad Mubeen, Mälardalen University, Sweden
• Sophie Quinton (chair), INRIA Grenoble, France
• Guy Martin Tchamgoue, University of Waterloo, Canada

Contact

Please contact Sophie Quinton for any questions, concerns or comments.

Additional information

Here is a list of useful links related to artifact evaluation in other computer science research communities:

• How to package an artifact
• Artifact evaluation process
• Reproducibility
• About Reviewing
• Examples of accepted artifacts at other conferences
• AE for Systems

Keynote Talk

Time-aware Instrumentation: From the Formal Model to Applications

Sebastian Fischmeister,
Real-time Embedded Software Group
University of Waterloo, Canada

Abstract

Code instrumentation is a common method for extracting information and tracing programs. Developers use code instrumentation to understand and monitor modern systems with millions of lines of code. Unfortunately, typical software-based instrumentation methods, while useful to extract high-level information from programs, concentrate on preserving only logical correctness and are thus inadequate for application areas such as real-time embedded systems. Time-aware instrumentation is a new view on code instrumentation, one that considers extra-functional properties and specifically timing constraints. The talk presents work on time-aware instrumentation ranging from the formal model to a scalable implementation able to instrument deployed systems. Of specific interest are the lessons learnt, for instance, how the formal model created a common language, precise problem statements, and allowed predicting effects to be confirmed through the implementation. Furthermore, the talk also outlines unforeseen offshoots of the work leading to new insights, ideas, and applications. The closing statement will provide an outlook on future research challenges given the growing complexity of software-intensive embedded systems, and also raise the topic of reproducibility of research and research artifacts.

Biography

Sebastian Fischmeister is an associate professor at the University of Waterloo. He leads the Real-time Embedded Software Group and acts as associate director at WatCAR for Systems and Connectivity. Sebastian Fischmeister has 15 years of research experience in safety-critical real-time embedded systems. Together with his research team, he developed the Atacama open-source implementation for real-time Ethernet, pioneered time-aware instrumentation for time-sensitive systems, and established the theory and practice for sampling-based runtime verification. Sebastian extensively collaborates with industry and built, for instance, the reference demonstrator for the ASTM F2761-09 standard on the integrated clinical environment, the APMA Connected Vehicle Technology Demonstrator (a modified Lexus RX350), and the DIME instrumentation framework. He is currently working on theory and tools for data-driven certification for connected automated vehicles.

Registration

All participants must be registered. Please register in advance.
Registration at Early Registration rates will be possible until 5th October 2016.
AT LEAST ONE AUTHOR (student or full rate) PER FULL PAPER has to be registered before 5th October 2016.
AT LEAST ONE AUTHOR PER JUNIOR WORKSHOP PAPER (student or full rate) has to be registered before 5th October 2016.

Please notice that for any registration after the 5th of October, lunchees and social event will be provided according to availability.

Registration form

Please return the registration form by fax or e-mail to RTNS 2016 Registration Chair :
Mickael Kerboeuf
UBO, Département informatique
20 avenue Le Gorgeu
CS 93837
29238 BREST Cedex 3, France

phone: +33-2 98 01 83 07
fax: +33 2 98 01 80 11
e-mail: rtns16@listes.univ-brest.fr

Registration fees to the main conference

• Lunches and Breaks from 19-21th October 2016
• Social event and banquet
• Entry to all conference sessions including junior workshop
• Proceedings
• Conference bag, containing the official conference material.

In all packages, travel costs are not included and are the responsibility of each conference participant.

Extra tickets for the social event and dinner can be purchased till 20th September 2016.

Terms of Payment

The method of payment recommended is by bank transfer to the order of Agent Comptable de l'UBO.

Payment must be sent in EUROS (€):

Bank details:

Bank name : TP Brest - Tresorerie Generale
Beneficiary: Agent Comptable de l'UBO
Account number : 00001002790
RIB key : 91
Bank code: 10071
Agency: 29000
Swift code: BDFEFRPPCCP
BIC: TRPUFRP1
Reference: RTNS + <YOUR FAMILY NAME>

IBAN (International bank account number): FR76 1007 1290 0000 0010 0279 091

A copy of the bank transfer should be sent by email to: rtns16@listes.univ-brest.fr. Do NOT forget to give the name of the person you are paying for, on the bank transfer order. Bank transfer charges had to be paid by the registrant. Registration without appropriate payment will not be honored until full payment received. The registration will only be accepted upon receipt of payment proof. In the absence of the document, the registration will be considered cancelled.

Cancellation policy for individual registration & reservations

Cancellation of the conference

In the event that the conference cannot be held or is postponed due to events beyond the control of the conference organizers (force majeure) or due to events which are not attributable to wrongful intent or gross negligence of the conference organizers, the conference organizers cannot be held liable by delegates for any damages, costs, or losses incurred, such as transportation costs, accommodation costs, costs for additional orders, financial losses, etc.

Under these circumstances, the conference organizers reserve the right to either retain the entire registration fee and to credit it for a future conference, or to reimburse the delegate after deducting costs already incurred for the organization of the conference and which could not be recovered from third parties.

Privacy Legislation

By registering for the conference, relevant details will be incorporated into a participant list for the benefit of all delegates. Normally this information would be: name, surname, institution, country and email address. These details may also be available to parties directly related to the Conference including the venues and accommodation providers. We may use these details to inform current participants of Conference updates or future conferences via email. Participants are responsible for advising us if they do not wish to have their email addresses included in the conference participant list or distribution list for future events.

In accordance with French law "loi Informatique et Libertés", articles 39 and 40, you have the right to access and rectify your data. In practice, proving your identity, you can ask us whether or not we process data about you and in case the answer is yes, which data, for which purpose and how. Besides, French law acknowledges your right to rectify update and suppress these data. For any such request, please contact rtns16@listes.univ-brest.fr.

Important dates

Conference Committees

• Alain Plantec (Lab-STICC UMR 6285, Université de Bretagne Occidentale, Brest, FRANCE)
• Frank Singhoff (Lab-STICC UMR 6285, Université de Bretagne Occidentale, Brest, FRANCE)

• Sébastien Faucou (Université de Nantes, FRANCE)
• Luis Miguel Pinho (CISTER Research Center, Porto, Portugal)

• Mickaël Kerboeuf
• Laurent Lemarchand
• Steven Costiou
• Stephane Rubini
• Jalil Boukhobza
• Nam Tran Hai
• Arezki Laga
• Hamza Ouarnoughi
• Mourad Dridi
• Rahma Bouaziz

• Yasmina Abdeddaïm (Université Paris-Est, FR)
• Masud Ahmed (The Mathworks Inc, US)
• Sebastian Altmeyer (University of Amsterdam, NL)
• Jim Anderson (University of North Carolina, US)
• Sanjoy Baruah (University of North Carolina, US)
• Marko Bertogna (University of Modena, IT)
• Enrico Bini (University of Turin, IT)
• Björn Brandenburg (Max Planck Institute for Software Systems, DE)
• Florian Brandner (Université Paris-Sacaly, FR)
• Hugues Cassé (Université de Toulouse, FR)
• Liliana Cucu-Grosjean (INRIA, FR)
• Robert Davis (University of York, UK)
• Jean-Dominique Decotignie (Swiss Center for Microtechnology, CH)
• Nathan Fisher (Wayne State University, US)
• Julien Forget (Université de Lille , FR)
• Adriana Gogonel (INRIA, FR)
• Joël Goossens (Université Libre de Bruxelles, BE)
• Radu Grosu (Vienna University of Technology, AT)
• Damien Hardy (Université de Rennes, FR)
• Jérôme Hugues (Institut Supérieur de l'Aéronautique et de l'espace, FR)
• Mathieu Jan (Commissariat à l'Énergie Atomique et aux énergies alternatives, FR)
• Kai Lampka (Uppsala University, SE)
• Benjamin Lesage (University of York, UK)
• Cong Liu (The University of Texas at Dallas, US)
• Claire Maiza (Grenoble INP, FR)
• Pascale Minet (INRIA, FR)
• Vincent Nelis (CISTER, PT)
• Dumitru Potop-Butucaru (INRIA, FR)
• Sophie Quinton (INRIA, FR)
• Jan Reineke (Universität des Saarlandes, DE)
• Pascal Richard (Université de Poitiers,FR)
• Luca Santinelli (ONERA, FR)
• Jean-Luc Scharbarg (Université de Toulouse, FR)
• Ye-Qiong Song (Université de Lorraine, FR)

• Sanjoy Baruah (The University of North Carolina at Chapel Hill, USA)
• Liliana Cucu-Grosjean (INRIA, Paris-Rocquencourt, FRANCE)
• Robert I. Davis (University of York, UK)
• Sébastien Faucou (Université de Nantes, France)
• Laurent George (Université Paris Est Creteil, France)
• Joël Goossens (Université Libre de Bruxelles (ULB), Belgium)
• Isabelle Puaut (IRISA, Université Rennes I, France)
• Pascal Richard (LIAS, Université de Poitiers, France)
• Jean-Luc Scharbarg (Université de Toulouse, France)

Local information

For any information, you can send an e-mail to the local organization committee

Venue and useful informations

The meeting will take place at TA Bouguen, Pôle numérique, Université de Bretagne Occidentale on 19-21th October 2016.
Wi-Fi network with access control on site. Credentials will be available at the conference.
Lunches and coffee breaks will be served on site. They are included in the registration fees.

Address
TA Bouguen, Pôle numérique, Université de Bretagne Occidentale, 6 Rue du Bouguen Click here for the map

How to reach the location of the conference

Accomodation

Please, book your room as soon as possible. Because of the Brest Open tennis tournament that will be held at Brest during the same week as RTNS, you may have difficulties to find an hotel near the conference site.

Hotels with blocked rooms until 15th of September with the code "RTNS"

• Agena hotel: www.hotel-brest-agena.com; Phone: 33 (0)2 98 33 96 00; Near the train station.
• Amirauté hotel: www.oceaniahotels.com; Phone: 33 (0)2 98 80 84 00; email: amirautebrest@oceaniahotels.com

Hotels with blocked rooms until 15th of September with the code "ubo"

• Abalys hotel: Phone : 33 (0)2 98 44 21 86; Near the harbour, 10% of discount if the rooms are booked at www.abalys.com and if you use the promotional code "ubo".

Hotels with blocked rooms until 23th of September with the code "RTNS"

• Hôtel Escale Oceania: www.oceaniahotels.com; Phone : 33 (0)2 98 44 38 38; email : resa@oceaniahotels.com

Another good hotel: Hôtel Center Brest, www.hotelcenter.com

For other accomodation downtown, visit brest-metropole-tourisme.fr

Tourism

Places to visit

• Brest castle
• Naval Museum of Brest
• Museum of Fine Arts
• Recouvrance bridge
• Albert Louppe bridge and Iroise bridge
• Brest harbour
• Iroise Sea
  

Rambles on the coast

• from Trez-Hir beach to Saint Mathieu end
• from Trez-Hir beach to Petit Minou end
• from Blancs Sablons beach to Kermorvan peninsula
• from Abers area to the Sainte Marguerite sand dunes
• in Plougastel, at Tinduff port and at the Armorique end

Selected restaurants

• l'Amirauté
• la maison de l'Océan
• le boeuf sur le quai
• le Saint Ex
• L'Imaginaire
• An Ty Coz
• le Crabe Marteau

For more informations and ideas

http://www.finisteretourisme.com/home/

http://www.brittanytourism.com/

http://www.brittanysleisure.com/

http://www.brest-metropole-tourisme.fr/home.php?langueCode=uk

http://www.rives-armorique.fr/gb-default.aspx

http://en.wikipedia.org/wiki/Brest,_France

Pictures on flickr

Place to visit: Brest castle

Founded in the 3rd century, Brest castle is a mediaeval fortress, finished in the 17th century. It was an essential protection for the town of Brest and its port. Having recently undergone extensive restoration, the fort gives an excellent impression of the fortified life of old Brest. The six-hectare site has also been restored to its natural condition and offers some great walking paths which lead to the Penfeld River.

top

Place to visit: Naval Museum of Brest

top

Place to visit: Museum of Fine Arts

top

Place to visit: Recouvrance bridge

top

Place to visit: Albert Louppe bridge and Iroise bridge

top

Place to visit: Brest harbour

top

Place to visit: Iroise sea

Come discover the Islands Ouessant and Molène aboard a boat whose bottom is fitted with large windows that allow visitors to discover the fauna and flora of the Iroise Sea.

top

Rambles on the coast: from Trez-Hir beach to Saint Mathieu end

Suggested route

top

Rambles on the coast: from Trez-Hir beach to Petit Minou end

Suggested route

top

Rambles on the coast: from Blancs Sablons beach to Kermorvan peninsula

Suggested route

top

Rambles on the coast: from Abers area to the Sainte Marguerite sand dunes

Suggested route

top

Rambles on the coast: in Plougastel, at Tinduff port and at the Armorique end

Suggested route

top

Selected restaurants: l'Amirauté

top

Selected restaurants: la maison de l'Océan

top

Selected restaurants: le boeuf sur le quai

top

Selected restaurants: le Saint Ex

top

Selected restaurants:  L'Imaginaire

top

Selected restaurants: An Ty Coz

top

Selected restaurants: le Crabe Marteau

top

Social events

Past Issues

RTNS 2015: Lille (France), PC chairs: Liliana Cucu-Grosjean (INRIA, Paris-Rocquencourt, FRANCE) and Nathan Fisher (Wayne State University, USA)

RTNS 2014: Versailles (France), PC chairs: Joel Goossens (ULB, Brussels, Belgium) and Claire Maiza (INP/Verimag, Grenoble, France)

RTNS 2013: Sophia Antipolis (France), PC chairs: Rob Davis (University of York, UK) and Emmanuel Grolleau (LIAS, Poitiers, France)

RTNS 2012: Pont à Mousson (France), PC chairs: Christine Rochange (University of Toulouse/IRIT, France) and Jim Andersson (University of North Carolina, USA)

RTNS 2011: Nantes (France), PC chairs: Alan Burns (University of York, UK) and Laurent George (Inria/AOSTE - UPEC/LISSI, France)

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

This site is protected by french and international copyright laws. All rights are reserved, including downloadable documents and the iconographic and photographic representations.

The reproduction of the texts of this site on a paper support is authorized under respect for the following two conditions:

• free access of the broadcasting,
• respect for the integrity of the reproduced documents (no modification)