
Method for synthesizing a correct-by-construction control software for Advanced Driver Assistance Systems (ADAS)
- Novel solution to design certifiable control software for safety-critical systems.
- Automated and highly parallelized real-time design, and code-generation (scalable!).
- The generated controller is provided as soft- or hardware module.