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

Matteo Risoldi; Vasco Amaral

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

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

Matteo Risoldi, Vasco Amaral

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Citations (Scopus)

Abstract

This paper provides an overview of a starting project called BATIC ³S (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 language	English
Title of host publication	Rapid Integration of Software Engineering Techniques - Third International Workshop, RISE 2006, Revised Selected Papers
Editors	N. Guelfi, D. Buchs
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	144-159
Number of pages	16
ISBN (Electronic)	978-3-540-71876-5
ISBN (Print)	978-3-540-71875-8
DOIs	https://doi.org/10.1007/978-3-540-71876-5_10
Publication status	Published - 1 Dec 2007
Event	3rd International Workshop on Rapid Integration of Software Engineering Techniques, RISE 2006 - Geneva, Switzerland Duration: 13 Sept 2006 → 15 Sept 2006

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer
Volume	4401 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	3rd International Workshop on Rapid Integration of Software Engineering Techniques, RISE 2006
Country/Territory	Switzerland
City	Geneva
Period	13/09/06 → 15/09/06

Access to Document

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

Cite this

Risoldi, M., & Amaral, V. (2007). Towards a formal, model-based framework for control systems interaction prototyping. In N. Guelfi, & D. Buchs (Eds.), Rapid Integration of Software Engineering Techniques - Third International Workshop, RISE 2006, Revised Selected Papers (pp. 144-159). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4401 LNCS). Springer. https://doi.org/10.1007/978-3-540-71876-5_10

Risoldi, Matteo ; Amaral, Vasco. / Towards a formal, model-based framework for control systems interaction prototyping. Rapid Integration of Software Engineering Techniques - Third International Workshop, RISE 2006, Revised Selected Papers. editor / N. Guelfi ; D. Buchs. Berlin, Heidelberg : Springer, 2007. pp. 144-159 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{2c304fd34d3c49408488d47e7e0fad13,

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

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.",

author = "Matteo Risoldi and Vasco Amaral",

note = "The project is funded by the Hasler Foundation.; 3rd International Workshop on Rapid Integration of Software Engineering Techniques, RISE 2006 ; Conference date: 13-09-2006 Through 15-09-2006",

year = "2007",

month = dec,

day = "1",

doi = "10.1007/978-3-540-71876-5_10",

language = "English",

isbn = "978-3-540-71875-8",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "144--159",

editor = "N. Guelfi and D. Buchs",

booktitle = "Rapid Integration of Software Engineering Techniques - Third International Workshop, RISE 2006, Revised Selected Papers",

address = "Netherlands",

}

Risoldi, M & Amaral, V 2007, Towards a formal, model-based framework for control systems interaction prototyping. in N Guelfi & D Buchs (eds), Rapid Integration of Software Engineering Techniques - Third International Workshop, RISE 2006, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4401 LNCS, Springer, Berlin, Heidelberg, pp. 144-159, 3rd International Workshop on Rapid Integration of Software Engineering Techniques, RISE 2006, Geneva, Switzerland, 13/09/06. https://doi.org/10.1007/978-3-540-71876-5_10

Towards a formal, model-based framework for control systems interaction prototyping. / Risoldi, Matteo; Amaral, Vasco.
Rapid Integration of Software Engineering Techniques - Third International Workshop, RISE 2006, Revised Selected Papers. ed. / N. Guelfi; D. Buchs. Berlin, Heidelberg: Springer, 2007. p. 144-159 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4401 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

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

AU - Risoldi, Matteo

AU - Amaral, Vasco

N1 - The project is funded by the Hasler Foundation.

PY - 2007/12/1

Y1 - 2007/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=38049136537&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-71876-5_10

DO - 10.1007/978-3-540-71876-5_10

M3 - Conference contribution

AN - SCOPUS:38049136537

SN - 978-3-540-71875-8

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 144

EP - 159

BT - Rapid Integration of Software Engineering Techniques - Third International Workshop, RISE 2006, Revised Selected Papers

A2 - Guelfi, N.

A2 - Buchs, D.

PB - Springer

CY - Berlin, Heidelberg

T2 - 3rd International Workshop on Rapid Integration of Software Engineering Techniques, RISE 2006

Y2 - 13 September 2006 through 15 September 2006

ER -

Risoldi M, Amaral V. Towards a formal, model-based framework for control systems interaction prototyping. In Guelfi N, Buchs D, editors, Rapid Integration of Software Engineering Techniques - Third International Workshop, RISE 2006, Revised Selected Papers. Berlin, Heidelberg: Springer. 2007. p. 144-159. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-71876-5_10

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

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this