Developing Predictable and Secure IoT for Autonomous Systems

The goal of iSecure is to design and develop secure digital platforms leveraging the edge, fog and cloud computing for enhancing development, production and support. 

On the one hand, current digital platform architectures for IoT lack of timing guarantees for short-latency data communication among the IoT devices. On the other hand, they lack proper mechanism for data privacy and security. iSecure proposed solution consists of designing and developing an architecture towards secure digital platforms ensuring guarantees on short-latency, privacy and security of data. Edge nodes will serve as local controllers for multiple IoT devices, allowing direct communication between devices controlled by the same node and communication between devices on different nodes, via the nodes. This provides for short-latency communication and data security. The global cloud will orchestrate all edge nodes. Each IoT domain consists of multiple IoT devices that communicate with the edge node using time predictable TSCH technology. We propose a dynamic scheduling algorithm for TSCH to accommodate a changing environment, with mobile devices or new additions/removals. SDN will be utilized to dynamically manage communication bandwidth within each IoT domain. To ensure security and confidentiality, the architecture will employ best practices, innovative techniques, and hardware support for confidential computing. iSecure will achieve the following outcomes: 

• A secure edge-cloud architecture with dynamic and time-predictable communication for IoT systems in industrial environments. 
• A confidential data sharing platform for devices, systems and services. 
• Proof-of-concept implementations in two use cases namely autonomous airport and harbour. 
• Commercialization of the secure, data sharing platform in relevant industrial contexts in Sweden and abroad.

[Show all publications]

Agentic Model Transformation: Service-Mediated Orchestration for Transformation Development (Oct 2026)
Duy Dao, Alessio Bucaioni, Antonio Cicchetti
ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems (MODELS) (MODELS 2026)

Beyond single-run correctness: nondeterminism-aware evaluation of LLM-based model transformations (Oct 2026)
Riccardo Rubei, Alessio Bucaioni, Amleto Di Salle
ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems (MODELS) (MODELS 2026)

Post-Velocity Software Engineering: Assurance Saturation in AI-Enabled Socio-Technical Systems (Sep 2026)
Alessio Bucaioni

Change-Aware Round-Trip Benchmarking of LLMs (Aug 2026)
Duy Dao, Alessio Bucaioni, Antonio Cicchetti
Journal of Systems and Software (JSS)

Barriers and Enablers for Traceability and Federation in Model-Based Digital Twin Engineering (Jul 2026)
Luca Berardinelli , Vittoriano Mutillo , Hugo Bruneliere , Romina Eramo , Alessio Bucaioni, Benoit Combemale , Sashko Ristov , Philipp Gritsch , Djamel Eddine Khelladi , Duy Dao, Rahmanu Hermawan, Andrey Sadovykh , Uğur Yayani
Information and Software Technology (IST)

Architecture as Code in Industry: A Multiple-Case Empirical Study (Jun 2026)
Valeria Pontillo , Alessio Bucaioni, Italo Carnevale , Amleto Di Salle , Lorenzo Manzoni , Patrizio Pelliccione , Francesco Maria Sprotetto
23rd IEEE International Conference on Software Architecture (ICSA2026)