Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/62430
Título: | A tabular editor for MAL interactors |
Autor(es): | Machado, Pedro Filipe da Costa |
Orientador(es): | Campos, José C. Couto, Rui |
Data: | 2017 |
Resumo(s): | Software is present on every aspect of our lives. Unfortunately data losses and errors have been
increasing due to software design and implementation aws. The need emerges of better software
products that bring more guaranties of working properly. The development and testing of software
is an expensive task. Specially if it is safety or mission critical software (such as for cars, planes or
medical devices) on which people’s life depend upon and where any errors or malfunctions of the
product’s software can cause irreparable losses.
On interactive systems, the traditional analysis techniques are based on user testing and inspection
by experts. However, these techniques raise many problems, because they do not provide any
guaranties of an exhaustive analysis. To support a more automated analysis of interactive systems,
the IVY workbench tool, has been developed, at Universidade do Minho. The IVY workbench, supports
performing automated model-based analysis of interactive systems. The tool has already been
used to analyze several critical systems, like user interfaces of a satellites launcher’s ground control
station, or medical devices.
This dissertation’s objective is to develop a new editor for the IVY workbench to support the
modeling of interactive systems in a tabular format. This new modeling approach will work as
an alternative to the existing textual editor that supports the creation of MAL models in the IVY
workbench. O software está presente em todos os aspetos das nossas vidas. Mas as perdas de dados e erros causados por falhas de software têm aumentado bastante, surgindo assim necessidade de no futuro haver mais garantias de que o software funciona corretamente. Desenvolver e testar software é muito dispendioso, especialmente se for software de segurança ou de missões criticas (como para carros, aviões ou dispositivos médicos) onde a vida das pessoas depende do seu correto funcionamento e quaisquer avarias ou erros que aconteçam no produto de software podem causar danos irreparáveis. As técnicas tradicionais de análise de sistemas interativos são baseadas em testes com utilizadores ou em inspeções por peritos. No entanto, estas técnicas levantam problemas, pois, não garantem uma análise exaustiva. Sendo assim, foi desenvolvida na Universidade do Minho a ferramenta IVY workbench, que torna possível uma análise mais automatizada de sistemas interativos. A IVY workbench suporta a realização de análises baseadas em modelos de sistemas interativos, tendo a ferramenta já sido utilizada para analisar uma série de sistemas críticos, como as interfaces da estação de controlo terrestre de um lançador de satélites, ou dispositivos médicos. O objetivo desta dissertação é o desenvolvimento de um novo editor para a IVY workbench, capaz de suportar a modelação de sistemas interativos em formato tabular. Esta nova abordagem de modelação vai funcionar como uma alternativa ao editor textual já existente, que suporta a criação de modelos MAL na IVY workbench. |
Tipo: | Dissertação de mestrado |
Descrição: | Dissertação de mestrado em Computer Science |
URI: | https://hdl.handle.net/1822/62430 |
Acesso: | Acesso restrito UMinho |
Aparece nas coleções: | BUM - Dissertações de Mestrado |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
Pedro-Filipe-da-Costa-Machado-dissertação.pdf Acesso restrito! | 3,94 MB | Adobe PDF | Ver/Abrir |