Researchers from the INTELIA research group of the University of Alcalá, together with the company Thales Alenia Space, participated this week in the 18th ESA Workshop on Avionics, Data, Control and Software Systems ~ ADCSS2024 organised by the European Space Agency (ESA) in the city of Noordwijk, The Netherlands. In this workshop the results of the project ‘Artificial Intelligence applied to code repair after code static analysis verification’ were presented.

The results of the project demonstrated that it is possible to use Artificial Intelligence and LLMs to automatically fix bugs and vulnerabilities in source code, with a special focus on embedded software source code. This helps software engineers and enables them to improve the software verification process. Of course, this can be done under the supervision of a software engineer. Although the first results were positive and promising, there is still a lot of work to be done with AI. There is still a lot of work to be done with AI and LLM in the field of automatic code repair. Stay tuned for further developments and news.

The following is a reference to a published research article with some partial results of the project: https://doi.org/10.1016/j.engappai.2024.109291