An Architecture-centric Approach for Safety Critical Software Product Lines

Detalhes bibliográficos
Autor(a) principal: Silva, Roselane Santana
Data de Publicação: 2016
Tipo de documento: Trabalho de conclusão de curso
Idioma: eng
Título da fonte: Repositório Institucional da UFBA
Texto Completo: http://repositorio.ufba.br/ri/handle/ri/20976
Resumo: Sistemas críticos estão cada vez mais integrados a nossa vida cotidiana. Nós dependemos de softwares para automação, como o monitoramento médico, e nós dependemos cada vez mais de softwares para tomar decisões de alto risco, cenários críticos para a segurança, onde pode não haver tempo suficiente para alertar os seres humanos, tais como veículos com piloto automático. Estes sistemas dependem de técnicas complexas e experiência de domínio para avaliar a segurança. Os métodos tradicionais para a criação de sistemas críticos são caros, demorados e não adequados para produtos de consumo, tais como as "coisas" conectadas à Internet das Coisas (IoT). Engenharia de Software de sistemas críticos requer uma compreensão clara do sistema. Engenharia de Linha de Produtos tem sido bem sucedida em reduzir o tempo e o custo de criação e implantação de produtos tradicionais através da reutilização sistemática de artefátos da linha de produto. No entanto, é um desafio único gerenciar questões de segurança em linhas de produtos de sistemas críticos, devido às muitas possibilidades de interações entre funcionalidades, fluxos de dados, e por assumir que o sistema não pode falhar. Para apoiar essas questões, este trabalho apresenta uma primeira definição de uma abordagem para a arquitetura, design, implementação e realização de análise de segurança em linhas de produtos de software de sistemas críticos (SCSPL). A abordagem proposta é baseada na Linguagem de Design e Análise de Arquitetura (AADL), que é adequada para descrever arquitetura de sistemas críticos. Nós ilustramos a abordagem proposta com uma linha de produto de sistemas de piloto automático, e reportamos os resultados deste projeto piloto, que se destina a estabelecer as bases para um programa de estudo na análise de segurança em Linhas de Produtos de Software de Sistemas Críticos (SCSPL).
id UFBA-2_c7ba76f2d5204e486199846247f05ec8
oai_identifier_str oai:repositorio.ufba.br:ri/20976
network_acronym_str UFBA-2
network_name_str Repositório Institucional da UFBA
repository_id_str 1932
spelling Silva, Roselane SantanaSilva, Roselane SantanaAlmeida, Eduardo Santana deMcGregor, John D.e Souza, Rodrigo Rocha GomesSant'Anna, Cláudio Nogueira2016-11-28T13:41:52Z2016-11-28T13:41:52Z2016-11-282016-10-24http://repositorio.ufba.br/ri/handle/ri/20976Sistemas críticos estão cada vez mais integrados a nossa vida cotidiana. Nós dependemos de softwares para automação, como o monitoramento médico, e nós dependemos cada vez mais de softwares para tomar decisões de alto risco, cenários críticos para a segurança, onde pode não haver tempo suficiente para alertar os seres humanos, tais como veículos com piloto automático. Estes sistemas dependem de técnicas complexas e experiência de domínio para avaliar a segurança. Os métodos tradicionais para a criação de sistemas críticos são caros, demorados e não adequados para produtos de consumo, tais como as "coisas" conectadas à Internet das Coisas (IoT). Engenharia de Software de sistemas críticos requer uma compreensão clara do sistema. Engenharia de Linha de Produtos tem sido bem sucedida em reduzir o tempo e o custo de criação e implantação de produtos tradicionais através da reutilização sistemática de artefátos da linha de produto. No entanto, é um desafio único gerenciar questões de segurança em linhas de produtos de sistemas críticos, devido às muitas possibilidades de interações entre funcionalidades, fluxos de dados, e por assumir que o sistema não pode falhar. Para apoiar essas questões, este trabalho apresenta uma primeira definição de uma abordagem para a arquitetura, design, implementação e realização de análise de segurança em linhas de produtos de software de sistemas críticos (SCSPL). A abordagem proposta é baseada na Linguagem de Design e Análise de Arquitetura (AADL), que é adequada para descrever arquitetura de sistemas críticos. Nós ilustramos a abordagem proposta com uma linha de produto de sistemas de piloto automático, e reportamos os resultados deste projeto piloto, que se destina a estabelecer as bases para um programa de estudo na análise de segurança em Linhas de Produtos de Software de Sistemas Críticos (SCSPL).Safety-critical software is increasingly integrated into everyday life. We depend on software for automation, such as medical monitoring, and we increasingly rely on software to make decisions in high-risk, safety-critical scenarios where there may not be enough time to alert humans, such as autonomous vehicle navigation. These systems depend on complex techniques and domain expertise to support safety assessment. Traditional methods for creating safety-critical software are expensive, time-consuming and not suitable for consumer products such as the "things" attached to the Internet of Things (IoT). Software engineering of safety-critical systems requires a clear understanding of the system. Product-line engineering has proven successful at reducing the cost and the time of creating and deploying traditional products through systematic reuse of product- line assets. However, it is a unique challenge to manage safety issues in safety-critical of product lines due to its many possibilities of features interactions, data flows, and assuming that the system can not fail. To support it, this paper presents an initial definition of an approach for architecting, analyzing, implementing, and conducting safety analysis in safety-critical software product lines (SCSPL). The proposed approach is based on the Architecture Analysis and Design Language (AADL), which is suitable to describe the system’s architecture. We illustrate their use on a family of Cruise Control Systems, safety-critical systems in the automotive domain, and report the results of this pilot project, which is intended to lay the foundation for a program of study on safety analysis for SCSPL.Submitted by Roselane Silva (rosesilva@dcc.ufba.br) on 2016-11-28T03:01:07Z No. of bitstreams: 1 architecture_centric_approach.pdf: 3599008 bytes, checksum: d6f65fc0f55af2ca57193f0cd7f42ce6 (MD5)Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2016-11-28T13:41:52Z (GMT) No. of bitstreams: 1 architecture_centric_approach.pdf: 3599008 bytes, checksum: d6f65fc0f55af2ca57193f0cd7f42ce6 (MD5)Made available in DSpace on 2016-11-28T13:41:52Z (GMT). No. of bitstreams: 1 architecture_centric_approach.pdf: 3599008 bytes, checksum: d6f65fc0f55af2ca57193f0cd7f42ce6 (MD5)Engenharia de SoftwareSoftware Product LinesSafety-Critical SystemsSafety Analysis TechniquesArchitecture Analysis & Design LanguageAn Architecture-centric Approach for Safety Critical Software Product Linesinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesisUniversidade Federal da BahiaUFBAbrasilinfo:eu-repo/semantics/openAccessengreponame:Repositório Institucional da UFBAinstname:Universidade Federal da Bahia (UFBA)instacron:UFBAORIGINALarchitecture_centric_approach.pdfarchitecture_centric_approach.pdfapplication/pdf3599008https://repositorio.ufba.br/bitstream/ri/20976/1/architecture_centric_approach.pdfd6f65fc0f55af2ca57193f0cd7f42ce6MD51LICENSElicense.txtlicense.txttext/plain1345https://repositorio.ufba.br/bitstream/ri/20976/2/license.txt0d4b811ef71182510d2015daa7c8a900MD52TEXTarchitecture_centric_approach.pdf.txtarchitecture_centric_approach.pdf.txtExtracted texttext/plain92065https://repositorio.ufba.br/bitstream/ri/20976/3/architecture_centric_approach.pdf.txt96a91c074efb30323270f36e12df2376MD53ri/209762022-07-05 14:04:50.216oai:repositorio.ufba.br:ri/20976VGVybW8gZGUgTGljZW4/YSwgbj9vIGV4Y2x1c2l2bywgcGFyYSBvIGRlcD9zaXRvIG5vIFJlcG9zaXQ/cmlvIEluc3RpdHVjaW9uYWwgZGEgVUZCQS4KCiBQZWxvIHByb2Nlc3NvIGRlIHN1Ym1pc3M/byBkZSBkb2N1bWVudG9zLCBvIGF1dG9yIG91IHNldSByZXByZXNlbnRhbnRlIGxlZ2FsLCBhbyBhY2VpdGFyIAplc3NlIHRlcm1vIGRlIGxpY2VuP2EsIGNvbmNlZGUgYW8gUmVwb3NpdD9yaW8gSW5zdGl0dWNpb25hbCBkYSBVbml2ZXJzaWRhZGUgRmVkZXJhbCBkYSBCYWhpYSAKbyBkaXJlaXRvIGRlIG1hbnRlciB1bWEgYz9waWEgZW0gc2V1IHJlcG9zaXQ/cmlvIGNvbSBhIGZpbmFsaWRhZGUsIHByaW1laXJhLCBkZSBwcmVzZXJ2YT8/by4gCkVzc2VzIHRlcm1vcywgbj9vIGV4Y2x1c2l2b3MsIG1hbnQ/bSBvcyBkaXJlaXRvcyBkZSBhdXRvci9jb3B5cmlnaHQsIG1hcyBlbnRlbmRlIG8gZG9jdW1lbnRvIApjb21vIHBhcnRlIGRvIGFjZXJ2byBpbnRlbGVjdHVhbCBkZXNzYSBVbml2ZXJzaWRhZGUuCgogUGFyYSBvcyBkb2N1bWVudG9zIHB1YmxpY2Fkb3MgY29tIHJlcGFzc2UgZGUgZGlyZWl0b3MgZGUgZGlzdHJpYnVpPz9vLCBlc3NlIHRlcm1vIGRlIGxpY2VuP2EgCmVudGVuZGUgcXVlOgoKIE1hbnRlbmRvIG9zIGRpcmVpdG9zIGF1dG9yYWlzLCByZXBhc3NhZG9zIGEgdGVyY2Vpcm9zLCBlbSBjYXNvIGRlIHB1YmxpY2E/P2VzLCBvIHJlcG9zaXQ/cmlvCnBvZGUgcmVzdHJpbmdpciBvIGFjZXNzbyBhbyB0ZXh0byBpbnRlZ3JhbCwgbWFzIGxpYmVyYSBhcyBpbmZvcm1hPz9lcyBzb2JyZSBvIGRvY3VtZW50bwooTWV0YWRhZG9zIGVzY3JpdGl2b3MpLgoKIERlc3RhIGZvcm1hLCBhdGVuZGVuZG8gYW9zIGFuc2Vpb3MgZGVzc2EgdW5pdmVyc2lkYWRlIGVtIG1hbnRlciBzdWEgcHJvZHU/P28gY2llbnQ/ZmljYSBjb20gCmFzIHJlc3RyaT8/ZXMgaW1wb3N0YXMgcGVsb3MgZWRpdG9yZXMgZGUgcGVyaT9kaWNvcy4KCiBQYXJhIGFzIHB1YmxpY2E/P2VzIHNlbSBpbmljaWF0aXZhcyBxdWUgc2VndWVtIGEgcG9sP3RpY2EgZGUgQWNlc3NvIEFiZXJ0bywgb3MgZGVwP3NpdG9zIApjb21wdWxzP3Jpb3MgbmVzc2UgcmVwb3NpdD9yaW8gbWFudD9tIG9zIGRpcmVpdG9zIGF1dG9yYWlzLCBtYXMgbWFudD9tIGFjZXNzbyBpcnJlc3RyaXRvIAphbyBtZXRhZGFkb3MgZSB0ZXh0byBjb21wbGV0by4gQXNzaW0sIGEgYWNlaXRhPz9vIGRlc3NlIHRlcm1vIG4/byBuZWNlc3NpdGEgZGUgY29uc2VudGltZW50bwogcG9yIHBhcnRlIGRlIGF1dG9yZXMvZGV0ZW50b3JlcyBkb3MgZGlyZWl0b3MsIHBvciBlc3RhcmVtIGVtIGluaWNpYXRpdmFzIGRlIGFjZXNzbyBhYmVydG8uCg==Repositório InstitucionalPUBhttp://192.188.11.11:8080/oai/requestopendoar:19322022-07-05T17:04:50Repositório Institucional da UFBA - Universidade Federal da Bahia (UFBA)false
dc.title.pt_BR.fl_str_mv An Architecture-centric Approach for Safety Critical Software Product Lines
title An Architecture-centric Approach for Safety Critical Software Product Lines
spellingShingle An Architecture-centric Approach for Safety Critical Software Product Lines
Silva, Roselane Santana
Engenharia de Software
Software Product Lines
Safety-Critical Systems
Safety Analysis Techniques
Architecture Analysis & Design Language
title_short An Architecture-centric Approach for Safety Critical Software Product Lines
title_full An Architecture-centric Approach for Safety Critical Software Product Lines
title_fullStr An Architecture-centric Approach for Safety Critical Software Product Lines
title_full_unstemmed An Architecture-centric Approach for Safety Critical Software Product Lines
title_sort An Architecture-centric Approach for Safety Critical Software Product Lines
author Silva, Roselane Santana
author_facet Silva, Roselane Santana
author_role author
dc.contributor.author.fl_str_mv Silva, Roselane Santana
Silva, Roselane Santana
dc.contributor.advisor1.fl_str_mv Almeida, Eduardo Santana de
dc.contributor.advisor-co1.fl_str_mv McGregor, John D.
dc.contributor.referee1.fl_str_mv e Souza, Rodrigo Rocha Gomes
Sant'Anna, Cláudio Nogueira
contributor_str_mv Almeida, Eduardo Santana de
McGregor, John D.
e Souza, Rodrigo Rocha Gomes
Sant'Anna, Cláudio Nogueira
dc.subject.cnpq.fl_str_mv Engenharia de Software
topic Engenharia de Software
Software Product Lines
Safety-Critical Systems
Safety Analysis Techniques
Architecture Analysis & Design Language
dc.subject.por.fl_str_mv Software Product Lines
Safety-Critical Systems
Safety Analysis Techniques
Architecture Analysis & Design Language
description Sistemas críticos estão cada vez mais integrados a nossa vida cotidiana. Nós dependemos de softwares para automação, como o monitoramento médico, e nós dependemos cada vez mais de softwares para tomar decisões de alto risco, cenários críticos para a segurança, onde pode não haver tempo suficiente para alertar os seres humanos, tais como veículos com piloto automático. Estes sistemas dependem de técnicas complexas e experiência de domínio para avaliar a segurança. Os métodos tradicionais para a criação de sistemas críticos são caros, demorados e não adequados para produtos de consumo, tais como as "coisas" conectadas à Internet das Coisas (IoT). Engenharia de Software de sistemas críticos requer uma compreensão clara do sistema. Engenharia de Linha de Produtos tem sido bem sucedida em reduzir o tempo e o custo de criação e implantação de produtos tradicionais através da reutilização sistemática de artefátos da linha de produto. No entanto, é um desafio único gerenciar questões de segurança em linhas de produtos de sistemas críticos, devido às muitas possibilidades de interações entre funcionalidades, fluxos de dados, e por assumir que o sistema não pode falhar. Para apoiar essas questões, este trabalho apresenta uma primeira definição de uma abordagem para a arquitetura, design, implementação e realização de análise de segurança em linhas de produtos de software de sistemas críticos (SCSPL). A abordagem proposta é baseada na Linguagem de Design e Análise de Arquitetura (AADL), que é adequada para descrever arquitetura de sistemas críticos. Nós ilustramos a abordagem proposta com uma linha de produto de sistemas de piloto automático, e reportamos os resultados deste projeto piloto, que se destina a estabelecer as bases para um programa de estudo na análise de segurança em Linhas de Produtos de Software de Sistemas Críticos (SCSPL).
publishDate 2016
dc.date.submitted.none.fl_str_mv 2016-10-24
dc.date.accessioned.fl_str_mv 2016-11-28T13:41:52Z
dc.date.available.fl_str_mv 2016-11-28T13:41:52Z
dc.date.issued.fl_str_mv 2016-11-28
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://repositorio.ufba.br/ri/handle/ri/20976
url http://repositorio.ufba.br/ri/handle/ri/20976
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.publisher.none.fl_str_mv Universidade Federal da Bahia
dc.publisher.initials.fl_str_mv UFBA
dc.publisher.country.fl_str_mv brasil
publisher.none.fl_str_mv Universidade Federal da Bahia
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFBA
instname:Universidade Federal da Bahia (UFBA)
instacron:UFBA
instname_str Universidade Federal da Bahia (UFBA)
instacron_str UFBA
institution UFBA
reponame_str Repositório Institucional da UFBA
collection Repositório Institucional da UFBA
bitstream.url.fl_str_mv https://repositorio.ufba.br/bitstream/ri/20976/1/architecture_centric_approach.pdf
https://repositorio.ufba.br/bitstream/ri/20976/2/license.txt
https://repositorio.ufba.br/bitstream/ri/20976/3/architecture_centric_approach.pdf.txt
bitstream.checksum.fl_str_mv d6f65fc0f55af2ca57193f0cd7f42ce6
0d4b811ef71182510d2015daa7c8a900
96a91c074efb30323270f36e12df2376
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFBA - Universidade Federal da Bahia (UFBA)
repository.mail.fl_str_mv
_version_ 1801502594521104384

Registros relacionados