A tabular editor for MAL interactors

Abstract

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.