€5m project aims for autonomous software that is correct by construction

€5m project aims for autonomous software that is correct by construction

Technology News |
By Nick Flaherty

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 

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 

Other articles on eeNews Europe


If you enjoyed this article, you will like the following ones: don't miss them by subscribing to :    eeNews on Google News


Linked Articles