November 3-6, 2014
The aim of the WoSoCer workshop series is to discuss novel safety assessment and certification approaches able to scale for complex software, and to promote their adoption in real-world, safety-critical systems through industrial and academic research projects.
Topics of interest include, but are not limited to:
We solicit the submission of original research papers, up to 6 pages. Moreover, we invite proposals for demonstrations of innovative tools for dependability and certifiability assessment, accompanied by a short paper describing the tool, up to 3 pages. Tools will be presented during a special session at the workshop, with live demos and presentations.
Both research papers and short papers about the tools will be included in a supplemental volume of the ISSRE conference proceedings, and published by the IEEE Computer Society on IEEE Xplore (http://ieeexplore.ieee.org).