Aquas project Logo
Megamart2 Project Logo
ASSUME Project Logo
Waruna Project Logo

TIPS Workshop

3rd International workshop on TIming Performance engineering for Safety critical systems (TIPS'18)

8 September 2018, Beijing, China

held in conjunction with the CONFESTA'18 conferences.

Click here for the tentative agenda for the workshop
Background

Safety and certification are key issues in various domains such as automotive, medical, avionics and space. Today, designing safety critical real-time systems becomes more and more complex not only because the safety standards are more strict and rigorous, but also because the number of functions to realize is increasing while timing performance must continue to be guaranteed with an acceptable overall cost. For such systems, an ever-increasing portion of design effort is therefore spent on timing performance verification and the corresponding safety and certification argumentations.

Currently in the industrial design practices, performance engineering and safety engineering are rarely inter-connected or integrated, thus requiring additional efforts from the timing performance verification community to fill the gap between the design model and its temporal semantic with techniques to produce proofs and argumentations required by the safety and certifications standards. The challenge addressed by this workshop is to link performance and safety engineering activities to increase the design efficiency of safety critical real-time systems.

Goals

The purpose of the TIPS Workshop is to provide a forum for both practitioners and researchers to present contributions and share ideas, experiences and solutions to concretely connect or integrate performance design engineering and safety engineering activities. Industrial participants are invited to report on efforts applying timing and performance verification techniques in their context of safety or certification, share their insights, and to provide feedback to research priorities and roadmaps. This workshop will also encourage discussions about issues and opportunities to apply timing performance and safety co-engineering.

The TIPS workshop aims to promote discussions, close interactions, cross fertilization of ideas and synergies across the breadth of the timing performance and safety (and security) research communities, as well as to attract industrials from different domains with specific interest in timing performance and safety engineering.

Invited Talks

The TIPS workshop will have invited talks by the following distinguished speakers: Étienne André, Prof. Boudewijn Haverkort, Prof. Kim G. Larsen and Prof. Frédéric Mallet.

More information can be found here.

Call for Papers
The call for papers can be downloaded here.
Important Dates
Submission deadline:
11 May, 2018
Notification of acceptance:
08 June, 2018
Final version papers:
29 June, 2018
TIPS’18 Workshop:
8 September, 2018
Organizing Committee
Laurent Rioux
Thales R&T, France
Marc Geilen
TU Eindhoven, The Netherlands
Program Committee Chairs
Chokri Mraidha
CEA, France
Julio Medina
Univ. of Cantabria, Spain
Program Committee

(to be confirmed)

Liliana Cucu-Grosjean
INRIA – France
Zain A. H. Hammadeh
TU Braunschweig – Germany
Huascar Espinoza
Tecnalia – Spain
Loic Frejoz
Realtime@work – France
Bran Selic
Malina Software Corp. – Canada
José Merseguer
Univ. de Zaragoza – Spain
Rafik Henia
THALES – France
Bernhard Schatz
Fortiss – Germany
De-Jiu Chen
KTH - Sweden
Dorina C. Petriu
Carleton University - Canada
Yiannis Papadopoulos
University of Hull – UK
Emmanuel Grolleau
ENSMA - France
Submission Guidelines

Papers must describe, in English, original work that has not been published or submitted elsewhere. Each paper will be reviewed by at least 3 PC members. We solicit four types of submissions:

Please keep your paper format according to SPRINGER LNCS style guidelines (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0) (use Microsoft Word if possible).

All papers should be submitted through Easychair: (https://easychair.org/conferences/?conf=tips18)

Topics

Topics include but are not limited to:

Reports doing dissemination of collaborative (European, National etc.) research projects results, as well as industrial experience reports from work in progress are welcome.

Contact
Laurent Rioux
Marc Geilen