International Workshop on Critical Software Component Reusability and Certification across Domains
in conjunction with ICSR 2013 (http://softeng.polito.it/ICSR13/)
18 June 2013, Pisa, Italy
This workshop addresses the interaction between component-based software reuse and safety, together with its implications on certification. Safety concerns the prevention of accidents, and can be characterized as an "emergent property that arises at the system level when components are operating together". Systematic reuse of software components in critical environments would benefit from a solid and rich certification framework. Compositional certification is a challenging approach currently under study to standardize and promote software components reuse. When safety is at stake, cross domain reuse and certification become particularly complex and challenging issues: paving the way for a suitable certification framework requires a thorough discussion among all stakeholders.
Workshop GoalThe goal of the workshop is to determine which aspects of component reuse affect safety, and to what extent cross domain reuse can have an impact on safety issues and composition. Component certification and safety parameters must be considered from a cross-domain point of view in order to gain the maximum benefit from the definition of a suitable certification paradigm. The workshop aims to bring together practitioners from software reuse and certification domains to exchange experience, discuss current and emerging problems, and construct an agenda for future work in this area.
Topics of Interest
- How can safety-related aspects of components be specified?
- How is reuse currently addressed in the safety international standards?
- What are the legal aspects of reuse and safety?
- To what extent can software reuse be based on already established (certified) properties?
- How can we enable composable qualification and certification of software across domains?
- What new processes could be defined to ensure components that are certifiable across domains?
- Reuse of proven software components may increase reliability, but has little or no effect on safety
- Specific hazards of new implementation may not have been considered
Workshop StructureThe workshop is organized as a one-day event. Position papers will be presented and discussed in the morning session. Presentations should use specific examples to clarify the points being made, for example, using specific code components to show how they might be modified to make them safer.
In the afternoon the main issues emerged from the morning session will be discussed in a round table coordinated by a moderator (to be appointed). Participants will be invited to address the workshop’s principal topics of interest in the light of the morning’s presentations. Notes from the discussion will be integrated in a technical report to be produced as a first outcome of the workshop and as a starting point for future elaboration.
Position papers and presentations will be published on this website after the workshop, along with the summary report.
Instructions for Position PapersPotential presenters are invited to submit position papers of no more than five pages to:
CSC2013 at intecs.it
Papers shall be delivered in A4, one page per sheet.
- Submission of Position Papers: 15 April extended to 30 April 2013
- Notification of Acceptance: 15 May 2013
- Final position papers may be brought to the workshop
- Silvia Mazzini, Intecs S.p.A., Italy (Co-Chair)
- Tullio Vardanega, University of Padova, Italy (Co-Chair)
- Sasikumar Punnekkat, MDH, Sweden
- Michel Chaudron, Chalmers & Gothenborg University, Sweden
- Ivica Crnkovic, MDH, Sweden
- Tim Kelly, University of York, United Kingdom
- Thomas Vergnaud, Thales Communications & Security, France
- Huascar Espinoza, TECNALIA, Spain
- Marc Born, ikv++ technologies ag, Germany
- Alain Rossignol, ASTRIUM Satellites SAS, France
- Jean-Loup Terraillon, ESA/ESTEC, The Netherlands
- Paul Arberet, Centre National d'Etudes Spatiales, France