€5m project aims for autonomous software that is correct by construction
The XANDAR (X-by-Construction Design Framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems) project aims to develop a framework for prototyping embedded software for autonomous systems within the next three years.
The €5m project is coordinated by the Karlsruher Institut für Technologie (KIT) as part of Horizon 2020 and includes BmW and Queens University Belfast.
Self-learning and connected systems that are used to automate processes in vehicles, airplanes, or industrial production need to operate with very high levels of safety and reliability. In developing these enormously complex systems, any later corrections or changes to the design involve a lot of cost, effort, and added risk. Such changes can only be avoided if each and every development step meets high system requirements. This applies to each individual function (Correctness-by-Construction or CbC method).
Related articles
- Formal methods for AI in space navigation systems
- Transforming uncertain control systems
- Application security test guarantees zero bug vehicles
- The second wave in automotive ISO 26262 analysis
The framework enables XbC design related to timing, safety, and security. It starts with the system requirements and extends to high-level design and code integration based on the CbC method. Together with its partners on the EU project, Vector is contributing toward achieving the project’s ambitious goals based on its expertise as an embedded software specialist and with its PREEvision and the TA Tool Suite development environments.
PREEvision makes it possible to specify connected embedded systems collaboratively and model-based with well-defined semantics that integrate all system levels. The TA Tool Suite can be used to specify, simulate, and validate the time behavior of complex real-time systems. The two environments provide a good foundation for setting up the X-by-Construction design framework.
Other related articles
- John Deere in $250m autonomous tractor tech deal
- Amazon steps up automotive data development with UK hire
Other articles on eeNews Europe
- UK to launch EV charger design as ‘iconic’ as a telephone box
- Infineon teams for smart glasses and automotive head-up displays
- Mythic upgrades RISC-V core for next AI processor
- Samsung moves to 5nm EUV for wearable chips
- EDA flow cuts ASIC modelling time from months to days
If you enjoyed this article, you will like the following ones: don't miss them by subscribing to :
