WoSoCer 2017

The 7th IEEE International Workshop on Software Certification

Special theme: certification of autonomous and ML/AI-based systems

Co-located with the ISSRE 2017 conference

October 23, 2017, Toulouse, France


July 30, 2017 (extended): Paper submission

August 13, 2017: Paper notification

August 28, 2017: Camera ready

October 23, 2017: Workshop


Homa Alemzadeh, University of Virginia, USA

Raul Barbosa, University of Coimbra, Portugal

Francesco Brancati, ResilTech s.r.l., Italy

Barbara Gallina, Mälardalen University, Sweden

Mark Lawford, McMaster University, Canada

Roberto Natella, Federico II U. of Naples, Italy

Kate Netkachova, City University of London, UK

Roberto Pietrantuono, Federico II U. of Naples, Italy

Nuno Silva, CRITICAL Software S.A., Portugal


Nuno Antunes, University of Coimbra, Portugal

Domenico Cotroneo, Federico II Univ. of Naples, Italy

João Cunha, ISEC, Portugal

Jose Luis de la Vara, Carlos III Univ. of Madrid, Spain

Sigrid Eldh, Ericsson AB, Sweden

Marc Förster, RWTH Aachen University, Germany

Myron Hecht, The Aerospace Corporation, USA

Fuqun Huang, Ohio State University, USA

Philip Koopman, Carnegie Mellon University, USA

Rick Kuhn, NIST, USA

Giuseppe Lami, ISTI-CNR, Italy

Marion Lepmets, SoftComply LTD, Ireland

Stefano Russo, Federico II University of Naples, Italy

Jonny Vinter, RISE Research Institutes of Sweden

Stefan Winter, TU Darmstadt, Germany

Jianwen Xiang, Wuhan University, China


wosocer2017 AT easychair.org

Workshop program

Session 1 (9:30 - 11:00): Challenges in Safety and Security Certification

Keynote Talk: Co-engineering for Safety and Security -- Peter Popov

Challenges in Certification of Autonomous Driving Systems -- F. Falcini, G. Lami

Session 2 (11:30 - 13:00): Certification of autonomous and ML/AI Systems (special theme)

Observation Based Creation of Minimal Test-Suites for Autonomous Vehicles -- C. Wolschke, D. Rombach, P. Liggesmeyer, T. Kuhn

Establishing Verification and Validation Objectives for Safety-Critical Bayesian Networks -- M. Douthwaite, T. Kelly

Non-determinism and Failure Modes in Machine Learning -- J.M. Faria

Session 3 (14:00 - 15:30): Standard Compliance and Safety&Security Cases

Towards Efficiently Checking Compliance Against Automotive Security and Safety Standards -- J.P. Castellanos Ardila, B. Gallina

Pioneering the Creation of ISO 26262-compliant OSLC-based Safety Cases -- B. Gallina, M. Nyberg

A Layered Argument Strategy For Software Security Case Development -- B. Xu, M. Lu, D. Zhang

Call for papers

(download as PDF)

The WoSoCer workshop is a forum to discuss novel solutions for the certification of software in critical systems, by involving researchers, senior technical people, domain experts, and regulatory authorities to present new solutions and perspectives in the context of industrial and academic research projects.

We welcome contributions related to any area of critical software systems and certification. In addition, this edition of the workshop encourages contributions on a special theme currently of high relevance: the certification of autonomous and ML/AI (Machine Learning and Artificial Intelligence) systems.

Possible topics include (but are not limited to) the following topics:

  • Certification and adoption of emerging technologies and best-practices in safety- and security-critical domains
  • Certification of third-party components, software reuse and open-source software across systems and services
  • Product-oriented certification and assurance cases
  • Reuse of certification artifacts across different systems and standards
  • Quantitative and qualitative evaluation of system dependability and resilience
  • Compositional certification and assurance
  • Formal methods in software certification
  • Tools, techniques and methods to support certification processes
  • Economics of certification and standards
  • Adoption of emerging technologies and best-practices in safety- and security-critical domains
  • Open issues, practical experiences and real-world case studies
  • Cross-fertilization between safety and security certification and standards
  • Education and training regarding software certification

Since 2011, WoSoCer has been a satellite event of the IEEE International Symposium on Software Reliability Engineering (ISSRE), a premier conference that emphasizes both academic excellence and industry impact.

Accepted peer-reviewed papers will be included in a supplemental volume of the ISSRE conference proceedings, published by the IEEE Computer Society on IEEE Xplore.

Submission guidelines

We invite original research papers discussing ideas and novel approaches in the area of software certification and dependability.

Papers must be submitted as a single Portable Document Format (PDF) file through the submission website:

Both full-length (up to 8 pages) and short papers (e.g., papers reporting on-going projects and prospective ideas, up to 4 pages) are welcome. Papers must be written in English, and be formatted according to the IEEE Computer Society Format Guidelines. We recommend that you embed fonts whenever possible to improve portability. We also strongly recommend you print the file and review it for integrity (fonts, symbols, equations, etc.) before submitting it. Papers that exceed the page limits specified above, are outside the scope of the workshop, or do not follow the formatting guidelines will be rejected.

All submitted manuscripts will be peer-reviewed by program committee members, with the objective of having at least three reviews for each paper. The best papers will be accepted and included in the workshop program according to the following criteria: relevance of the addressed topic to the scope of the workshop; novelty of the proposed contribution; technical relevance and practicality of presented ideas; relevance of case studies and of results for the industrial community; writing, presentation accuracy and style.

Accepted papers will be published in a supplemental volume of the ISSRE conference proceedings by the IEEE Computer Society, and will appear on IEEE Xplore, provided that at least one author of each accepted paper registers for the ISSRE conference and presents the paper at the workshop.

About the past editions of WoSoCer

Please see the following websites for more information about previous editions of WoSoCer, including talks and research papers that have been presented there.

ISSRE 2017 website: http://www.issre.net