Cutting-edge technologies, infrastructures, and computational paradigms such as digital twin, cloud, fog, edge computing, IoT, digitalization, Industry 5.0, and cyber-physical systems are changing how data and services are delivered and used. Such systems have a significant and elaborate societal impact, making it paramount to guarantee essential qualities of the delivered product, such as dependability, reliability, safety, and availability. As new paradigms become pervasive in our everyday lives, new challenges also emerge in dealing with uncertainty, untrustworthiness, and information loss, affecting the software life cycle in different phases. Ensuring critical qualities requires a joint effort in devising advanced software architecture designs by the software architecture community and formal modeling and verification approaches by the formal methods community.
The main goal of the workshop is to foster integration between formal methods and software architecture promoting new connections and synergies between the two communities to address the challenges of the upcoming generation of computing systems.
Important Dates
We adhere to the following proposed important dates:- Abstract Submission Deadline (mandatory): December 27, 2024
- Paper Submission Deadline: December 20, 2024 January 4, 2025 (extended)
- Notification of Acceptance: January 20, 2025
- Camera-Ready Submission: January 27, 2025
Topics
- requirements formalization and formal specification, with or without the use of generative AI;
- formal/semi-formal architecture design, validation and verification, quality analysis and evaluation;
- formal/semi-formal approaches to digitalization, development of digital society and Digital Twins;
- methodologies and approaches focusing on addressing challenges of modern computing systems that are currently addressed ad-hoc;
- architecture description languages and metamodels;
- architectural patterns, styles and tactics, viewpoints and views
- architecture transformation and refinement, architecture based synthesis;
- model-driven engineering
- approaches and tools for verification and validation;
- performance analysis based on formal approaches
- compliance assurance using formal methods;
- application of methodologies, theories, approaches and techniques specific to the aforementioned areas to AI-based, autonomous, robotic, cyber-physical, and self-adaptive systems;
- use of generative AI for aforementioned areas;
- reports on practical experience in the application of formal methods to industrial case studies.
Submission
All submissions will follow the IEEE Computer Science proceedings format. Submitted papers must be written in English and conform to the the IEEE Guidelines including the guidelines for AI-Generated text. Submissions must be done before the deadline in PDF format via via the EasyChair (FAACS Workshop). We solicit the following types of papers:- Full paper (10 pages): original research contributions, case studies, or report on work or experiences in industry.
- Short papers (6 pages): work-in-progress, new and disruptive ideas, techniques and/or tools or extensions not fully validated yet.
- Position papers (2 pages): contributions that analyze trends and raise relevant issues related to the workshop themes. Position papers will also be reviewed based on their ability to spark discussions at the workshop.
- Tool competition entries: this type invites the submission of innovative solutions addressing problem(s) related to the workshop themes.
Publication
The accepted papers will be published in the ICSA 2025 Companion proceedings and appear in the IEEE Xplore Digital Library. For each accepted paper, at least one of the authors must register for the workshop, participate fully in the workshop, and present the paper at the workshop.
Track Chairs
- Nadeem Abbas, Linnaeus University, Sweden, nadeem.abbas@lnu.se
- Eun-Young Kang, University of Southern Denmark, Denmark, eyk@mmmi.sdu.dk
- Livia Lestingi, Politecnico di Milano, Italy, livia.lestingi@polimi.it
Steering Committee
- Paolo Arcaini, National Institute of Informatics, Japan
- Matteo Camilli, Politecnico di Milano, Italy
- Marina Mongiello, Politecnico di Bari, Italy
- Elvinia Riccobene, University of Milan, Italy
- Patrizia Scandurra, University of Bergamo, Italy
Program Committee
- Isaac Amundson, Collins Aerospace, USA
- Paolo Arcaini, National Institute of Informatics, Japan
- Silvia Bonfanti, University of Bergamo, Italy
- Giovanna Broccia, ISTI-CNR, FMT Lab, Italy
- Matteo Camilli, Politecnico di Milano, Italy
- Michele Chiari, TU Wien, Austria
- Bruno Guindani, Politecnico di Milano, Italy
- Stefan Hallerstede, Aarhus University, Denmark
- Eunsuk Kang, Carnegie Mellon University, USA
- Jieung Kim, Yonsei University, South Korea
- Tsutomu Kobayashi, Japan Aerospace Exploration Agency, Japan
- Hugo Daniel Macedo, Aarhus University, Denmark
- Henry Muccini, University of L'Aquila, United Kingdom
- Flavio Oquendo, IRISA (UMR CNRS) - Univ. Bretagne-Sud (UBS), France
- Maxime Perrotin, ESA – European Space Agency
- Pedro Ribeiro, University of York, United Kingdom
- Patrizia Scandurra, University of Bergamo, Italy
- Ioannis Stefanakos, University of York, United Kingdom
- Abhishek Tiwari, University of Southern Denmark, Denmark
- Mahsa Varshosaz, IT University of Copenhagen
- Gricel Vazquez, University of York, United Kingdom
- Boris Düdder, University of Copenhagen, Denmark