masterThesis
Desenvolvimento de uma extensão da linguagem de modelagem iStar para Sistemas Críticos de Segurança – iStar4Safety
Registro en:
RIBEIRO, 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.
Autor
RIBEIRO, Sarah Moniky Silva
Institución
Resumen
Sistemas 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. Safety-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.