<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class="elementToProof ContentPasted0">
(Apologies for multiple postings)
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">********************************************************************</div>
<div class="ContentPasted0">10th International Workshop on Next Generation of System Assurance Approaches for Critical Systems – SASSUR 2023</div>
<div class="ContentPasted0">September 19th, 2023</div>
<div class="ContentPasted0">In conjunction with the 42nd International Conference on Computer Safety, Reliability and Security - SafeComp 2023</div>
<div class="ContentPasted0">www.sassur.org</div>
<div class="ContentPasted0">********************************************************************</div>
<div class="ContentPasted0">IMPORTANT DATES</div>
<div class="ContentPasted0">Paper submission: May 2nd, 2023</div>
<div class="ContentPasted0">Notification of acceptance: May 25th, 2023</div>
<div class="ContentPasted0">Camera-ready submission: June 5th, 2023</div>
<div class="ContentPasted0">********************************************************************</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">System assurance and certification are amongst the most expensive and time-consuming tasks in the development of critical systems, e.g., safety-critical, security-critical, privacy-critical, explainability-critical, mission-critical,
and business-critical ones. 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.</div>
<div class="ContentPasted0">Assurance and certification of 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 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 critical systems or components, as well as
the companies assessing the systems and components, need approaches that facilitate these activities and ideally increase their efficiency. In addition, re-certification is usually required for any evolution of a system. The challenges arising from system
assurance and certification are further growing as a result of the technological advancements of critical systems. For example, embedded systems have significantly increased in number, technical complexity, and sophistication towards open, interconnected,
networked, intelligent systems such as "the connected car". This has brought a “cyber-physical” and an autonomy 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. Privacy is also a major concern for systems managing personal or sensitive data. The rise of notions such as cyber-physical and autonomous 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 methods and tool support for assurance and certification.</div>
<div class="ContentPasted0">The SASSUR workshop is intended to explore new ideas on assurance and certification of critical systems. In particular, SASSUR will provide a forum for thematic presentations and in-depth discussions about specification, analysis,
reuse, composition, and combination of assurance arguments, of assurance evidence, and of contextual information about critical products, in a way that makes assurance and certification more cost-effective, precise, and scalable.</div>
<div class="ContentPasted0">SASSUR aims at bringing together experts, researchers, and practitioners from diverse communities, such as safety, privacy, and security engineering, the recently coined explainability engineering, certification processes, model-based
engineering, software and hardware design, critical systems, and application communities (transport, healthcare, industrial automation, robotics, nuclear, defence, etc.).</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">TOPICS</div>
<div class="ContentPasted0">Contributions are sought in (but are not limited to) the following topics:</div>
<div class="ContentPasted0">- Agile approaches in the context of critical systems</div>
<div class="ContentPasted0">- Assurance and certification of autonomous or adaptive systems</div>
<div class="ContentPasted0">- Assurance for new technologies and for their application (e.g., blockchain)</div>
<div class="ContentPasted0">- COTS or external sourcing management of evidence in critical systems</div>
<div class="ContentPasted0">- Cross-domain product certification</div>
<div class="ContentPasted0">- Emergent V&V needs for assurance and certification</div>
<div class="ContentPasted0">- Evolution of standards and trends on regulations</div>
<div class="ContentPasted0">- Evolutionary approaches for system assurance</div>
<div class="ContentPasted0">- Human factors in dependability assurance</div>
<div class="ContentPasted0">- Industrial challenges for cost-effective assurance and certification of critical systems</div>
<div class="ContentPasted0">- Integration of process-centric and product-centric assurance</div>
<div class="ContentPasted0">- Management of assurance evidence</div>
<div class="ContentPasted0">- Management of compliance with standards and regulations</div>
<div class="ContentPasted0">- Methods and techniques for artificial intelligence assurance</div>
<div class="ContentPasted0">- Mixed-criticality system assurance</div>
<div class="ContentPasted0">- Model-based system assurance and certification</div>
<div class="ContentPasted0">- Multi-concern (safety, security, privacy, reliability, explainability…) system engineering and assurance</div>
<div class="ContentPasted0">- Support for re-certification processes</div>
<div class="ContentPasted0">- Technical debt for safety, security, privacy, etc.</div>
<div class="ContentPasted0">- Tools support for assurance and certification</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">INFORMATION FOR AUTHORS</div>
<div class="ContentPasted0">Authors are invited to submit short papers (6 pages) or full paper (max. 12 pages) in PDF format using Easychair: https://easychair.org/conferences/?conf=sassur2023</div>
<div class="ContentPasted0">Submissions must conform to the Springer LNCS formatting guidelines (https://www.springer.com/gp/computer-science/lncs/editor-guidelines-for-springer-proceedings). 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 2023 Workshops proceedings (LNCS series in the last years). At least one author of each accepted paper must register to the workshop so
that the paper is included in the proceedings.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">ORGANISATION COMMITTEE</div>
<div class="ContentPasted0">- Jose Luis de la Vara, University of Castilla-La Mancha, Spain</div>
- Barbara Gallina, Mälardalen University, Sweden<br>
</div>
</body>
</html>