Skip navigation
  1. RI UFPE
  2. Teses e Dissertações
  3. Teses e Dissertações defendidas na UFPE
  4. Programa de Pós-Graduação em Ciência da Computação
  5. Dissertações de Mestrado - Ciência da Computação
Use este identificador para citar ou linkar para este item: https://repositorio.ufpe.br/handle/123456789/35369

Compartilhe esta página

Registro completo de metadados
Campo DCValorIdioma
dc.contributor.advisorCASTRO, Jaelson Freire Brelaz de-
dc.contributor.authorRIBEIRO, Sarah Moniky Silva-
dc.date.accessioned2019-11-29T17:17:59Z-
dc.date.available2019-11-29T17:17:59Z-
dc.date.issued2019-02-19-
dc.identifier.citationRIBEIRO, Sarah Moniky Silva. Desenvolvimento de uma extensão da linguagem de modelagem iStar para sistemas críticos de segurança – iStar4Safety. 2019. Dissertação (Mestrado em Ciência da Computação) – Universidade Federal de Pernambuco, Recife, 2019.pt_BR
dc.identifier.urihttps://repositorio.ufpe.br/handle/123456789/35369-
dc.description.abstractSistemas Críticos de Segurança (do inglês, Safety-Critical Systems - SCS) são caracterizados por serem sistemas que caso falhem ou não se comportem como esperado, podem levar à danos ou até perdas de vidas, destruição de propriedade, perdas de missões e/ou dano ambiental. Logo, gastos financeiros e esforços para garantir seu bom funcionamento são altamente justificáveis e aplicáveis. Observa-se que há uma maior probabilidade de erros relacionados à segurança (do inglês, safety) estarem associados às fases iniciais do processo de desenvolvimento, do que às fases finais (tais como a codificação). Os requisitos iniciais de segurança são definidos no documento da Análise Preliminar de Segurança (do inglês, Preliminary Safety Analysis - PSA) que é a base para outras análises. Percebeu-se a falta de uma linguagem orientada à objetivos que permitisse a modelagem de requisitos iniciais de segurança no domínio de Sistemas Críticos de Segurança. Esse trabalho tem por objetivo criar uma extensão da linguagem iStar para possibilitar a modelagem de requisitos de segurança desde os estágios iniciais de desenvolvimento do sistema, adotando uma abordagem orientada a objetivos. A extensão de iStar foi desenvolvida seguindo o processo PRISE (A PRocess to Conduct iStar Extensions). A nova linguagem permitirá uma definição dos requisitos iniciais de segurança. Foi proposta a linguagem iStar4Safety, com diversos construtores específicos para modelar segurança. Além disso, foi definido o metamodelo da linguagem acompanhado de regras de validação. A ferramenta piStar Tool de modelagem foi adaptada, originando a ferramenta piStar-4Safety Tool, que permite que modelos em iStar4Safety sejam criados. A nova linguagem de modelagem foi avaliada através de um método empírico. Um Sistema Crítico de Segurança, que visa controlar o cruzamento de ferrovias, foi modelado com a nova linguagem iStar4Safety. De acordo com o survey aplicado, a linguagem iStar4Safety é conservativa, ou seja, mantém todas as características de iStar 2.0. Adicionalmente, ela permite,de forma satisfatória, que os requisitos iniciais de segurança do Sistema Crítico de Segurança em questão sejam modelados.pt_BR
dc.language.isoporpt_BR
dc.publisherUniversidade Federal de Pernambucopt_BR
dc.rightsopenAccesspt_BR
dc.rightsAttribution-NonCommercial-NoDerivs 3.0 Brazil*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/br/*
dc.subjectEngenharia de softwarept_BR
dc.subjectEngenharia de requisitospt_BR
dc.subjectSistemas críticos de segurançapt_BR
dc.titleDesenvolvimento de uma extensão da linguagem de modelagem iStar para Sistemas Críticos de Segurança – iStar4Safetypt_BR
dc.typemasterThesispt_BR
dc.contributor.authorLatteshttp://lattes.cnpq.br/4864557311702195pt_BR
dc.publisher.initialsUFPEpt_BR
dc.publisher.countryBrasilpt_BR
dc.degree.levelmestradopt_BR
dc.contributor.advisorLatteshttp://lattes.cnpq.br/0698164500481055pt_BR
dc.publisher.programPrograma de Pos Graduacao em Ciencia da Computacaopt_BR
dc.description.abstractxSafety-Critical System (SCS) is known to be a system that, if it fails or does not perform as expected, can lead to damage or loss of life, property, missions, and / or environmental damage. Therefore, financial expenses and efforts to ensure its proper functioning are highly justifiable and applicable. It is observed that there is a greater probability that safety-related errors are associated with the early stages of the development process, rather than the later phases (such as the coding). The early safety requirements are defined in the Preliminary Safety Analysis (PSA) document that is the basis for further analysis. It was noticed the lack of an goal-oriented language that allowed the modeling of initial safety requirements in the field of Safety-Critical Systems. This work aims to create an extension of the iStar language to enable the modeling of safety requirements from the early stages of system development, adopting a goal-oriented approach. The iStar extension was developed following the PRISE process (A PRocess to Conduct iStar Extensions). The new language will allow a definition of the initial safety requirements. The iStar4Safety language was proposed, with several specific constructors for modeling safety. In addition, the metamodel of the language was defined along with validation rules. The piStar Tool modeling tool has been adapted, originating the piStar-4Safety Tool to enable iStar4Safety models to be created. The new modeling language was evaluated through an empirical method. A critical safety system, which aims to control the crossing of railways, was modeled with the new iStar4Safety language. According to the survey applied, the iStar4Safety language is conservative, that is, maintains all the features of iStar 2.0e. Moreover, it satisfactorily supports the modeling of the initial safety requirements of the given Safety-Critical System.pt_BR
Aparece nas coleções:Dissertações de Mestrado - Ciência da Computação

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
DISSERTAÇÃO Sarah Monick Silva Ribeiro.pdf14,52 MBAdobe PDFThumbnail
Visualizar/Abrir


Este arquivo é protegido por direitos autorais

Ver licença
Mostrar registro simples do item Recomendar este item Visualizar estatísticas


Este item está licenciada sob uma Licença Creative Commons Creative Commons