High-performance cyber-physical systems, like autonomous vehicles, are bringing computing into the new era of heterogeneous computing, where all future computing platforms are likely to have several different computational units. One main need for heterogeneity is the terrific data-throughput induced by contemporary vehicles functions. However, when different computational units are put together on a single board, one main challenge is to use the enormous computing capabilities, while still meeting several non functional properties like timeliness. In order to tackle the challenge of timing verification for high-performance vehicular systems, engineers not only need to write parallel software, but also cope with ad-hoc issues introduced by heterogeneity such as the allocation of computations to computational units. Today, this challenge is mainly addressed manually making the software development tedious, error-prone and inefficient.
In A-CPS, we aim at providing a model-based framework for introducing automation in the software development of high-performance vehicular systems. The proposed framework will leverage industrial modelling languages and model transformations for providing automatic assessment of timing by means of model-based simulation, timing analysis and their interplay.
Reference Architectures Modelling and Compliance Checking (Jul 2022) Alessio Bucaioni, Amleto Di Salle , Ludovico Iovino , Ivano Malavolta , Patrizio Pelliccione Software and Systems Modeling (SoSym)
Trace-based Timing Analysis of AutomotiveSoftware Systems: an Experience Report (Oct 2021) Alessio Bucaioni, Enxhi Ferko, Henrik Lönn 18th International Workshop on Model Driven Engineering, Verification and Validation ( (MoDeVVa 2021)
Model-based Automation of Test Script Generation Across Product Variants: a Railway Perspective (Jun 2021) Alessio Bucaioni, Fabio Di Silvestro , Inderjeet Singh , Mehrdad Saadatmand , Henry Muccini , Thorvaldur Jochumsson 2nd ACM/IEEE International Conference on Automation of Software Test (AST 2021)
Automatic Generation of Configuration Files: an Experience Report from the Railway Domain (Jun 2021) Enxhi Ferko, Alessio Bucaioni, Jan Carlson, Zulqarnain Haider 17th European Conference on Modelling Foundations and Applications (ECMFA2021)
Aligning Architecture with Business Goals in the Automotive Domain (Mar 2021) Alessio Bucaioni, Patrizio Pelliccione , Rebekka Wohlrab IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE (ICSA 2021) (ICSA 2021)
Transferring a model-based development methodology to the automotive industry (Mar 2021) Alessio Bucaioni, Vlatko Dimic , Henrik Lönn , Mattias Gålnander , John Lundbäck 22nd IEEE International Conference on Industrial Technology (ICIT'21) (ICIT 2021)