posted by user: rnatella || 3052 views || tracked by 6 users: [display]

WoSoCer 2016 : 6th International IEEE Workshop on Software Certification

FacebookTwitterLinkedInGoogle

Link: http://www.mobilab.unina.it/wosocer2016
 
When Oct 23, 2016 - Oct 27, 2016
Where Ottawa, Canada
Submission Deadline Jul 29, 2016
Notification Due Aug 19, 2016
Final Version Due Aug 28, 2016
Categories    software engineering   safety   reliability   standards
 

Call For Papers

*************************************************
CALL FOR PAPERS

WoSoCer 2016

The 6th International IEEE Workshop on
Software Certification

October 23-27, 2016, Ottawa, Canada

http://www.mobilab.unina.it/wosocer2016

*************************************************


Special theme:
Certification of Safety and Security of
Medical Devices


Co-located with the 27th IEEE Symposium on
Software Reliability Engineering (ISSRE 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.

In addition to the traditional topics on the certification of
safety-critical systems, this edition of the workshop will emphasize
the certification of medical devices, where software is
highly interconnected and new regulations are addressing
the consequent safety and security challenges. Contributions on this
theme are especially welcome.

The topics of the workshop include (but are not limited to):

- 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

Accepted peer-reviewed papers will be included in a supplemental
volume of the ISSRE conference proceedings, and published by the
IEEE Computer Society on IEEE Xplore.




IMPORTANT DATES

Paper submission: July 29th, 2016

Paper notification: August 19th, 2016

Camera-ready: August 28th, 2016




PROGRAM COMMITTEE CHAIRS

Homa Alemzadeh, IBM Watson Research Center, USA
Mark Lawford, McMaster University, Canada



STEERING COMMITTEE

Roberto Natella, Federico II University of Naples, Italy
Roberto Pietrantuono, Federico II University of Naples, Italy
Nuno Silva, CRITICAL Software S.A., Portugal

Related Resources

IEEE--ICCSN--Ei and Scopus 2020   2020 IEEE 12th International Conference on Communication Software and Networks (ICCSN 2020)--Ei Compendex, Scopus
ACM-MLNLP-Ei/Scopus 2019   2019 2nd International Conference on Machine Learning and Natural Language Processing
IEEE--ICCIA--Ei Compendex, Scopus 2020   IEEE--2020 5th International Conference on Computational Intelligence and Applications (ICCIA 2020)--Ei Compendex, Scopus
EI-CMSME 2020   2020 3rd International Joint Conference on Materials Science and Mechanical Engineering (CMSME 2020)
WoSoCer 2019   The 9th IEEE International Workshop on Software Certification Co-located with the ISSRE 2019 conference
CFIMA 2020-Ei Compendex & Scopus 2020   2020 International Conference on Frontiers of Intelligent Manufacturing and Automation (CFIMA 2020)
ICCSN--IEEE, Ei Compendex and Scopus 2020   2020 IEEE 12th International Conference on Communication Software and Networks (ICCSN 2020)--Ei Compendex, Scopus
ICCSIT 2019   2019 the 12th International Conference on Computer Science and Information Technology (ICCSIT 2019)
MOBILESoft 2020   7th IEEE/ACM International Conference on Mobile Software Engineering and Systems 2020
ICSCA--ACM, Ei, Scopus 2020   ACM--2020 9th International Conference on Software and Computer Applications (ICSCA 2020)--Ei Compendex, Scopus