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

Risoldi, Matteo; Amaral, Vasco

doi:10.1007/978-3-540-71876-5_10

Proceedings chapter

Open access

English

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

ContributorsRisoldi, Matteo; Amaral, Vasco

Published inRapid Integration of Software Engineering techniques. Third International Workshop, RISE 2006, Editors Nicolas Guelfi & Didier Buchs, p. 144-159

Presented at Genève (Switzerland), 13-15 September 2006

PublisherBerlin : Springer

Collection

LNCS; 4401

Publication date2006

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.

Affiliation

Citation (ISO format)

RISOLDI, Matteo, AMARAL, Vasco. Towards a formal, model-based framework for control systems interaction prototyping. In: Rapid Integration of Software Engineering techniques. Third International Workshop, RISE 2006. Genève (Switzerland). Berlin : Springer, 2006. p. 144–159. (LNCS) doi: 10.1007/978-3-540-71876-5_10

Proceedings chapter

Identifiers

PID : unige:5099
DOI : 10.1007/978-3-540-71876-5_10

ISBN978-3-540-71875-8

580views

529downloads

Creation02/01/2010 4:15:00 PM

First validation02/01/2010 4:15:00 PM

Update time03/14/2023 3:23:37 PM

Status update03/14/2023 3:23:36 PM

Last indexation02/12/2024 6:19:48 PM

Archive ouverte UNIGE

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

Technical informations