SAC 2025 - Track on Dependable, Adaptive, and Trustworthy Distributed Systems

Dependable, Adaptive, and Secure Distributed Systems 20th DADS Track of the 40th ACM Symposium on Applied Computing	Previous years: 19^th DADS 2024 18^th DADS 2023 17^th DADS 2022 16^th DADS 2021 15^th DADS 2020 14^th DADS 2019 13^th DADS 2018 12^th DADS 2017 11^th DADS 2016 10^th DADS 2015 9^th DADS 2014 8^th DADS 2013 7^th DADS 2012 6^th DADS 2011 5^th DADS 2010 4^th DADS 2009 3^rd DADS 2008 2^nd DADS 2007 1^st DADS 2006
http://www.sigapp.org/sac/sac2025/ March 31 - April 4, 2025 Sicily, Italy

The Symposium on Applied Computing has been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world. SAC 2025 is sponsored by the ACM Special Interest Group on Applied Computing and the SRC Program is sponsored by Microsoft Research.

Topics of Interest - Track Committee - Important Dates - Submission Guidelines

Call for Papers

While computing is provided by the cloud and services increasingly pervade our daily lives, dependability, adaptiveness and security become a cornerstone of the information society. Unfortunately, most innovative systems and applications (Internet of Things, Industrial IoT, Smart Environments, Mashups, NewSQL) suffer from a lack of dependability and security, which is fueled by global scale, mobility and heterogeneity, as well as the demand for resource awareness, green computing, and increasing cost pressure.

Among technical factors, software development methods, tools, and techniques contribute to dependability and security, as defects in software products and services may lead to failure and also provide typical access for malicious attacks. In addition, there is a wide variety of fault and intrusion tolerance techniques available, including persistence provided by databases, redundancy and replication, group communication, transaction monitors, reliable middleware, cloud infrastructures, light-weight virtualization (docker), fragmentation-redundancy-scattering, and trustworthy service-oriented and microservice architectures with explicit control of quality of service properties and monitoring of service level agreements.

Furthermore, adaptiveness is envisaged in order to react to observed, or act upon expected changes of the system itself, the context/environment (e.g., resource variability or failure/threat scenarios) or users' needs and expectations. Provided without explicit user intervention, this is also termed autonomous behavior or self-properties, and often involves monitoring, diagnosis (analysis, interpretation), and reconfiguration (repair). In particular, adaptation is also a means to achieve dependability and security in a computing infrastructure with dynamically varying structure and properties and can itself be provided as a service (Control-as-a-service).

Topics of Interest

The track provides a forum for scientists and engineers in academia and industry to present and discuss their latest research findings on selected topics in dependable, adaptive and trustworthy distributed systems and services. The topics of particular interest include, but are not limited to:

Dependable, Adaptive, and secure Distributed Systems (DADS): E.g., Distributed ledger technologies: Blockchain and Smart Contracts; Massive scale, scalable applications; Big data; Self-* properties and autonomous behaviour; Mobility and sparse connectivity; Adaptable and adaptive security; Fault and intrusion tolerance; Performance-aware dependability; Context-awareness; Power-awareness, adaptive energy management, green computing, energy harvesting; Integration and balancing of competing attributes, CAP, continuos inconsistency; Cross-organizational heterogeneity.
Architectures, architectural styles, and middleware for DADS: E.g., Dezentralized Applications (D’Apps) and Blockchain-as-a-Service; Cloud systems and cloud-deployed applications; Cloud and Service Mashups; Service-oriented systems and microservices; Light-weight virtualization, Docker, Kubernetes, Swarm; P2P, MANET, smartphone-based, and pervasive systems; Event-based systems, Publish-subscribe systems; Control-as-a-Service: Control loop and MAPE pattern; Ransomware-as-a-Service: Threat diversification and measurements; In-memory computing; Safety vs. Security.
Protocols for DADS: E.g., Consensus protocols (PBFT, Proof-of-work, Proof-of-stake, Proof-of-*); Group communication, replication, transaction, coordination, orchestration; Failure detection, containment, and recovery; Dynamic (re-)configuration.
Modeling, design, and engineering of DADS: E.g., MDA support; QoS and SLA; Tool support; Design patterns for DADS; Abstractions and policies; Quantitative approaches; Run-time approaches.
Foundations and formal methods for DADS: E.g., Rigorous approaches, verification, assurance cases.
Applications of DADS: E.g., IoT-Internet of Things, Smart Environments, and Assistive Technologies; NewSQL; Industrial IoT, Industry 4.0, Digital Twin; Safety critical systems; Avionics and CNS (Communication, Navigation, Surveillance); VANETs (Vehicular adhoc networks); Automotive systems; Power utility automation networks, SCADA systems; Critical infrastructure protection and Disaster scenarios; Global sensor networks.
Evaluations, testing, benchmarking, and case studies of DADS
Holistic aspects of DADS: E.g., Social, cultural, psychological, economical, managerial, and educational aspects.

Track Program Co-Chairs

Karl M. Göschka (Main contact chair)
University of Applied Sciences Technikum Wien
Embedded Systems Institute
Hoechstaedtplatz 6
A-1200 Vienna, Austria
phone: +43 664 180 6946
dads@dedisys.org
goeschka (at) technikum-wien dot at

Matti Hiltunen
AT&T Shannon Laboratory
1 AT&T Way, Bedminster, NJ 07921
hiltunen (the at sign goes here) research (dot) att (dot) com

Rui Oliveira
Universidade do Minho
Computer Science Department
Campus de Gualtar
4710-057 Braga, Portugal
phone: +351 253 604 452 / Internal: 4452
rco (at) di dot uminho dot pt

Program Committee

Filipe Araujo, University of Coimbra (Portugal)
Claudio Agostino Ardagna, University of Milan (Italy)
Jean Bacon, University of Cambridge (UK)
Alberto Bartoli, University of Trieste (Italy)
Nicola Bena, University of Milan (Italy)
Antonio Casimiro, Universidade de Lisboa (Portugal)
Paulo Coelho, Federal University of Uberlandia (Brazil)
Mauro Conti, Universita di Padova (Italy)
Gianpaolo Cugola, Politecnico di Milano (Italy)
Shujie Cui, Monash University (Australia)
Rogerio De Lemos, University of Kent (UK)
Antonella Del Pozzo, CEA - LIST, Saclay (France)
Felicita Di Giandomenico, ISTI-CNR, Pisa (Italy)
Nikolaos Georgantas, INRIA (France)
Alexandre Huff, Federal Technological University of Parana (Brazil)
Ferhat Khendek, Concordia University (Canada)
Mikel Larrea, Euskal Herriko Unibersitatea (Spain)
Mark Little, Redhat (UK)
István Majzik, Budapest UTE (Hungary)
Odorico Mendizabal, Federal University of Santa Catarina (Brazil)
Gero Mühl, University of Rostock (Germany)
Barry Porter, Lancaster University (UK)
Luís Rodrigues, INESC-ID/IST (Portugal)
Luigi Romano, University of Naples (Italy)
Romain Rouvoy, INRIA (France)
Alirio Sá, Federal University of Bahia (Brazil)
Valerio Schiavoni, Université de Neuchâtel (Switzerland)
Elad Schiller, Chalmers University (Sweden)
Antonio Sousa, Universidade do Minho (Portugal)
Matheus Torquato, University of Coimbra (Portugal)
Eddy Truyen, Katholieke Universiteit Leuven (Belgium)
Luis Veiga, Technical University of Lisbon (Portugal)
Ricardo Vilaça, Universidade do Minho (Portugal)
Roman Vitenberg, University of Oslo (Norway)
Nicola Zannone, Technical University of Eindhoven (Netherlands)

Important Dates

October 13, 2024 (11:59PM Pacific Time) - extended	Paper submission
November 20, 2024	Author notification
November 29, 2024	Camera-ready papers
December 6, 2024	Author registration

Submission Instructions

Authors submit full papers in PDF format using the submission link on the SAC web page. Authors are invited to submit original research not previously published, nor currently submitted elsewhere. Papers are welcome in all areas of Dependable and Adaptive Distributed Systems. Submission of the same paper to multiple tracks is prohibited. Submissions fall into the following categories, and different length requirements apply:

Research work (limited to 8 pages in camera-ready format, included in the registration fee. Authors have the option to include up to two (2) extrapages at additional fee of US$80 per page.).
Reports of innovative computing applications in the arts, sciences, engineering, government, education, and industry; Reports of successful technology transfer to new problem domains; Reports of industrial experience and demos of new innovative systems (limited to 8 pages in camera-ready format, included in the registration fee. Authors have the option to include up to two (2) extrapages at additional fee of US$80 per page).
Poster submission with short papers (limited to 2 pages in camera-ready format, included in the registration fee. Authors have the option to include only one (1) extra page at additional fee of US$80).

Student research abstracts (limited to 4 pages in camera-ready format, included in the registration fee. No extra pages allowed) are submitted in PDF format using the separate SRC submission link - for details please refer to the Student Research Competition (SRC) Program on the SAC web page.

The required format for the submission is the ACM SIG Proceedings Alternate Style. Please apply the ACM Computing Classification categories and terms. The template below provides space for this indexing. The ACM Computing Classification scheme can be found at https://www.acm.org/publications/class-2012.

Papers undergo a double-blind review: The author(s) name(s) and address(es) must NOT appear in the paper, and self-reference should be in the third person. Only the title should be shown at the first page without the author's information. Please refer to the author kit at the SAC conference site.

Accepted papers will be published in the annual conference proceedings and will be included in the ACM digital library. Paper registration is required, allowing the inclusion of the paper, poster, or SRC abstract in the conference proceedings. An author or a proxy attending SAC MUST present the paper. This is a requirement for including the work in the ACM/IEEE digital library. No-show of registered papers, posters, and SRC abstracts will result in excluding them from the ACM/IEEE digital library.