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

Towards the application of a model based design methodology for reliable control systems on HEP experiments

Authors
Barroca, Bruno
Amaral, Vasco
Calado, Pedro
Caprini, Mihai
Moreira, Ana
Araujo, João
Published in Nuclear Science Symposium Conference Record, 2008. NSS '08. IEEE. Dresden (Germany) - 19-25 october 2008 - IEEE. 2008, p. 809-816
Abstract The software development process of user interfaces for complex control system can constantly change in requirements. In those systems changes are costly (time consuming) and error prone, since we must guarantee that the resulting system implementation will still be robust and reliable. A way to tackle this problem is to bring a software model based approach for specification and providing at the same time rapid prototyping capabilities (to speed up design) and Simulation/Verification capabilities (to assure quality). We propose a full model-based methodology to guide designers through specification changes.As a validation case study we have chosen a real life problem: the ATLAS Online Software framework, which has the main purpose to provide a stable software development platform for managing both trigger and data-acquisition processes. In this paper, we explain how to describe a particular control system: the ATLAS Trigger-DAQ system and its graphical user interface (GUI), and we wiD describe how we can validate such specifications, by means of automatic verification techniques like simulation and model checking or testing.
Identifiers
ISBN: 978-1-4244-2714-7
Full text
Structures
Citation
(ISO format)
BARROCA, Bruno et al. Towards the application of a model based design methodology for reliable control systems on HEP experiments. In: Nuclear Science Symposium Conference Record, 2008. NSS '08. IEEE. Dresden (Germany). [s.l.] : IEEE, 2008. p. 809-816. https://archive-ouverte.unige.ch/unige:5103

214 hits

109 downloads

Update

Deposited on : 2010-02-02

Export document
Format :
Citation style :