{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T04:57:53Z","timestamp":1725425873123},"reference-count":0,"publisher":"Sociedade Brasileira de Computa\u00e7\u00e3o - SBC","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>Contexto: Um Caso de Garantia de Software \u00e9 um instrumento de auditoria utilizado para garantir que o software para sistemas cr\u00edticos seja seguro e esteja em conformidade com as normas estabelecidas pelos organismos respons\u00e1veis. Na ind\u00fastria de software aeron\u00e1utico, por exemplo, ele \u00e9 utilizado para descrever as atividades prescritas pela norma Software Considerations in Airborne Systems and Equipment Certification (RCTA DO-178C), sem as quais o software poderia ser um fator contribuinte para acidentes catastr\u00f3ficos quando aeroembarcado. Problema: Devido a novos conceitos e funcionalidades cada vez mais complexas dos sistemas avi\u00f4nicos, tais atividades, inerentes \u00e0 Engenharia de Software, necessitam de constante pesquisa e atualiza\u00e7\u00e3o dos processos e ferramentas utilizados. M\u00e9todo: Este artigo descreve um trabalho acad\u00eamico de simula\u00e7\u00e3o segundo um guia para Simulation-Based Studies (SBS). Resultados: A nota\u00e7\u00e3o padr\u00e3o para Casos de Garantia Unified Modeling Language (UML) e o formalismo Discrete-Events Specification (DEVS) foram combinados em um exemplo para modelagem e simula\u00e7\u00e3o de requisitos de alto n\u00edvel do software aeron\u00e1utico Roll Rate Control (RRC). Conclus\u00e3o: Pela simula\u00e7\u00e3o foi poss\u00edvel realizar o objetivo de certifica\u00e7\u00e3o atendido pelo Caso de Garantia, o que comprovou a viabilidade das ferramentas para esse prop\u00f3sito.<\/jats:p>","DOI":"10.5753\/mssis.2019.7557","type":"proceedings-article","created":{"date-parts":[[2019,9,18]],"date-time":"2019-09-18T17:44:07Z","timestamp":1568828647000},"page":"34-43","source":"Crossref","is-referenced-by-count":1,"title":["Simula\u00e7\u00e3o de Requisitos de Alto N\u00edvel em Casos de Garantia de Software Aeroembarcado"],"prefix":"10.5753","author":[{"given":"Emerson","family":"Jos\u00e9 Porf\u00edrio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Junio Cunha e Sousa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gislainy","family":"Crisostomo Velasco","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00e9rgio","family":"Teixeira de Carvalho","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"3742","published-online":{"date-parts":[[2019,9,13]]},"event":{"name":"I Workshop em Modelagem e Simula\u00e7\u00e3o de Sistemas Intensivos em Software","acronym":"MSSiS 2019"},"container-title":["Anais do Workshop em Modelagem e Simula\u00e7\u00e3o de Sistemas Intensivos em Software (MSSiS 2019)"],"original-title":[],"link":[{"URL":"https:\/\/sol.sbc.org.br\/index.php\/mssis\/article\/download\/7557\/7432","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/sol.sbc.org.br\/index.php\/mssis\/article\/download\/7557\/7432","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,18]],"date-time":"2019-09-18T17:44:09Z","timestamp":1568828649000},"score":1,"resource":{"primary":{"URL":"https:\/\/sol.sbc.org.br\/index.php\/mssis\/article\/view\/7557"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,13]]},"references-count":0,"URL":"https:\/\/doi.org\/10.5753\/mssis.2019.7557","relation":{},"subject":[],"published":{"date-parts":[[2019,9,13]]}}}