Safety critical interactive computing systems' modelling

Abstract

Typically, testing an interactive system involves manually testing their possible interactions. Since this is a manual process, it becomes very costly to check all possible interactions. In safety critical interactive systems this task is essential. One way to overcome this problem is to use tools for systematic analysis. IVY Workbench is one of these tools. We plan to apply it to perform verification of Safety Critical Interactive Systems. The objectives for this dissertation are: development of a set of models of safety critical interactive systems; verification of relevant properties of the models; critical assessment of the modelling process and suggestion of improvements to the tool and language.

Normalmente, testar um sistema interativo envolve testar manualmente as possíveis interações com ele. Uma vez que esta é uma abordagem manual, torna-se muito caro verificar todas as interacções possíveis. Em sistemas interactivos de segurança crítica esta tarefa é essencial. Uma forma de ultrapassar este problema é a utilização de ferramentas de análise sistemática. IVY Workbench é uma dessas ferramentas. Pretendemos aplicá-la para realizar a verificação de um Sistema Interactivo de Segurança Crítica. Os objetivos para esta dissertação são: desenvolver um conjunto de modelos de sistemas interactivos de segurança crítica, verificar propriedades relevantes dos modelos, fazer uma avaliação crítica do processo de modelação e sugerir melhorias para a ferramenta e linguagem.