ASQAP 2025

Call for papers

Autonomous systems, such as self-driving cars, robots, and unmanned aerial vehicles, demand rigorous quality assurance to ensure their safety, reliability, and performance in diverse and unpredictable environments. Achieving robust quality assurance involves rigorous testing and analysis in the entire system life-cycle to identify potential failures and optimize system performance under various conditions. Predictive capabilities are equally necessary, leveraging advanced technologies like machine learning and simulation to anticipate failures and adapt systems accordingly. By continuously monitoring and simulating behaviors in virtual environments, such as those created by digital twin technology, autonomous systems can undergo thorough testing, reducing the risks and costs associated with physical trials.
Digital twins offer a powerful solution to these challenges by providing virtual replicas of physical systems. Engineers can conduct extensive development, testing, and validation activities by continuously obtaining real-time data from the physical entity and simulating the behavior and interactions of autonomous systems in a controlled digital environment. Digital twins enable the emulation of various scenarios, including rare or hazardous conditions that are difficult or inconvenient to replicate in the real world. This capability accelerates the verification process and allows iterative improvements based on simulated data before physical deployment. Additionally, digital twins facilitate continuous monitoring and performance optimization throughout the lifecycle of autonomous systems, ensuring ongoing compliance with safety standards and operational requirements.

Using digital twins in autonomous systems is crucial for ensuring quality assurance and enhancing predictive capabilities. This technology enables real-time monitoring and simulation of system behavior, providing a detailed virtual replica that facilitates advanced testing and the correction of potential faults before physical production. Digital twins also support optimization of design and operational processes, reducing development times and enhancing overall efficiency. Moreover, by analyzing large datasets and simulating complex scenarios, digital twins aid in developing advanced algorithms and predictive resource management, improving system resilience and adaptability.
However, several challenges emerge in realizing a digital twin. This process involves creating detailed models of the system and its environment, which must remain aligned with both the environment's dynamic and open nature and the hardware status of the physical twin. This poses a significant challenge, as both autonomous systems and their digital twins must continually adjust to changes to maintain accuracy and functionality. Runtime techniques are therefore required to verify and adapt both autonomous systems and their digital twins.

Despite the great interest in enhancing autonomous systems' quality assurance and prediction through digital twins, no common methodologies, model-based techniques, or formal aspects have been fully established.
ASQAP 2025 aims to provide a forum for sharing and discussing innovative contributions to both formal and practical approaches in the analysis and development of methodologies, including digital twins, for the quality assurance of autonomous systems.

Topics of interests include, but are not limited to:

Formal approaches to verification and validation of autonomous, multi-agent, and collaborative systems
Practical applicability of formal methods for verification
Verification and validation techniques for functional and non-functional assessment and dependability
Creation and maintaining a digital twin in a dynamic environment
Digital and Physical Twin co-development
Digital Twin-based predictive maintenance
Techniques for runtime verification and adaptation of Digital Twins
Modeling, design, and engineering of digital twins for autonomous systems
Domain-specific languages for autonomous systems
Automated model-driven development of digital twins
Dynamic verification and testing of autonomous systems
Autonomous system quality assessment
Autonomous Systems behavior prediction through digital twins
Dynamic reconfiguration and optimization through digital twins
Tools for analysis, verification, and validation of autonomous systems
Case studies and experience reports from academia and industry

Important dates

Submission Deadline

December 20th, 2024

Notification

January 24th, 2025

Camera Ready

January 31st, 2025

Submission Guidelines

ASQAP 2025 welcomes research and experience papers, with papers describing novel research contributions and innovative applications being of particular interest.

Contributions can be:

Regular papers (up to 12 pages): This category is for contributions that propose novel research contributions, address challenging problems with innovative ideas, or offer practical contributions (e.g., industrial experiences and case studies) in the application software engineering approaches for building software systems via automated development and verification. Regular papers should clearly describe the situation or problem tackled, the relevant state of the art, the position or solution suggested, and the potential benefits of the contribution. Authors of papers reporting industrial experiences are strongly encouraged to make their experimental results available for reviewers. Similarly, case-study papers should describe significant case studies, and complete development should be available for reviewers.
Short papers (up to 6 pages): This category includes tool demonstrations, idea and position papers, and well-pondered and sufficiently documented visionary papers. Tool demonstration papers should explain enhancements made in comparison to previously published work. Authors of demonstration papers should make their tools available for reviewers.
Presentation abstracts (up to 2 pages): The abstract may cover work in progress or work related to ASQAP recently published at a conference or in a journal. All accepted abstracts will be made available to the participants of ASQAP 2025, but they will not be published in the workshop proceedings. Authors of accepted abstracts will be required to give an informal presentation during the workshop.

All papers must:

be written in English;
conform to the to the EPTCS LaTeX style.
not exceed 6 pages (short papers) or 12 pages (regular papers) for the submission and pre-proceedings (up to two additional pages containing ONLY references are permitted).

All submissions (except presentation abstracts) must be unpublished and not be under review elsewhere. Submissions will be reviewed by at least three members of the Program Committee. At least one author of an accepted paper should register for the conference and present the paper.

Accepted regular and short papers will be included in the EPTCS proceedings and appear in the digital libraries.

Submission site

Registration info

Registration fees and instructions will be available on the ETAPS 2025 website.

Program

Program will be anounced soon.

Organizing committee

Marsha Chechik

University of Toronto (Canada)

Marsha Chechik is a Professor in the Department of Computer Science at the University of Toronto. Prof. Chechik's research interests are in modeling and reasoning about software. She has authored over 200 papers in formal methods, software specification and verification, computer security, and requirements engineering.

Arianna Fedeli

Gran Sasso Science Institute (Italy)

Arianna Fedeli is a post-doctoral researcher at the Gran Sasso Science Institute, L’Aquila. She received her Ph.D. from the University of Camerino, Italy, in 2024. Her research interests include model-driven engineering applied to distributed systems such as the Internet of Things and Digital Twins domains.

Gianluca Filippone

Gran Sasso Science Institute (Italy)

Gianluca Filippone is a post-doctoral researcher at the Gran Sasso Science Institute, L'Aquila, Italy. He received his Ph.D. from the University of L'Aquila, Italy, in 2023. His research study focuses on the model-driven composition, coordination, and adaptation of distributed systems, multi-robot systems, and microservice architectures.

Federico Formica

McMaster University (Canada)

Federico Formica is a PhD student at McMaster University, Canada. His research mainly focuses on automatic testing and automatic test case generation for Cyber-Physical Systems. Specifically, he works on approaches that leverage the developers' domain knowledge and experience to find failure-revealing test cases, i.e., test cases that cause a requirement violation.

Mirgita Frasheri

Aarhus University (Denmark)

Mirgita Frasheri is an Assistant Professor at the Department of Electrical and Computer Engineering at Aarhus University, Denmark. She has a background in autonomous and multi-agent systems. Her research is mainly focused on Digital Twins for mobile robots. In addition, she has an interest in multi-agent collaboration, local re-planning techniques, as well AI ethics.

Nico Hochgeschwender

University of Bremen (Germany)

Nico Hochgeschwender is a Full Professor of Software Engineering for Cognitive Robots and Systems at the University of Bremen. His research interests lie at the intersection of AI-enabled Robotics and Software Engineering, focusing on assuring dependability, transparency, and explainability of robotics and autonomous systems, benchmarking and performance evaluation, and domain-specific modeling and languages for robotics.

Lina Marsso