A Petri Net-Based Software Synchronizer for Automatic Measurement Systems

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.

[1]  James J. Horning,et al.  Synchronization Primitives for a Multiprocessor: A Formal Speci cation , 1987 .

[2]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[3]  Shreekant S. Thakkar,et al.  Synchronization algorithms for shared-memory multiprocessors , 1990, Computer.

[4]  Brian N. Bershad,et al.  Scheduler activations: effective kernel support for the user-level management of parallelism , 1991, TOCS.

[5]  Giovanni De Micheli,et al.  Synthesis and simulation of digital systems containing interacting hardware and software components , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

[6]  Yiannis E. Papelis,et al.  Specification and Analysis of Parallel/Distributed Software and Systems by Petri Nets With Transition Enabling Functions , 1992, IEEE Trans. Software Eng..

[7]  Luciano Lavagno,et al.  Petrify: A Tool for Manipulating Concurrent Specifications and Synthesis of Asynchronous Controllers (Special Issue on Asynchronous Circuit and System Design) , 1997 .

[8]  Monika Heiner,et al.  Deadlock detection in a distributed implementation of a visualization system for medical measurement signals , 1996, 1996 IEEE International Conference on Systems, Man and Cybernetics. Information Intelligence and Systems (Cat. No.96CH35929).

[9]  MengChu Zhou,et al.  Modeling, Simulation, and Control of Flexible Manufacturing Systems - A Petri Net Approach , 1999, Series in Intelligent Control and Intelligent Automation.

[10]  Jonathan Billington,et al.  Application of Petri Nets to Communication Networks , 1999, Lecture Notes in Computer Science.

[11]  C. Murray Woodside,et al.  Software Performance Evaluation by Models , 2000, Performance Evaluation.

[12]  George C. Verghese,et al.  Power system monitoring using Petri net embeddings , 2000 .

[13]  Paul W. Prickett,et al.  A Petri-net based distributed monitoring system using PIC microcontrollers , 2005, Microprocess. Microsystems.

[14]  J.M. Nogiec,et al.  A Configurable Component-Based Software System for Magnetic Field Measurements , 2005, IEEE Transactions on Applied Superconductivity.

[15]  Jong-Deok Choi,et al.  Conditional Memory Ordering , 2006, 33rd International Symposium on Computer Architecture (ISCA'06).

[16]  Liu Wei,et al.  Modeling and Analysis of a Testing System Using Hybrid Petri Net , 2007, 2007 8th International Conference on Electronic Measurement and Instruments.

[17]  V. Calderaro,et al.  DG and protection systems in distribution network: Failure monitoring system based on petri nets , 2007, 2007 iREP Symposium - Bulk Power System Dynamics and Control - VII. Revitalizing Operational Reliability.

[18]  Pasquale Arpaia,et al.  Digital Integrator for Fast Accurate Measurement of Magnetic Flux by Rotating Coils , 2007, IEEE Transactions on Instrumentation and Measurement.

[19]  Jan Bosch Design of an Object-Oriented Framework for Measurement Systems , 2007 .

[20]  B. Stoyanov,et al.  Contemporary Methods and Devices for Automatic Measurement * , 2007 .

[21]  P. Arpaia,et al.  A software framework for flexible magnetic measurements at CERN , 2007, 2007 IEEE Instrumentation & Measurement Technology Conference IMTC 2007.

[22]  Wang Xiaoli,et al.  Fault Detection and Diagnosis Based on Time Petri Net , 2007, 2007 8th International Conference on Electronic Measurement and Instruments.

[23]  P. Bilski,et al.  Petri Nets Model of DAQ Block in the Measurement System , 2007, 2007 4th IEEE Workshop on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications.

[24]  G. D. Lucca,et al.  An Aspect Oriented Programming-based approach to software development for measurement system fault detection , 2008 .

[25]  G. D. Lucca,et al.  An Aspect Oriented-based Architectural Framework for Synchronization in Measurement Systems , 2008 .

[26]  P. Arpaia,et al.  Aspect Oriented-based Software Synchronization in Automatic Measurement Systems , 2008, 2008 IEEE Instrumentation and Measurement Technology Conference.

[27]  Dragan Jevtic,et al.  Petri Net-Based Simulation and Analysis of the Software Development Process , 2008, KES.

[28]  K. Raja,et al.  Modeling and Simulation of Projects with Petri Nets , 2008 .

[29]  Robert Lukaszewski,et al.  Petri Nets in Measuring Systems Design , 2008, IEEE Transactions on Instrumentation and Measurement.

[30]  Pasquale Arpaia,et al.  Measurement-Domain Specific Language for magnetic test specifications at CERN , 2009, 2009 IEEE Instrumentation and Measurement Technology Conference.

[31]  Yi Shen,et al.  Real time performance analysis and evaluation of CAN bus with an extended Petri Net model , 2009, 2009 IEEE Instrumentation and Measurement Technology Conference.

[32]  Pasquale Arpaia,et al.  On-field validation of the new platform for magnetic measurements at CERN , 2009 .

[33]  Pasquale Arpaia,et al.  An Aspect-Oriented Programming-based approach to software development for fault detection in measurement systems , 2010, Comput. Stand. Interfaces.

[34]  S. Amerio,et al.  EUROPEAN ORGANIZATION FOR NUCLEAR RESEARCH (CERN) , 2011 .