Measurement-Domain Specific Language for magnetic test specifications at CERN

Abstract

A Measurement-Domain Specific Language (MDSL) for test procedure definition, measurement tasks synchronization, and instrument configuration is proposed. MDSL is a formal language specially designed for a specific domain of measurement and test, aimed at specifying complete, easy-to-understand, -reuse, and -maintain applications efficiently and quickly. Owing to MDSL constructs capability of abstracting key concepts of the domain, the test engineer can write more concise and higher level programs in shorter time without being a skilled programmer. The MDSL has been applied to the specifications of superconducting magnet tests of the Large Hadron Collider at CERN. MDSL is a formal language specially designed for a specific domain of measurement and test, aimed at specifying complete, easy-to-understand, -reuse, and -maintain applications efficiently and quickly. Owing to MDSL constructs capability of abstracting key concepts of the domain, the test engineer can write more concise and higher level programs in shorter time without being a skilled programmer. The MDSL has been applied to the specifications of superconducting magnet tests of the Large Hadron Collider at CERN.

A Petri Net-Based Software Synchronizer for Automatic Measurement Systems

“…This is easily introduced into an FFMM script by using the new features of the Synchronizer. The test engineer, first, has to separately write the short highlevel procedures describing each step of the whole measurement algorithm in the tasks by exploiting the related tools of the FFMM [37]. Then, for the synchronization, he easily adds each task to the execution tree, as shown in Fig.…”

Advanced User Interface Generation in the Software Framework for Magnetic Measurements at Cern

“…In this case, test engineers are responsible for preparing test scripts [19], where the interaction between measurement application and final user are described at high level [3], without any indication of GUI aspects.…”

“…For any concrete type T, the compiler is able to derive automatically an instance function of this meta-description for the given type. The test engineer, in the Domain Specific Language (DSL) script writing phase [3] (Fig. 4), defines the component contained in the GUI and their input/output data by using the GIC components.…”

“…In the first phase, after designing a measurement process, the test engineer prepares a script where the corresponding procedure is expressed formally, but in a user-friendly language [3]. Then, the framework processes the script suitably by generating an executable measurement software application.…”

“…In this paper, an evolution of model-based user interface generation in a measurement software framework based on domain specific language for scripting [3], the Model-ViewInteractor paradigm, shifting the test engineer from designing interfaces to designing conceptual interactions, is proposed. In particular, in Section 2, a brief state of art is introduced; in Sections 3 and 4, the proposed paradigm and the corresponding architecture will be treated and, in Section 5, some experimental results and a case study will be shown.…”