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.
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.
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.
(to be confirmed)
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 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.