CSCR 2013 - International Workshop on Critical Software Component Reusability and Certification across Domains

International Workshop on Critical Software Component Reusability and Certification across Domains
Organizers: Silvia Mazzini (silvia.mazzini at intecs.it) and Tullio Vardanega( tullio.vardanega atmath.unipd.it )
This workshop will look into the important topic of the interaction of component based software reuse and safety, together with its implications for the certification process. Safety concerns the prevention of accidents, and is characterized here 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 framework requires a thorough discussion between all involved parties. Basic topics of interest include but are not restricted to:
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?
More specific topics of interest include the following:
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?
Discussion can stem from the following contrarian hypotheses:
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