Short News
Critical Software co-organizes the 1st International Workshop on Software Certification (WoSoCER)
15 Nov 2011
Critical Software is co-organizing and promoting a workshop on Software Certification (WoSoCER). This workshop is integrated in the IEEE 22nd International Symposium on Software Reliability Engineering, scheduled for Nov 29 - Dec 2, 2011, in Hiroshima, Japan. The workshop is targeted at researchers and engineers from academia and industry, as well as government and certification authorities, basically with interest in software certification topics. It intends to foster a broad discussion around the most challenging topics currently faced in this domain, and share experiences between the Japanese community and the international participants.
Certification of software is becoming crucial for companies developing mission and safety critical systems. As a result of software-related disasters, some professionals and authorities believe that licensing or certification is nowadays inevitable. At present, there is no firm agreement on what development and assessment methods, techniques, tools, or even evaluation metrics are more suitable to provide evidences on which to base software certification.
The event is co-organized by Critical Software in partnership with Duke University (USA) and Università di Napoli Federico II (Italy), and will include several practical experience reports, research work and keynote speeches, namely from Dr. Alberto Avritzer, from Siemens Corporate Research in Princeton, New Jersey, USA.
The main topics of the workshop include: Methodological improvements for the development process of software to be certified; Modeling techniques, formalisms, measurement processes, new metrics, techniques, strategies, and tools for the Software Certification area; Practical experiences on real case studies regarding certified software or software to be certified.
Associated with the organization of WoSoCER, in the frame of European project CRITICAL STEP, Critical Software experts have also been invited to be part of the Software Reliability for Mission Critical Systems panel, together with experts from the US, Japan, and the United Kingdom. The panelists, all practitioners in this demanding field, will share their recent experiences in software verification and validation for mission critical systems. The discussion will address traditional (nuclear, aerospace) as well as the emerging mission critical software domains and their specific reliability challenges. Mr. Nuno Silva, Critical Software's Program Manager, will represent Critical Software in this plenary session to be held on November 29th at ISSRE.
For further information, please visit the official website at http://2011.issre.net/content/1st-international-workshop-software-certification-wosocer
