********************************************************************
12th International Workshop on Next Generation of System Assurance Approaches for Critical Systems – SASSUR 2025
September 9th, 2025
In conjunction with the 44th International Conference on Computer Safety, Reliability and Security – SafeComp 2025
********************************************************************
IMPORTANT DATES
Paper submission: May 5th, 2025
Notification of acceptance: May 27th, 2025
Camera-ready submission: June 10th, 2025
********************************************************************
System assurance and certification are amongst the most expensive and time-consuming tasks in the engineering of critical systems, e.g., safety-critical, security-critical, privacy-critical, explainability-critical, mission-critical, and business-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 critical systems require the execution of complex and labour-intensive activities, such as 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. The challenges arising from system assurance and certification are further growing as a result of the technological advancements of critical systems, e.g., towards open, interconnected, networked, intelligent systems. This poses new challenges in ensuring safety, as well as other dependability concerns such as security, availability, robustness, and reliability. In general, practitioners expect improvements in the available methods and tool support for system assurance and certification.
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.
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.).
TOPICS
Contributions are sought in (but are not limited to) the following topics:
– Agile approaches in the context of critical systems
– Assurance and certification of autonomous or adaptive systems
– Assurance case development
– Assurance for new technologies and for their application (e.g., blockchain, edge AI, and digital twins)
– COTS or external sourcing management of evidence in critical systems
– Cross-domain product certification
– Emergent V&V needs for assurance and certification
– Evolution of standards and trends on regulations
– Evolutionary approaches for system assurance
– Human factors in system assurance
– Industrial challenges for cost-effective assurance and certification of critical systems
– Integration of process-centric and product-centric assurance
– Management of assurance evidence
– Management of compliance with standards and regulations
– Methods and techniques for artificial intelligence assurance
– Mixed-criticality system assurance
– Model-based system assurance and certification
– Multi-concern (safety, security, privacy, reliability, explainability…) system engineering and assurance
– Support for re-certification processes
– Technical debt for safety, security, privacy, etc.
– Tool support for assurance and certification
INFORMATION FOR AUTHORS
Submissions must conform to the Springer LNCS formatting guidelines (
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-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 2025 Workshops proceedings (LNCS series in the last years). At least one author of each accepted paper must register to the workshop and present the paper so that it is included in the proceedings.
WORKSHOP COMMITTEES
Organisation Committee
– Jose Luis de la Vara. University of Castilla-La Mancha, Spain
– Barbara Gallina. Mälardalen University, Sweden
Programme Committee (to be completed)
– Rasmus Adler. Fraunhofer, Germany
– Joaquín Arias. Rey Juan Carlos University, Spain
– Clara Ayora. University of Castilla-La Mancha, Spain
– Alessandra Bagnato. Softeam, France
– Claude Baron. LAAS-CNRS, France
– Fabien Belmonte. Alstom, France
– Irene Bicchierai. ResilTech, Italy
– Tomas Bueno Momcilovic. Fortiss, Germany
– Carmen Carlan. TÜV Süd, Germany
– Simon Diemert. University of Victoria, Canada
– Víctor J. Exposito Jiménez. Virtual Vehicle, Austria
– Marie Farrell. University of Manchester, UK
– Magnus Gyllenhammar. Zenseact and KTH Royal Institute of Technology, Sweden
– Richard Hawkins. University of York, UK
– Jason Jaskolka. Carleton University, Canada
– Garazi Juez. BMW, Germany
– Sahar Kokaly. General Motors, Canada
– Nuno Laranjeiro. University of Coimbra, Portugal
– Xabier Larrucea. University of the Basque Country, Spain
– Georg Macher. Graz University of Technology, Austria
– Johnny Marques. ITA, Brazil
– Ilaria Matteucci. IIT-CNR, Italy
– Dag McGeorge. DNV, Norway
– Leonardo Montecchi. Norwegian University of Science and Technology, Norway
– Anitha Murugesan. Honeywell, USA
– Thor Myklebust. SINTEF, Norway
– Vera Pantelic. McMaster University, Canada
– Katia Potiron. KDNS, France
– José Proença. CISTER and University of Porto, Portugal
– Philippa Ryan. University of York, UK
– Nicolas Sannier. University of Luxembourg, Luxembourg
– Irfan Sljivo. KBR/NASA Ames Research Center, USA
– Kenji Taguchi. UL, Japan
– Jéssyka Vilela. Federal University of Pernambuco, Brazil
– Fredrik Warg. RISE, Sweden
– Ran Wei. Lancaster University, UK
– Gereon Weiss. Fraunhofer, Germany
– Marc Zeller. Siemens, Germany
April 30th, 2025 
Daniela Lopez de Luise 
