Integrated model-based design and simulation of critical embedded systems

Detalhes bibliográficos
Autor(a) principal: Ferreira, Ronaldo Rodrigues
Data de Publicação: 2009
Tipo de documento: Trabalho de conclusão de curso
Idioma: eng
Título da fonte: Repositório Institucional da UFRGS
Texto Completo: http://hdl.handle.net/10183/18541
Resumo: A partir da introdução do sistema de controle fly-by-wire nos programas Concorde e A320 de aviação civil, a complexidade dos sistemas aviônicos embarcados aumenta constantemente. A operação dos aviões atuais e futuros é fortemente dependente para seu funcionamento dos seus sistemas aviônicos embarcados. A inovação em termos de computação dessa aviônica embarcada nos permitiu aperfeiçoar a segurança de vôo, bem como a relação entre a aeronave e o ambiente, voando de maneira mais ecologicamente consciente, além de reduzir custos e permitir melhor sustentabilidade para as companhias aéreas. Com o aumento da complexidade devido à constante integração de inovação na aviônica embarcada, as técnicas de Engenharia de Sistemas empregadas atualmente no desenvolvimento desses sistemas estão se tornando insuficientes para gerenciar os requisitos e a dinâmica existentes no projeto, no desenvolvimento e na produção de uma aeronave. Duas atividades que mais sofrem a pressão com o aumento da complexidade são o projeto e a simulação dos sistemas aviônicos embarcados. Ao projeto compete o desenvolvimento dos equipamentos aviônicos, atendendo aos requisitos dos stakeholders. À simulação compete a validação e o refinamento do projeto de um equipamento, bem como o desenvolvimento de simuladores para treinamento de pilotos do avião. Mesmo sendo duas atividades altamente inter-relacionadas, o atual estado da prática na AIRBUS para a Engenharia de Sistemas do projeto e da simulação as distancia; não intencionalmente, mas sim devido à inexistência de formalização e padronização na especificação do projeto e simulação, bem como na implementação das especificações. Atualmente, realizam-se as especificações de projeto e simulação com uma abordagem centrada em documentos textuais, o que acarreta em dificuldade de implantação de técnicas as quais permitam rastrear como as decisões tomadas no projeto restringem a simulação, e como os requisitos de simulação refinam o projeto. Com o intuito de pavimentar o crescimento sustentável da complexidade dos sistemas aviônicos embarcados nas aeronaves futuras, sendo ainda economicamente viável, além de continuamente agregar inovação nesses sistemas, este trabalho propõe uma abordagem de Engenharia de Sistemas Baseada em Modelos para integrar as atividades de projeto e simulação contidas no ciclo de projeto de uma aeronave, adotando UML/SysML como linguagem de especificação. Ao se adotar um formalismo único para o projeto e para a simulação, faz-se possível rastrearmos como os elementos de projeto restringem a simulação, e como os elementos de simulação refinam os de projeto. Alcança-se rastreabilidade somente através de construções padrão da linguagem UML/SysML. Validamos a nossa proposta com modelos de simulação e artefatos de projeto real do avião A380, demonstrando boa escalabilidade da proposta.
id UFRGS-2_f008c29339eeeddb97608b186e82bfaa
oai_identifier_str oai:www.lume.ufrgs.br:10183/18541
network_acronym_str UFRGS-2
network_name_str Repositório Institucional da UFRGS
repository_id_str
spelling Ferreira, Ronaldo RodriguesCarro, LuigiThebault, Patrice2010-02-19T04:14:44Z2009http://hdl.handle.net/10183/18541000730598A partir da introdução do sistema de controle fly-by-wire nos programas Concorde e A320 de aviação civil, a complexidade dos sistemas aviônicos embarcados aumenta constantemente. A operação dos aviões atuais e futuros é fortemente dependente para seu funcionamento dos seus sistemas aviônicos embarcados. A inovação em termos de computação dessa aviônica embarcada nos permitiu aperfeiçoar a segurança de vôo, bem como a relação entre a aeronave e o ambiente, voando de maneira mais ecologicamente consciente, além de reduzir custos e permitir melhor sustentabilidade para as companhias aéreas. Com o aumento da complexidade devido à constante integração de inovação na aviônica embarcada, as técnicas de Engenharia de Sistemas empregadas atualmente no desenvolvimento desses sistemas estão se tornando insuficientes para gerenciar os requisitos e a dinâmica existentes no projeto, no desenvolvimento e na produção de uma aeronave. Duas atividades que mais sofrem a pressão com o aumento da complexidade são o projeto e a simulação dos sistemas aviônicos embarcados. Ao projeto compete o desenvolvimento dos equipamentos aviônicos, atendendo aos requisitos dos stakeholders. À simulação compete a validação e o refinamento do projeto de um equipamento, bem como o desenvolvimento de simuladores para treinamento de pilotos do avião. Mesmo sendo duas atividades altamente inter-relacionadas, o atual estado da prática na AIRBUS para a Engenharia de Sistemas do projeto e da simulação as distancia; não intencionalmente, mas sim devido à inexistência de formalização e padronização na especificação do projeto e simulação, bem como na implementação das especificações. Atualmente, realizam-se as especificações de projeto e simulação com uma abordagem centrada em documentos textuais, o que acarreta em dificuldade de implantação de técnicas as quais permitam rastrear como as decisões tomadas no projeto restringem a simulação, e como os requisitos de simulação refinam o projeto. Com o intuito de pavimentar o crescimento sustentável da complexidade dos sistemas aviônicos embarcados nas aeronaves futuras, sendo ainda economicamente viável, além de continuamente agregar inovação nesses sistemas, este trabalho propõe uma abordagem de Engenharia de Sistemas Baseada em Modelos para integrar as atividades de projeto e simulação contidas no ciclo de projeto de uma aeronave, adotando UML/SysML como linguagem de especificação. Ao se adotar um formalismo único para o projeto e para a simulação, faz-se possível rastrearmos como os elementos de projeto restringem a simulação, e como os elementos de simulação refinam os de projeto. Alcança-se rastreabilidade somente através de construções padrão da linguagem UML/SysML. Validamos a nossa proposta com modelos de simulação e artefatos de projeto real do avião A380, demonstrando boa escalabilidade da proposta.Since the introduction of the fly-by-wire system in the Concorde and A320 civil aircraft programs, overall aircraft embedded systems complexity is continuously increasing. Current and forthcoming aircrafts highly depends on embedded avionics to operate. Computer innovation in these embedded avionics enabled us to improve flight safety, and the relation between the aircraft and environment, flying greener, cleaner, quieter, and, furthermore, being economically cheaper and sustainable for airlines. As the complexity grows due to continuous innovation in embedded avionics on aircrafts, Systems Engineering techniques currently employed to devise such systems are becoming insufficient to cope with existing requirements and dynamics in aircraft design, development, and production. Two activities that suffer the most with the pressure when complexity increases are design and simulation of embedded avionics systems. Design concerns the development of avionics equipments, answering to stakeholders’ requirements. Simulation concerns both the validation and refinement of designed equipment, and the development of aircraft simulators for training purposes. Despite the fact that design and simulation are very dependent of each other in order to prospect and to validate embedded avionics, respectively, current state-of-the-practice on Systems Engineering in AIRBUS put them somehow apart; not intentionally, but due to the lack of formalism and standardization when specifying design and simulation requirements, and when realizing them into concrete implementations. The specifications of design and simulation are currently performed in a textual document-centered approach, making very difficult the deployment of techniques to trace how design decisions constrain simulation, and how simulation requirements and results refine design. To enable sustainable growth in complexity of forthcoming embedded avionics systems, while being economically viable, and continuously add innovation on these systems, this work proposes a Model-Based Systems Engineering approach to integrate design and simulation activities in the aircraft development cycle, adopting UML/SysML as specification language. By adopting a unified specification formalism to design and simulation, we can trace how design elements constrain simulation, and how simulation ones refine design, only by having them connected with UML/SysML language constructs. We have validated the approach with real design artifacts and simulation models from the A380 aircraft, showing a good scaling for complex models.application/pdfengSistemas embarcadosAircraftAIRBUSCode generationEclipseMetamodelModel-driven engineeringSimulationSystem engineeringSysMLUMLIntegrated model-based design and simulation of critical embedded systemsProjeto e simulação integrados baseados em modelos para sistemas embarcados críticos info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesisUniversidade Federal do Rio Grande do SulInstituto de InformáticaPorto Alegre, BR-RS2009Ciência da Computação: Ênfase em Ciência da Computação: Bachareladograduaçãoinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSORIGINAL000730598.pdf000730598.pdfTexto completo (inglês)application/pdf989844http://www.lume.ufrgs.br/bitstream/10183/18541/1/000730598.pdff879e34fe64e6ad296da99c6a56ed2d0MD51TEXT000730598.pdf.txt000730598.pdf.txtExtracted Texttext/plain153447http://www.lume.ufrgs.br/bitstream/10183/18541/2/000730598.pdf.txt0e08a44f64ef1e9ce2e0a43f060570b5MD52THUMBNAIL000730598.pdf.jpg000730598.pdf.jpgGenerated Thumbnailimage/jpeg1043http://www.lume.ufrgs.br/bitstream/10183/18541/3/000730598.pdf.jpg9ba7e28bec09fbdf47bc16223d3056b7MD5310183/185412021-05-07 04:46:29.906878oai:www.lume.ufrgs.br:10183/18541Repositório de PublicaçõesPUBhttps://lume.ufrgs.br/oai/requestopendoar:2021-05-07T07:46:29Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Integrated model-based design and simulation of critical embedded systems
dc.title.alternative.pt.fl_str_mv Projeto e simulação integrados baseados em modelos para sistemas embarcados críticos
title Integrated model-based design and simulation of critical embedded systems
spellingShingle Integrated model-based design and simulation of critical embedded systems
Ferreira, Ronaldo Rodrigues
Sistemas embarcados
Aircraft
AIRBUS
Code generation
Eclipse
Metamodel
Model-driven engineering
Simulation
System engineering
SysML
UML
title_short Integrated model-based design and simulation of critical embedded systems
title_full Integrated model-based design and simulation of critical embedded systems
title_fullStr Integrated model-based design and simulation of critical embedded systems
title_full_unstemmed Integrated model-based design and simulation of critical embedded systems
title_sort Integrated model-based design and simulation of critical embedded systems
author Ferreira, Ronaldo Rodrigues
author_facet Ferreira, Ronaldo Rodrigues
author_role author
dc.contributor.author.fl_str_mv Ferreira, Ronaldo Rodrigues
dc.contributor.advisor1.fl_str_mv Carro, Luigi
dc.contributor.advisor-co1.fl_str_mv Thebault, Patrice
contributor_str_mv Carro, Luigi
Thebault, Patrice
dc.subject.por.fl_str_mv Sistemas embarcados
topic Sistemas embarcados
Aircraft
AIRBUS
Code generation
Eclipse
Metamodel
Model-driven engineering
Simulation
System engineering
SysML
UML
dc.subject.eng.fl_str_mv Aircraft
AIRBUS
Code generation
Eclipse
Metamodel
Model-driven engineering
Simulation
System engineering
SysML
UML
description A partir da introdução do sistema de controle fly-by-wire nos programas Concorde e A320 de aviação civil, a complexidade dos sistemas aviônicos embarcados aumenta constantemente. A operação dos aviões atuais e futuros é fortemente dependente para seu funcionamento dos seus sistemas aviônicos embarcados. A inovação em termos de computação dessa aviônica embarcada nos permitiu aperfeiçoar a segurança de vôo, bem como a relação entre a aeronave e o ambiente, voando de maneira mais ecologicamente consciente, além de reduzir custos e permitir melhor sustentabilidade para as companhias aéreas. Com o aumento da complexidade devido à constante integração de inovação na aviônica embarcada, as técnicas de Engenharia de Sistemas empregadas atualmente no desenvolvimento desses sistemas estão se tornando insuficientes para gerenciar os requisitos e a dinâmica existentes no projeto, no desenvolvimento e na produção de uma aeronave. Duas atividades que mais sofrem a pressão com o aumento da complexidade são o projeto e a simulação dos sistemas aviônicos embarcados. Ao projeto compete o desenvolvimento dos equipamentos aviônicos, atendendo aos requisitos dos stakeholders. À simulação compete a validação e o refinamento do projeto de um equipamento, bem como o desenvolvimento de simuladores para treinamento de pilotos do avião. Mesmo sendo duas atividades altamente inter-relacionadas, o atual estado da prática na AIRBUS para a Engenharia de Sistemas do projeto e da simulação as distancia; não intencionalmente, mas sim devido à inexistência de formalização e padronização na especificação do projeto e simulação, bem como na implementação das especificações. Atualmente, realizam-se as especificações de projeto e simulação com uma abordagem centrada em documentos textuais, o que acarreta em dificuldade de implantação de técnicas as quais permitam rastrear como as decisões tomadas no projeto restringem a simulação, e como os requisitos de simulação refinam o projeto. Com o intuito de pavimentar o crescimento sustentável da complexidade dos sistemas aviônicos embarcados nas aeronaves futuras, sendo ainda economicamente viável, além de continuamente agregar inovação nesses sistemas, este trabalho propõe uma abordagem de Engenharia de Sistemas Baseada em Modelos para integrar as atividades de projeto e simulação contidas no ciclo de projeto de uma aeronave, adotando UML/SysML como linguagem de especificação. Ao se adotar um formalismo único para o projeto e para a simulação, faz-se possível rastrearmos como os elementos de projeto restringem a simulação, e como os elementos de simulação refinam os de projeto. Alcança-se rastreabilidade somente através de construções padrão da linguagem UML/SysML. Validamos a nossa proposta com modelos de simulação e artefatos de projeto real do avião A380, demonstrando boa escalabilidade da proposta.
publishDate 2009
dc.date.issued.fl_str_mv 2009
dc.date.accessioned.fl_str_mv 2010-02-19T04:14:44Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/18541
dc.identifier.nrb.pt_BR.fl_str_mv 000730598
url http://hdl.handle.net/10183/18541
identifier_str_mv 000730598
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Repositório Institucional da UFRGS
collection Repositório Institucional da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/18541/1/000730598.pdf
http://www.lume.ufrgs.br/bitstream/10183/18541/2/000730598.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/18541/3/000730598.pdf.jpg
bitstream.checksum.fl_str_mv f879e34fe64e6ad296da99c6a56ed2d0
0e08a44f64ef1e9ce2e0a43f060570b5
9ba7e28bec09fbdf47bc16223d3056b7
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv
_version_ 1801224390048743424