Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/26343
Título: | Using abstract interpretation to produce dependable aerospace control software |
Autor(es): | Silva, Rovedy Aparecida Busquim e Arai, Nanci Naomi Burgareli, Luciana Akemi Oliveira, José M. Parente Pinto, Jorge Sousa |
Palavras-chave: | Software dependability Formal verification Abstract interpretation Aerospace control software |
Data: | 2013 |
Citação: | R. A. B. e Silva, N. N. Arai, L. A. Burgareli, J. M. P. Oliveira, and J. S. Pinto. Using Abstract Interpretation to Produce Dependable Aerospace Control Software. In Industrial Track of the 6th. Latin American Symposium on Dependable Computing (LADC’13), 2013 |
Resumo(s): | In the context of software dependability, the software veri- fication process has an important role. Formal verification of programs is an activity that can be inserted in this process to improve software reliability. This paper presents the defini- tion of an approach that employs a formal verification tech- nique based on abstract interpretation. The main goal is to apply this technique as a formal activity in the software veri- fication process to help software engineers identify programs faults. The applicability of the proposed approach is demon- strated by a case study based on embedded aerospace control software. The results obtained from its use show that abstract interpretation can contribute to software dependability. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/26343 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
2013-LADC2013 - Industrial Track.pdf | Documento principal | 109,22 kB | Adobe PDF | Ver/Abrir |