=Paper=
{{Paper
|id=Vol-2978/faacs-preface
|storemode=property
|title=Preface
|pdfUrl=https://ceur-ws.org/Vol-2978/faacs-preface.pdf
|volume=Vol-2978
}}
==Preface==
https://ceur-ws.org/Vol-2978/faacs-preface.pdf
The 5th International Workshop on Formal Approaches for
Advanced Computing Systems
Marcello M. Bersania , Matteo Camillib , Tsutomu Kobayashic and Diego Perez-Palacind
a
Politecnico di Milano, Milan, Italy
b
Free University of Bozen-Bolzano, Bolzano, Italy
c
National Institute of Informatics, Tokyo, Japan
d
Linnaeus University, Växjö, Sweden
Abstract
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 affected by external uncertainty as well as internal uncertainty, very often due to
“intelligent” and “learning” components that are becoming established and effective 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.
Preface unexpectedly, sometimes exposing users to highly un-
desired consequences, such as threats to confidentiality
The main mission of the workshop is to foster integration and even financial or health danger. Ensuring the relia-
between the formal methods and the software architec- bility, safety, availability, and so on, of such systems, is a
ture communities with the purpose of improving their very challenging problem, requiring advanced software
connection in the field of Advanced Computing Systems. architecture design that can be devised by the software
This is an emerging class of software systems that expose architecture community, on one hand, and rigorous mod-
complex computational models (such as mobile, cloud, eling and analysis techniques that can be devised by the
autonomic, adaptive computing, and AI-based) and ex- formal methods community, on the other hand.
ploit new technologies and infrastructures (such as IoT The 5th edition of the International Workshop on
connectivity and smart devices) to deliver services and Formal Approaches for Advanced Computing Systems
information to a multitude of end-users. The develop- (FAACS 2021) will be held in virtual mode, on September
ment of these Advanced Computing Systems requires ad- 14th, 2021. The workshop is co-located for the 4th year in
vanced architectural design exploiting the integration of a row with the European Conference on Software Archi-
heterogeneous architecture description languages, archi- tecture (ECSA). The first edition of FAACS took place in
tectural patterns, qualitative and quantitative assessment Trento, Italy, on September 4th, 2017, as a satellite work-
of architectures, and solutions already individually tested shop of the 15th International Conference on Software
in specific contexts. Although significant advancement Engineering and Formal Methods (SEFM 2017).
has been achieved during decades of research activity, This year the workshop received 3 submissions. Af-
formal methods are still not widely adopted by the soft- ter an accurate and thorough peer-review process, we
ware industry. Thus, delivered products often behave selected 1 paper (33% acceptance rate) for presentation
at the workshop after review and discussion by at least
ECSA2021 Companion Volume, Växjö Sweden, 13-17 September 2021 three members of the Program Committee.
Envelope-Open marcellomaria.bersani@polimi.it (M. M. Bersani);
matteo.camilli@unibz.it (M. Camilli); t-kobayashi@nii.ac.jp
The workshop program includes the invited talk en-
(T. Kobayashi); diego.perez@lnu.se (D. Perez-Palacin) titled “Exploiting system parameters to test and debug
GLOBE https://sites.google.com/site/marcellombersani/ (M. M. Bersani); Autonomous Driving Systems” given by Paolo Arcaini
https://matteocamilli.github.io/ (M. Camilli); from the National Institute of Informatics, Japan.
https://researchmap.jp/tsutomu.kobayashi (T. Kobayashi); We would like to thank the Program Committee mem-
https://lnu.se/en/staff/diego.perez/ (D. Perez-Palacin)
Orcid 0000-0001-5137-940X (M. M. Bersani); 0000-0003-2491-5267
bers that made the workshop possible with valuable com-
(M. Camilli); 0000-0002-8795-3183 (T. Kobayashi) ments received during the review process. We would
© 2021 Copyright for this paper by its authors. Use permitted under Creative
Commons License Attribution 4.0 International (CC BY 4.0).
also like to thank the Steering Committee members and
CEUR
Workshop
Proceedings
http://ceur-ws.org
ISSN 1613-0073
CEUR Workshop Proceedings (CEUR-WS.org)
the ECSA workshop chairs for their valuable help and
support.
Co-organizers
• Marcello Bersani, Politecnico di Milano, Milan,
Italy
• Matteo Camilli, Free University of Bozen-Bolzano,
Bolzano, Italy
• Tsutomu Kobayashi, National Institute of Infor-
matics, Tokyo, Japan
• Diego Perez-Palacin, Linnaeus University, Växjö,
Sweden
Program Committee
• Sanaa Alwidian, University of Ottawa, Canada
• Paolo Arcaini, National Institute of Informatics,
Japan
• Georg Buchgeher, Software Competence Center
Hagenberg, Austria
• Radu Calinescu, University of York, UK
• Stéphanie Challita, University of Rennes, France
• Javier Cámara, University of York, UK
• Stefan Hallerstede, Aarhus University, Denmark
• Einar Broch Johnsen, University of Oslo, Norway
• Sungwon Kang, Korea Advanced Institute of Sci-
ence and Technology, Republic of Korea
• Anastasia Mavridou, NASA Ames Research Cen-
ter, USA
• Claudio Menghi, University of Luxemburg, Lux-
emburg
• José Merseguer, University of Zaragoza, Spain
• Henry Muccini, University of L’Aquila, Italy
• Jose Ignacio Requeno, Complutense University
of Madrid, Spain
• Pedro Ribeiro, University of York, UK
• Elvinia Riccobene, University of Milan, Italy
• Lionel Seinturier, University of Lille, France
• Paola Spoletini, Kennesaw State University, USA
• Catia Trubiani, Gran Sasso Science Institute, Italy
• Christos Tsigkanos, Vienna University of Tech-
nology, Austria
Steering Committee
• Paolo Arcaini, National Institute of Informatics,
Japan
• Marina Mongiello, Politecnico di Bari, Italy
• Elvinia Riccobene, University of Milan, Italy
• Patrizia Scandurra, University of Bergamo, Italy