| |||||||||||||
WoSoCer 2014 : 4th International IEEE Workshop on Software Certification Co-located with ISSRE | |||||||||||||
Link: http://www.cecris-project.eu/index.php/wosocer2014-home | |||||||||||||
| |||||||||||||
Call For Papers | |||||||||||||
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: • Quantitative and qualitative evaluation of software dependability, and product-oriented certification and assurance cases • Certifiable software for modern complex systems, including dynamic, autonomic, large-scale, and distributed systems • Third-party components and software reuse across systems and safety standards • Improvement of software development processes (e.g., SPICE, CMMI) in safety- and security-critical domains • Cost-related issues and return-on-investment for certification activities • Adoption of emerging technologies and practices in safety-critical systems • Open issues, practical experiences and real-world case studies • Cross-fertilization between safety and security standards and certification 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. |
|