WoSoCer 2021

Workshop program

Mon 25th Oct, 1:00pm - 1:10pm UTC (Session Chair: Luigi De Simone)

Opening

Mon 25th Oct, 1:10pm - 2:15pm UTC (Session Chair: Luigi De Simone)

Session 1: Keynote

• Keynote Talk: Software certification: Lessons Learned from the Development of a Mechanical Ventilator for COVID-19 - Prof. Patrizio Pelliccione, Computer Science at Gran Sasso Science Institute (GSSI) - Italy (details)

2:15pm - 2:30pm UTC

Break

Mon 25th Oct, 2:30pm - 3:30pm UTC (Session Chair: Fuqun Huang)

Session 2: Machine Learning and Security Certification

• (2:30-2:50) (WiP) LLTFI: Low-Level Tensor Fault Injector - Abraham Chan, Udit Agarwal and Karthik Pattabiraman

• (2:50-3:10) An Efficient Dual Ensemble Software Defect Prediction Method with Neural Network - Jinfu Chen, Jiaping Xu, Saihua Cai, Xiaoli Wang and Yuechao Gu

• (3:10-3:30) From Application Security Verification Standard (ASVS) to Regulation Compliance: A Case Study in Financial Services Sector - Vincent Tan, Carmen Cheh and Binbin Chen

3:30pm - 3:45pm UTC

Break

Mon 25th Oct, 3:45pm - 4:45pm UTC (Session Chair: Pietro Liguori)

Session 3: Design Models, Test Cases, Software Requirements

• (3:45-4:05) Recommendations for the Usage of Design Models in Aviation Software - André Sarkis, Johnny Marques and Luiz Alberto Vieira Dias

• (4:05-4:25) Criteria for Software Requirements Specification based on Human Errors - Fuqun Huang

• (4:25-4:45) A Test Case Generation Method of Combinatorial Testing based on τ-way Testing with Adaptive Random Testing - Jinfu Chen, Jingyi Chen, Saihua Cai, Haibo Chen and Chi Zhang

Mon 25th Oct, 4:45pm - 5:30pm UTC (Session Chair: Luigi De Simone)

Session 4: Closing Remarks + Discussion

Call for Papers

download PDF

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.

This year, extended, peer-reviewed versions of the best papers will be invited for potential publication in Special Issue on Emerging Challenges in Software Certification and Verification in Springer Software Quality Journal. For submissions refer to this link

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/conferences/?conf=wosocer2021

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.