A model-based approach to support the systematic reuse and generation of safety artefacts in safety-critical software product line engineering (2016)
- Authors:
- Autor USP: OLIVEIRA, ANDRÉ LUIZ DE - ICMC
- Unidade: ICMC
- Sigla do Departamento: SSC
- Subjects: ENGENHARIA DE SOFTWARE; SISTEMAS EMBUTIDOS; SOFTWARES
- Keywords: Análise de segurança composicional; Compositional safety analysis; Desenvolvimento baseado em modelos; Gerenciamento de variabilidades; Linha de produtos de software; Model-based development; Reuse; Reuso; Software product lines; Variability management
- Language: Inglês
- Abstract: Engenharia de Linha de Produtos de Software (ELPS) contribui para a redução dos custos de desenvolvimento e de manutenção, a melhoria do time-to-market, e o aumento da qualidade de produtos desenvolvidos a partir de uma família de produtos por meio do reuso sistemático dos ativos principais da linha de produtos. A ELPS vem sendo utilizada com sucesso no desenvolvimento de sistemas embarcados críticos, especificamente nos domínios de sistemas automotivos e aeroespaciais. Sistemas embarcados críticos devem ser desenvolvidos de acordo com os requisitos definidos em padrões de segurança, que demandam a produção de artefatos de análise de segurança, árvores de falhas e casos de segurança. Entretanto, a realização de atividades de análise de segurança, análise de árvores de falhas e construção de casos de segurança de forma manual para cada produto de uma linha de produtos é uma tarefa demorada e propensa a erros. O gerenciamento de variabilidade em artefatos de análise de segurança pode ser automatizado com o apoio de técnicas de gerenciamento de variabilidades. Em virtude de safety ser uma propriedade dependente de contexto, a variabilidade no projeto e contexto inerente uma linha de produtos software impacta na definição de propriedades de segurança do sistema, modificando as ameaças à segurança do sistema, suas causas e riscos, medidas de mitigação aplicáveis, e resultados de análise de árvore de falhas. Dessa forma, gerenciar variabilidades em artefatos relacionados à safetyem diferentes níveis de abstração aumenta a complexidade do modelo de variabilidade mesmo com o apoio de técnicas de gerenciamento de variabilidades. Para alcançar o equilíbrio eficaz entre os benefícios e a complexidade da adoção de uma abordagem de ELPS para o desenvolvimento de sistemas embarcados críticos é necessário fazer a distinção entre artefatos de safety reusáveis, em que a variabilidade deve ser gerenciada, e artefatos de safety que devem ser gerados a partir de artefatos reusáveis. Por outro lado, tanto a indústria quanto os padrões de segurança têm reconhecido o uso de técnicas dirigidas a modelos para apoiar a análise segurança e a construção de casos de segurança. Técnicas de análise de segurança composicional e otimização de projeto, e de construção de casos de segurança dirigido a modelos vêm sendo utilizadas para apoiar a geração de artefatos de safety requeridos para certificação. O objetivo desta tese é a proposta de uma abordagem dirigida a modelos que integra técnicas de desenvolvimento dirigido a modelos, análise de segurança composicional e otimização de projeto, e construção de casos de segurança dirigido a modelos para apoiar o reuso sistemático e a geração de artefatos de safety em engenharia de linhas de produtos de sistemas embarcados críticos. A abordagem proposta reduz o esforço e os custos de análise e avaliação de segurança para produtos de uma linha de produtos, uma vez que tal análise é realizada a partir de artefatos de safety reusados.Assim, artefatos como análises de àrvores de falhas e de modos de falha e efeitos, e casos de segurança requeridos para certificação podem ser gerados automaticamente com o apoio de técnicas dirigidas a modelos.
- Imprenta:
- Publisher place: São Carlos
- Date published: 2016
- Data da defesa: 05.05.2016
-
ABNT
OLIVEIRA, André Luiz de. A model-based approach to support the systematic reuse and generation of safety artefacts in safety-critical software product line engineering. 2016. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2016. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-22112016-161607/. Acesso em: 28 dez. 2025. -
APA
Oliveira, A. L. de. (2016). A model-based approach to support the systematic reuse and generation of safety artefacts in safety-critical software product line engineering (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-22112016-161607/ -
NLM
Oliveira AL de. A model-based approach to support the systematic reuse and generation of safety artefacts in safety-critical software product line engineering [Internet]. 2016 ;[citado 2025 dez. 28 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-22112016-161607/ -
Vancouver
Oliveira AL de. A model-based approach to support the systematic reuse and generation of safety artefacts in safety-critical software product line engineering [Internet]. 2016 ;[citado 2025 dez. 28 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-22112016-161607/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
