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

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

2 Citations (Scopus)

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 will explain how to describe a particular control system: the ATLAS Trigger-DAQ system and its graphical user interface (GUI), and we will describe how we can validate such specifications, by means of automatic verification techniques like simulation and model checking or testing.
Original languageUnknown
Title of host publicationIEEE NUCLEAR SCIENCE SYMPOSIUM - CONFERENCE
Pages84-91
DOIs
Publication statusPublished - 1 Jan 2009
EventIEEE NUCLEAR SCIENCE SYMPOSIUM AND MEDICAL IMAGING CONFERENCE -
Duration: 1 Jan 2008 → …

Conference

ConferenceIEEE NUCLEAR SCIENCE SYMPOSIUM AND MEDICAL IMAGING CONFERENCE
Period1/01/08 → …

Cite this