Model-based Trustworthiness Evaluation of Autonomous Cyber-Physical Production Systems: A Systematic Mapping Study

M Zahid, A Bucaioni, F Flammini - ACM Computing Surveys, 2024 - dl.acm.org
The fourth industrial revolution, ie, Industry 4.0, is associated with Cyber-Physical Systems
(CPS), which are entities integrating hardware (eg, smart sensors and actuators connected …

Benchmarking bidirectional transformations: theory, implementation, application, and assessment

A Anjorin, T Buchmann, B Westfechtel, Z Diskin… - Software and systems …, 2020 - Springer
Bidirectional transformations (bx) are relevant for a wide range of application domains.
While bx problems may be solved with unidirectional languages and tools, maintaining …

Towards interoperable digital twins: Integrating SysML into AAS with higher-order transformations

E Ferko, L Berardinelli, A Bucaioni… - 2024 IEEE 21st …, 2024 - ieeexplore.ieee.org
The functional suitability of digital twin systems relies on accurately capturing, modelling,
and exchanging data from their corresponding assets or processes. Consequently …

Trace-based timing analysis of automotive software systems: an experience report

A Bucaioni, E Ferko, H Lönn - 2021 ACM/IEEE International …, 2021 - ieeexplore.ieee.org
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 …

Bidirectional model transformation approaches a comparative study

L Samimi-Dehkordi, B Zamani… - 2016 6th International …, 2016 - ieeexplore.ieee.org
Bidirectional model transformations (Bx) are considered as one of the cornerstones of model-
driven engineering paradigm. Bx re-establishes the consistency between the source and …

Synchronization of models on different abstraction levels using triple graph grammars

A Anjorin - 2014 - tuprints.ulb.tu-darmstadt.de
In modern, computer-aided engineering processes, restoring and maintaining the
consistency of multiple, related artefacts is an important challenge. This is especially the …

[HTML][HTML] Enabling automated integration of architectural languages: an experience report from the automotive domain

A Bucaioni, M Becker - Journal of Systems and Software, 2022 - Elsevier
Modern automotive software systems consist of hundreds of heterogeneous software
applications, belonging to separated function domains and often developed within …

[PDF][PDF] Automatic Generation of Configuration Files: an Experience Report from the Railway Domain.

E Ferko, A Bucaioni, J Carlson, Z Haider - J. Object Technol., 2021 - researchgate.net
In recent years, software product line development has been adopted by a growing number
of companies. Within software product line development, one way of creating specific …

Bringing a continuous integration and delivery pipeline into MoVES

M Mörtstrand, A Bucaioni… - … Conference on Electrical …, 2023 - ieeexplore.ieee.org
The increasing complexity of modern automotive software systems has prompted the
development and adoption of various model-based methodologies. One such methodology …

Teaching process improvement in a graduate software engineering course

GW Hislop - FIE'99 Frontiers in Education. 29th Annual Frontiers in …, 1999 - computer.org
Abstract Model-driven software development proposes model transformations as a key
system design principle. However, devel-opment of model transformations can be …