Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/26343
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Silva, Rovedy Aparecida Busquim e | - |
dc.contributor.author | Arai, Nanci Naomi | - |
dc.contributor.author | Burgareli, Luciana Akemi | - |
dc.contributor.author | Oliveira, José M. Parente | - |
dc.contributor.author | Pinto, Jorge Sousa | - |
dc.date.accessioned | 2013-11-27T12:22:29Z | - |
dc.date.available | 2013-11-27T12:22:29Z | - |
dc.date.issued | 2013 | - |
dc.identifier.citation | 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 | por |
dc.identifier.uri | https://hdl.handle.net/1822/26343 | - |
dc.description.abstract | 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. | por |
dc.description.sponsorship | Fundação para a Ciência e a Tecnologia (FCT) | por |
dc.language.iso | eng | por |
dc.rights | openAccess | por |
dc.subject | Software dependability | por |
dc.subject | Formal verification | por |
dc.subject | Abstract interpretation | por |
dc.subject | Aerospace control software | por |
dc.title | Using abstract interpretation to produce dependable aerospace control software | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
oaire.citationConferencePlace | Rio de Janeiro, Brasil | por |
oaire.citationTitle | Latin American Symposium on Dependable Computing, 6, Rio de Janeiro, 2013 | por |
sdum.conferencePublication | Latin American Symposium on Dependable Computing, 6, Rio de Janeiro, 2013 | por |
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 |