TRABALHOS PUBLICADOS

@inproceedings{Paulo2017certificacb,

title = {Uma Abordagem de Desenvolvimento Inspirada em Pr\'{a}ticas \'{A}geis para Sistemas de Softwares Embarcados Militares},

author = {Paulo Takachi Tsoucamoto and Johnny Cardoso Marques and Adilson Marques Cunha},

url = {https://www.sige.ita.br/edicoes-anteriores/2017/st/ST_05_1.pdf},

year  = {2017},

date = {2017-01-01},

booktitle = {Simp\'{o}sio de Aplica\c{c}\~{o}es Operacionais em \'{A}reas de Defesa 2017 (SIGE2017)},

abstract = {O desenvolvimento de sistemas de softwares embar- cados para avi˜oes militares necessita certifica\c{c}˜oes de ag\^{e}ncias reguladoras e deve cumprir com exig\^{e}ncias de seguranc¸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˜oes de software mais rigorosos, tipicamente aqueles aplicados com sucesso na avia\c{c}\~{a}o civil, como a norma RTCA DO-178B/C. Tradicional- mente, as certifica\c{c}˜oes militares para sistemas de softwares embarcados utilizavam apenas o padr\~{a}o MIL-STD-498. M\'{e}todos \'{a}geis foram desenvolvidos como uma alternativa aos m\'{e}todos tradicionais orientados a planos. Este artigo resume alguns aspectos de um trabalho conduzido pelo Instituto Tecnol\'{o}gico de Aeron\'{a}utica (ITA). Ele apresenta a conceitua\c{c}\~{a}o e implementa\c{c}\~{a}o de uma abordagem para desenvolvimento de software inspirada em pr\'{a}ticas \'{a}geis, para fins de certifica\c{c}\~{a}o e foi utilizada para desenvolver um computador de miss\~{a}o, em um estudo de caso no \^{a}mbito de certifica\c{c}\~{a}o militar, visando sua verifica\c{c}\~{a}o e valida\c{c}\~{a}o.},

keywords = {certificac ao, metodo agil, software militar},

pubstate = {published},

tppubtype = {inproceedings}

}