Os avanços tecnológicos na eletrônica e no software têm sido rapidamente assimilados pelos sistemas computacionais demandando novas abordagens para a engenharia de sistemas e de software prover produtos confiáveis, sob critérios bem estabelecidos de qualidade. Dentro deste contexto, o processo de elicitação de requisitos tem um papel estratégico no desenvolvimento de projetos. Problemas na atividade de elicitação contribuem para produzir requisitos pobres, inadequados ou mesmo inexistentes que podem causar a perda de uma missão, desastres materiais e financeiros, a extinção prematura de um projeto ou promover uma crise organizacional. Esta tese apresenta o processo de elicitação de metas de dependabilidade, chamado ELICERE, aplicado em sistemas computacionais críticos, que se fundamenta nas técnicas de engenharia de requisitos orientada a metas, chamada i*, e nas técnicas de engenharia de segurança HAZOP e FMEA, que identificam e analisam perigos operacionais de um sistema. Depois de criar os modelos do sistema usando os diagramas i*, eles são analisados através de palavras-guia baseadas no HAZOP e FMEA, de onde as metas relacionadas à dependabilidade são extraídas. Através desta abordagem interdisciplinar, ELICERE promove a identificação de metas, que atendam aos requisitos de qualidade, relativos à dependabilidade, para sistemas computacionais críticos ainda na fase de concepção de um projeto. A abordagem do estudo de caso é baseada em um estudo qualitativo e descritivo de um caso único, usando o projeto de um foguete lançador hipotético, chamado V-ALFA. A aplicação do ELICERE neste projeto espacial teve a intenção de aperfeiçoar as atividades de engenharia de requisitos do sistema computacional do Veículo Lançador de Satélites Brasileiro, e também como forma de explicar como o processo ELICERE funciona. / The technological advances in electronic and software have been rapidly assimilated by computer systems, demanding new approaches for software and system engineering to provide reliable products, under well-known quality criteria. In this context, requirements engineering has a strategic role in project development. Problems in the elicitation activity contribute to producing poor, inadequate or even non-existent requirements that can cause mission losses, material or financial disasters, premature project termination or promote an organizational crisis. This thesis introduces the dependability goals elicitation process, called ELICERE, applied to critical computer systems based on a goal-oriented requirement engineering technique, called i*, and the safety engineering techniques HAZOP and FMEA, which will be applied for the identification and analysis of operational risks of a system. After creating the system models using i* diagrams, they are analyzed through guidewords based on HAZOP and FMEA, from which goals related to dependability are extracted. Through this interdisciplinary approach, ELICERE promotes the identification of goals that meet the quality requirements, related to dependability for critical systems, still in the project conception phase. The case study approach is based on a qualitative and descriptive single-case, using a computer system project of a hypothetical launching rocket, called V-ALFA. The ELICERE application in this space project intends to improve the requirement engineering activities in the computer system of the Brazilian Satellite Launch Vehicle, and also a way to explain how the ELICERE process works.

Os avanços tecnológicos na eletrônica e no software têm sido rapidamente assimilados pelos sistemas computacionais demandando novas abordagens para a engenharia de sistemas e de software prover produtos confiáveis, sob critérios bem estabelecidos de qualidade. Dentro deste contexto, o processo de elicitação de requisitos tem um papel estratégico no desenvolvimento de projetos. Problemas na atividade de elicitação contribuem para produzir requisitos pobres, inadequados ou mesmo inexistentes que podem causar a perda de uma missão, desastres materiais e financeiros, a extinção prematura de um projeto ou promover uma crise organizacional. Esta tese apresenta o processo de elicitação de metas de dependabilidade, chamado ELICERE, aplicado em sistemas computacionais críticos, que se fundamenta nas técnicas de engenharia de requisitos orientada a metas, chamada i*, e nas técnicas de engenharia de segurança HAZOP e FMEA, que identificam e analisam perigos operacionais de um sistema. Depois de criar os modelos do sistema usando os diagramas i*, eles são analisados através de palavras-guia baseadas no HAZOP e FMEA, de onde as metas relacionadas à dependabilidade são extraídas. Através desta abordagem interdisciplinar, ELICERE promove a identificação de metas, que atendam aos requisitos de qualidade, relativos à dependabilidade, para sistemas computacionais críticos ainda na fase de concepção de um projeto. A abordagem do estudo de caso é baseada em um estudo qualitativo e descritivo de um caso único, usando o projeto de um foguete lançador hipotético, chamado V-ALFA. A aplicação do ELICERE neste projeto espacial teve a intenção de aperfeiçoar as atividades de engenharia de requisitos do sistema computacional do Veículo Lançador de Satélites Brasileiro, e também como forma de explicar como o processo ELICERE funciona. / The technological advances in electronic and software have been rapidly assimilated by computer systems, demanding new approaches for software and system engineering to provide reliable products, under well-known quality criteria. In this context, requirements engineering has a strategic role in project development. Problems in the elicitation activity contribute to producing poor, inadequate or even non-existent requirements that can cause mission losses, material or financial disasters, premature project termination or promote an organizational crisis. This thesis introduces the dependability goals elicitation process, called ELICERE, applied to critical computer systems based on a goal-oriented requirement engineering technique, called i*, and the safety engineering techniques HAZOP and FMEA, which will be applied for the identification and analysis of operational risks of a system. After creating the system models using i* diagrams, they are analyzed through guidewords based on HAZOP and FMEA, from which goals related to dependability are extracted. Through this interdisciplinary approach, ELICERE promotes the identification of goals that meet the quality requirements, related to dependability for critical systems, still in the project conception phase. The case study approach is based on a qualitative and descriptive single-case, using a computer system project of a hypothetical launching rocket, called V-ALFA. The ELICERE application in this space project intends to improve the requirement engineering activities in the computer system of the Brazilian Satellite Launch Vehicle, and also a way to explain how the ELICERE process works.

Submitted by Rafael Santana (rafael.silvasantana@ufpe.br) on 2017-07-17T18:28:50Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) Tese ANA.pdf: 10188984 bytes, checksum: de03259cdfb41a9ebdfad4e181dedc79 (MD5) / Made available in DSpace on 2017-07-17T18:28:50Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) Tese ANA.pdf: 10188984 bytes, checksum: de03259cdfb41a9ebdfad4e181dedc79 (MD5) Previous issue date: 2016-05-27 / Através de pesquisa bibliográfica das formas de ocupação física de espaços de escritório, identificou-se que a determinação do espaço de trabalho é fundamentada na posição hierárquica do trabalhador. Avaliações ergonômicas realizadas em ambientes de escritório por diversos pesquisadores constataram que os ambientes não estão atendendo aos anseios dos usuários. Tendo em vista que a ocupação de um espaço segue um processo de planejamento, mas que a quantificação e organização do espaço seguem padrões organizacionais, nessa tese levantou-se a hipótese de que a forma de distribuição e a quantidade de espaço físico necessária ao espaço de trabalho para a execução das atividades deveriam ser estabelecidas a partir do conhecimento sistemático das atividades e utilização de dados ergonômicos de dimensionamento de espaço. Partindo disso, esse estudo propoes um processo de projeto alicerçado no sistema humano, na qual a ergonomia contribui e fundamenta, prevendo-se o espaço para as formas possíveis de execução atividade, utilizando situações existentes cuja análise permitirá esclarecer as condições da atividade futura. Para testar esta hipótese, uma adaptação do método hipotético dedutivo foi utilizada como instrumento de pesquisa para desenvolver uma metodologia de configuração deste espaço. Como estudo de caso, foram investigados onze postos de trabalho de um escritório de uma empresa pública. A proposta de composição dos espaços de trabalho foi fundamentada em uma investigação das atividades utilizando o método iSEE e na destinação de módulos de padrões dimensionais para cada ação decorrentes das atividades identificadas. A metodologia desenvolvida foi sintetizada em um modelo de configuração do espaço de trabalho, que foi experimentado por profissionais que atuavam em projetos de ambiente. / Through literature search of forms of physical occupation of office space, it was found that the determination of the workspace is based on the employee's rank. Ergonomic assessments conducted in office environments by several researchers found that the environments are not meeting the wishes of users. Given that the occupation of a space following a planning process, but that the quantification and organization of space follow organizational patterns, this thesis raised the hypothesis that the form of distribution and the amount of physical space required for the space work for the implementation of activities should be established from the systematic knowledge of the activities and use of ergonomic data space sizing. From that, this study proposes a process of design rooted in the human system, in which ergonomics contributes and bases, foreseeing space for the possible ways of implementing activity, using situations whose analysis will clarify the conditions of future activity. To test this hypothesis, an adaptation of the deductive hypothetical method was used as a research tool to develop a configuration methodology of this space. As a case study, eleven jobs were investigated in a public company office. The proposed composition of the working space was based on an investigation of the activities using the iSEE method and allocation of dimensional standards modules for each share resulting from the identified activities. The methodology was synthesized in a configuration model workspace, which was experienced by professionals working on environmental projects.