[SystemSafety] [WoSoCer 2014] 2nd CfP ** Deadline extended to 24 August **

[Förster, Marc]

 ------------------------------------------------------------------------------
   The 4th International IEEE Workshop on Software Certification

                                            (WoSoCer 2014)

                       http://cecris-project.eu/wosocer2014

                           3-6 November 2014, Naples, Italy

                                      Second Call for Papers
 ------------------------------------------------------------------------------

The Workshop on Software Certification (WoSoCer) series is a venue for discussing
novel safety assessment and certification approaches able to scale for complex software,
and for promoting their adoption in real-world, safety-critical systems through industrial
and academic research projects.

The 2014 edition of WoSoCer is co-located with the 25th IEEE International
Symposium on Software Reliability Engineering (http://issre.net), and it will take place
in Naples, Italy, November 3-6, 2014.

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.


SUBMISSIONS

We invite two types of submissions:


  1.  Research papers: As in previous editions of the workshop, we look for
original papers discussing ideas and novel approaches for certification
and software dependability in critical domains. Moreover, we welcome
papers discussing open challenges and industrial case studies in this area.
The page limit for research papers is 6 pages.
  2.  Proposals for tool demonstrations: This edition of the workshop will include a
special session focused on tools for dependability and certifiability assessment,
with live demos and presentations. This session will allow authors to get
useful feedback from experts in the area, and will engage attendees by
discussing the latest advancements in the usability, scalability, and applicability
of safety assurance approaches. To propose a tool demonstration, please
submit a short paper that briefly describes the problem domain, the ideas
behind the tool, and a usage scenario of the tool.
The page limit for tool papers is 3 pages.

Both research papers and short papers about tools will be included in a
supplemental volume of the ISSRE conference proceedings, and published
by the IEEE Computer Society on IEEE Xplore (http://ieeexplore.ieee.org<http://ieeexplore.ieee.org/>).
Detailed submission guidelines are available on the workshop website
(http://cecris-project.eu/wosocer2014).


IMPORTANT DATES

- Paper submission: August 24, 2014

- Author notification: September 9, 2014

- Camera-ready papers: September 15, 2014

- Workshop: November 3-6, 2014


WORKSHOP ORGANIZERS

PC Chairs

- Jonny Vinter, SP Technical Research Institute of Sweden
- Marc Förster, RWTH, Germany

Program Committee

- Francesco Brancati (ResilTech s.r.l., Italy)
- Andrea Ceccarelli (University of Firenze, Italy)
- Domenico Cotroneo (Federico II University of Naples, Italy)
- Domenico Di Leo (Critiware s.r.l., Italy)
- Sigrid Eldh (Ericsson AB/Karlstad University, Sweden)
- Mafijul Islam (Volvo Group, Sweden)
- Bernhard Kaiser (Berner & Mattner, Germany)
- Rajwinder Kaur Panesar-Walawege (Simula Research Laboratory, Norway)
- Giuseppe Lami (ISTI - CNR, Italy)
- Nuno Laranjeiro (University of Coimbra, Portugal)
- Mark Lawford (McMaster University, Canada)
- Yun Liu (The Boeing Company, USA)
- Rao Mannepalli (Lockheed Martin, USA)
- Zoltán Micskei (Budapest University of Technology and Economics, Hungary)
- Sasikumar Punnekkat (Mälardalen University, Sweden)
- Stefano Russo (Federico II University of Naples, Italy)
- Marco Vieira (University of Coimbra, Portugal)
- Stefan Winter (TU Darmstadt, Sweden)
- Jianwen Xiang (NEC Corporation, USA)

 Publication Chair

- Anna Lanzaro (Federico II University of Naples, Italy)

Steering Committee

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

We look forward to seeing you in Napoli! Kind regards, Marc


_____________________________
marc förster

rwth, embedded software laboratory
ahorn- 55, d-52074 aachen
europa

+49 241 80-21160

foerster at embedded.rwth-aachen.de<mailto:foerster at embedded.rwth-aachen.de>
http://embedded.rwth-aachen.de

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20140808/c76d4d60/attachment-0001.html>