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

Matteo Risoldi, Vasco Amaral

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Abstract

This paper provides an overview of a starting project called BATIC 3S (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.

Original languageEnglish
Title of host publicationRapid Integration of Software Engineering Techniques - Third International Workshop, RISE 2006, Revised Selected Papers
EditorsN. Guelfi, D. Buchs
Place of PublicationBerlin, Heidelberg
PublisherSpringer
Pages144-159
Number of pages16
ISBN (Electronic)978-3-540-71876-5
ISBN (Print)978-3-540-71875-8
DOIs
Publication statusPublished - 1 Dec 2007
Event3rd International Workshop on Rapid Integration of Software Engineering Techniques, RISE 2006 - Geneva, Switzerland
Duration: 13 Sep 200615 Sep 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer
Volume4401 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference3rd International Workshop on Rapid Integration of Software Engineering Techniques, RISE 2006
CountrySwitzerland
CityGeneva
Period13/09/0615/09/06

Fingerprint Dive into the research topics of 'Towards a formal, model-based framework for control systems interaction prototyping'. Together they form a unique fingerprint.

Cite this