UNIGE document Chapitre d'actes
previous document  unige:5099  next document
add to browser collection
Title

Towards a formal, model-based framework for control systems interaction prototyping

Authors
Amaral, Vasco
Published in Nicolas Guelfi & Didier Buchs. Rapid Integration of Software Engineering techniques. Third International Workshop, RISE 2006. Genève (Switzerland) - 13-15 September 2006 - Berlin: Springer. 2006, p. 144-159
Collection LNCS; 4401
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.
Identifiers
ISBN: 978-3-540-71875-8
Full text
Proceedings chapter (466 Kb) - public document Free access
Structures
Citation
(ISO format)
RISOLDI, Matteo, AMARAL, Vasco. Towards a formal, model-based framework for control systems interaction prototyping. In: Nicolas Guelfi & Didier Buchs (Ed.). Rapid Integration of Software Engineering techniques. Third International Workshop, RISE 2006. Genève (Switzerland). Berlin : Springer, 2006. p. 144-159. (LNCS; 4401) https://archive-ouverte.unige.ch/unige:5099

218 hits

164 downloads

Update

Deposited on : 2010-02-01

Export document
Format :
Citation style :