posted by system || 1425 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

QRS 2019   The 19th IEEE International Conference on Software Quality, Reliability, and Security
ICCSM--JA, Scopus 2019   2019 3rd International Conference on Computer, Software and Modeling (ICCSM 2019)--JA, Scopus
IEEE--ICCSN--Ei and Scopus 2019   IEEE--2019 11th International Conference on Communication Software and Networks (ICCSN 2019)--Ei Compendex, Scopus
ICCSN--IEEE, Ei and Scopus 2019   IEEE--2019 11th International Conference on Communication Software and Networks (ICCSN 2019)--Ei Compendex, Scopus
SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence
ADON 2018   International Workshop on Anomaly Detection ON the Cloud and the Internet of Things
ISSTA 2019   International Symposium on Software Testing and Analysis
ESEM 2019   Empirical Software Engineering and Measurement
SRDS 2019   38th IEEE International Symposium on Reliable Distributed Systems
IEEE--ICSIP--Ei Compendex and Scopus 2019   2019 IEEE 4th International Conference on Signal and Image Processing (ICSIP 2019)--Ei Compendex and Scopus