Artículo:
An application of KLEE to aerospace industrial software

Fecha

2021-09-22

Editor

Sistedes

Publicado en

Actas de las XX Jornadas de Programación y Lenguajes (PROLE 2021)

Licencia Creative Commons

Resumen

This work reports the initial experience of the authors on the application of KLEE to industrial aerospace software. The software consists of C mission code for the Attitude and Orbital Control System (AOCS) subsystem, together with the Simulink models from which it was automatically generated. We detail the characteristics of the software we analyzed, the workflow we created to apply KLEE in the context of Model-Driven Development, and the results and challenges we found.

Descripción

Acerca de García, Juan Francisco

Palabras clave

Aerospace Software, Industrial Experience, KLEE
Página completa del ítem
Notificar un error en este artículo
Mostrar cita
Mostrar cita en BibTeX
Descargar cita en BibTeX