Dependability verification for contextual/runtime goal modelling

Detalhes bibliográficos
Autor(a) principal: Mendonça, Danilo Filgueira
Data de Publicação: 2015
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UnB
Texto Completo: http://repositorio.unb.br/handle/10482/18158
http://dx.doi.org/10.26512/2015.02.D.18158
Resumo: Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2015.
id UNB_76e61c94de39304481060adc567e2bf1
oai_identifier_str oai:repositorio.unb.br:10482/18158
network_acronym_str UNB
network_name_str Repositório Institucional da UnB
repository_id_str
spelling Dependability verification for contextual/runtime goal modellingConfiabilidadeRuntime goal model (RGM)DependabilidadeDissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2015.Um contexto de operação estático não é a realidade para muitos sistemas de software atualmente. Variações de contextos impõe novos desafios ao desenvolvimento de sistemas seguros, o que inclui a ativação de falhas apenas em contextos específicos de operação. A engenharia de requisitos orientada a objetivos (GORE) explicita o ‘por quê’ dos requisitos de um sistema, isto é, a intencionalidade por trás de objetivos do sistema e os meios de se atingi-los. Um Runtime goal model (RGM) adiciona especificação de comportamento ao modelo de objetivos convencional, enquanto um Contextual goal model (CGM) especifica efeitos de contextos sobre objetivos, meios e métricas de qualidade. Visando uma verificação formal da dependabilidade de um Contextual-Runtime goal model (CRGM), nesse trabalho é proposta uma nova abordagem para a análise de dependabilidade orientada a objetivos baseada na técnica de verificação probabilística de modelos. Em particular, são definidas regras para a transformação de um CRGM para um modelo cadeia de Makov de tempo discreto (DTMC) com o qual se possa verificar a confiabilidade de se satisfazer um ou mais objetivos do sistema. Adicionalmente, para diminuir o esforço de análise e aumentar a usabilidade de nossa proposta, um gerador automatizado de código CRGM para DTMC foi implementado e integrado com sucesso à ferramenta gráfica que dá suporte às fases de modelagem e análise de objetivos da metodologia TROPOS. A verificação contextual de dependabilidade resultante reflete os requisitos no CRGM, que podem representar: o projeto de um sistema, cuja verificação ocorreria em fase de projetos; ou um sistema em execução, cujo comportamento pode ser verificado em tempo de execução como parte de uma análise de auto-adaptação com foco em dependabilidade.A static and stable operation environment is not a reality for many systems nowadays. Context variations impose many threats to systems safety, including the activation of context specific failures. Goal-oriented requirements engineering (GORE) brings forward the ‘why’ of system requirements, i.e., the intentionality behind system goals and the means to meet then. A runtime goal model adds a behaviour specification layer to a conventional design goal model, and a contextual goal model specifies the context effects over system goals, means and qualitative metrics. In order to formally verify the dependability of a CRGM, we propose a new goal-oriented dependability analysis based on the probabilistic model checking technique. In particular, we define rules for the transformation of a CRGM into a DTMC model that can be verified for the reliability of the fulfilment of one or more system goals. Also, to mitigate the analysis overhead and increase the usability of our proposal, we have successfully implemented and integrated a CRGM to DTMC code generator to the graphical tool that supports the goal modelling and analysis phases of the TROPOS development methodology. The resulting contextual dependability verification reflects the system requirements in a CRGM, which may represent: a system-to-be, whose verification would take place at design-time; or a running system, whose behaviour can be verified at runtime as part of a self-adaptation analysis targeting dependability.Rodrigues, Genaína NunesMendonça, Danilo Filgueira2015-05-14T19:16:39Z2015-05-14T19:16:39Z2015-05-142015-02-27info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfMENDONÇA, Danilo Filgueira. Dependability verification for contextual/runtime goal modeling. 2015. x, 80 f., il. Dissertação (Mestrado em Informática)—Universidade de Brasília, Brasília, 2015.http://repositorio.unb.br/handle/10482/18158http://dx.doi.org/10.26512/2015.02.D.18158InglêsporA concessão da licença deste item refere-se ao termo de autorização impresso assinado pelo autor com as seguintes condições: Na qualidade de titular dos direitos de autor da publicação, autorizo a Universidade de Brasília e o IBICT a disponibilizar por meio dos sites www.bce.unb.br, www.ibict.br, http://hercules.vtls.com/cgi-bin/ndltd/chameleon?lng=pt&skin=ndltd sem ressarcimento dos direitos autorais, de acordo com a Lei nº 9610/98, o texto integral da obra disponibilizada, conforme permissões assinaladas, para fins de leitura, impressão e/ou download, a título de divulgação da produção científica brasileira, a partir desta data.info:eu-repo/semantics/openAccessreponame:Repositório Institucional da UnBinstname:Universidade de Brasília (UnB)instacron:UNB2023-07-14T18:56:22Zoai:repositorio.unb.br:10482/18158Repositório InstitucionalPUBhttps://repositorio.unb.br/oai/requestrepositorio@unb.bropendoar:2023-07-14T18:56:22Repositório Institucional da UnB - Universidade de Brasília (UnB)false
dc.title.none.fl_str_mv Dependability verification for contextual/runtime goal modelling
title Dependability verification for contextual/runtime goal modelling
spellingShingle Dependability verification for contextual/runtime goal modelling
Mendonça, Danilo Filgueira
Confiabilidade
Runtime goal model (RGM)
Dependabilidade
title_short Dependability verification for contextual/runtime goal modelling
title_full Dependability verification for contextual/runtime goal modelling
title_fullStr Dependability verification for contextual/runtime goal modelling
title_full_unstemmed Dependability verification for contextual/runtime goal modelling
title_sort Dependability verification for contextual/runtime goal modelling
author Mendonça, Danilo Filgueira
author_facet Mendonça, Danilo Filgueira
author_role author
dc.contributor.none.fl_str_mv Rodrigues, Genaína Nunes
dc.contributor.author.fl_str_mv Mendonça, Danilo Filgueira
dc.subject.por.fl_str_mv Confiabilidade
Runtime goal model (RGM)
Dependabilidade
topic Confiabilidade
Runtime goal model (RGM)
Dependabilidade
description Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2015.
publishDate 2015
dc.date.none.fl_str_mv 2015-05-14T19:16:39Z
2015-05-14T19:16:39Z
2015-05-14
2015-02-27
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 MENDONÇA, Danilo Filgueira. Dependability verification for contextual/runtime goal modeling. 2015. x, 80 f., il. Dissertação (Mestrado em Informática)—Universidade de Brasília, Brasília, 2015.
http://repositorio.unb.br/handle/10482/18158
http://dx.doi.org/10.26512/2015.02.D.18158
identifier_str_mv MENDONÇA, Danilo Filgueira. Dependability verification for contextual/runtime goal modeling. 2015. x, 80 f., il. Dissertação (Mestrado em Informática)—Universidade de Brasília, Brasília, 2015.
url http://repositorio.unb.br/handle/10482/18158
http://dx.doi.org/10.26512/2015.02.D.18158
dc.language.iso.fl_str_mv Inglês
por
language_invalid_str_mv Inglês
language por
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 UnB
instname:Universidade de Brasília (UnB)
instacron:UNB
instname_str Universidade de Brasília (UnB)
instacron_str UNB
institution UNB
reponame_str Repositório Institucional da UnB
collection Repositório Institucional da UnB
repository.name.fl_str_mv Repositório Institucional da UnB - Universidade de Brasília (UnB)
repository.mail.fl_str_mv repositorio@unb.br
_version_ 1814508308441071616

Registros relacionados