Allegio: Composable embedded systems for healthcare

Objectives 

Creating a method that improves the development time of the embedded software in advanced medical equipment such that innovations can be incorporated faster. This provides the enabling technology to bring advances in medical research into mainstream clinical use safely and quickly. 

Deliverables 

The project delivers

1. a systematic approach to describe multi-dimensional system views
2. a method to define adaptable component-based software architectures which satisfy strong safety and performance constraints
3. formal techniques to define components that are verifiable by design and to reason about correctness compositionally
4. demonstrators that show the application of the above results to industrial cases on cardiovascular X-ray systems.

Transparency

Please click here to view the transparency statement of this project.