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

English

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

ContributorsRisoldi, Matteo; Amaral, Vasco

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

Published inNicolas Guelfi & Didier Buchs (Ed.), Rapid Integration of Software Engineering techniques. Third International Workshop, RISE 2006, p. 144-159

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 entities

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. Nicolas Guelfi & Didier Buchs (Ed.). 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

609views

548downloads

Creation01/02/2010 16:15:00

First validation01/02/2010 16:15:00

Update time14/03/2023 15:23:37

Status update14/03/2023 15:23:36

Last indexation29/10/2024 12:58:07

Archive ouverte UNIGE

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

Technical informations