Critivar: a variability modeling and transformation approach for safety and security-critical systems

Detalhes bibliográficos
Autor(a) principal: Bressan, Lucas Paiva
Data de Publicação: 2023
Tipo de documento: Dissertação
Idioma: eng
Título da fonte: Repositório Institucional da UFJF
Texto Completo: https://repositorio.ufjf.br/jspui/handle/ufjf/16444
Resumo: A customização em massa de sistemas críticos modernos tem gerado produtos com milhares de pontos de variação, impactando arquitetura and propriedades de dependability (e.g., safety e security) destes sistemas. Devido ao fato das técnicas existentes de gerencia de variabilidades serem rudimentares, modelar a diversidade de sistemas críticos e suas propriedades de dependability se torna uma tarefa árdua. Por isso, esta dissertação apresenta uma abordagem de gerência de variabilidades para sistemas críticos. A abordagem é ilustrada através de um estudo de caso de domínio automotivo. Como avaliação, a abordagem foi comparada com duas técnicas similares de gerencia de variabilidades. Dentre os benefícios, a abordagem apresentada reduz o “gap” entre variabilidade e anotações de dependability de granulosidade baixa e garante a derivação de modelos corretos e completos.
id UFJF_52ece0ddff683250d9246eaebfacaf6a
oai_identifier_str oai:hermes.cpd.ufjf.br:ufjf/16444
network_acronym_str UFJF
network_name_str Repositório Institucional da UFJF
repository_id_str
spelling Oliveira, André Luiz dehttp://lattes.cnpq.brCampos, Fernanda Cláudia Alveshttp://lattes.cnpq.br/5008996792274217Rodrigues, Genaína Nuneshttp://lattes.cnpq.br/2966913210268454Braga, Rosana Teresinha Vaccarehttp://lattes.cnpq.br/5877415967509579Braga, Regina Maria Macielhttp://lattes.cnpq.br/7690593698223418http://lattes.cnpq.br/6217748845679486Bressan, Lucas Paiva2024-01-10T11:54:52Z2024-01-092024-01-10T11:54:52Z2023-10-19https://repositorio.ufjf.br/jspui/handle/ufjf/16444A customização em massa de sistemas críticos modernos tem gerado produtos com milhares de pontos de variação, impactando arquitetura and propriedades de dependability (e.g., safety e security) destes sistemas. Devido ao fato das técnicas existentes de gerencia de variabilidades serem rudimentares, modelar a diversidade de sistemas críticos e suas propriedades de dependability se torna uma tarefa árdua. Por isso, esta dissertação apresenta uma abordagem de gerência de variabilidades para sistemas críticos. A abordagem é ilustrada através de um estudo de caso de domínio automotivo. Como avaliação, a abordagem foi comparada com duas técnicas similares de gerencia de variabilidades. Dentre os benefícios, a abordagem apresentada reduz o “gap” entre variabilidade e anotações de dependability de granulosidade baixa e garante a derivação de modelos corretos e completos.Mass customization of modern critical systems has led to products with many variation points, impacting their architecture and dependability properties. Given the rudimentary vulnerability management techniques available, modeling diversity in critical systems and their corresponding dependability (e.g., safety and security) characteristics is challenging. That being said, this dissertation presents a novel annotative variability management approach for critical systems. The approach is illustrated using a case study from the automotive domain. As part of the evaluation, the proposed approach is compared against two similar vulnerability management solutions. Among the benefits, the the proposed approach reduces the gap between variability and finer-grained model dependability annotations and ensures the derivation of correct and complete critical system models.engUniversidade Federal de Juiz de Fora (UFJF)Programa de Pós-graduação em Ciência da ComputaçãoUFJFBrasilICE – Instituto de Ciências ExatasAttribution 3.0 Brazilhttp://creativecommons.org/licenses/by/3.0/br/info:eu-repo/semantics/openAccessCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAOFunctional safetyCybersecurityDependabilityLinhas de produtoVariabilidadeFunctional safetyCybersecurityDependabilityProduct linesVariabilityCritivar: a variability modeling and transformation approach for safety and security-critical systemsinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisreponame:Repositório Institucional da UFJFinstname:Universidade Federal de Juiz de Fora (UFJF)instacron:UFJFCC-LICENSElicense_rdflicense_rdfapplication/rdf+xml; charset=utf-8914https://repositorio.ufjf.br/jspui/bitstream/ufjf/16444/2/license_rdf4d2950bda3d176f570a9f8b328dfbbefMD52LICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://repositorio.ufjf.br/jspui/bitstream/ufjf/16444/3/license.txt8a4605be74aa9ea9d79846c1fba20a33MD53ORIGINALlucaspaivabressan.pdflucaspaivabressan.pdfapplication/pdf8867194https://repositorio.ufjf.br/jspui/bitstream/ufjf/16444/1/lucaspaivabressan.pdf792287442dc8b95fadbd6be5a09551c5MD51TEXTlucaspaivabressan.pdf.txtlucaspaivabressan.pdf.txtExtracted texttext/plain243834https://repositorio.ufjf.br/jspui/bitstream/ufjf/16444/4/lucaspaivabressan.pdf.txta5d299be702ba6c824c9b5ff7ff9f882MD54THUMBNAILlucaspaivabressan.pdf.jpglucaspaivabressan.pdf.jpgGenerated Thumbnailimage/jpeg1174https://repositorio.ufjf.br/jspui/bitstream/ufjf/16444/5/lucaspaivabressan.pdf.jpg4e357a51f669f9a44083bc9993382cf0MD55ufjf/164442024-01-11 04:04:42.972oai:hermes.cpd.ufjf.br:ufjf/16444Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Repositório InstitucionalPUBhttps://repositorio.ufjf.br/oai/requestopendoar:2024-01-11T06:04:42Repositório Institucional da UFJF - Universidade Federal de Juiz de Fora (UFJF)false
dc.title.pt_BR.fl_str_mv Critivar: a variability modeling and transformation approach for safety and security-critical systems
title Critivar: a variability modeling and transformation approach for safety and security-critical systems
spellingShingle Critivar: a variability modeling and transformation approach for safety and security-critical systems
Bressan, Lucas Paiva
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Functional safety
Cybersecurity
Dependability
Linhas de produto
Variabilidade
Functional safety
Cybersecurity
Dependability
Product lines
Variability
title_short Critivar: a variability modeling and transformation approach for safety and security-critical systems
title_full Critivar: a variability modeling and transformation approach for safety and security-critical systems
title_fullStr Critivar: a variability modeling and transformation approach for safety and security-critical systems
title_full_unstemmed Critivar: a variability modeling and transformation approach for safety and security-critical systems
title_sort Critivar: a variability modeling and transformation approach for safety and security-critical systems
author Bressan, Lucas Paiva
author_facet Bressan, Lucas Paiva
author_role author
dc.contributor.advisor1.fl_str_mv Oliveira, André Luiz de
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br
dc.contributor.advisor-co1.fl_str_mv Campos, Fernanda Cláudia Alves
dc.contributor.advisor-co1Lattes.fl_str_mv http://lattes.cnpq.br/5008996792274217
dc.contributor.referee1.fl_str_mv Rodrigues, Genaína Nunes
dc.contributor.referee1Lattes.fl_str_mv http://lattes.cnpq.br/2966913210268454
dc.contributor.referee2.fl_str_mv Braga, Rosana Teresinha Vaccare
dc.contributor.referee2Lattes.fl_str_mv http://lattes.cnpq.br/5877415967509579
dc.contributor.referee3.fl_str_mv Braga, Regina Maria Maciel
dc.contributor.referee3Lattes.fl_str_mv http://lattes.cnpq.br/7690593698223418
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/6217748845679486
dc.contributor.author.fl_str_mv Bressan, Lucas Paiva
contributor_str_mv Oliveira, André Luiz de
Campos, Fernanda Cláudia Alves
Rodrigues, Genaína Nunes
Braga, Rosana Teresinha Vaccare
Braga, Regina Maria Maciel
dc.subject.cnpq.fl_str_mv CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
topic CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Functional safety
Cybersecurity
Dependability
Linhas de produto
Variabilidade
Functional safety
Cybersecurity
Dependability
Product lines
Variability
dc.subject.por.fl_str_mv Functional safety
Cybersecurity
Dependability
Linhas de produto
Variabilidade
Functional safety
Cybersecurity
Dependability
Product lines
Variability
description A customização em massa de sistemas críticos modernos tem gerado produtos com milhares de pontos de variação, impactando arquitetura and propriedades de dependability (e.g., safety e security) destes sistemas. Devido ao fato das técnicas existentes de gerencia de variabilidades serem rudimentares, modelar a diversidade de sistemas críticos e suas propriedades de dependability se torna uma tarefa árdua. Por isso, esta dissertação apresenta uma abordagem de gerência de variabilidades para sistemas críticos. A abordagem é ilustrada através de um estudo de caso de domínio automotivo. Como avaliação, a abordagem foi comparada com duas técnicas similares de gerencia de variabilidades. Dentre os benefícios, a abordagem apresentada reduz o “gap” entre variabilidade e anotações de dependability de granulosidade baixa e garante a derivação de modelos corretos e completos.
publishDate 2023
dc.date.issued.fl_str_mv 2023-10-19
dc.date.accessioned.fl_str_mv 2024-01-10T11:54:52Z
dc.date.available.fl_str_mv 2024-01-09
2024-01-10T11:54:52Z
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://repositorio.ufjf.br/jspui/handle/ufjf/16444
url https://repositorio.ufjf.br/jspui/handle/ufjf/16444
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv Attribution 3.0 Brazil
http://creativecommons.org/licenses/by/3.0/br/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Attribution 3.0 Brazil
http://creativecommons.org/licenses/by/3.0/br/
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de Juiz de Fora (UFJF)
dc.publisher.program.fl_str_mv Programa de Pós-graduação em Ciência da Computação
dc.publisher.initials.fl_str_mv UFJF
dc.publisher.country.fl_str_mv Brasil
dc.publisher.department.fl_str_mv ICE – Instituto de Ciências Exatas
publisher.none.fl_str_mv Universidade Federal de Juiz de Fora (UFJF)
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFJF
instname:Universidade Federal de Juiz de Fora (UFJF)
instacron:UFJF
instname_str Universidade Federal de Juiz de Fora (UFJF)
instacron_str UFJF
institution UFJF
reponame_str Repositório Institucional da UFJF
collection Repositório Institucional da UFJF
bitstream.url.fl_str_mv https://repositorio.ufjf.br/jspui/bitstream/ufjf/16444/2/license_rdf
https://repositorio.ufjf.br/jspui/bitstream/ufjf/16444/3/license.txt
https://repositorio.ufjf.br/jspui/bitstream/ufjf/16444/1/lucaspaivabressan.pdf
https://repositorio.ufjf.br/jspui/bitstream/ufjf/16444/4/lucaspaivabressan.pdf.txt
https://repositorio.ufjf.br/jspui/bitstream/ufjf/16444/5/lucaspaivabressan.pdf.jpg
bitstream.checksum.fl_str_mv 4d2950bda3d176f570a9f8b328dfbbef
8a4605be74aa9ea9d79846c1fba20a33
792287442dc8b95fadbd6be5a09551c5
a5d299be702ba6c824c9b5ff7ff9f882
4e357a51f669f9a44083bc9993382cf0
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFJF - Universidade Federal de Juiz de Fora (UFJF)
repository.mail.fl_str_mv
_version_ 1813193894204014592

Registros relacionados