WoSoCer 2019

The 9th IEEE International Workshop on Software Certification

Special theme: certification for railways software systems of the future

Co-located with the ISSRE 2019 conference

28-31 October 2019, Berlin, Germany

Carousel imageCarousel imageCarousel imageCarousel imageCarousel imageCarousel imageCarousel imageCarousel imageCarousel imageCarousel imageCarousel image

Important Dates

July 28, 2019: Paper submission

August 08, 2019: Paper submission (Extended)

August 25, 2019: Paper notification

September 1, 2019: Paper notification (Extended)

September 8, 2019: Camera ready

October 28 - 31, 2019: Workshop

Program Chairs

Luigi De Simone, Federico II U. of Naples, Italy

Brahim Hamid, CNRS/IRIT Laboratory, Institut de Recherche en Informatique de Toulouse

Steering Committee

Homa Alemzadeh, University of Virginia, USA

Barbara Gallina, Mälardalen University, Sweden

Roberto Natella, Federico II U. of Naples, Italy

Roberto Pietrantuono, Federico II U. of Naples, Italy

Nuno Silva, CRITICAL Software S.A., Portugal

Program Committee

Nuno Antunes, University of Coimbra

Alessandro Biondi, Scuola Superiore Sant'Anna

Andrea Ceccarelli, University of Florence

Joao Carlos Cunha, Instituto Superior de Engenharia de Coimbra

Alessandro Fantechi, University of Florence

Francesco Flammini, Linnaeus University

Fuqun Huang, Institute of Interdisciplinary Scientists

Giuseppe Lami, ISTI – CNR

Anna Lanzaro, NIER Ingegneria S.p.A.

Peter Popov, City University

Stefano Russo, Federico II University of Naples, Italy

Alberto Sillitti, Innopolis University

Stefano Tonetta, FBK-irst

Jonny Vinter, RISE Research Institutes of Sweden

Jianwen Xiang, Wuhan University of Technology

Stefan Winter, TU Darmstadt

Workshop program

Session 1 (Tue 29th Oct, 13:30 - 15:30) (Certified OSes and Cloud Infrastructures)

  • Keynote Talk (1h): Safety Assurance and Certification: Current Practices, Challenges, and Brainstorming on Ways Forward - Barbara Gallina, Mälardalen University, Sweden (details)
  • Analyzing and Improving Customer-side Cloud Security Certifiability - Shujie Zhao, Yiqun Chen, Stefan Winter and Neeraj Suri (TU Darmstadt)
  • Isolating Real-Time Safety-Critical Embedded Systems via SGX-based Lightweight Virtualization - Luigi De Simone (Università degli Studi di Napoli Federico II) and Giovanni Mazzeo (University of Naples "Parthenope")
  • EN-50128 certification-oriented design of a safety-critical hard real-time kernel - Ciro Donnarumma (Rete Ferroviaria Italiana S.P.A.), Pietro Fara, Gabriele Serra, Sandro Di Leonardi and Mauro Marinoni (Scuola Superiore Sant’Anna)

Session 2 (Tue 29th Oct, 16:00 - 18:00) (Assurance Cases)

  • Continuous Deployment for Dependable Systems with Continuous Assurance Cases - Fredrik Warg (RISE Research Institutes of Sweden), Hans Blom (Zenuity), Jonas Borg (Volvo Penta) and Rolf Johansson (Autonomous Intelligent Driving)
  • Integration of Tool Support for Assurance and Certification and for Knowledge-Centric Systems Engineering - Jose Luis de la Vara (University of Castilla-La Mancha), Eugenio Parra (Universidad Carlos III de Madrid), Luis Alonso (The REUSE Company), Roy Mendieta (The REUSE Company), Borja Lopez (The REUSE Company) and Jose María Alvarez-Rodríguez (Universidad Carlos III de Madrid)
  • ExplicitCase: Tool-support for Creating and Maintaining Assurance Arguments Integrated with System Models - Carmen Cârlan, Vivek Nigam, Alexandros Tsalidis and Sebastian Voss (fortiss GmbH)
  • Modelling DO-178C Assurance Needs: A Design Assurance Level-Sensitive DSL - Nicolas Métayer, Andrés Paz and Ghizlane El Boussaidi (École de technologie supérieure)
  • On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering - Antoaneta Kondeva, Carmen Carlan, Harald Ruess and Vivek Nigam (fortiss GmbH)

Call for Papers

The WoSoCer workshop is a forum to discuss novel solutions for the assessment and certification of software in critical systems, and to promote their adoption through 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 to a special theme currently of high relevance: the certification for railways software systems of the future (including automatic train operation, predictive maintenance, railways software security, etc.).

Topics of interest include (but are not limited to):

  • Certification and assurance of systems and services
  • Certification of software for emerging technological trends, including dynamic, autonomic, large-scale, and distributed systems
  • Certification of third-party components, software reuse, and open-source software across systems and services
  • Certification and best practices of software development processes in safety- and security-critical domains
  • Quantitative and qualitative evaluation of system dependability and resilience
  • 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

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 EasyChair website: https://easychair.org/my/conference?conf=issre2019

The page limit papers is up to 8 pages. Both full-length and short papers (e.g., papers reporting ongoing 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.

Workshop venue

WoSoCer will take place at Fraunhofer FOKUS, Kaiserin-Augusta-Allee 31 10589 Berlin