TIPS'16

1st International workshop on TIming Performance in Safety Engineering (TIPS'16 )

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 a specific interest in timing performance and safety engineering.

Topics include but are not limited to:

• Comparative evaluation of existing integrated timing performance and safety assessment or verification techniques.
• Design modelling languages, methods, techniques and processes for timing performance and safety engineering and combining them.
• New ways for timing performance certification.
• Design architecture evaluation approaches considering timing and safety concerns, including architecture optimizations.
• Performance patterns or solutions for efficient safety and security design.
• Performance predictability for multi-core platforms under safety concerns.
• Virtualization techniques for safe and efficient resource sharing.
• Case studies and industrial experience on integrating, combining timing performance and safety engineering activities and certification.
• Discussions on issues and opportunities to integrate, combine timing performance and safety engineering, certifications standards, rules and authorities.
• Demonstrations of techniques or tools to apply timing performance in safety or certification processes.

Organizers

• Laurent Rioux, Thales R&T, France
• Marc Geilen, TU Eindhoven, The Netherlands

Program Committee Chairs

• Julio Medina, Univ. of Cantabria, Spain
• Chokri Mraidha, CEA, France

Program Committee

• 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
• Jose 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