Les Diablerets - 07/07/ M.Risoldi - SMV UniGe A 3-Levels approach to GUI development for complex control systems Matteo Risoldi

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe Outline Part I: introduction –Description of the project –Control Systems and GUIs Part II: the project –The 3 levels approach –A case study Conclusion

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe Part I: introduction

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe Goal of the project Building a methodology and techniques for model-based development of GUIs for complex control systems

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe Control System: definition A computer system which automatically, or manually through an interface, controls a process or mechanical device by sensing the need to vary the output. Examples: Vehicles (airplanes, trains, cars…) Industrial machines Physics detectors …

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe Control Systems GUIs Typical tasks: Monitor all components Send commands Receive feedback Provide different levels of detail / hierarchy

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe Control Systems GUIs Interfaces to Control Systems can be complex: number of components hierarchy spatial navigation adaptation challenges to GUI design }

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe Part II: the project

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe The 3 level approach - overview System model Logical model Visual model System description Database, Requirements… GUI generation GUI Model of the physical system components hierarchy communication Model of the behaviour of the GUI objects. Their visual aspect is not yet modeled. Model of the visual aspect of the GUI objects. Based on one or more repositories of GUI widgets.

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe Model generation process System model Logical model Visual model GUI description Control Systems Experts Language used: CO-OPN (Concurrent Object-Oriented Petri Nets) - Formal - Based on Algebraic Data Types - Executable 3D GUI Widget repositories 2D Button Rules System Behavioural description System Physical description Engineers

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe The 3 levels in CO-OPN

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe The lightbulb box example There is a box with 2 lightbulbs on it. The box has a port to send switch commands to the box (affects both bulbs) or to individual bulbs. Box and bulbs can give feedback on their status (on/off). The interface must be able to control the box and the bulbs via buttons. It has to represent their status (on/off/unknown)

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe System Level Logical Level Visual Level The System level

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe LightBulb System Level Logical Level Visual Level Pattern: an object that has an internal 2 values, non- numeric state, with one command to invert it, and gives feedback on it.

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe LightBulb + Context System Level Logical Level Visual Level

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe 2 LightBulbs, 1 Box: modeling the system System Level Logical Level Visual Level

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe Problem: how to send commands/get feedback in the hierarchy? System Level Logical Level Visual Level

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe Adding command sending System Level Logical Level Visual Level

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe Adding feedback System Level Logical Level Visual Level

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe The Logical Level System Level Logical Level Visual Level

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe Logical LightBulb System Level Logical Level Visual Level Pattern: a control that allows to send a non-parametric command, receives the state of the component and gives feedback on a 3 states value (non-numeric).

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe Logical LightBulb + Context System Level Logical Level Visual Level

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe System+Logical Levels: interaction System Level Logical Level Visual Level +

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe The Visual Level System Level Logical Level Visual Level

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe Visual widgets models System Level Logical Level Visual Level “Sends non- parametric command” “Show n-states, non-numeric value”

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe Visual widgets + contexts System Level Logical Level Visual Level

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe Visual control for 1 Lightbulb System Level Logical Level Visual Level

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe 3 Levels interacting System Level Logical Level Visual Level + +

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe A case study CMS Silicon Strip Tracker control system at CERN ~ objects, organized in a hierarchy System description will be present in a DB (now XML) Interface to be (probably) realized in Java3D + PVSS Currently making a smaller complexity prototype First representation of geometry in 3D

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe Conclusion Modeling a control system and its interface Using CO-OPN in a layered structure Model under development “Rules” to be better defined “CommCheck” mechanism to be verified Case study underway Future collaborations: EIG & HEV for more studies on 3-Dimensional and adaptive interfaces

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe Thank you Questions?

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe Coffee break!

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe

Classic GUI development GUI development is typically HAND-CODED This is not satisfactory if we want to: Verify the interface with respect to expected functionality Scale to complex systems Test multiple different visual choices Requirements ProgrammerResult

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe Model-based GUI development We want to have a model for the GUI on which a prototype is built automatically Requirements ResultModelGeneration Multi-prototype VerificationScalability

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe The CMS Silicon Strip Tracker control system About components Hierarchically structured Requirements for an easy navigation Strict requirements for reliability Adaptation of the GUI

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe Model Translation System model Logical model Visual model GUI generation GUI 3D GUI Widget repositories An engine will couple the behaviour from the model and the widgets of the chosen visual paradigm, and assemble them into a GUI prototype.

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe Prototype evaluation System model Logical model Visual model GUI generation GUI The prototype is tested and the model can be refined, End userSW Engineer Test ReportRefine

Les Diablerets - 07/07/ M.Risoldi - SMV UniGe Prototype evaluation System model Logical model Visual model GUI generation The prototype is tested and the model can be refined, or a visual paradigm can be chosen. End userSW Engineer Test Report Refine GUI Test Choose