A Petri Net-Based Software Synchronizer for Automatic Measurement Systems

被引：5
|
作者：
Arpaia, Pasquale [1 ,2 ]
Fiscarelli, Lucio [1 ,2 ]
La Commara, Giuseppe [1 ]
Romano, Felice [1 ]
机构：
[1] Univ Sannio, Dept Engn, I-82100 Benevento, Italy
[2] CERN, European Org Nucl Res, Dept Technol, Grp Magnets Superconductors Cryostats, CH-1211 Geneva 23, Switzerland
来源：
IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT | 2011年 / 60卷 / 01期
关键词：
Automatic test software; permeability measurement; Petri nets (PNs); software reusability; synchronization;
D O I：
10.1109/TIM.2010.2046602
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
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.
引用
收藏
页码：319 / 328
页数：10
相关论文
共 50 条
  • [1] Time Petri Net-Based Software Reliability Analysis
    Yang, Maoqiang
    [J]. INTELLIGENCE COMPUTATION AND EVOLUTIONARY COMPUTATION, 2013, 180 : 231 - 235
  • [2] Petri net-based simulation and analysis of the software development process
    Topic, Gordan
    Jevtic, Dragan
    Kunstic, Marijan
    [J]. KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS, 2008, 5178 : 418 - +
  • [3] Small Spacecraft Software Modeling: A Petri Net-Based Approach
    Malott, Levi
    Palangpour, Pasha
    Pernicka, Henry
    Chellappan, Sriram
    [J]. JOURNAL OF AEROSPACE INFORMATION SYSTEMS, 2014, 11 (10): : 679 - 690
  • [4] Petri net-based modelling of workflow systems: An overview
    Salimifard, K
    Wright, M
    [J]. EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2001, 134 (03) : 664 - 676
  • [5] Petri net-based modeling of hybrid dynamic systems
    Gotesman, M
    LopezBenitez, N
    [J]. ETFA '96 - 1996 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS, VOLS 1 AND 2, 1996, : 553 - 559
  • [6] A Petri Net-based Framework of Intrusion Detection Systems
    Gou, Zhaolong
    Bin Ahmadon, Mohd Anuaruddin
    Yamaguchi, Shingo
    Gupta, Brij Bhooshan
    [J]. 2015 IEEE 4TH GLOBAL CONFERENCE ON CONSUMER ELECTRONICS (GCCE), 2015, : 579 - 583
  • [7] Automatic Procedure Following Evaluation Using Petri Net-Based Workflows
    Rodriguez-Fernandez, Victor
    Gonzalez-Pardo, Antonio
    Camacho, David
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2018, 14 (06) : 2748 - 2759
  • [8] A Petri Net-Based Software Process Model for Developing Process-Oriented Information Systems
    Li, Yu
    Oberweis, Andreas
    [J]. INFORMATION SYSTEMS DEVELOPMENT: ASIAN EXPERIENCES, 2011, : 27 - 39
  • [9] Petri net-based verification of security protocol implementation in software evolution
    Bin Ahmadon, Mohd Anuaruddin
    Yamaguchi, Shingo
    Gupta, B. B.
    [J]. INTERNATIONAL JOURNAL OF EMBEDDED SYSTEMS, 2018, 10 (06) : 503 - 517
  • [10] Graphlets in comparison of Petri net-based models of biological systems
    Szawulak, Bartlomiej
    Formanowicz, Piotr
    [J]. SCIENTIFIC REPORTS, 2022, 12 (01)
12345