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. From 2018 to 2019, Alessio worked as embedded software consultant for IKG Group AB. From 2019, he works as researcher at within the Industrial Software Engineering group focusing on the model-based development of cyber-phisycal systems. He organised international conferences and workshops and (co-)authored more than 20 publications in international journals, 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.
Timing Verification of Component-based Vehicle Software with Rubus-ICE: End-user's Experience (May 2018) Saad Mubeen, Mattias Gålnander , Alessio Bucaioni, John Lundbäck , Kurt-Lennart Lundbäck 1st International Workshop on Software Qualities and their Dependencies, located at the International Conference of Software Engineering (ICSE) 2018 (SQUADE'18)
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)
|Automation in High-performance Cyber Physical Systems Development||active|
|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||finished|
|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|