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

WoSoCer 2017   The 7th IEEE International Workshop on Software Certification
ART 2018   IEEE Transactions on Reliability Special Section on Adaptive Random Testing
ART 2018   IEEE Transactions on Reliability Special Section on Adaptive Random Testing
ISSTA 2018   International Symposium on Software Testing and Analysis
ICSA 2018   International Conference on Software Architecture
IPDPS 2018   32nd IEEE International Parallel and Distributed Processing Symposium
IEEE AVSS 2018   IEEE International Conference on Advanced Video and Signal-based Surveillance
OSDI 2018   13th USENIX Symposium on Operating Systems Design and Implementation
IEEE ISNCC 2018   2018 IEEE International Symposium on Networks, Computers and Communications
ICSE Workshops 2018   ACM Workshops@International Conference on Software Engineering