WoSoCer 2022
The 12th IEEE International Workshop on Software Certification
Co-located with the ISSRE 2022 hybrid conference
Charlotte, North Carolina, USA, October 31 - November 3, 2022
Important Dates
August 03, 2022: Paper submission
August 09, 2022: Paper submission (extended)
August 21, 2022: Paper notification
August 26, 2022: Camera-ready
Oct 31 - Nov 3, 2022: Workshop
Program Chair
Luigi De Simone, Università degli Studi di Napoli Federico II, Italy
Nuno Laranjeiro, University of Coimbra, Portugal
Organizing Committee
Luigi De Simone, Università degli Studi di Napoli Federico II
Barbara Gallina, Mälardalen Univ., Sweden
Roberto Natella, Università degli Studi di Napoli Federico II, Italy
Roberto Pietrantuono, Università degli Studi di Napoli Federico II, Italy
Nuno Silva, CRITICAL Software S.A., Portugal
Program Committee
Nuno Antunes, University of Coimbra
Andrea Ceccarelli, University of Florence
Domenico Cotroneo, Università degli Studi di Napoli Federico II
Joao Carlos Cunha, Instituto Superior de Engenharia de Coimbra
Ákos Hajdu, Meta Platforms, Inc.
Fuqun Huang, Institute of Interdisciplinary Scientists
Dongseong Kim, The University of Queensland
Imre Kocsis, Budapest University of Technology and Economics
Rick Kuhn, Natl Institute of Standards & Technology
Johnny Marques, Instituto Tecnológico de Aeronáutica (ITA), Brasil
Mauro Marinoni, Scuola Superiore Sant'Anna of Pisa, Italy
Zoltan Micskei, Budapest University of Technology and Economics
Amin Nikanjam, Polytechnique Montréal
András Pataricza, Budapest University of Technology and Economics
Daniel Petrisor, Continental Automotive Romania R&D Iasi
Ricardo J. Rodríguez, Universidad de Zaragoza
Stefano Russo, Università degli Studi di Napoli Federico II
Alberto Sillitti, Innopolis University
Fredrik Warg, RISE Research Institutes of Sweden
Stefan Winter, LMU Munich
Workshop program
Mon 31st Oct, 8:50 AM - 9:00 AM EDT (Session Chair: Luigi De Simone)
Opening
Mon 31st Oct, 9:00 AM - 10:00 AM EDT (Session Chair: Luigi De Simone)
Keynote
How Safe Is Safe Enough for Autonomous Vehicles? - Prof. Philip Koopman, Associate Professor, Carnegie Mellon University, Department of Electrical and Computer Engineering (ECE), Pittsburgh, Pennsylvania, United States
10:00 AM - 10:30 AM EDT
Break
Mon 31st Oct, 10:30 AM - 11:50 AM EDT (Session Chair: Pietro Liguori)
Session 1: Performance, Safety/Security, and Machine Learning Assessment
(10:30-10:50) Towards Assessing Isolation Properties in Partitioning Hypervisors - Carmine Cesarano, Domenico Cotroneo and Luigi De Simone
(10:50-11:10) Continuous Verification of Open Source Components in a World of Weak Links - Thomas Hastings and Kristen Walcott
(11:10-11:30) Performance Bottleneck Analysis of Drone Computation Offloading to a Shared Fog Node - Qingyang Zhang, Fumio Machida and Ermeson Andrade
(11:30-11:50) Towards the Quantitative Verification of Deep Learning for Safe Perception - Philipp Schleiss, Yuki Hagiwara, Iwo Kurzidem and Francesco Carella
12:00 AM - 13:30 PM EDT
Lunch
Mon 31st Oct, 13:30 PM - 14:30 PM EDT (Session Chair: Nuno Laranjeiro)
Session 2: Safety in Avionic Domain
(13:30-13:50) Improving Documentation Agility in Safety-Critical Software Systems Development For Aerospace - Joaquim Rodrigues, Eduardo Ribeiro and Ademar Aguiar
(13:50-14:10) Programming Language Evaluation Criteria for Safety-Critical Software in the Air Domain - Rob Ashmore, Andrew Howe, Rhiannon Chilton and Shamal Faily
(14:10-14:30) A Domain Specific Language for the ARINC 653 Specification - Ikram Darif, Cristiano Politowski, Ghizlane El Boussaidi and Sègla Kpodjedo
Mon 31st Oct, 14:30 PM - 15:00 PM EDT (Session Chair: Luigi De Simone)
Closing Remarks + Discussion
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.
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
Certification in AI-based and ML systems
Certification for Cyber-Security
Certification for virtualized mixed-criticality systems
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:
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.