posted by system || 1384 views || tracked by 1 users: [display]

WoSoCer 2013 : The 3rd IEEE International Workshop on Software Certification

FacebookTwitterLinkedInGoogle

Link: http://www.cecris-project.eu/wosocer2013
 
When Nov 4, 2013 - Nov 7, 2013
Where Pasadena, CA, USA
Submission Deadline Aug 30, 2013
Notification Due Sep 16, 2013
Final Version Due Oct 1, 2013
 

Call For Papers

**** CALL FOR PAPERS ****

The 3rd IEEE International Workshop on
Software Certification (WoSoCer2013)

November 4-7, 2013

co-located with the 24th IEEE International
Symposium on Software Reliability Engineering (ISSRE)


http://www.cecris-project.eu/wosocer2013


The WoSoCer workshop series brings together researchers,
practitioners, companies, domain experts, and regulatory
authorities interested in investigating and discussing new
strategies, methods, processes, formalisms and techniques
for the development and the assessment of safety- and
security-critical software. Researchers and practitioners
from both academia and industry, as well as people from
certification authorities, that work on different aspects
of software certification, are invited to participate;
the workshop aims to foster interactions among these
players, and to propose solutions for improving the
development of critical systems, as well as the certification
process as a whole.



**** WORKSHOP TOPICS ****

Two types of submissions are solicited: (i) full papers,
up to 6 pages, describing novel approaches and industrial
case studies; and (ii) short papers, up to 3 pages, describing
challenges and directions for future research, and in-progress
industrial research projects. Topics of interest include, but
are not limited to:

* Quantitative and qualitative evaluation of dependability,
and product-oriented certification and assurance cases;

* Design and evaluation of certifiable software according to
the needs of modern complex systems, including dynamic,
autonomic, large-scale, and distributed systems;

* Selection, assessment, integration and development of
third-party components in safety- and security-critical
systems, and reuse of the software components across different
systems and different safety standards;

* Assessment and improvement of software development processes
(e.g., SPICE, CMMI) in safety- and security-critical domains.

* Cost-related issues and return-on-investment for development
activities, including requirement analysis, design, V&V, and
maintenance;

* Adoption of emerging technologies (such as multicore computing
and virtualization) and practices (such as agile and
model-driven software development) in safety-critical systems;

* Open issues, practical experiences and empirical studies on
real-world case studies;

* Cross-fertilization between safety and security standards and
certification.


All submitted papers will be peer-reviewed by program committee
members, and selected on the basis of the relevance, novelty,
practicality, and presentation of ideas and case studies
presented. Accepted papers will be published in a supplemental
volume of the ISSRE conference proceedings by the IEEE Computer
Society.



**** IMPORTANT DATES ****

Paper submission: August 30, 2013

Author notification: September 16, 2013

Camera ready papers: October 1, 2013

Related Resources

IEEE--ICSRS--Ei and Scopus 2018   IEEE--2018 3rd International Conference on System Reliability and Safety (ICSRS 2018)--Ei Compendex and Scopus
ICSRS--IEEE, Ei and Scopus 2018   IEEE--2018 3rd International Conference on System Reliability and Safety (ICSRS 2018)--Ei Compendex and Scopus
ICMSS--Ei and Scopus 2019   2019 3rd International Conference on Management Engineering, Software Engineering and Service Sciences (ICMSS 2019)--Ei and Scopus
ICMSS--Ei Compendex and Scopus 2018   2019 3rd International Conference on Management Engineering, Software Engineering and Service Sciences (ICMSS 2019)--Ei and Scopus
ICMLSC--Ei and Scopus 2019   2019 3rd International Conference on Machine Learning and Soft Computing (ICMLSC 2019)--Ei Compendex and Scopus
IPDPS 2018   32nd IEEE International Parallel and Distributed Processing Symposium
IEEE Big Data 2018   2018 IEEE International Conference on Big Data
ISAIR 2018   The 3rd International Symposium on Artificial Intelligence and Robotics 2018
SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence
ICSE Workshops 2018   ACM Workshops@International Conference on Software Engineering