相关论文: Run Control and Monitor System for the CMS Experim…

The globally distributed computing infrastructure required to cope with the multi-petabytes datasets produced by the Compact Muon Solenoid (CMS) experiment at the Large Hadron Collider (LHC) at CERN comprises several subsystems, such as…

The Compact Muon Solenoid (CMS) is a large and complex general purpose experiment at the CERN Large Hadron Collider (LHC), built and maintained by many collaborators from around the world. Efficient operation of the detector requires…

The Physics and Data Quality Monitoring (DQM) framework aims at providing a homogeneous monitoring environment across various applications related to data taking at the CMS experiment. In this contribution, the DQM system for the Silicon…

The Data Quality Monitoring (DQM) of the Compact Muon Solenoid (CMS) silicon tracking detectors (Tracker) at the Large Hadron Collider (LHC) at CERN is a software based system designed to monitor the detector and reconstruction performance,…

The CMS experiment will comprise several very large high resolution detectors for physics. Each detector may be constructed of well over a million parts and will be produced and assembled during the next decade by specialised centres…

This paper presents a streamlined framework for real-time processing and analysis of condition data from the CMS experiment Resistive Plate Chambers (RPC). Leveraging data streaming, it uncovers correlations between RPC performance metrics,…

Real-time control systems often require dedicated hardware and software, including real-time operating systems, while many systems are available for off-line computing, mainly based on standard system units (PCs), standard network…

Industrial Control Systems (ICS) are often built from geographically distributed components and often use programmable logic controllers for localized processes. Since verification of such systems is challenging because of both time…

Reliability of complex Cyber-Physical Systems is necessary to guarantee availability and/or safety of the provided services. Diverse and complex fault tolerance policies are adopted to enhance reliability, that include a varied mix of…

The RooStatsCms (RSC) software framework allows analysis modelling and combination, statistical studies together with the access to sophisticated graphics routines for results visualisation. The goal of the project is to complement the…

We propose a risk-aware crash mitigation system (RCMS), to augment any existing motion planner (MP), that enables an autonomous vehicle to perform evasive maneuvers in high-risk situations and minimize the severity of collision if a crash…

Benchmarking quantum devices is a foundational task for the sustained development of quantum technologies. However, accurate in situ characterization of large-scale quantum devices remains a formidable challenge: such systems experience…

Results from the gas gain monitoring (GGM) system for the muon detector using RPC in the CMS experiment at the LHC is presented. The system is designed to provide fast and accurate determination of any shift in the working point of the…

Runtime Monitoring is a lightweight and dynamic verification technique that involves observing the internal operations of a software system and/or its interactions with other external entities, with the aim of determining whether the system…

Runtime verification is checking whether a system execution satisfies or violates a given correctness property. A procedure that automatically, and typically on the fly, verifies conformance of the system's behavior to the specified…

The Resistive Plate Chambers (RPC) detector of the CMS experiment at the LHC proton collider (CERN, Switzerland) will employ an online gas analysis and monitoring system of the freon-based gas mixture used. We give an overview of the CMS…

The Detector Control System (DCS) of the COMPASS experiment at CERN is presented. The experiment has a high level of complexity and flexibility and a long time of operation, that constitute a challenge for its full monitorisation and…

Realm Management Monitor (RMM) is an essential firmware component within the recent Arm Confidential Computing Architecture (Arm CCA). Previous work applies formal techniques to verify the specification and prototype reference…

With a total area of 210 squaremeters and about 15000 single silicon modules the silicon strip tracker of the CMS experiment at the LHC will be the largest silicon strip detector ever built. While the performance of the individual…

The Gas Gain Monitoring (GGM) system of the Resistive Plate Chamber (RPC) muon detector in the Compact Muon Solenoid (CMS) experiment provides fast and accurate determination of the stability in the working point conditions due to gas…