On-the-fly Diagnosability Analysis of LPN Using Verifier Nets

被引：0
|
作者：
Li, Ben [1 ]
Khlif-Bouassida, Manel [1 ]
Toguyeni, Armand [1 ]
机构：
[1] Ecole Cent Lille, CRIStAL, UNIR 9189, F-59650 Villeneuve Dascq, France
来源：
2016 3RD CONFERENCE ON CONTROL AND FAULT-TOLERANT SYSTEMS (SYSTOL) | 2016年
关键词：
PETRI NETS;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper, the on-the-fly diagnosability analysis using Verifier Nets (VN) is developed. The objective is to improve the VN approach by using on-the-fly diagnosability analysis technique. The diagnosability is analyzed in the framework of bounded and unbounded labeled Petri nets (LPN) with no deadlock after firing any fault transition. The VN and its reachability graph (for bounded LPN)/ coverability graph (for unbounded LPN) are built on-the-fly and in parallel for diagnosability analysis. Stop conditions are proposed to stop the construction as soon as a diagnosability decision is established. This approach achieves a compromise between computation efficiency and combinatorial explosion limitation.
引用
收藏
页码：305 / 312
页数：8
相关论文
共 50 条
  • [41] Using Formal Methods for On-The-Fly Time Series Verification
    Conradi Hoffmann, Jose Luis
    Horstmann, Leonardo Passig
    Frohlich, Antonio Augusto
    PROCEEDINGS OF12TH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE AND SECURE COMPUTING, LADC 2023, 2023, : 21 - 29
  • [42] ROBUST "ON-THE-FLY" PERSON IDENTIFICATION USING SPARSE REPRESENTATION
    Raghavendra, R.
    Yang, Bian
    Busch, Christoph
    ELECTRONIC PROCEEDINGS OF THE 2013 IEEE INTERNATIONAL CONFERENCE ON MULTIMEDIA AND EXPO WORKSHOPS (ICMEW), 2013,
  • [43] An on-the-fly model-checker for security protocol analysis
    Basin, D
    Mödersheim, S
    Viganò, L
    COMPUTER SECURITY - ESORICS 2003, PROCEEDINGS, 2003, 2808 : 253 - 270
  • [44] Verification of on-the-fly homogenization method based on the analysis of HTTR
    Yuan, Yuan
    Xing, Ji
    Huo, Xiaodong
    Wang, Kan
    ANNALS OF NUCLEAR ENERGY, 2021, 150 (150)
  • [45] An architecture for on-the-fly correction of radial distortion using FPGA
    Oh, Sungchan
    Kim, Gyeonghwan
    REAL-TIME IMAGE PROCESSING 2008, 2008, 6811
  • [46] Application execution steering using on-the-fly performance prediction
    Kerbyson, DJ
    Papaefstathiou, E
    Nudd, GR
    HIGH-PERFORMANCE COMPUTING AND NETWORKING, 1998, 1401 : 718 - 727
  • [47] On-the-fly X-ray analysis for the virtual observatory
    Ptak, A.
    Connolly, A.
    Krughoff, S.
    ASTRONOMICAL DATA ANALYSIS SOFTWARE AND SYSTEMS XVI, 2007, 376 : 591 - +
  • [48] On-the-Fly Optimization of Synchrotron Beamlines Using Machine Learning
    Morris, T. W.
    Rakitin, M.
    Giles, A.
    Lynch, J.
    Walter, A. L.
    Nash, B.
    Abell, D.
    Moeller, P.
    Pogorelov, I
    Goldring, N.
    OPTICAL SYSTEM ALIGNMENT, TOLERANCING, AND VERIFICATION XIV, 2022, 12222
  • [49] Specification-Compliant Reachability Analysis for Autonomous Vehicles Using On-the-Fly Model Checking
    Lercher, Florian
    Althoff, Matthias
    2024 35TH IEEE INTELLIGENT VEHICLES SYMPOSIUM, IEEE IV 2024, 2024, : 1484 - 1491
  • [50] On-the-fly analysis of systems with unbounded, lossy FIFO channels
    Abdulla, PA
    Bouajjani, A
    Jonsson, B
    COMPUTER AIDED VERIFICATION, 1998, 1427 : 305 - 318
12345