Certification of open-source software : a role for formal methods?

Detalhes bibliográficos
Autor(a) principal: Barbosa, L. S.
Data de Publicação: 2010
Outros Autores: Cerone, Antonio, Petrenko, Alexander, Shaikh, Siraj A.
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/1822/20282
Resumo: Despiteitshugesuccessandincreasingincorporationincom- plex, industrial-strength applications, open source software, by the very nature of its open, unconventional, distributed development model, is hard to assess and certify in an effective, sound and independent way. This makes its use and integration within safety or security-critical systems, a risk. And, simultaneously an opportunity and a challenge for rigourous, mathematically based, methods which aim at pushing software analysis and development to the level of a mature engineering discipline. This paper discusses such a challenge and proposes a number of ways in which open source development may benefit from the whole patrimony of formal methods.
id RCAP_89a71c4de927a36b9ee2645059b68860
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/20282
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Certification of open-source software : a role for formal methods?Open source Software certificationFormal methodsSoftware qualityScience & TechnologyDespiteitshugesuccessandincreasingincorporationincom- plex, industrial-strength applications, open source software, by the very nature of its open, unconventional, distributed development model, is hard to assess and certify in an effective, sound and independent way. This makes its use and integration within safety or security-critical systems, a risk. And, simultaneously an opportunity and a challenge for rigourous, mathematically based, methods which aim at pushing software analysis and development to the level of a mature engineering discipline. This paper discusses such a challenge and proposes a number of ways in which open source development may benefit from the whole patrimony of formal methods.L. S. Barbosa research was partially supported by the CROSS project, under contract PTDC/EIA-CCO/108995/2008.CRL PublishingUniversidade do MinhoBarbosa, L. S.Cerone, AntonioPetrenko, AlexanderShaikh, Siraj A.20102010-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/1822/20282eng0267-6192info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2024-05-11T04:34:21Zoai:repositorium.sdum.uminho.pt:1822/20282Portal AgregadorONGhttps://www.rcaap.pt/oai/openairemluisa.alvim@gmail.comopendoar:71602024-05-11T04:34:21Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Certification of open-source software : a role for formal methods?
title Certification of open-source software : a role for formal methods?
spellingShingle Certification of open-source software : a role for formal methods?
Barbosa, L. S.
Open source Software certification
Formal methods
Software quality
Science & Technology
title_short Certification of open-source software : a role for formal methods?
title_full Certification of open-source software : a role for formal methods?
title_fullStr Certification of open-source software : a role for formal methods?
title_full_unstemmed Certification of open-source software : a role for formal methods?
title_sort Certification of open-source software : a role for formal methods?
author Barbosa, L. S.
author_facet Barbosa, L. S.
Cerone, Antonio
Petrenko, Alexander
Shaikh, Siraj A.
author_role author
author2 Cerone, Antonio
Petrenko, Alexander
Shaikh, Siraj A.
author2_role author
author
author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Barbosa, L. S.
Cerone, Antonio
Petrenko, Alexander
Shaikh, Siraj A.
dc.subject.por.fl_str_mv Open source Software certification
Formal methods
Software quality
Science & Technology
topic Open source Software certification
Formal methods
Software quality
Science & Technology
description Despiteitshugesuccessandincreasingincorporationincom- plex, industrial-strength applications, open source software, by the very nature of its open, unconventional, distributed development model, is hard to assess and certify in an effective, sound and independent way. This makes its use and integration within safety or security-critical systems, a risk. And, simultaneously an opportunity and a challenge for rigourous, mathematically based, methods which aim at pushing software analysis and development to the level of a mature engineering discipline. This paper discusses such a challenge and proposes a number of ways in which open source development may benefit from the whole patrimony of formal methods.
publishDate 2010
dc.date.none.fl_str_mv 2010
2010-01-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1822/20282
url http://hdl.handle.net/1822/20282
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 0267-6192
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv CRL Publishing
publisher.none.fl_str_mv CRL Publishing
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv mluisa.alvim@gmail.com
_version_ 1817544352509984768

Registros relacionados