Welcome to WoSoCer 2016

The WoSoCer workshop series is a forum for discussing novel solutions for the assessment and certification of software in critical systems, and for promoting their adoption through industrial and academic research projects.

The 2016 edition of WoSoCer is co-located with the 27th IEEE International Symposium on Software Reliability Engineering (ISSRE 2016), and it will take place in Ottawa, Canada, in October 24, 2016.

WoSoCer 2016 program

Session #1: Invited talkNavigating Regulatory Issues for Software-Based Medical Device Products, by Michelle Jump (Stryker corp.) - download presentation
Session #2: Reliability and Safety AssuranceJ. Weber and M. Price. Certification of Medical Information Systems - Towards a Foundational Framework and Methodology
 S. Müller and P. Liggesmeyer. Safety Assurance for Emergent Collaboration of Open Distributed Systems
 Q. Li and C. Mao. Considering testing-coverage and fault removal efficiency subject to the random field environments with imperfect debugging in software reliability - download presentation
Session #3: Invited talkDeveloping High Integrity Systems Using Model-Based Design, by Konstantin Dmitriev (The Mathworks, Inc.)
Session #4: Modeling and formalisms for certificationC. Carlan, T. A. Beyene and H. Ruess. Integrated Formal Methods for Constructing Assurance Cases - download presentation
 A. Paz and G. El Boussaidi. On the Exploration of Model-Based Support for DO-178C-Compliant Avionics Software Development and Certification - download presentation
 S. Russo and F. Scippacercola. Model-Based Software Engineering and Certification: Some Open Issues - download presentation

Workshop topics:

  • 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