@inproceedings{Johnny2019Softwareb,
title = {Um Levantamento de Requisitos de Processos para Certifica\c{c}\~{a}o de Sistemas Militares com Software},
author = {Johnny Marques and Sarasuaty Yelisetty and Cec\'{i}lia Dutra and Fernando Sulzbacher},
url = {https://www.sige.ita.br/edicoes-anteriores/2019/st/ST_11_1.pdf},
year = {2019},
date = {2019-01-01},
booktitle = {Simp\'{o}sio de Aplica\c{c}\~{o}es Operacionais em \'{A}reas de Defesa 2019 (SIGE2019)},
abstract = {O desenvolvimento de softwares embarcados militares necessita certifica\c{c}\~{a}o e deve cumprir com exig\^{e}ncias de seguran\c{c}a e miss\~{a}o. Nos \'{u}ltimos anos, estes tipos de sistemas tornaram-se mais complexos, o que resultou na ado\c{c}\~{a}o de padr\~{o}es e processos de software mais rigorosos. Especialmente na avia\c{c}\~{a}o militar, existe uma tend\^{e}ncia de utiliza\c{c}\~{a}o de padr\~{o}es e processos aplicados com sucesso na avia\c{c}\~{a}o civil, como a norma RTCA DO-178C. Este artigo apresenta um levantamento dos requisitos para a certifica\c{c}\~{a}o de Sistemas Militares com Software (SMS), visando a garantia de qualidade do produto de software com seguran\c{c}a e cumprimento da miss\~{a}o atribu\'{i}da.},
keywords = {Certifica\c{c}\~{a}o, militar, sistemas, Software},
pubstate = {published},
tppubtype = {inproceedings}
}
O desenvolvimento de softwares embarcados militares necessita certificação e deve cumprir com exigências de segurança e missão. Nos últimos anos, estes tipos de sistemas tornaram-se mais complexos, o que resultou na adoção de padrões e processos de software mais rigorosos. Especialmente na aviação militar, existe uma tendência de utilização de padrões e processos aplicados com sucesso na aviação civil, como a norma RTCA DO-178C. Este artigo apresenta um levantamento dos requisitos para a certificação de Sistemas Militares com Software (SMS), visando a garantia de qualidade do produto de software com segurança e cumprimento da missão atribuída.
@inproceedings{Johnny2010Softwareb,
title = {Mitiga\c{c}\~{a}o de Riscos de Certifica\c{c}\~{a}o Civil em um Processo de Certifica\c{c}\~{a}o de Aeronave Militar: Uma Abordagem para Software Embarcado},
author = {Johnny Cardoso Marques and Luiz Alberto Vieira Dias},
url = {https://www.sige.ita.br/edicoes-anteriores/2010/st/P_4.pdf},
year = {2010},
date = {2010-01-01},
booktitle = {Simp\'{o}sio de Aplica\c{c}\~{o}es Operacionais em \'{A}reas de Defesa 2010 (SIGE2010)},
abstract = {Este trabalho apresenta um modelo de mitiga\c{c}\~{a}o de riscos do requerente de um projeto de aeronave militar em um processo de certifica\c{c}\~{a}o civil de software embarcado. O trabalho apresenta justificativas para aumentar a atua\c{c}\~{a}o do fabricante abordando as atividades adicionais que s\~{a}o esperadas atrav\'{e}s da classifica\c{c}\~{a}o por tipos de envolvimento definido pelo autor.},
keywords = {Aeronave, Certifica\c{c}\~{a}o, Software},
pubstate = {published},
tppubtype = {inproceedings}
}
Este trabalho apresenta um modelo de mitigação de riscos do requerente de um projeto de aeronave militar em um processo de certificação civil de software embarcado. O trabalho apresenta justificativas para aumentar a atuação do fabricante abordando as atividades adicionais que são esperadas através da classificação por tipos de envolvimento definido pelo autor.
