DISA

The 8th International Workshop on Formal Approaches for Advanced Computing Systems (FAACS 2024), co-located with the 21st IEEE International Conference on Software Architecture (ICSA 2024), will be held in IIIT Hyderabad, India June 4-8, 2024.

Important Dates:
– Submission Deadline: February 18, 2024
– Notification of Papers: March 17, 2024
– Camera Ready: March 31, 2024
– Workshop Date: June 4 – 5, 2024

Motivation and Scope
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. Aligned with the theme of the ICSA 2024, we welcome contributions on the potential and risks of generative AI in developing advanced software architectures and ensuring qualities like dependability, reliability, safety, and availability through formal modeling and verification.

Topics of Interest include (but are not limited to) the following:

When? Friday February 16th 14-16
Where? Onsite: D1140 at Linnaeus University in Växjö and online
Registration: Please sign up for the PhD-seminar via this link https://forms.gle/FUV4yzLXLTwiSvQe9 by February 14th (especially important if you plan on attending onsite so we have fika for everyone)

14.00-14.10 Welcome and practical information from Welf Löwe
14.10-14.55 Presentation and discussion: Using Virtual Reality to gain insights – Aris Alissandrakis
14.55 – 15.05 Coffee break
15.05 – 15.50 Presentation and discussion – Cloud and HPC – Morgan Ericsson
15.50 -16.00 Sum up and plan for our next seminar on March 15th

Abstracts
Using Virtual Reality to gain insights – Aris Alissandrakis

This seminar will give a brief overview of recent work (2017-now) conducted by the VRxAR Labs research group.

The evolution of our immersive analytics system that went from “simple” data exploration to supporting hybrid asymmetric collaboration will be presented.
The focus will be on the motivations and decisions that informed the direction of this research, and the methodological approaches used to make sure that the system both a) did what it was supposed to and b) was perceived favorably by its users.

Given that VR is better experienced and understood by seen in motion, anyone interested in this is encouraged to check out our video demonstrations on [https://vimeo.com/vrxar].

Cloud and HPC – Morgan Ericsson

We’ll start by discussing what HPC, Cloud computing and related terms mean. We’ll then discuss how and when you should use a cloud environment, such as CSCloud, for HPC. The talk will illustrate the important concepts using CSCloud and discuss, e.g., virtual machines and networks, containers, orchestration, etc.

When? Friday February 2th 14-16
Where? Onsite: D2272 at Linnaeus University in Växjö and online
Registration: Please sign up for the PhD-seminar via this link https://forms.gle/H9oqD7duf23ibLfv7 by January 31st (especially important if you plan on attending onsite so we have fika for everyone)

14.00-14.10 Welcome and practical information from Welf Löwe
14.10-14.55 Presentation and discussion: Object Identification in Land Parcels using a Machine Learning Approach – Niels Gundermann, Industry PhD student at Data Experts
14.55 – 15.05 Coffee break
15.05 – 15.50 Presentation and discussion – Development of Visual Learning Analytic Tools to Explore Performance and Engagement of Students in Both Primary/Secondary and Higher Education – Zeynab Mohseni, PhD-student
15.50 -16.00 Sum up and plan for our next seminar on February 2nd

Abstracts

When? Friday January 19th 14-16

Where? Onsite: D1172 at Linnaeus University in Växjö and online

Registration: Please sign up for the PhD-seminar via this link https://forms.gle/e5GiPpZpyc7UBznv8 by January 17^th (especially important if you plan on attending onsite so we have fika for everyone)

14.00-14.10 Welcome and practical information from Welf Löwe
14.10-14.55 Presentation and discussion: Virtual Ecosystems for Smart Sustainable City-districts – an architecture perspective – Jesper Andersson
14.55 – 15.05 Coffee break
15.05 – 15.50 Presentation and discussion – Self-adaptation: basic principles and industrial usage – Danny Weyns
15.50 -16.00 Sum up and plan for our next seminar on February 16th

Abstracts

Virtual Ecosystems for Smart Sustainable City-districts – an architecture perspective – Jesper Andersson

This talk will discuss architectural issues concerning establishing and operating a digital ecosystem. Digital ecosystems are becoming a foundation for value streams in multiple businesses and domains. The case we study is a smart-district platform, which shares challenges with the Smart-city.

This talk focuses on two concerns, the ecosystem’s platform architecture and architecture barriers to establishing and operating an ecosystem. We characterize sustainable product and service ecosystems in a smart-district ecosystem and discuss specific design alternatives. In a design process, certain architectural barriers impede ecosystem establishment and operation. We describe some categories with concrete examples from the case. In connection to the barriers, we describe specific architectural governance challenges and discuss some possible solutions. We discuss several avenues for future platform architecture and governance research.

Self-adaptation: basic principles and industrial usage – Danny Weyns
 
Self-adaptation enables a software system to reason about itself at runtime and adapt itself to realise a set of quality goals. Self-adaptation has been widely used in the software industry, but not necessarily known under the term self-adaptation. In this talk, I motivate the use of self-adaptation, outline the basic principles of self-adaptation, and report the results of a large-scale survey with practitioners on the use of self-adaptation in industry. 

When? Friday January 12th 14-16
Where? Onsite: B1006 at Linnaeus University in Växjö and online
Registration: Please sign up for the PhD-seminar via this link https://forms.gle/YsyLzBd7K6tL1hmX6 by January 10th (especially important if you plan on attending onsite so we have fika for everyone)

14.00-14.10 Welcome and practical information from Welf Löwe
14.10-14.55 Presentation and discussion: Senadin Alisic, PhD student Combitech
14.55 – 15.05 Coffee break
15.05 – 15.50 Presentation and discussion – Improving access to digital archives pertaining to the Sámi with HTR and automatic subject indexing, Johannes Widegren, PhD in Computer and Information Science at the Department of Cultural Sciences
15.50 -16.00 Sum up and plan for our next seminar on February 2nd

Abstracts