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

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

A 3-Levels approachto GUI development

for complex control systems

Matteo Risoldi

Outline

Part I: introduction– Description of the project– Control Systems and GUIs

Part II: the project– The 3 levels approach– A case study

Conclusion

Part I: introduction

Goal of the project

Building a methodology and techniques for model-based development

of GUIs for complex control systems

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• …

Control Systems GUIs

Typical tasks:

• Monitor all components• Send commands• Receive feedback• Provide different levels of detail / hierarchy

Control Systems GUIs

Interfaces to Control Systems can be complex:

• number of components• hierarchy• spatial navigation• adaptation

challenges to GUI design}

Part II: the project

The 3 level approach - overview

Systemmodel

Logicalmodel

Visualmodel

Systemdescription

Database,Requirements…

GUI generation

Model of the physical system• components• hierarchy• communication

Model of the behaviourof the GUI objects.Their visual aspect isnot yet modeled.

Model of the visual aspectof the GUI objects.Based on one or more repositories of GUI widgets.

Model generation process

Systemmodel

Logicalmodel

Visualmodel

GUIdescription

ControlSystemsExperts

Language used: CO-OPN(Concurrent Object-Oriented Petri Nets)- Formal- Based on Algebraic Data Types- Executable

GUI Widgetrepositories

ButtonButton

SystemBehaviouraldescription

SystemPhysical

description

Engineers

The 3 levels in CO-OPN

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)

SystemLevel

LogicalLevel

VisualLevel

The System level

LightBulb

SystemLevel

LogicalLevel

VisualLevel

Pattern: an object that has an internal 2 values, non-numeric state, with one command to invert it, and gives feedback on it.

LightBulb + Context

SystemLevel

LogicalLevel

VisualLevel

2 LightBulbs, 1 Box:modeling the system

SystemLevel

LogicalLevel

VisualLevel

Problem: how to send commands/get feedback in the hierarchy?

SystemLevel

LogicalLevel

VisualLevel

Adding command sending

SystemLevel

LogicalLevel

VisualLevel

Adding feedback

SystemLevel

LogicalLevel

VisualLevel

The Logical Level

SystemLevel

LogicalLevel

VisualLevel

Logical LightBulb

SystemLevel

LogicalLevel

VisualLevel

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).

Logical LightBulb + Context

SystemLevel

LogicalLevel

VisualLevel

System+Logical Levels:interaction

SystemLevel

LogicalLevel

VisualLevel

The Visual Level

SystemLevel

LogicalLevel

VisualLevel

Visual widgets models

SystemLevel

LogicalLevel

VisualLevel

“Sends non-parametric command”

“Show n-states, non-numeric value”

Visual widgets + contexts

SystemLevel

LogicalLevel

VisualLevel

Visual control for 1 Lightbulb

SystemLevel

LogicalLevel

VisualLevel

3 Levels interacting

SystemLevel

LogicalLevel

VisualLevel

A case study

• CMS Silicon Strip Tracker control system at CERN• ~20.000 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

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

Thank you

Questions?

Coffee break!

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 Programmer Result

Model-based GUI development

We want to have a model for the GUI on which a prototype is built automatically

Requirements ResultModel Generation

Multi-prototypeVerification Scalability

The CMS Silicon Strip Tracker control system

• About 20.000 components

• Hierarchically structured

• Requirements for an easy navigation

• Strict requirements for reliability

• Adaptation of the GUI

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

system level slide

risoldi smv unige goal

risoldi smv unige outline

project slide

hierarchy slide

introduction slide

project control systems

computer system

Documents

Documentação SMV

Logopresentasjon smv

! 1! - UNIGE

SMV JEWELLARIES

Vaporizer SUPER MIN/ — SMV-SOC Vaporizer SUPER —MINI —...

Conference Presentation - UNIGE

Journal - UNIGE

PROGRAMME - UNIGE

thèses - UNIGE

Archive ouverte UNIGE

Section des Diablerets Club Alpin Suisse CAS diablerets No 3...

Webinaire nouveautes incentive Villars-Les Diablerets

PRESS RELEASE - UNIGE

HuntGoose SMV

VIEILLE VILLE - UNIGE

Ménandre - UNIGE