Advanced computing systems are increasingly adopted to generate productivity gains, improve well-being and help experts to address challenges in various application domains, including mobility, healthcare, cyber-security, industrial robots, autonomous vehicles, cloud-based services, and IoT. Such systems often operate in dynamic, highly complex, partially observable environments and they are afected by external uncertainty as well as internal uncertainty, very often due to “intelligent” and “learning” components that are becoming established and efective for making predictions, recommendations or decisions that influence the surroundings. As a consequence, the design and development of these systems require proper approaches, methodologies, abstractions and architectural design solutions integrating together heterogeneous elements such as networking, computation, engineered physical elements, AI/ML components, and human beings into complex ecosystems. Assuring dependability, trustworthiness and other important qualities of such systems yield challenges that call for novel and formal approaches to system design, development, validation, and verification. Indeed, an unexpected exposure of users to unwanted behaviors, such as threats to confidentiality or even financial or health danger, is highly undesirable.
The main mission of the workshop is to foster integration between the formal methods and the software architecture communities with the purpose of improving their connection in the field of Advanced Computing Systems. This is an emerging class of software systems that expose LGOBE vanced architectural design exploiting the integration of heterogeneous architecture description languages, architectural patterns, qualitative and quantitative assessment of architectures, and solutions already individually tested in specific contexts. Although significant advancement has been achieved during decades of research activity, formal methods are still not widely adopted by the software industry. Thus, delivered products often behave https://sites.google.com/site/marcellombersani/ (M. M. Bersani); https://matteocamilli.github.io/ (M. Camilli); https://researchmap.jp/tsutomu.kobayashi (T. Kobayashi); https://lnu.se/en/staff/diego.perez/ (D. Perez-Palacin)
0000-0001-5137-940X (M. M. Bersani); 0000-0003-2491-5267 (M. Camilli); 0000-0002-8795-3183 (T. Kobayashi)
We would like to thank the Program Committee members that made the workshop possible with valuable comments received during the review process. We would also like to thank the Steering Committee members and the ECSA workshop chairs for their valuable help and support.