Extending Ecdar 2.0 with a User-Centered Visual Simulator
Studenteropgave: Speciale (inkl. HD afgangsprojekt)
- Rene Mejer Lauritsen
- Casper Møller Bartholomæussen
4. semester, Software, Kandidat (Kandidatuddannelse)
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.
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.
| Sprog | Engelsk |
|---|---|
| Udgivelsesdato | 15 jun. 2018 |
| Antal sider | 57 |
| Emneord | 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 |
|---|
Billeder
