SASSUR 2019: Next Generation of System Assurance Approaches for Safety-Critical Systems Radisson Blu Marina Palace Hotel Turku, Finland, September 10, 2019 |
Conference website | https://sites.google.com/view/sassur2019 |
Submission link | https://easychair.org/conferences/?conf=sassur2019 |
Submission deadline | May 13, 2019 |
System assurance and certification are amongst the most expensive and time-consuming tasks in the development of safety-critical systems. Assurance can be defined as the set of planned and systematic actions necessary to provide adequate confidence and evidence that a system satisfies given requirements, e.g. for system safety or for compliance with some standards. Certification can be defined as the legal recognition that a system complies with standards and regulations designed to ensure that the system can be depended upon to deliver its intended service.
Assurance and certification of safety-critical systems require the execution of complex and labour-intensive activities, e.g. the management of compliance with hundreds or thousands of criteria defined in safety standards, the management of a large volume of evidence artefacts throughout a system’s lifecycle to demonstrate compliance, or the provision of convincing and valid justifications that a system is dependable. Therefore, the companies developing safety-critical systems or components, as well as the companies assessing the systems and components, need approaches that facilitates these activities and ideally increase their efficiency. The challenges arising from system assurance and certification are further growing as a result of the evolution of safety-critical systems. For example, embedded systems have significantly increased in number, technical complexity, and sophistication towards open, interconnected, networked systems such as "the connected car". This has brought a “cyber-physical” dimension with it, exacerbating the problem of ensuring safety, as well as other dependability concerns such as security, availability, robustness, and reliability, in the presence of human, environmental, and technological risks. The rise of notions such as cyber-physical systems and their complexity are leading to the need for new approaches for system assurance and certification. In general, practitioners expect improvements in the available method and tool support for assurance and certification.
The SASSUR workshop is intended to explore new ideas on compositional, evolutionary, architecture-driven, multi-concern, and reuse-oriented assurance and certification of safety-critical systems. In particular, SASSUR will provide a forum for thematic presentations and in-depth discussions about reuse, composition, and combination of assurance arguments, of assurance evidence, and of contextual information about safety-critical products, 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 application communities (railway, aerospace, automotive, healthcare, industrial automation, etc.).
Submission Guidelines
Authors are invited to submit short position papers (max. 6 pages) or a full technical contribution (max. 12 pages) in PDF format using Easychair (SAFECOMP sub-track or dedicated configuration). Submissions must conform to the Springer LNCS formatting guidelines. Papers will be peer-reviewed through a regular refereeing procedure, with a minimum of three reviewers per paper. If accepted for presentation, the papers will be published in the SAFECOMP 2019 Workshops proceedings articles (LNCS series books in the last years). The authors will be notified about acceptance before the SAFECOMP 2019 early registration deadline.
List of Topics
Contributions are sought in (but are not limited to) the following topics:
- Industrial challenges for cost-effective safety assurance and certification
- Assurance and certification of autonomous or adaptive systems
- Cross-domain product certification
- Integration of process-centric and product-centric assurance
- Management of compliance with standards and regulations
- Management of assurance evidence
- Multi-concern (safety, security, privacy, reliability…) system assurance
- Evolutionary approaches for safety and security assurance
- Tools support for safety and security assurance
- Seamless toolchains for development, assurance, and certification of safety-critical systems
- Evolution of standards and trends on regulations
- Human factors in safety and security assurance
- COTS or external sourcing management of evidence in safety-critical systems
- Mixed-criticality system assurance
- Assurance for new technologies and for their application (e.g. blockchain)
Committees
Program Committee
- Morayo Adedjouma, CEA-List, France
- Paulo Barbosa, Universidade Estadual da Paraiba, Brazil
- Markus Borg, RISE SICS, Sweden
- Barbara Gallina, Mälardalen University, Sweden
- Ibrahim Habli, University of York, UK
- Garazi Juez, Tecnalia, Spain
- Marion Lepmets, SoftComply, Estonia
- Yaping Luo, Altran, Netherlands
- Johnny Marques, Embraer, Brazil
- Silvia Mazzini, Intecs, Italy
- Christoph Schmittner, AIT Austrian Institute of Technology, Austria
- Irfan Sljivo, Mälardalen University, Sweden
- Kenji Taguchi, AIST, Japan
- Stefano Tonetta, Fondazione Bruno Kessler, Italy
- Marc Zeller, Siemens, Germany
- Maritta Heisel, Duisburg-Essen, Germany
- Katrina Attwood, University of York, UK
- Daniel Schneider, Fraunhofer Institute for Experimental Software Engineering, Germany
Organizing committee
- Alejandra Ruiz, Tecnalia, Spain
- Jose Luis de la Vara, University of Castilla-La Mancha, Spain
- John Favaro, Intecs, Italy
- Fabien Belmonte, Alstom, France