Collins Aerospace, through its Advanced Laboratory on Embedded Systems team, based in Italy, part of the Company’s global technology and open innovation resource Applied Research & Technology organization, focuses on the research and development of cutting-edge embedded electronics and systems. The laboratory specializes in several disciplines such as formal and run-time methods for verification of hybrid and discrete systems, requirement, safety and security analyses, design flow integrations and software-data-knowledge engineering.
What is Collins Aerospace working on in MOSAICO?
In the MOSAICO project, Collins Aerospace Advanced Laboratory on Embedded Systems team is exploring the cooperation and collaboration of AI agents to support design assurance of safety-critical software. Furthermore, Collins Aerospace Applied Research & Technology organization, based in Italy, coordinates the specification of the use case on which the MOSAICO platform will be demonstrated.
Meet the faces behind the project

Luidi Di Guglielmo leads a global team of skilled engineers in advancing the transformation of systems and software engineering practices. Specializing in the shift from traditional document-centric approaches to data-driven and model-based methodologies, with an emphasis on improving product safety, security, and performance. Pioneering the incorporation of disruptive technologies to drive innovation and streamline engineering processes across Collins Aerospace.
About Collins Aerospace
The Advanced Laboratory on Embedded Systems S.R.L., fully owned by Collins Aerospace, is part of its Applied Research and Technology Centre in Italy. Collins Aerospace specialises in the design and verification of embedded systems, focusing on contract-based design, hybrid system modelling and analysis, and virtual integration and testing of safety-critical systems and software. As a key driver of Collins Aerospace’s digital transformation mission, Collins Aerospace adopts advanced Model-Based Engineering practices, digital thread and digital twin technologies, and AI in systems and software engineering.
Key Strengths:
- Expertise in safety-critical systems: Collins Aerospace is a leader in virtual integration and testing, ensuring reliability and safety in embedded systems for aerospace applications.
- Pioneering digital transformation: The laboratory develops advanced Model-Based Engineering technologies to support rapid adoption across Collins Aerospace businesses.
- Leadership in AI applications: Collins Aerospace leverages AI technologies, including large language models (LLMs), to enhance the software development lifecycle, from requirements validation to code generation and testing.