-------- Weitergeleitete Nachricht -------- Betreff: [AISWorld] [Call For Papers] 5th IEEE Intl. Workshop on Software Certification (WoSoCer 2015) Datum: Fri, 3 Jul 2015 11:47:35 +0200 Von: Roberto Natella roberto.natella@unina.it An: aisworld@lists.aisnet.org

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

CALL FOR PAPERS

The 5th International IEEE Workshop on Software Certification

WoSoCer 2015

November 2-5, 2015, Washington DC, USA

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

***** HIGHLIGHTS *****

- Co-located with a top conference: the 26th IEEE Symp. on Software Reliability Engineering (ISSRE 2015)

- Special theme of this edition: the certification of cloud computing services and infrastructures

- A journal special issue for extended, high-quality papers on Reliability Engineering & System Safety, a high-impact Elsevier journal

- For more information, visit: http://www.mobilab.unina.it/wosocer2015 http://www.mobilab.unina.it/wosocer2015

***** OVERVIEW *****

Software is pervasive in our society, and certifying reliability and safety of software-intensive systems has become an important problem and a hot research area. In fact, the scope of software is widening more and more in many critical domains such as avionics, space, railway, automotive, nuclear, medical, and air traffic control. However, the certification of software-intensive systems is still challenging, due to several technical limitations in software development and verification that affect our ability to achieve sufficient confidence. These issues are today exacerbated by the increasing complexity of software (in terms of amount, depth, interactions, coupling, and criticality of functions implemented by the software) and the emergence of new technologies, development practices, applications, and threats. Moreover, assessing the safety of modern systems often requires significant effort and costs, leading to conflicts of interest between the public (as represented by certification authorities), whose aim is to ensure reliability and safety, and commercial manufacturers, who strive for minimizing legal responsibility and for reducing costs: suffices to think of the limited use in industry of even the most basic formal techniques for software verification. As a result, several industry-driven initiatives and standards, such as the ISO 26262, are currently facing these issues.

The Workshop series on Software Certification (WoSoCer) has been recently established to address these challenges. It aims to provide novel solutions applicable for complex and critical software, and to promote their adoption in real-world systems through industrial and academic research projects. Since its inception in 2011, four editions of the WoSoCer workshop have been held in conjunction with the IEEE International Symposium on Software Reliability Engineering (ISSRE), which is the premier conference on the theory and practice of software reliability, featuring both a strong research and an equally strong industry participation; a fifth edition of the workshop is currently under organization. WoSoCer has been a forum for researchers (from academia and industry), practitioners, companies, domain experts, and regulatory authorities interested in investigating and discussing novel solutions for the certification of software-intensive systems.

In addition to the traditional topics on the certification of safety-critical systems, this edition of the workshop will feature the following special theme: the certification of cloud computing services and infrastructures. This theme is of high-priority for both cloud providers and users, who are concerned with emerging security and privacy aspects of services and data.

The workshop will be held with the 26th IEEE International Symposium on Software Reliability Engineering (ISSRE 2015), and will take place in November 2-5 in Washington DC, USA, at the premises of the NIST, a US national organization that is leading the standardization of cloud computing technologies.

The website of the workshop is located at: http://www.mobilab.unina.it/wosocer2015 http://www.mobilab.unina.it/wosocer2015

***** TOPICS *****

We welcome contributions related (but not limited to) the following topics:

- Certification of cloud computing services and infrastructures (special theme of WoSoCer 2015) - Quantitative and qualitative evaluation of system dependability and resilience - 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 - 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 (between 6 and 8 pages) will be included in a supplemental volume of the ISSRE conference proceedings, and published by the IEEE Computer Society on IEEE Xplore.

***** JOURNAL SPECIAL ISSUE *****

A journal special issue of the workshop has been planned on Reliability Engineering & System Safety, a high-impact Elsevier journal (http://www.journals.elsevier.com/reliability-engineering-and-system-safety/ http://www.journals.elsevier.com/reliability-engineering-and-system-safety/).

The authors of the best WoSoCer papers will be invited to submit a significantly extended (at least by 30%) version of their work. Extended papers will undergo a full peer-review process to assure the quality and the originality of the research. Invited papers will be selected on the basis of the novelty of the proposed contributions, the technical and methodological rigor, and the practical impact and relevance of case studies and results for both the research and the industrial communities.

***** IMPORTANT DATES *****

Paper submission: August 14th, 2015

Paper notification: September 4th, 2015

Camera-ready: September 15th, 2015

***** ABOUT THE SPECIAL THEME *****

The cloud computing paradigm is today the foundation of IT systems in business-critical domains, such as banking, e-commerce, and telecommunication. However, cloud computing has also raised concerns among cloud users about security and privacy, since services and data are now deployed in remote cloud computing infrastructures managed by third-party organizations, making more difficult for customers to select a cloud computing solution that fits their needs. Therefore, the certification of cloud services and infrastructures has become a high-priority issue for service providers and the user community, as demonstrated by recent initiatives on cloud computing standards, such as the NIST Cloud Computing Program, the ENISA Cloud Security and Resilience initiative, the ISO/IEC 27018, and the Open Data Center Alliance.

***** ORGANIZING COMMITTEES *****

Program Co-Chairs:

Massimo Felici, HP Labs, UK Barbara Gallina, Mälardalen University, Sweden

Technical Program Committee:

Homa Alemzadeh, University of Illinois, USA Nuno Antunes, University of Coimbra, Portugal Domenico Cotroneo, Federico II U. of Naples, Italy Alec Dorling, Impronova, Sweden Sigrid Eldh, Ericsson AB/Karlstad Univ., Sweden Marc Förster, RWTH, Germany Ibrahim Habli, University of York, UK Fuqun Huang, Ohio State University, USA Philip Koopman, Carnegie Mellon University, USA Mark Lawford, McMaster University, Canada Mikael Lindvall, Fraunhofer CESE, USA Islam Mafijul, Volvo Adv. Tech.&Research, Sweden Rao Mannepalli, Lockheed Martin, USA Ilaria Matteucci, CNR, Italy Veena Mendiratta, Bell Labs, Alcatel-Lucent, USA Manoj Nambiar, Tata Consultancy Services, India Ganesh Pai, NASA Ames Research Center, USA Karthik Pattabiraman, U. British Columbia, Canada Arpan Roy, Infosys Ltd., India Stefano Russo, Federico II University of Naples, Italy Mehrdad Sabetzadeh, University of Luxembourg George Spanoudakis, City University, UK Ali Sunyaev, University of Cologne, Germany Kumiko Tadano, NEC, Japan Henrik Thane, Safety Integrity AB, Sweden Jonny Vinter, SP Technical Research Inst. of Sweden Stefan Winter, TU Darmstadt, Germany Jianwen Xiang, Wuhan University, China

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

Publication chair:

Anna Lanzaro, Federico II University of Naples, Italy

Web chair:

Antonio Ken Iannillo, Federico II University of Naples, Italy

---- 5x1000 AI GIOVANI RICERCATORI DELL'UNIVERSITÀ DI NAPOLI Codice Fiscale: 00876220633 www.unina.it/Vademecum5permille

_______________________________________________ AISWorld mailing list AISWorld@lists.aisnet.org