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 |
