Paper Info
Title
Towards a formal, model-based framework for control systems interaction prototyping
Abstract
This paper provides an overview of a starting project called BATIC3S (Building Adaptive Three-dimensional Interfaces for Critical Complex Control Systems). This project aims to bring a more viable approach in the fields of Graphical User Interfaces (GUI), software modeling and verification, automatic code generation, and adaptivity. The goal is to build a comprehensive methodology for semi-automated, formal model-based generation of effective, reliable and adaptive 3D GUIs for diagnosing control systems. This can be used to assist in GUI development for very complex systems, like industrial systems, high energy physics experiments and similar.
Year
DOI
Venue
2006
10.1007/978-3-540-71876-5_10
RISE
Keywords
Field
DocType
graphical user interfaces,diagnosing control system,automatic code generation,high energy physics experiment,gui development,building adaptive three-dimensional interfaces,complex system,formal model-based generation,model-based framework,comprehensive methodology,critical complex control systems,control system,graphic user interface,three dimensional,high energy physics
Complex system,Software engineering,Industrial systems,Computer science,Modeling language,Code generation,Graphical user interface,Control system
Conference
Volume
ISSN
ISBN
4401
0302-9743
3-540-71875-3
Citations 
PageRank 
References 
4
0.52
11
Authors
2
Name
Order
Citations
PageRank
Matteo Risoldi114110.03
Vasco Amaral228930.24