Alessio Bucaioni

Mälardalen University

Author Statistics

Papers

Citation

H-Index

i-10 index

Research Trends

Author Order

Document Type

Co-Authors

Saad Mubeen

Mälardalen University

Mikael Sjödin

Mälardalen University

Federico Ciccozzi

Mälardalen University

Antonio Cicchetti

Mälardalen University

Patrizio Pelliccione

Gran Sasso Science Institute

Enxhi Ferko

Mälardalen University

John Lundbäck

Arcticus Systems (Sweden)

Francesco Flammini

University of Applied Sciences and Arts of Southern Switzerland

Mehrdad Saadatmand

RISE Research Institutes of Sweden

Amleto Di Salle

Gran Sasso Science Institute

Cooperative Institutions

Mälardalen University

University of L'Aquila

Gran Sasso Science Institute

Arcticus Systems (Sweden)

University of Waterloo

Chalmers University of Technology

Bombardier (Sweden)

Technology Centre

Software (Spain)

Institut national de recherche en informatique et en automatique

Author Statistics

Papers

Citation

H-Index

i-10 index

Research Field

Trace-based Timing Analysis of Automotive Software Systems: an Experience Report

2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) (2021)

Alessio Bucaioni Enxhi Ferko Henrik Lönn

Trace-based timing analysis is a technique, which assesses the software timing requirements against the timing information contained in so-called traces, which are files collected from simulation tools or by running the actual systems. In this experience report, we describe our joint effort with Volvo Group Trucks Technology in designing and developing a round-trip, model-based framework for the trace-based timing analysis of automotive software. To validate the proposed framework, we use a mix of observational and descriptive methods. In particular, we validate the correctness and feasibility of the proposed approach using the Washer Wiper automotive functionality. Eventually, we discuss lessons learnt, the benefits and limitations of the proposed framework.

TRACE (psycholinguistics)

Traverse

Static timing analysis

10.1109/models-c53483.2021.00046

Cite

Citations (4)

Leveraging GANs to Generate Synthetic Log Files for Smart-Troubleshooting in Industry 4.0

Sania Partovian Francesco Flammini Alessio Bucaioni

Trouble shooting

10.1109/seaa64295.2024.00079

Cite

Citations (0)

Model‐based generation of test scripts across product variants: An experience report from the railway industry

Journal of Software Evolution and Process (2022)

Alessio Bucaioni Fabio Di Silvestro Inderjeet Singh Mehrdad Saadatmand Henry Muccini

Abstract Software product line engineering emerged as an effective approach for the development of families of software‐intensive systems in several industries. Although its use has been widely discussed and researched, there are still several open challenges for its industrial adoption and application. One of these is how to efficiently develop and reuse shared software artifacts, which have dependencies on the underlying electrical and hardware systems of products in a family. In this work, we report on our experience in tackling such a challenge in the railway industry and present a model‐based approach for the automatic generation of test scripts for product variants in software product lines. The proposed approach is the result of an effort leveraging the experiences and results from the technology transfer activities with our industrial partner Alstom SA in Sweden. We applied and evaluated the proposed approach on the Aventra software product line from Alstom SA. The evaluation showed that the proposed approach mitigates the development effort, development time, and consistency drawbacks associated with the traditional, manual creation of test scripts. We performed an online survey involving 37 engineers from Alstom SA for collecting feedback on the approach. The result of the survey further confirms the aforementioned benefits.

Software product line

Domain engineering

10.1002/smr.2498

Cite

Citations (3)

Architecting Digital Twins

IEEE Access (2022)

Enxhi Ferko Alessio Bucaioni Moris Behnam

In 2002, Grieves defined the concept of the digital twin as a virtual instance of physical assets capable of continuously mirroring them. Ever since then, driven by remarkable industrial attention, digital twins flourished and ripened in several sectors. The notable industrial adoption has been sided by a growing interest from the software engineering community in general and the software architecture community in particular as demonstrated by the growing number of published peer-reviewed publications and proposed software architectural solutions for digital twins. In this paper, we report on the planning, execution, and results of a systematic mapping study on architecting digital twins. The study captures crucial aspects of software architectures for digital twins as types of architectural solutions, quality attributes, and architectural patterns. It supports practitioners in creating digital twins tailored to their specific needs and researchers in identifying trends and open challenges. Starting from an initial set of potentially relevant 1630 peer-reviewed publications, we selected 140 primary studies. We analysed the set of primary studies using thorough data extraction, analysis, and synthesis process. To compensate for single method limitations and reduce possible threats to conclusion validity, we discussed the results of our study with experts in the software architecture community. Based on our results, the field of software architecture for digital twins is lively and an increasing number of architectural solutions are being proposed. Although there is a lack of widely accepted reference architectural solutions for digital twins, most of them are built using a combination of the layered and service-oriented patterns and address maintainability, performance efficiency, and compatibility quality attributes.

Mirroring

Architectural pattern

10.1109/access.2022.3172964

Cite

Citations (55)

A Model-Based Testing Framework for Automotive Embedded Systems

Raluca Marinescu Mehrdad Saadatmand Alessio Bucaioni Cristina Seceleanu Paul Pettersson

Architectural models, such as those described in the east language, represent convenient abstractions to reason about automotive embedded software systems. To enjoy the fully-fledged advantages of reasoning, EAST-ADL models could benefit from a component-aware analysis framework that provides, ideally, both verification and model-based test-case generation capabilities. While different verification techniques have been developed for architectural models, only a few target EAST-ADL. In this paper, we present a methodology for code validation, starting from EAST-ADL artifacts. The methodology relies on: (i) automated model-based test-case generation for functional requirements criteria based on the EAST-ADL model extended with timed automata semantics, and (ii) validation of system implementation by generating Python test scripts based on the abstract test-cases. The scripts represent concrete test-cases that are executable on the system implementation. We apply our methodology to analyze the ABS function implementation of the Brake-by-Wire system prototype.

Executable

Python

Model-Based Testing

Component (thermodynamics)

10.1109/seaa.2014.70

Cite

Citations (25)

Demonstrator for modeling and development of component-based distributed real-time systems with Rubus-ICE

Real-Time Systems Symposium (2013)

Alessio Bucaioni Saad Mubeen John Lundbäck Kurt-Lennart Lundbäck Jukka Mäki-Turja

We present a demonstrator for modeling and development of component-based vehicular distributed real-time systems using the industrial model Rubus Component Model (RCM) and its development environm ...

Component (thermodynamics)

Source

Cite

Citations (1)

Demonstrating Model- and Component-based Development of Vehicular Real-time Systems

Real-Time Systems Symposium (2017)

Alessio Bucaioni Saad Mubeen Mikael Nolin John Lundbäck Mattias Gålnander

Component (thermodynamics)

Source

Cite

Citations (0)

Aligning Architecture with Business Goals in the Automotive Domain

Alessio Bucaioni Patrizio Pelliccione Rebekka Wohlrab

When designing complex automotive systems in practice, employed technologies and architectural decisions need to reflect business goals. While the software architecture community has acknowledged the need to align business goals with architectural decisions, there is a lack of practical approaches to achieve this alignment. In this paper, we intend to close this gap by providing a systematic approach for architecture-business alignment. The approach describes how to align architecture with business concerns by eliciting goals, identifying quality attributes, and deriving architectural tactics. We iteratively developed and evaluated the approach together with an international automotive manufacturer. We show the application of the proposed approach within our participating company leveraging a use case related to software-over-the-air technologies. The proposed approach is perceived as beneficial by our participants, since it provides a structured mechanism to align architecture and business goals by determining key architectural concerns as quality attributes and tactics.

10.1109/icsa51549.2021.00020

Cite

Citations (7)

Technical Architectures for Automotive Systems

Alessio Bucaioni Patrizio Pelliccione

Driven by software, the automotive domain is living an unprecedented revolution with original equipment manufacturers increasingly becoming software companies. Vehicle electrical and electronic software architectures are considered means for addressing several concerns, which span from safety to security, through electrification and autonomy. Such architectures serve also as pivotal means for enabling communication between an original equipment manufacturer and suppliers (tier 1 and 2 companies) within the automotive ecosystem. In the automotive domain, software architectures include (at least) three different views of descending abstraction: functional, logical, and technical. In this work, we focus on the technical view with a two-folded contribution. On the one hand, we propose a feature model of technical architectures for automotive systems. On the other hand, starting from the elicited feature model, we present three technical reference architectures able to guide three generations of automotive systems. We evaluate the contribution of this work by means of a focus group validation session and short semi-structured interviews with automotive experts and practitioners.

10.1109/icsa47634.2020.00013

Cite

Citations (25)

On the ISO Compliance of Model-Based Risk Assessment for Autonomous Cyber-Physical Production Systems

Maryam Zahid Alessio Bucaioni Francesco Flammini

Cyber-physical system

10.1109/csr61664.2024.10679385

Cite

Citations (0)