Ontology-driven metamodeling towards hypervisor design automation: secure hypervisor design environment

Detalhes bibliográficos
Autor(a) principal: Araújo, Miguel Alexandre Macedo
Data de Publicação: 2018
Tipo de documento: Dissertação
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: https://hdl.handle.net/1822/59370
Resumo: Dissertação de mestrado em Embedded Systems
id RCAP_6cd339153101c2fb0fbc621c52980f4d
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/59370
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Ontology-driven metamodeling towards hypervisor design automation: secure hypervisor design environmentEngenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e InformáticaDissertação de mestrado em Embedded SystemsNowadays, the critical embedded software development industry must develop software that adheres to strict safety- and security-related standards. Just as important as the developed software are the development methodologies and tools used in their development. However, certification does require additional efforts on development leading to an increase in both its budget and time-to-market. The aim of this dissertation is to develop a solution that can ease software developers in achieving compliance with security and safety standards. The solution focuses on the use of automation and modeling techniques via the development of a domain-specific language integrated with semantic technology for the automation and validation of a design flow under a framework named Design Flow Modeling Language. This dissertation describes the development of the framework through the analysis, design and implementation, focusing on both the language and the ontology perspectives, and its applicability in common development scenarios of embedded systems. The results show how the developed framework uses semantic rules to enrich the embedded software development process with checks and restrictions to provide safety and security and how automation and external tool integration is made easy with the domainspecific language.Atualmente, a indústria de desenvolvimento de software embebido crítico deve desenvolver software que adira a rígidos padrões de segurança. Tão importante quanto o software desenvolvido são as metodologias de desenvolvimento e ferramentas utilizadas no seu desenvolvimento. No entanto, a certificação requere esforços adicionais no desenvolvimento que levam ao aumento tanto do custo como do tempo de colocação no mercado. O objetivo desta dissertação é desenvolver uma solução que facilite aos arquitetos de software alcançar conformidade com os padrões de segurança. A solução foca-se no uso de automação e técnicas de modelação através do desenvolvimento de uma linguagem de domínio específico integrada com tecnologia semântica para a automação e validação do fluxo de design sob uma ferramenta chamada Design Flow Modeling Language (linguagem de modelação de fluxo de design). Esta dissertação descreve o desenvolvimento da ferramenta através da análise, conceção e implementação, focando-se em ambas as perspetivas da linguagem e da ontologia, e a sua aplicabilidade em cenários comuns de desenvolvimento de sistemas embebidos. Os resultados mostram como a ferramenta usa regras semânticas para enriquecer o processo de desenvolvimento com verificações e restrições de forma a providenciar segurança e como a automação e integração de ferramentas externas se torna fácil com a linguagem de domínio específico.Tavares, AdrianoPinto, SandroUniversidade do MinhoAraújo, Miguel Alexandre Macedo20182018-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://hdl.handle.net/1822/59370eng202170187info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-09-30T01:30:08Zoai:repositorium.sdum.uminho.pt:1822/59370Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:36:31.923449Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Ontology-driven metamodeling towards hypervisor design automation: secure hypervisor design environment
title Ontology-driven metamodeling towards hypervisor design automation: secure hypervisor design environment
spellingShingle Ontology-driven metamodeling towards hypervisor design automation: secure hypervisor design environment
Araújo, Miguel Alexandre Macedo
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
title_short Ontology-driven metamodeling towards hypervisor design automation: secure hypervisor design environment
title_full Ontology-driven metamodeling towards hypervisor design automation: secure hypervisor design environment
title_fullStr Ontology-driven metamodeling towards hypervisor design automation: secure hypervisor design environment
title_full_unstemmed Ontology-driven metamodeling towards hypervisor design automation: secure hypervisor design environment
title_sort Ontology-driven metamodeling towards hypervisor design automation: secure hypervisor design environment
author Araújo, Miguel Alexandre Macedo
author_facet Araújo, Miguel Alexandre Macedo
author_role author
dc.contributor.none.fl_str_mv Tavares, Adriano
Pinto, Sandro
Universidade do Minho
dc.contributor.author.fl_str_mv Araújo, Miguel Alexandre Macedo
dc.subject.por.fl_str_mv Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
topic Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
description Dissertação de mestrado em Embedded Systems
publishDate 2018
dc.date.none.fl_str_mv 2018
2018-01-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/1822/59370
url https://hdl.handle.net/1822/59370
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 202170187
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 Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799132895307104256

Registros relacionados