Sponsored by
Supported by
Satellite Workshop of
Program
Committees
Program Chair
Francisco J. Cazorla Leader of the CAOS group at BSC and researcher at IIIA-CSIC
Program Committee
Benoît Triquet, Airbus
Björn Lisper, Univ. College of Mälardalen
Christine Rochange, IRIT
Claire Maiza, Grenoble INP/Verimag
Damien Hardy, IRISA
Enrico Mezzetti, Univ. of Padua
Franck Wartel, Airbus
Guillem Bernat, Rapita Systems
Heiko Falk, TU Hamburg-Harburg
Isabelle Puaut, IRISA
Jaume Abella, BSC
Luca Fossati, ESA
Luis Miguel Pinho, CISTER
Martin Schoeberl, DTU
Peter Puschner, TU Wien
Tullio Vardanega, Univ. of Padua
Steering Committee
Guillem Bernat, Rapita Systems Ltd., UK
Björn Lisper, Univ. College of Mälardalen
Isabelle Puaut, IRISA
Peter Puschner, TU Wien
Online Proceedings now avaiable
Find them following this link
Final Program
Keynote Speaker
Dr. Jon Pérez is the coordinator of the embedded systems research group at IK4-IKERLAN and works in the development and certification of safety-critical embedded systems. For example SIL4 railway signalling systems (ERTMS/ETCS), SIL3/Pld industrial machinery and wind-turbine protection systems. He has previously worked for Motorola Semiconductor in the field of multicore DSPs. He is a certified TÜV Rheinland Functional Safety engineer (Fs/Eng.2378 / 10) and member of the Spanish Committee AEN/CTN 200 (safety standards) at ISO International Organization for Standardization. Research interests focus on distributed real-time, mixed-criticality and safety-critical embedded systems. He collaborates among others in FP7 MULTIPARTES, FP7 DREAMS and FP7 PROXIMA research projects. He has received a B. Eng in Industrial and Robotics at Mondragon University, a M.Sc. in Electronics & Electrical Engineering with distinction at the University of Glasgow and he finished his doctoral studies in Computer Science at TU Wien in the field of safety-critical embedded systems.
Find them following this link
Final Program
| 08:00 – 09:00 | Registration opens |
| Session Chair | Francisco J. Cazorla |
| 09:00 – 09:05 | Francisco J. Cazorla Introduction to WCET 2015 |
| 09:05 – 09:30 | Hugues Cassé, Haluk Ozaktas and Christine Rochange. A Framework to Quantify the Overestimations of Static WCET Analysis |
| 09:30 – 10:00 | Marco Ziccardi, Alessandro Cornaglia, Enrico Mezzetti and Tullio Vardanega. Software-enforced Interconnect Arbitration for COTS Multicores |
| 10:00 – 10:30 | Mahdi Eslamimehr and Hesam Samimi. Timing Analysis of Event-Driven Programs with Directed Testing |
| 10:30 – 11:00 | BREAK |
| Session Chair | Enrico Mezzetti |
| 11:00 – 11:30 | Peter Wägemann, Tobias Distler, Timo Hönig, Volkmar Sieh and Wolfgang Schröder-Preikschat. GenE: A Benchmark Generator for WCET Analysis |
| 11:30 – 12:00 | Boris Dreyer, Christian Hochberger, Simon Wegener and Alexander Weiss. Precise Continuous Non-Intrusive Measurement-Based Execution Time Estimation |
| 12:00 - 12:30 | Clément Ballabriga, Julien Forget and Giuseppe Lipari. Context-sensitive parametric WCET analysis |
| 12:30 – 13:30 | BREAK |
| Session Chair | Francisco J. Cazorla |
| 13:30 – 14:00 | Keynote by Jon Perez (Embedded Systems research line coordinator” at IK4-IKERLAN). "Multicore, WCET and IEC-61508 certification of fail-safe mixed-criticality systems" |
| 14:00 – 14:30 | |
| 14:30 – 15:00 | Sebastian Altmeyer, Björn Lisper, Claire Maiza, Jan Reineke and Christine Rochange. WCET and MC: What does Confidence in WCET Estimations Depend Upon? |
| 15:00 – 15:30 | BREAK |
| Session Chair | Luis Miguel Pinho |
| 15:30 – 16:00 | Georg Wassen and Stefan Lankes. Bare-Metal Execution of Hard Real-Time Tasks Within a General-Purpose Operating System |
| 16:00 – 16:30 | Niklas Holsti, Jan Gustafsson, Linus Källberg and Björn Lisper. Analysing Switch-Case Code with Abstract Execution |
| 16:30 – 17:00 | Jordy Ruiz and Hugues Cassé. Using SMT Solving for the Lookup of Infeasible Paths in Binary Programs |
| 17:00 | End of the Workshop |
Dr. Jon Pérez is the coordinator of the embedded systems research group at IK4-IKERLAN and works in the development and certification of safety-critical embedded systems. For example SIL4 railway signalling systems (ERTMS/ETCS), SIL3/Pld industrial machinery and wind-turbine protection systems. He has previously worked for Motorola Semiconductor in the field of multicore DSPs. He is a certified TÜV Rheinland Functional Safety engineer (Fs/Eng.2378 / 10) and member of the Spanish Committee AEN/CTN 200 (safety standards) at ISO International Organization for Standardization. Research interests focus on distributed real-time, mixed-criticality and safety-critical embedded systems. He collaborates among others in FP7 MULTIPARTES, FP7 DREAMS and FP7 PROXIMA research projects. He has received a B. Eng in Industrial and Robotics at Mondragon University, a M.Sc. in Electronics & Electrical Engineering with distinction at the University of Glasgow and he finished his doctoral studies in Computer Science at TU Wien in the field of safety-critical embedded systems.
