Summary
Ubiquitous AI will soon allow complex systems to drive on our roads, fly over our heads, move alongside us during our daily lives & work in our factories. In spite of this disruptive landscape, deployment and broader adoption of learned-enabled autonomous systems in safety-critical scenarios remains challenging. Continuous engineering (DevOps) can mediate problems when encountering new scenarios throughout the product life cycle. However, the technical foundations and assumptions on which traditional safety engineering principles rely do not extend to learning-enabled autonomous systems engineered under continuous development.
FOCETA gathers prominent academic groups & leading industrial partners to develop foundations for continuous engineering of trustworthy learning-enabled autonomous systems. The targeted scientific breakthrough lies within the convergence of “data-driven” and “model-based” engineering, where this convergence is further complicated by the need to apply verification and validation incrementally & avoid complete re-verification & re-validation efforts.
FOCETA’s paradigm is built on three scientific pillars: (1) integration of learning-enabled components & model-based components via a contract-based methodology which allows incremental modification of systems including threat models for cyber-security, (2) adaptation of verification techniques applied during model-driven design to learning components in order to enable unbiased decision making, & finally, (3) incremental synthesis techniques unifying both the enforcement of safety & security-critical properties as well as the optimization of performance.
FOCETA approach, implemented in open source tools & with open data exchange standards, will be applied to the most demanding & challenging applications such as urban driving automation & intelligent medical devices, to demonstrate its viability, scalability & robustness, while addressing European industry cutting-edge technology needs.
FOCETA gathers prominent academic groups & leading industrial partners to develop foundations for continuous engineering of trustworthy learning-enabled autonomous systems. The targeted scientific breakthrough lies within the convergence of “data-driven” and “model-based” engineering, where this convergence is further complicated by the need to apply verification and validation incrementally & avoid complete re-verification & re-validation efforts.
FOCETA’s paradigm is built on three scientific pillars: (1) integration of learning-enabled components & model-based components via a contract-based methodology which allows incremental modification of systems including threat models for cyber-security, (2) adaptation of verification techniques applied during model-driven design to learning components in order to enable unbiased decision making, & finally, (3) incremental synthesis techniques unifying both the enforcement of safety & security-critical properties as well as the optimization of performance.
FOCETA approach, implemented in open source tools & with open data exchange standards, will be applied to the most demanding & challenging applications such as urban driving automation & intelligent medical devices, to demonstrate its viability, scalability & robustness, while addressing European industry cutting-edge technology needs.
Unfold all
/
Fold all
More information & hyperlinks
| Web resources: | https://cordis.europa.eu/project/id/956123 |
| Start date: | 01-10-2020 |
| End date: | 31-10-2023 |
| Total budget - Public funding: | 4 985 540,00 Euro - 4 985 540,00 Euro |
Cordis data
Original description
Ubiquitous AI will soon allow complex systems to drive on our roads, fly over our heads, move alongside us during our daily lives & work in our factories. In spite of this disruptive landscape, deployment and broader adoption of learned-enabled autonomous systems in safety-critical scenarios remains challenging. Continuous engineering (DevOps) can mediate problems when encountering new scenarios throughout the product life cycle. However, the technical foundations and assumptions on which traditional safety engineering principles rely do not extend to learning-enabled autonomous systems engineered under continuous development.FOCETA gathers prominent academic groups & leading industrial partners to develop foundations for continuous engineering of trustworthy learning-enabled autonomous systems. The targeted scientific breakthrough lies within the convergence of “data-driven” and “model-based” engineering, where this convergence is further complicated by the need to apply verification and validation incrementally & avoid complete re-verification & re-validation efforts.
FOCETA’s paradigm is built on three scientific pillars: (1) integration of learning-enabled components & model-based components via a contract-based methodology which allows incremental modification of systems including threat models for cyber-security, (2) adaptation of verification techniques applied during model-driven design to learning components in order to enable unbiased decision making, & finally, (3) incremental synthesis techniques unifying both the enforcement of safety & security-critical properties as well as the optimization of performance.
FOCETA approach, implemented in open source tools & with open data exchange standards, will be applied to the most demanding & challenging applications such as urban driving automation & intelligent medical devices, to demonstrate its viability, scalability & robustness, while addressing European industry cutting-edge technology needs.
Status
SIGNEDCall topic
ICT-50-2020Update Date
27-10-2022
Images
No images available.
Geographical location(s)
Structured mapping
Unfold all
/
Fold all
Search
Organisations
-
| UNIVERSITE GRENOBLE ALPES (Coördinator)
-
| AIT AUSTRIAN INSTITUTE OF TECHNOLOGY GMBH (AIT Austrian Institute of Technology GmbH)
-
| ARISTOTELIO PANEPISTIMIO THESSALONIKIS
-
| BAR ILAN UNIVERSITY
-
| CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)
-
| DENSO AUTOMOTIVE DEUTSCHLAND GMBH (DNDE)
-
| FORTISS GMBH
-
| INTEL DEUTSCHLAND GMBH
-
| L - UP SAS
-
| Mentor Graphics Egypt
-
| R G B MEDICAL DEVICES SA (RGB)
-
| SIEMENS INDUSTRY SOFTWARE NETHERLANDS BV
-
| SIEMENS INDUSTRY SOFTWARE NV (SISW)
-
| SIEMENS INDUSTRY SOFTWARE SAS
-
| TECHNISCHE UNIVERSITAET GRAZ (TU GRAZ)