Please use this identifier to cite or link to this item: https://hdl.handle.net/1822/28394

Full metadata record
DC FieldValueLanguage
dc.contributor.advisorCampos, J. Creissac-
dc.contributor.advisorAlves, Miriam C. Bergue-
dc.contributor.authorSousa, Manuel António Freitas de-
dc.date.accessioned2014-03-18T12:24:34Z-
dc.date.available2014-03-18T12:24:34Z-
dc.date.issued2012-12-14-
dc.identifier.urihttps://hdl.handle.net/1822/28394-
dc.descriptionDissertação de mestrado em Engenharia de Informáticapor
dc.description.abstractTypically, 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.por
dc.description.abstractNormalmente, 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.por
dc.language.isoengpor
dc.rightsopenAccess-
dc.titleSafety critical interactive computing systems' modellingpor
dc.typemasterThesispor
dc.commentseeum_di_dissertacao_pg17297por
dc.subject.udc681.3-
Appears in Collections:BUM - Dissertações de Mestrado
DI - Dissertações de Mestrado

Files in This Item:
File Description SizeFormat 
eeum_di_dissertacao_pg17297.pdf583,24 kBAdobe PDFView/Open

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 ORCID