Ph.D. Alessio Bucaioni is a software engineer and researcher in model-driven engineering for complex (often vechiular) systems. He received his Ph.D degree from Mälardalen University in 2018. From 2014 to 2018 he worked as software engineer for Arcticus Systems AB. He organised international conferences and workshops and (co-)authored more than 20 publications in international journals, international conference and workshop proceedings.
Alessio's research focuses on several aspects of model-driven engineering for the development of complex(often vehicular) systems such as the definition of domain-specific modelling languages and automated model manipulations for non functional properties verification.
MoVES: a Model-driven methodology for Vehicular Embedded Systems (Jan 2018) Alessio Bucaioni, Lorenzo Addazi , Antonio Cicchetti, Federico Ciccozzi, Romina Eramo , Saad Mubeen, Mikael Sjödin Journal of IEEE Access (Access'18)
Demonstrating Model- and Component-based Development of Vehicular Real-time Systems (Dec 2017) Alessio Bucaioni, Saad Mubeen, Mikael Sjödin, John Lundbäck , Mattias Gålnander , Kurt-Lennart Lundbäck Open Demo Session of Real-Time Systems located at Real Time Systems Symposium (RTSS) (RTSS@Work'17)
Technology-preserving transition from single-core to multi-core in modelling vehicular systems (Jul 2017) Alessio Bucaioni, Saad Mubeen, Federico Ciccozzi, Antonio Cicchetti, Mikael Sjödin 13th European Conference on Modelling Foundations and Applications (ECMFA 2017)
|DPAC - Dependable Platforms for Autonomous systems and Control||active|
|Femmva - Functional- and execution-models in modern electronic vehicle architectures||finished|
|MBAT - Combined Model-based Analysis and Testing (Artemis/Vinnova)||finished|
|PreView: Developing Predictable Vehicle Software on Multi-core||active|
|SynthSoft - Synthesizing Predictable Software for Distributed Embedded Systems||active|
|A model-driven approach for automotive system||available|
|Real-Time Challenges of Vehicular Embedded Systems on Multi-Core - A Mapping Study||finished|
|Requirements traceability in the SCRUM software development process||finished|