CALL FOR PAPERS:   SASSUR 2012

================================================================================

SASSUR International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems

http://www-e.uni-magdeburg.de/safecomp/about-sc-2012/workshops/104-sassur

Magdeburg, Germany, September 25, 2012

In conjunction with 31st International Conference on Computer Safety, Reliability and Security

www.ovgu.de/safecomp

================================================================================

Safety assurance and certification are amongst the most expensive and time-consuming tasks in the development of safety-critical systems. The increasing complexity and size of these systems combined with their growing market demand requires the industry to implement a coherent reuse strategy. A key difficulty appears when trying to reuse products from one application domain in another, because different domains are subject to different safety regulations. Subsequently, for a reused product, the full safety assurance and certification process has to be applied, just as for a new product. This reduces the return on investment of such reuse. Further, market trends strongly suggest that many future safety-critical systems will be comprised of heterogeneous, dynamic coalitions of systems of systems. For this type of systems, it is crucial to develop sound strategies that would allow safety assurance and certification to be done compositionally.

The SASSUR workshop is intended to explore new ideas on compositional and evolutionary safety assurance and certification. In particular, SASSUR will provide a platform for thematic presentations and in-depth discussions about reuse and composition of safety arguments, safety evidence, and contextual information about system components, in a way that makes assurance and certification more cost-effective, precise, and scalable. SASSUR aims at bringing together experts, researchers, and practitioners, from diverse communities, such as safety and security engineering, certification processes, model-based technologies, software and hardware design, safety-critical systems and applications communities (railway, aerospace, automotive, health, industrial manufacturing).

TOPICS

-----------------

Contributions are sought in (but are not limited to) the following topics:

* Industrial challenges for cost-effective safety assurance and certification

* Cross-domain product certification

* Integration of process-centric and product-centric assurance

* Compliance management of standards and regulations

* Evidence traceability

* Transparency of the safety assurance and certification processes: metrics and business cases

* Evolutionary approaches for safety and security assurance and certification

* Case-based  assurance approaches

* Open-source tools for supporting of safety assurance

* Mixed-criticality systems and multi-core platforms

* Model-based methods and tools for safety assurance and certification support

IMPORTANT DATES

----------------

Submission of Papers (extended): May 25th, 2012

Acceptance Notification: May 29th, 2012

Revised Version for Electronic Proceedings: June 29th, 2012

Workshop: September 25th, 2012

INFORMATION FOR AUTHORS

--------------------------

Papers for the workshop must be written in English, should not exceed 14 pages in the required format, and should be submitted in PDF via the EasyChair system at https://www.easychair.org/conferences/?conf=safecomp2012

Submissions must conform to the Springer LNCS formatting guidelines.

The workshop proceedings with the revised, final version of the accepted papers will be published in  a special Springer LNCS volume for SAFECOMP workshops.

WORKSHOP ORGANIZERS

--------------------------------------------

Mehrdad Sabetzadeh, Simula Research Laboratory, Norway,

Tim Kelly, University of York, UK

Didier Van Den Abeele, Alstom Transport, France

Alejandra Ruiz, Tecnalia, Spain, (contact person: alejandra dot ruiz at tecnalia dot com)

STEERING COMMITTEE

--------------------------------------------

- Annie Combelles, Inspearit, France

- John Favaro & Paolo Panaroni, Intecs, Italy

- Huascar Espinoza, TECNALIA, Spain

- Fulvio Tagliabò, Centro Ricerche FIAT, Italy

- Javier Diaz, University of Granada, Italy