Autonomous and smart systems
Modelling and verifying adaptable and self-adaptable systems should cover both adaptation that
can be planned at design-time and adaptation that cannot be anticipated at design-time. We make use of techniques, including: algebraic graph transformations techniques, typed (hyper) graph grammars, assume-guarantee and contracts, learning approaches, goal-oriented assurance techniques, controller synthesis, and also an hybrid approach
combining control theory and AI for engineering self-adaptive systems. We also investige ethical aspects of autonomous and smart systems.
Robotic systems and software engineering
Software engineering is called to play a key role in making robotic research pervasive and ubiquitous and in democratizing the use of robots in everyday-life scenarios. There is the need of rethinking the development processes, as well as the architecting, designing and integration of robotic software. We also focus on proposing solutions to enable the specification of complex missions for multi-robots in a used-friendly way.
We have consolidated experience in languages for providing architecture descriptions and in architecture frameworks (ISO/IEC/IEEE 42010:2011). We also investigated the role of the architecture when companies are transitioning towards the adoption of agile methodologies. We mainly investigated this research area in the automotive domain and specifically in collaboration with Volvo cars, while investigating the software and electrical architecture of next generation of vehicles.
Architecting complex system
