No 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 model-based approach, the Model-View-Interactor Paradigm, for automatic generation of user interfaces in software frameworks for measurement systems is proposed. The Model-View-Interactor Paradigm is focused on the "interaction" typical in a software framework for measurement applications: the final user interacts with the automatic measurement system executing a suitable high-level script previously written by a test engineer. According to the main design goal of frameworks, the proposed approach allows the user interfaces to be separated easily from the application logic for enhancing the flexibility and reusability of the software. As a practical case study, this approach has been applied to the flexible software framework for magnetic measurements at the European Organization for Nuclear research (CERN). In particular, experimental results about the scenario of permeability measurements are reported.

Abstract-A Petri net (PN)-based approach to software synchronization in automatic measurement systems is proposed. Tasks are synchronized by means of a PN modeling an execution graph, where nodes represent tasks and arrows among nodes point out time succession among the corresponding tasks. This allows software synchronization to be abstracted above the code level by leaving the test engineer to work at a more intuitive level. As an experimental case study, the design, the implementation, and the application to a measurement scenario of the PN-based synchronizer inside the software framework for testing magnets at the European Organization for Nuclear Research (CERN) are illustrated.