posted by organizer: annla83 || 1275 views || tracked by 6 users: [display]

WoSoCer 2014 : 4th International IEEE Workshop on Software Certification Co-located with ISSRE

FacebookTwitterLinkedInGoogle

Link: http://www.cecris-project.eu/index.php/wosocer2014-home
 
When Nov 3, 2014 - Nov 6, 2014
Where Naples, Italy
Submission Deadline Aug 24, 2014
Notification Due Sep 9, 2014
Final Version Due Sep 15, 2014
 

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.

Related Resources

Microservices 2017   Microservices - Special Issue at IEEE Software
ISCMI - IEEE 2017   2017 4th Intl. Conference on Soft Computing & Machine Intelligence (ISCMI 2017)--IEEE Xplore, Ei Compendex
ICSRS - Ei 2017   2017 2nd International Conference on System Reliability and Science (ICSRS 2017)--IEEE, Ei Compendex and Scopus
SENSE 2017   The first workshop on Sense, Concept and Entity Representations and their Applications, co-located with EACL 2017
CCDWN 2017   2nd Content Caching and Delivery in Wireless Networks Workshop (co-located with WiOpt 2017)
WANLP 2017   The Third Arabic Natural Language Processing Workshop
SCST 2017   2nd Workshop on Supporting Complex Search Tasks, co-located with CHIIR 2017
SEMS 2017   Workshop on Security for Embedded and Mobile Systems (Co-located with Euro S&P and Euro Crypt)
CSoNet 2017   The 6th International Conference on Computational Social Networks (CSoNet 2017), August 3-5, 2017, Hong Kong, China. (co-located with COCOON 2017)
MiSeNet 2017   The Sixth IEEE Annual International Workshop on Mission-Oriented Wireless Sensor Networking (co-located with INFOCOM 2017)