Extending Ecdar 2.0 with a User-Centered Visual Simulator

Lauritsen, Rene Mejer ; Bartholomæussen, Casper Møller

4. term

Software, Master

2018

2018-06-15

57

Vi udvider Ecdar 2.0 med en visuel simulator, der er designet med brugernes behov i centrum. Den største udfordring var at skabe en effektiv og forståelig brugergrænseflade. For at klarlægge, hvad simulatoren skal kunne, gennemgik vi visuelle simulatorer i andre værktøjer og brugte spørgeskemaer til at indsamle funktionskrav. Vi prioriterede kravene med MoSCoW-metoden (Must, Should, Could, Won’t), og must-have-kravene definerede vores Minimum Viable Product (MVP), en minimumsudgave med de vigtigste funktioner. Vi fulgte en brugercentreret designtragt—en trefaset proces, der indsnævrer mange ideer til én løsning—hvor vi skitserede flere koncepter for hver must-have-funktion og evaluerede dem med forskellige metoder. Den endelige design blev implementeret og evalueret i en brugervenlighedsevaluering. Vi fandt 18 brugervenlighedsproblemer: 9 kosmetiske, 6 alvorlige og 3 kritiske. Simulatoren opfylder MVP’et og følger en brugercentreret designtilgang og håndterer dermed hovedudfordringen.

We extend Ecdar 2.0 with a visual simulator designed around user needs. The main challenge was creating an effective and understandable user interface. To clarify what the simulator should do, we reviewed visual simulators in other tools and used questionnaires to gather functional requirements. We prioritized these using the MoSCoW method (Must, Should, Could, Won’t), and the must-have items defined our Minimum Viable Product (MVP)—a basic version with essential features. Following a user-centered design funnel—a three-phase process that narrows many ideas into one solution—we sketched multiple concepts for each must-have feature and evaluated them with different methods. We implemented the final design and conducted a usability evaluation. We found 18 usability issues: 9 cosmetic, 6 serious, and 3 critical. The simulator meets the MVP and adheres to a user-centered design, thereby addressing the main challenge.

[This abstract was generated with the help of AI]

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

Download
View record in AAU Student Projects