International Workshop on Critical Software Component Reusability and Certification across Domains

in conjunction with ICSR 2013 (

18 June 2013, Pisa, Italy

Workshop Program
09:30 Workshop Goals and Challenges
Short Presentations
10:30 Fostering Reuse within Safety-critical Component-based Systems through Fine-grained Contracts
Irfan Sljivo, Jan Carlson, Barbara Gallina, and Hans Hansson - Mälardalen Real-Time Research Centre, Mälardalen University, Västerås, Sweden
10:50 Configurable safety elements for a predefined scope
Andrea Leitner, Helmut Martin, and Bernhard Winkler - Virtual Vehicle Research Center, Austria
11:10 Coffee Break
11:30 Open Issues in Reuse of Certified Components in Cyber Physical Systems
Christian Berger, Michel R.V. Chaudron - Department of Computer Science and Engineering of Chalmers University of Technology - University of Goteborg, Sweden
11:50 Contract-based refinement of safety-critical components
Alessandro Cimatti, Stefano Tonetta - Fondazione Bruno Kessler, Trento, Italy
12:10 A compositional certification approach for safety case reuse
Espinoza Oritiz Huascar, Klabbers M.D., Yaping Luo, Philippa Conmy
12:30 Lunch
13:30 Enforcing time determinism at system level: issues and schedulability tradeoffs
Marco Di Natale, Scuola Superiore Sant'Anna, Pisa, Italy
Discussion Session
13:50 Recap of challenges
Issues arisen from the presentations
Reactions from the floor
15:30 Coffee Break
15:50 Brainstorming discussion
Tentative conclusions and future actions
17:00 Closure