Formal verification with Frama-C: a case study in the space software domain

With the increasing importance of software in the aerospace field, as evidenced by its growing size and complexity, a rigorous and reliable software verification and validation process must be applied to ensure conformance with the strict requirements of this software. Although important, traditiona...

Full description

Bibliographic Details
Main Author: Silva, Rovedy Aparecida Busquim e (author)
Other Authors: Arai, Nanci Naomi (author), Burgareli, Luciana Akemi (author), Oliveira, Jose Maria Parente de (author), Pinto, Jorge Sousa (author)
Format: article
Language:eng
Published: 2016
Subjects:
Aerospace safety
Embedded software
Formal verification
Software quality
Software safety
Science & Technology
Online Access:http://hdl.handle.net/1822/50783
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/50783

Internet

http://hdl.handle.net/1822/50783

Similar Items