WOSOCER 2014 - 4th International IEEE Workshop on Software Certification co-located with ISSRE 2014

Website http://www.cecris-project.eu/index.php/wosocer2014-home | Edit Freely

Category WOSOCER 2014

Deadline: August 15, 2014 | Date: November 03, 2014-November 06, 2014

Venue/Country: Naples, Italy

Updated: 2014-06-18 07:49:37 (GMT+9)

Call For Papers - CFP

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(http://ieeexplore.ieee.org).