Italiano

WP2.B Trustworthiness of smart and autonomous systems

To be used in everyday life, smart and autonomous systems must be trustworthy. Besides of guaranteeing quality, in many application domains smart and autonomous systems need to obey to certification of software properties.

Spacecraft systems have highly demanding reliability and resilience requirements. The introduction of Machine Learning and Artificial intelligence technologies among on-board SW applications will bestow even greater importance to requirements of reliability and resilience.

The additional computational power supplied by new space processors, eventually combined with dedicated coprocessors, will allow on-board additional services to enhance the spacecraft autonomy and the system reliability and resilience following a predictive maintenance approach. and by exploiting V&V techniques.

A specific aim of this task is the seamless integration of current software development practices of autonomous systems with precise verification flows for achieving trustworthiness. Examples of techniques that we plan to investigate are static analysis techniques, model-based and (semi)automatic approaches to software verification, software testing both in production and in the field.

  • Deadline
    December 2025
  • Status
    Ongoing

Entities participating in the activities

  • Gran Sasso Science Institute
  • Fondazione Bruno Kessler
  • Thales Alenia Space Italia SpA

Financial resources 0.7 Million euro

Faculty and researchers involved in project activities 579,418.04 €
Calls for researchers, post-docs, and technologists 0.00 €
Equipment 0.00 €
Buildings/land 0.00 €
Calls for companies 0.00 €
Consultancies 0.00 €
Indirect costs 86,912.71 €
Title Description/objectives Entities Expected month of completion Status Attachments
Requirements of V&V techniques and of AI techniques for space Identification of the requirements of both V&V techniques for smart and autonomous systems and AI techniques for space (also considering the specific HW architecture of the use case). GSSI, FBK, TAS-I June 2023 Completed
AI for space design review Main design decisions for AI software for space. We will specifically refer to the Crystal Eye satellite. GSSI, FBK, TAS-I December 2023 Completed
First version of V&V techniques for smart systems and prototype of AI software for space First version of V&V techniques for smart and autonomous system and their specialization to AI techniques for space. Delivery of the first working prototype of AI software for space. GSSI, FBK, TAS-I June 2024 Nearing completion
Initial validation of the V&V techniques on the Crystal Eye satellite Initial validation of V&V techniques for smart and autonomous systems with the Crystal Eye satellite representative example. GSSI, FBK, TAS-I December 2024 Ongoing
Final version of V&V techniques for smart systems, final version of AI software for space, and final validation with the Crystal Eye satellite Final version of V&V techniques for smart and autonomous systems and their initial validation with industrial examples. Final version of the AI software for space. Final validation with the Crystal Eye satellite use case. GSSI, FBK, TAS-I December 2025 Ongoing