Formalization of an HCI Style for Accelerator Restart Monitoring

In this paper we present a solution to design and implement a set of high-level standardized Human Computer Interfaces (HCI) for the monitoring of particle accelerators restart. We are developing a software tool, which will generate these HCIs from a predefined model. The architecture-oriented solution presented in the paper can be useful for the design of HCIs for the monitoring of any industrial process, indeed, the requirements are often very similar to those defined in our context. We expose how the architectural development techniques are used to specify and produce a family of process monitoring HCIs. Specifically, we have used an Architectural Description Language (ADL) to formalize an architectural style, which describes the common properties that the HCIs should satisfy in our specific activity domain. This paper presents the different steps of our architectural design process and the integration of the formalized style in a development environment.