Autor:
Macías, Fernando

Foto de perfil

E-mails conocidos

fernando.macias@imdea.org
fmac@hvl.no

Fecha de nacimiento

Proyectos de investigación

Unidades organizativas

Puesto de trabajo

Apellidos

Macías

Nombre de pila

Fernando

Nombre

Nombres alternativos

Afiliaciones conocidas

IMDEA Software Institute, Spain
Western Norway University of Applied Sciences, Norway

Páginas web conocidas

Página completa del ítem
Notificar un error en este autor

Filtros

20211
Restablecer filtros

Ajustes

Autor: García, Juan Francisco × Autor: Morales, Jose F. ×

Resultados de la búsqueda

Mostrando 1 - 1 de 1
  • Miniatura
    Artículo
    An application of KLEE to aerospace industrial software
    García, Juan Francisco; Jurjo, Daniel; Macías, Fernando; Morales, Jose F.; Gorla, Alessandra. Actas de las XX Jornadas de Programación y Lenguajes (PROLE 2021), 2021-09-22.
    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.