CORDIS
EU research results

CORDIS

English EN

Just-in-time Self-Verification of Autonomous Systems

Project information

Grant agreement ID: 817629

Status

Ongoing project

  • Start date

    1 July 2019

  • End date

    30 June 2024

Funded under:

H2020-EU.1.1.

  • Overall budget:

    € 1 999 075

  • EU contribution

    € 1 999 075

Hosted by:

TECHNISCHE UNIVERSITAET MUENCHEN

Germany

Project description

English EN

Improving the development of autonomous systems

In recent years, engineers and computer scientists have been developing autonomous systems for use in a broad array of environments. They feature in self-driving cars, agricultural robots and unmanned aerial vehicles. But these systems face a serious problem in their development. The challenge for researchers is to find out how to programme them to adapt to special situations. Unfortunately, clearly defining how these systems should deal with each problem before their use is nearly impossible. The EU-funded justITSELF project will impose a paradigm shift which will shift attention away from programming predesigned responses. Instead, this new method will focus on just-in-time verification, a process by which the system will evaluate its next action constantly so as to achieve safety.

Leaflet | Map data © OpenStreetMap contributors, Credit: EC-GISCO, © EuroGeographics for the administrative boundaries

Host institution

TECHNISCHE UNIVERSITAET MUENCHEN

Address

Arcisstrasse 21
80333 Muenchen

Germany

Activity type

Higher or Secondary Education Establishments

EU Contribution

€ 1 999 075

Beneficiaries (1)

TECHNISCHE UNIVERSITAET MUENCHEN

Germany

EU Contribution

€ 1 999 075

Project information

Grant agreement ID: 817629

Status

Ongoing project

  • Start date

    1 July 2019

  • End date

    30 June 2024

Funded under:

H2020-EU.1.1.

  • Overall budget:

    € 1 999 075

  • EU contribution

    € 1 999 075

Hosted by:

TECHNISCHE UNIVERSITAET MUENCHEN

Germany