{"id":"https://openalex.org/W2973341609","doi":"https://doi.org/10.5753/mssis.2019.7557","title":"Simula\u00e7\u00e3o de Requisitos de Alto N\u00edvel em Casos de Garantia de Software Aeroembarcado","display_name":"Simula\u00e7\u00e3o de Requisitos de Alto N\u00edvel em Casos de Garantia de Software Aeroembarcado","publication_year":2019,"publication_date":"2019-09-13","ids":{"openalex":"https://openalex.org/W2973341609","doi":"https://doi.org/10.5753/mssis.2019.7557","mag":"2973341609"},"language":"pt","primary_location":{"id":"doi:10.5753/mssis.2019.7557","is_oa":true,"landing_page_url":"https://doi.org/10.5753/mssis.2019.7557","pdf_url":"https://sol.sbc.org.br/index.php/mssis/article/download/7557/7432","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Anais do Workshop em Modelagem e Simula\u00e7\u00e3o de Sistemas Intensivos em Software (MSSiS 2019)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://sol.sbc.org.br/index.php/mssis/article/download/7557/7432","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027203984","display_name":"Emerson Jos\u00e9 Porf\u00edrio","orcid":null},"institutions":[{"id":"https://openalex.org/I4210124990","display_name":"Faculdades Guarulhos","ror":"https://ror.org/02s6maw65","country_code":"BR","type":"other","lineage":["https://openalex.org/I4210124990"]},{"id":"https://openalex.org/I4210151178","display_name":"System Simulation (United Kingdom)","ror":"https://ror.org/04gf6zh40","country_code":"GB","type":"company","lineage":["https://openalex.org/I4210151178"]},{"id":"https://openalex.org/I68106152","display_name":"Universidade Federal de Goi\u00e1s","ror":"https://ror.org/0039d5757","country_code":"BR","type":"education","lineage":["https://openalex.org/I68106152"]},{"id":"https://openalex.org/I97750245","display_name":"Software (Spain)","ror":"https://ror.org/02ethns06","country_code":"ES","type":"company","lineage":["https://openalex.org/I4210087817","https://openalex.org/I97750245"]}],"countries":["BR","ES","GB"],"is_corresponding":false,"raw_author_name":"Emerson Jos\u00e9 Porf\u00edrio","raw_affiliation_strings":["UFG","Instituto de Inform\u00e1tica -Universidade Federal de Goi\u00e1s (UFG) Caixa Postal 131 -74001-970 -Goi\u00e2nia -GO --Brasil","de certificac \u00b8\u00e3o atendido pelo Caso de Garantia, o que comprovou a","modelagem e simulac \u00b8\u00e3o de requisitos de alto n\u00edvel","para Casos de Garantia Unified Mode-ling Language","sistemas avi\u00f4nicos, tais atividades, inerentes \u00e0 Engenharia de Software, necessitam de constante pesquisa e atualizac \u00b8\u00e3o dos processos e ferramentas utilizados. M\u00e9todo: Este artigo descreve um traba-lho acad\u00eamico de simulac \u00b8\u00e3o segundo um guia para Simulation-Based Studies (SBS). Resultados:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UFG","institution_ids":["https://openalex.org/I4210124990"]},{"raw_affiliation_string":"Instituto de Inform\u00e1tica -Universidade Federal de Goi\u00e1s (UFG) Caixa Postal 131 -74001-970 -Goi\u00e2nia -GO --Brasil","institution_ids":["https://openalex.org/I68106152"]},{"raw_affiliation_string":"de certificac \u00b8\u00e3o atendido pelo Caso de Garantia, o que comprovou a","institution_ids":[]},{"raw_affiliation_string":"modelagem e simulac \u00b8\u00e3o de requisitos de alto n\u00edvel","institution_ids":[]},{"raw_affiliation_string":"para Casos de Garantia Unified Mode-ling Language","institution_ids":[]},{"raw_affiliation_string":"sistemas avi\u00f4nicos, tais atividades, inerentes \u00e0 Engenharia de Software, necessitam de constante pesquisa e atualizac \u00b8\u00e3o dos processos e ferramentas utilizados. M\u00e9todo: Este artigo descreve um traba-lho acad\u00eamico de simulac \u00b8\u00e3o segundo um guia para Simulation-Based Studies (SBS). Resultados:","institution_ids":["https://openalex.org/I4210151178","https://openalex.org/I97750245"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088155663","display_name":"Fernando Junio Cunha e Sousa","orcid":null},"institutions":[{"id":"https://openalex.org/I4210124990","display_name":"Faculdades Guarulhos","ror":"https://ror.org/02s6maw65","country_code":"BR","type":"other","lineage":["https://openalex.org/I4210124990"]},{"id":"https://openalex.org/I4210151178","display_name":"System Simulation (United Kingdom)","ror":"https://ror.org/04gf6zh40","country_code":"GB","type":"company","lineage":["https://openalex.org/I4210151178"]},{"id":"https://openalex.org/I68106152","display_name":"Universidade Federal de Goi\u00e1s","ror":"https://ror.org/0039d5757","country_code":"BR","type":"education","lineage":["https://openalex.org/I68106152"]},{"id":"https://openalex.org/I97750245","display_name":"Software (Spain)","ror":"https://ror.org/02ethns06","country_code":"ES","type":"company","lineage":["https://openalex.org/I4210087817","https://openalex.org/I97750245"]}],"countries":["BR","ES","GB"],"is_corresponding":false,"raw_author_name":"Fernando Junio Cunha e Sousa","raw_affiliation_strings":["UFG","Instituto de Inform\u00e1tica -Universidade Federal de Goi\u00e1s (UFG) Caixa Postal 131 -74001-970 -Goi\u00e2nia -GO --Brasil","de certificac \u00b8\u00e3o atendido pelo Caso de Garantia, o que comprovou a","modelagem e simulac \u00b8\u00e3o de requisitos de alto n\u00edvel","para Casos de Garantia Unified Mode-ling Language","sistemas avi\u00f4nicos, tais atividades, inerentes \u00e0 Engenharia de Software, necessitam de constante pesquisa e atualizac \u00b8\u00e3o dos processos e ferramentas utilizados. M\u00e9todo: Este artigo descreve um traba-lho acad\u00eamico de simulac \u00b8\u00e3o segundo um guia para Simulation-Based Studies (SBS). Resultados:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UFG","institution_ids":["https://openalex.org/I4210124990"]},{"raw_affiliation_string":"Instituto de Inform\u00e1tica -Universidade Federal de Goi\u00e1s (UFG) Caixa Postal 131 -74001-970 -Goi\u00e2nia -GO --Brasil","institution_ids":["https://openalex.org/I68106152"]},{"raw_affiliation_string":"de certificac \u00b8\u00e3o atendido pelo Caso de Garantia, o que comprovou a","institution_ids":[]},{"raw_affiliation_string":"modelagem e simulac \u00b8\u00e3o de requisitos de alto n\u00edvel","institution_ids":[]},{"raw_affiliation_string":"para Casos de Garantia Unified Mode-ling Language","institution_ids":[]},{"raw_affiliation_string":"sistemas avi\u00f4nicos, tais atividades, inerentes \u00e0 Engenharia de Software, necessitam de constante pesquisa e atualizac \u00b8\u00e3o dos processos e ferramentas utilizados. M\u00e9todo: Este artigo descreve um traba-lho acad\u00eamico de simulac \u00b8\u00e3o segundo um guia para Simulation-Based Studies (SBS). Resultados:","institution_ids":["https://openalex.org/I4210151178","https://openalex.org/I97750245"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080285818","display_name":"Gislainy Crisostomo Velasco","orcid":"https://orcid.org/0009-0006-9704-9354"},"institutions":[{"id":"https://openalex.org/I4210124990","display_name":"Faculdades Guarulhos","ror":"https://ror.org/02s6maw65","country_code":"BR","type":"other","lineage":["https://openalex.org/I4210124990"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Gislainy Crisostomo Velasco","raw_affiliation_strings":["UFG"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UFG","institution_ids":["https://openalex.org/I4210124990"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017640974","display_name":"S\u00e9rgio T. Carvalho","orcid":"https://orcid.org/0000-0002-4191-5173"},"institutions":[{"id":"https://openalex.org/I4210124990","display_name":"Faculdades Guarulhos","ror":"https://ror.org/02s6maw65","country_code":"BR","type":"other","lineage":["https://openalex.org/I4210124990"]},{"id":"https://openalex.org/I4210151178","display_name":"System Simulation (United Kingdom)","ror":"https://ror.org/04gf6zh40","country_code":"GB","type":"company","lineage":["https://openalex.org/I4210151178"]},{"id":"https://openalex.org/I68106152","display_name":"Universidade Federal de Goi\u00e1s","ror":"https://ror.org/0039d5757","country_code":"BR","type":"education","lineage":["https://openalex.org/I68106152"]},{"id":"https://openalex.org/I97750245","display_name":"Software (Spain)","ror":"https://ror.org/02ethns06","country_code":"ES","type":"company","lineage":["https://openalex.org/I4210087817","https://openalex.org/I97750245"]}],"countries":["BR","ES","GB"],"is_corresponding":false,"raw_author_name":"S\u00e9rgio Teixeira de Carvalho","raw_affiliation_strings":["UFG","Instituto de Inform\u00e1tica -Universidade Federal de Goi\u00e1s (UFG) Caixa Postal 131 -74001-970 -Goi\u00e2nia -GO --Brasil","de certificac \u00b8\u00e3o atendido pelo Caso de Garantia, o que comprovou a","modelagem e simulac \u00b8\u00e3o de requisitos de alto n\u00edvel","para Casos de Garantia Unified Mode-ling Language","sistemas avi\u00f4nicos, tais atividades, inerentes \u00e0 Engenharia de Software, necessitam de constante pesquisa e atualizac \u00b8\u00e3o dos processos e ferramentas utilizados. M\u00e9todo: Este artigo descreve um traba-lho acad\u00eamico de simulac \u00b8\u00e3o segundo um guia para Simulation-Based Studies (SBS). Resultados:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UFG","institution_ids":["https://openalex.org/I4210124990"]},{"raw_affiliation_string":"Instituto de Inform\u00e1tica -Universidade Federal de Goi\u00e1s (UFG) Caixa Postal 131 -74001-970 -Goi\u00e2nia -GO --Brasil","institution_ids":["https://openalex.org/I68106152"]},{"raw_affiliation_string":"de certificac \u00b8\u00e3o atendido pelo Caso de Garantia, o que comprovou a","institution_ids":[]},{"raw_affiliation_string":"modelagem e simulac \u00b8\u00e3o de requisitos de alto n\u00edvel","institution_ids":[]},{"raw_affiliation_string":"para Casos de Garantia Unified Mode-ling Language","institution_ids":[]},{"raw_affiliation_string":"sistemas avi\u00f4nicos, tais atividades, inerentes \u00e0 Engenharia de Software, necessitam de constante pesquisa e atualizac \u00b8\u00e3o dos processos e ferramentas utilizados. M\u00e9todo: Este artigo descreve um traba-lho acad\u00eamico de simulac \u00b8\u00e3o segundo um guia para Simulation-Based Studies (SBS). Resultados:","institution_ids":["https://openalex.org/I4210151178","https://openalex.org/I97750245"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5673,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.59347362,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":93},"biblio":{"volume":null,"issue":null,"first_page":"34","last_page":"43"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9934999942779541,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.9847000241279602,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/simula","display_name":"Simula","score":0.577896237373352},{"id":"https://openalex.org/keywords/humanities","display_name":"Humanities","score":0.5234731435775757},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4153216481208801},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.35555940866470337},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.2707776427268982},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12624186277389526}],"concepts":[{"id":"https://openalex.org/C32155586","wikidata":"https://www.wikidata.org/wiki/Q212569","display_name":"Simula","level":2,"score":0.577896237373352},{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.5234731435775757},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4153216481208801},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.35555940866470337},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.2707776427268982},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12624186277389526}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5753/mssis.2019.7557","is_oa":true,"landing_page_url":"https://doi.org/10.5753/mssis.2019.7557","pdf_url":"https://sol.sbc.org.br/index.php/mssis/article/download/7557/7432","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Anais do Workshop em Modelagem e Simula\u00e7\u00e3o de Sistemas Intensivos em Software (MSSiS 2019)","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.5753/mssis.2019.7557","is_oa":true,"landing_page_url":"https://doi.org/10.5753/mssis.2019.7557","pdf_url":"https://sol.sbc.org.br/index.php/mssis/article/download/7557/7432","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Anais do Workshop em Modelagem e Simula\u00e7\u00e3o de Sistemas Intensivos em Software (MSSiS 2019)","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2973341609.pdf","grobid_xml":"https://content.openalex.org/works/W2973341609.grobid-xml"},"referenced_works_count":13,"referenced_works":["https://openalex.org/W1481028942","https://openalex.org/W2005079619","https://openalex.org/W2093830757","https://openalex.org/W2157607087","https://openalex.org/W2194364680","https://openalex.org/W2300705491","https://openalex.org/W2325078169","https://openalex.org/W2408556125","https://openalex.org/W2562025441","https://openalex.org/W2885993960","https://openalex.org/W2991159168","https://openalex.org/W4292405003","https://openalex.org/W4399271035"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2935759653","https://openalex.org/W3105167352","https://openalex.org/W54078636","https://openalex.org/W2954470139","https://openalex.org/W1501425562","https://openalex.org/W2902782467","https://openalex.org/W3084825885","https://openalex.org/W2298861036"],"abstract_inverted_index":{"Contexto:":[0],"Um":[1],"Caso":[2,175],"de":[3,5,10,36,95,98,115,130,151,153,171,176],"Garantia":[4,131],"Software":[6,51],"\u00e9":[7,42],"um":[8,68,112,118,145],"instrumento":[9],"auditoria":[11],"utilizado":[12,43],"para":[13,18,44,71,120,128,147,185],"garantir":[14],"que":[15,179],"o":[16,64,137,169,178],"software":[17,37,65,157],"sistemas":[19,88],"cr\u00edticos":[20],"seja":[21],"seguro":[22],"e":[23,81,101,105,136,149],"esteja":[24],"em":[25,144],"conformidade":[26],"com":[27],"as":[28,46,62],"normas":[29],"estabelecidas":[30],"pelos":[31],"organismos":[32],"respons\u00e1veis.":[33],"Na":[34],"ind\u00fastria":[35],"aeron\u00e1utico,":[38],"por":[39],"exemplo,":[40],"ele":[41],"descrever":[45],"atividades":[47],"prescritas":[48],"pela":[49],"norma":[50],"Considerations":[52],"in":[53],"Airborne":[54],"Systems":[55],"and":[56],"Equipment":[57],"Certification":[58],"(RCTA":[59],"DO-178C),":[60],"sem":[61],"quais":[63],"poderia":[66],"ser":[67],"fator":[69],"contribuinte":[70],"acidentes":[72],"catastr\u00f3ficos":[73],"quando":[74],"aeroembarcado.":[75],"Problema:":[76],"Devido":[77],"a":[78,181],"novos":[79],"conceitos":[80],"funcionalidades":[82],"cada":[83],"vez":[84],"mais":[85],"complexas":[86],"dos":[87,103],"avi\u00f4nicos,":[89],"tais":[90],"atividades,":[91],"inerentes":[92],"\u00e0":[93],"Engenharia":[94],"Software,":[96],"necessitam":[97],"constante":[99],"pesquisa":[100],"atualiza\u00e7\u00e3o":[102],"processos":[104],"ferramentas":[106,184],"utilizados.":[107],"M\u00e9todo:":[108],"Este":[109],"artigo":[110],"descreve":[111],"trabalho":[113],"acad\u00eamico":[114],"simula\u00e7\u00e3o":[116,150,165],"segundo":[117],"guia":[119],"Simulation-Based":[121],"Studies":[122],"(SBS).":[123],"Resultados:":[124],"A":[125],"nota\u00e7\u00e3o":[126],"padr\u00e3o":[127],"Casos":[129],"Unified":[132],"Modeling":[133],"Language":[134],"(UML)":[135],"formalismo":[138],"Discrete-Events":[139],"Specification":[140],"(DEVS)":[141],"foram":[142],"combinados":[143],"exemplo":[146],"modelagem":[148],"requisitos":[152],"alto":[154],"n\u00edvel":[155],"do":[156],"aeron\u00e1utico":[158],"Roll":[159],"Rate":[160],"Control":[161],"(RRC).":[162],"Conclus\u00e3o:":[163],"Pela":[164],"foi":[166],"poss\u00edvel":[167],"realizar":[168],"objetivo":[170],"certifica\u00e7\u00e3o":[172],"atendido":[173],"pelo":[174],"Garantia,":[177],"comprovou":[180],"viabilidade":[182],"das":[183],"esse":[186],"prop\u00f3sito.":[187]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}