FOundations for Continuous Engineering of Trustworthy Autonomy

Convergence of data-driven and model-based engineering

The underlying targeted scientific breakthrough of FOCETA lies in the convergence of model-driven and data-driven approaches. This convergence is further complicated by the need to apply verification and validation incrementally and avoid complete re-verification and re-validation efforts.

FOCETA’s paradigm will be implemented through a framework built on three scientific pillars:

.

Integration of learning-enabled components and model-based components via a contract-based methodology which allows incremental modification of system under analysis including threat models for cyber-security or environment models

Adaptation of verification techniques applied in model-driven design to learning components, with the goal of enabling transparent and unbiased decision making

Development of a new design paradigm for autonomous systems with incremental synthesis techniques unifying both the enforcement of safety and security critical properties as well as performance optimization

The FOCETA approach will be applied to the most demanding and challenging applications such as urban driving automation and intelligent medical devices, in order to demonstrate its viability, scalability and robustness, while addressing European industry cutting edge technology needs.

Implemented in open source tools and with open data exchange standards.