@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}

}

@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}

}