From JoseLuis.delaVara at uclm.es Wed Apr 9 16:34:12 2025 From: JoseLuis.delaVara at uclm.es (Jose Luis de la Vara) Date: Wed, 9 Apr 2025 14:34:12 +0000 Subject: [SystemSafety] SASSUR 2025 - Call for papers Message-ID: (Apologies for multiple postings) ******************************************************************** 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 www.sassur.org ******************************************************************** 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 Authors are invited to submit short papers (6 pages; including references) or full paper (max. 12 pages; including references) in PDF format using Easychair: https://easychair.org/conferences/?conf=sassur2025 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) - Clara Ayora. University of Castilla-La Mancha, Spain - Claude Baron. LAAS-CNRS, France - Fabien Belmonte. Alstom, France - Irene Bicchierai. ResilTech, Italy - Carmen Carlan. T?V S?d, Germany - Marie Farrell. University of Manchester, UK - Richard Hawkins. University of York, UK - Jason Jaskolka. Carleton University, Canada - Garazi Juez. BMW, Germany - 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 - Philippa Ryan. University of York, UK - Irfan Sljivo. NASA, USA - J?ssyka Vilela. Federal University of Pernambuco, Brazil - Fredrik Warg. RISE, Sweden - Marc Zeller. Siemens, Germany -------------- next part -------------- An HTML attachment was scrubbed... URL: From alexander.romanovsky at newcastle.ac.uk Tue Apr 15 08:54:49 2025 From: alexander.romanovsky at newcastle.ac.uk (Alexander Romanovsky) Date: Tue, 15 Apr 2025 06:54:49 +0000 Subject: [SystemSafety] RSSRail 2025 Call for contributions. Int. Conf. on Reliability, Safety and Security of Railway Systems Message-ID: 6th International Conference on Reliability, Safety, and Security of Railway Systems RSSRail 2025 Pisa, Italy November 26-28, 2025 https://gram.isti.cnr.it/rssrail2025/ Call for Contributions (papers, tutorials, posters) The railway industry faces increasing pressure to improve system safety, to decrease production costs and time to market, to reduce carbon emissions and running costs, and to increase the capacity of the railway. Railway systems are now being integrated into larger multi-transport networks. Such systems require an even higher degree of automation at all levels of operation. These trends dramatically increase the complexity of railway applications and pose new challenges in developing novel methods of modelling, analysis, verification and validation to ensure their reliability, safety and security, as well as in supporting novel mechanisms and procedures to help make the case that development processes meet the mandated standards. This conference will bring together researchers and developers working on railway system reliability, security and safety to discuss how all of these requirements can be met in an integrated way. It is also vital to ensure that advances in research (in both academia and industry) are driven by the real industrial needs. This will help ensure that such advances are followed by effective industrial deployment. Another particularly important objective is to integrate advances in research into the current development processes and make them usable and scalable. Finally, a key goal is to develop advanced methods and tools that can ensure that the systems meet the requirements imposed by the regulatory standards and help in building the supportive arguments. This will be a working conference in which research challenges and progress will be discussed and evaluated by both researchers and engineers, focusing on their potential to be deployed in industrial settings. Important Dates * Abstract submission (papers/tutorials): 6 June 2025 * Paper submission: 13 June 2025 * Notification (tutorials): 18 July 2025 * Notification (papers): 1 August 2025 * Camera-ready version: 12 September 2025 * Abstract submission (posters): 26 September 2025 * Notification (posters): 10 October 2025 * Conference: 26-28 November 2025 Deadlines expire at 23:59 anywhere on earth on the dates displayed above. Topics of Interest * Safety in development processes and safety management * Combined approaches to safety and security * System and software safety analysis * Formal modelling and verification techniques * System reliability * Validation according to the standards * Safety and security argumentation * Fault and intrusion modelling and analysis * Evaluation of system capacity, energy consumption, cost and their interplay * Tool and model integration, tool chain * Domain-specific languages and modelling frameworks * Model reuse for reliability, safety and security * Modelling for maintenance strategy engineering Categories of contributions RSSRail 2025 solicits high-quality papers reporting research results and/or experience reports as well as tutorials and posters related to the Reliability, Safety, and Security of Railway Systems. We accept contributions in the following five categories: 1. Regular papers (limit 16 pages) on - original scientific research results - tools, their foundation, and evaluations - applications, including rigorous evaluations 2. Short papers (limit 8 pages) on - any topic of interest that can be described in sufficient detail within the page limit 3. Journal-First papers (limit 4 pages) - summarising recently published papers in high-quality journals on any topic of interest 4. Tutorial proposals (limit 2 pages) - describing the topic and intended audience, the plan for conducting the tutorial (content/schedule and duration), and the backgrounds of the presenters (experience) and the tutorial (first iteration?). 5. Posters on any topic of interest All page limits exclude the references. Appendices may be included, but they will only be read by a reviewer at their discretion. Regular and short papers submitted in categories (1) and (2) must be original, unpublished, and not submitted for publication elsewhere. Papers in these two categories will undergo a thorough review process. Submissions will be judged on the basis of significance, relevance, correctness, originality and clarity. The aim of journal-first papers in category (3) is to further enrich the RSSRail program and to provide more visibility in the community to already published journal papers. Authors of published papers in high-quality journals can submit a proposal to present their journal paper during RSSRail. The published journal paper must adhere to the following four criteria: * It should be clearly within the scope of the conference. * It should be recent: published in a journal after RSSRail 2023 (October 2023). * It should report completely new research results or novel contributions that were not previously presented at the RSSRail conference. * It has not been presented at, and is not under consideration for, journal-first tracks of other conferences. The 4-page submission to RSSRail for category (3) should provide a concise summary of the published journal paper, which makes it clear - why its topics fit the conference's scope, and - why a presentation of its results would enrich the conference program. Journal-first submissions must explicitly include full bibliographic details (including a DOI) of the journal publication they are based on. Submissions will be judged on the basis of the above criteria, but also considering how well they would complement the conference program. Submission guidelines Submissions for all categories should be made using the RSSRail 2025 EasyChair site: https://easychair.org/conferences/?conf=rssrail2025 Submissions must be in PDF format, following Springer LNCS style files and guidelines: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines The conference proceedings will be published in Springer's Lecture Notes in Computer Science series. As for previous editions, one or more special issues are planned for extended versions of selected papers from RSSRail 2025. Organisation Conference Chairs * Maurice ter Beek, CNR-ISTI, Pisa, Italy * Simon Collart Dutilleul, Universit? Gustave Eiffel, France * Thierry Lecomte, CLEARSY, France Program Committee * Abderrahim Ait Wakrime, UM5r, Rabat, Morocco * Dalay Almeida, CLEARSY System Engineering, France * Davide Basile, CNR-ISTI, Pisa, Italy * Maurice ter Beek, CNR-ISTI, Pisa, Italy (co-chair) * Nikola Besinovic, Technical University of Dresden, Germany * Philippe Bon, Gustave Eiffel University, France * Alessandro Borselli, Trenord, Italy * Alessandro Cimatti, FBK, Trento, Italy * Sana Debbech, SNCF R?seau, France * Simon Collart Dutilleul, Universit? Gustave Eiffel, France (co-chair) * Alessandro Fantechi, University of Florence, Italy * Alessio Ferrari, University College Dublin, Ireland * Francesco Flammini, M?lardalen University, Sweden * Barbara Gallina, M?lardalen University, Sweden * Stephan Griebel, Siemens AG, Germany * Alexandra Halchin, RATP, France * Anne Haxthausen, Technical University of Denmark, Denmark * Akram Idani, Polytech Grenoble, France * Alexei Iliasov, The Formal Route Ltd., UK * Kenji Imamoto, Hitachi Ltd., Japan * Thierry Lecomte, CLEARSY, France (co-chair) * Michael Leuschel, University of D?sseldorf, Germany * Riccardo Licciardello, Sapienza University of Rome, Italy * Christophe Limbr?e, UCLouvain, Belgium * Bas Luttik, Eindhoven University of Technology, The Netherlands * Davide Moroni, CNR-ISTI, Pisa, Italy * Marcel Oliveira, Federal University of Rio Grande do Norte, Brazil * Matthieu Perin, Systerel, France * Jaco van de Pol, Aarhus University, Denmark * Christophe Ponsard, CETIC, Belgium * Jos? Proen?a, CISTER and University of Porto, Portugal * Vito Ren?, CNR-STIIMA, Bari, Italy * Alexander Romanovsky, The Formal Route Ltd., UK * Aryldo Russo, GESTE Engineering, France * Marc Sango, SNCF, France * Monika Seisenberger, Swansea University, UK * Thai Son Hoang, University of Southampton, UK * Mari?lle Stoelinga, University of Twente, The Netherlands * Davide Tarsitano, Polytechnic University of Milan, Italy * Stefano Tonetta, FBK, Trento, Italy * Elena Troubitsyna, KTH Royal Institute of Technology, Sweden * Laurent Voisin, Systerel, France Organisation Chairs * Stefania Gnesi, CNR-ISTI, Pisa, Italy * Laura Semini, University of Pisa, Italy Web Chair * Giorgio O. Spagnolo, CNR-ISTI, Pisa, Italy Publicity Chair * Giovanna Broccia, CNR-ISTI, Pisa, Italy Steering Committee * Simon Collart Dutilleul, Universit? Gustave Eiffel, France (Chair) * Alessandro Fantechi, University of Florence, Italy * Anne Haxthausen, Technical University of Denmark, Denmark * Thierry Lecomte, CLEARSY, France * Alexander Romanovsky, The Formal Route Ltd., UK -------------- next part -------------- An HTML attachment was scrubbed... URL: