A master thesis from Aalborg University
Extending Ecdar 2.0 with a User-Centered Visual Simulator
Author(s)
Term
4. term
Education
Publication year
2018
Submitted on
2018-06-14
Pages
57 pages
Abstract
In this project, we extend Ecdar 2.0 with a user-centered visual simulator. The main challenge of developing a simulator for Ecdar 2.0, is designing the user interface for it. We approach this challenge by designing, implementing, and evaluating the simulator in a user-centered manner. We inspect the visual simulators of other tools and use questionnaires to understand the functional requirements for a visual simulator. The requirements are prioritized using the MoSCoW method. We use the "must have" features as a Minimum Viable Product (MVP). We adopt a user-centered approach, namely the design funnel, where we through three phases in the funnel, sketch multiple concepts for each "must have" feature and evaluate them using different methods. The final design of the visual simulator has been implemented and evaluated through a usability evaluation. We identified 18 usability issues, where 9 of them are cosmetic, 6 serious, and 3 critical. The visual simulator satisfies the MVP, and it complies with the user-centered design, and hereby the main challenge.
In this project, we extend Ecdar 2.0 with a user-centered visual simulator. The main challenge of developing a simulator for Ecdar 2.0, is designing the user interface for it. We approach this challenge by designing, implementing, and evaluating the simulator in a user-centered manner. We inspect the visual simulators of other tools and use questionnaires to understand the functional requirements for a visual simulator. The requirements are prioritized using the MoSCoW method. We use the "must have" features as a Minimum Viable Product (MVP). We adopt a user-centered approach, namely the design funnel, where we through three phases in the funnel, sketch multiple concepts for each "must have" feature and evaluate them using different methods. The final design of the visual simulator has been implemented and evaluated through a usability evaluation. We identified 18 usability issues, where 9 of them are cosmetic, 6 serious, and 3 critical. The visual simulator satisfies the MVP, and it complies with the user-centered design, and hereby the main challenge.
Keywords
Ecdar ; Ecdar 2.0 ; Model checker ; IMVE ; Simulator ; model checking ; UPPAAL ; Ulrik ; Compoments ; Systems ; Verification ; Semantics ; Richard Stallman ; Free ; Open source ; MIT ; Accenture ; Netcompany ; F-Klubben ; TREO
Documents
Colophon: This page is part of the AAU Student Projects portal, which is run by Aalborg University. Here, you can find and download publicly available bachelor's theses and master's projects from across the university dating from 2008 onwards. Student projects from before 2008 are available in printed form at Aalborg University Library.
If you have any questions about AAU Student Projects or the research registration, dissemination and analysis at Aalborg University, please feel free to contact the VBN team. You can also find more information in the AAU Student Projects FAQs.