Utilize este identificador para referenciar este registo: http://hdl.handle.net/1822/28394

TítuloSafety critical interactive computing systems' modelling
Autor(es)Sousa, Manuel António Freitas de
Orientador(es)Campos, J. Creissac
Alves, Miriam C. Bergue
Data14-Dez-2012
Resumo(s)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.
TipomasterThesis
DescriçãoDissertação de mestrado em Engenharia de Informática
URIhttp://hdl.handle.net/1822/28394
AcessoopenAccess
Aparece nas coleções:BUM - Dissertações de Mestrado
DI - Dissertações de Mestrado

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
eeum_di_dissertacao_pg17297.pdf583,24 kBAdobe PDFVer/Abrir

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu Currículo DeGóis