Dependability verification for contextual/runtime goal modelling
Guardat en:
| Autor principal: | |
|---|---|
| Data de publicació: | 2015 |
| Format: | Master thesis |
| Idioma: | por eng |
| Font: | Repositório Institucional da UnB |
| DOI: | http://dx.doi.org/10.26512/2015.02.D.18158 |
| Download full: | http://repositorio.unb.br/handle/10482/18158 http://dx.doi.org/10.26512/2015.02.D.18158 |
Sumari: | Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2015. |
| _version_ | 1871442367754534912 |
|---|---|
| author | Mendonça, Danilo Filgueira |
| author_browse | Mendonça, Danilo Filgueira |
| author_facet | Mendonça, Danilo Filgueira |
| author_role | author |
| bitstream.checksum.fl_str_mv | 3fd8f92515216f0962560e658342894f 1ef91fcb6d078feb6765325176fc403a |
| bitstream.checksumAlgorithm.fl_str_mv | MD5 MD5 |
| bitstream.url.fl_str_mv | http://repositorio.unb.br/bitstream/10482/18158/1/2015_DaniloFilgueiraMendon%c3%a7a.pdf http://repositorio.unb.br/bitstream/10482/18158/2/license.txt |
| collection | Repositório Institucional da UnB |
| contributor_str_mv | Rodrigues, Genaína Nunes |
| dc.contributor.advisor1.fl_str_mv | Rodrigues, Genaína Nunes |
| dc.contributor.author.fl_str_mv | Mendonça, Danilo Filgueira |
| dc.date.accessioned.fl_str_mv | 2015-05-14T19:16:39Z |
| dc.date.available.fl_str_mv | 2015-05-14T19:16:39Z |
| dc.date.issued.fl_str_mv | 2015-05-14 |
| dc.date.submitted.none.fl_str_mv | 2015-02-27 |
| dc.identifier.citation.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. |
| dc.identifier.doi.none.fl_str_mv | http://dx.doi.org/10.26512/2015.02.D.18158 |
| dc.identifier.uri.fl_str_mv | http://repositorio.unb.br/handle/10482/18158 |
| dc.language.iso.fl_str_mv | por eng |
| dc.rights.driver.fl_str_mv | info:eu-repo/semantics/openAccess |
| dc.source.none.fl_str_mv | reponame:Repositório Institucional da UnB instname:Universidade de Brasília (UnB) instacron:UNB |
| dc.subject.keyword.en.fl_str_mv | Confiabilidade Runtime goal model (RGM) Dependabilidade |
| dc.title.en.fl_str_mv | Dependability verification for contextual/runtime goal modelling |
| dc.type.driver.fl_str_mv | info:eu-repo/semantics/masterThesis |
| dc.type.status.fl_str_mv | info:eu-repo/semantics/publishedVersion |
| description | Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2015. |
| eu_rights_str_mv | openAccess |
| format | masterThesis |
| id | UNB_76e61c94de39304481060adc567e2bf1 |
| 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. |
| instacron_str | UNB |
| institution | UNB |
| instname_str | Universidade de Brasília (UnB) |
| language | por eng |
| network_acronym_str | UNB |
| network_name_str | Repositório Institucional da UnB |
| oai_identifier_str | oai:repositorio.unb.br:10482/18158 |
| publishDate | 2015 |
| publishDateSort | 2015 |
| reponame_str | Repositório Institucional da UnB |
| repository.mail.fl_str_mv | repositorio@unb.br |
| repository.name.fl_str_mv | Repositório Institucional da UnB - Universidade de Brasília (UnB) |
| repository_id_str | |
| spelling | Mendonça, Danilo FilgueiraRodrigues, Genaína Nunes2015-05-14T19:16:39Z2015-05-14T19:16:39Z2015-05-142015-02-27MENDONÇ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.18158Dissertaçã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.Instituto de Ciências Exatas (IE)Departamento de Ciência da Computação (IE CIC)Programa de Pós-Graduação em InformáticaporengA 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/openAccessDependability verification for contextual/runtime goal modellinginfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisConfiabilidadeRuntime goal model (RGM)Dependabilidadereponame:Repositório Institucional da UnBinstname:Universidade de Brasília (UnB)instacron:UNBORIGINAL2015_DaniloFilgueiraMendonça.pdf2015_DaniloFilgueiraMendonça.pdfapplication/pdf15442097http://repositorio.unb.br/bitstream/10482/18158/1/2015_DaniloFilgueiraMendon%c3%a7a.pdf3fd8f92515216f0962560e658342894fMD51open accessLICENSElicense.txtlicense.txttext/plain774http://repositorio.unb.br/bitstream/10482/18158/2/license.txt1ef91fcb6d078feb6765325176fc403aMD52open access10482/181582025-12-26 17:21:42.655open accessoai:repositorio.unb.br:10482/18158TGljZW5zZSBncmFudGVkIGJ5IEFuYSBDcmlzdGluYSBCYXJib3NhIGRhIFNpbHZhIChhbm5hYmRzQGhvdG1haWwuY29tKSBvbiAyMDE1LTA0LTI3VDE1OjU2OjM4WiAoR01UKToKCkEgY29uY2Vzc8OjbyBkYSBsaWNlbsOnYSBkZXN0ZSBpdGVtIHJlZmVyZS1zZSBhbyB0ZXJtbyBkZSBhdXRvcml6YcOnw6NvIGltcHJlc3NvIGFzc2luYWRvIA0KcGVsbyBhdXRvciBjb20gYXMgc2VndWludGVzIGNvbmRpw6fDtWVzOg0KDQpOYSBxdWFsaWRhZGUgZGUgdGl0dWxhciBkb3MgZGlyZWl0b3MgZGUgYXV0b3IgZGEgcHVibGljYcOnw6NvLCBhdXRvcml6byBhIFVuaXZlcnNpZGFkZSBkZSBCcmFzw61saWENCiBlIG8gSUJJQ1QgYSBkaXNwb25pYmlsaXphciBwb3IgbWVpbyBkb3Mgc2l0ZXMgd3d3LmJjZS51bmIuYnIsIHd3dy5pYmljdC5iciwNCiBodHRwOi8vaGVyY3VsZXMudnRscy5jb20vY2dpLWJpbi9uZGx0ZC9jaGFtZWxlb24/bG5nPXB0JnNraW49bmRsdGQgc2VtIHJlc3NhcmNpbWVudG8gZG9zIA0KZGlyZWl0b3MgYXV0b3JhaXMsIGRlIGFjb3JkbyBjb20gYSBMZWkgbsK6IDk2MTAvOTgsIG8gdGV4dG8gaW50ZWdyYWwgZGEgb2JyYSBkaXNwb25pYmlsaXphZGEsDQogY29uZm9ybWUgcGVybWlzc8O1ZXMgYXNzaW5hbGFkYXMsIHBhcmEgZmlucyBkZSBsZWl0dXJhLCBpbXByZXNzw6NvIGUvb3UgZG93bmxvYWQsIGEgdMOtdHVsbyBkZSANCmRpdnVsZ2HDp8OjbyBkYSBwcm9kdcOnw6NvIGNpZW50w61maWNhIGJyYXNpbGVpcmEsIGEgcGFydGlyIGRlc3RhIGRhdGEuRepositório InstitucionalPUBhttps://repositorio.unb.br/oai/requestrepositorio@unb.bropendoar:2025-12-26T20:21:42Repositório Institucional da UnB - Universidade de Brasília (UnB) |
| spellingShingle | Dependability verification for contextual/runtime goal modelling Mendonça, Danilo Filgueira Confiabilidade Runtime goal model (RGM) Dependabilidade |
| status_str | publishedVersion |
| title | 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_short | Dependability verification for contextual/runtime goal modelling |
| title_sort | Dependability verification for contextual/runtime goal modelling |
| topic | Confiabilidade Runtime goal model (RGM) Dependabilidade |
| url | http://repositorio.unb.br/handle/10482/18158 http://dx.doi.org/10.26512/2015.02.D.18158 |