Verification of real-time system requirements: A Petri net approach

被引：0
|
作者：
Szpyrka, M [1 ]
机构：
[1] Pedag Univ, Inst Math, Rzeszow, Poland
来源：
REAL TIME PROGRAMMING 1999 (WRTP'99) | 1999年
关键词：
requirements engineering methods; verification of system behaviour requirements;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The aim of the paper is to discuss a Petri net approach to verification of real-time system behaviour requirements, i.e. the elimination of ambiguity, inconsistency, and incompleteness. The main problem is to create a complete description of the system requirements without any negatives. The methodology is based on the coloured Petri nets theory (Jensen, 1996). An algorithm, which produces from a decision table, a coloured Petri net, is formulated in the paper. It allows checking some properties of system requirements and reducing the aforesaid negatives. Copyright (C) 1999 IFAC.
引用
收藏
页码：165 / 170
页数：6
相关论文
共 50 条
  • [1] Design, Analysis and Verification of Real-Time Systems Based on Time Petri Net Refinement
    Ding, Zhijun
    Jiang, Changjun
    Zhou, Mengchu
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2013, 12 (01)
  • [2] A review of Petri Net based modeling and verification for embedded real-time systems
    zhang, Haitao
    Wang, Fei-Yue
    [J]. DETC 2005: ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, 2005, Vol 4, 2005, : 257 - 264
  • [3] Requirements for a real-time NET framework
    Zerzelidis, A
    Wellings, AJ
    [J]. ACM SIGPLAN NOTICES, 2005, 40 (02) : 41 - 50
  • [4] DESIGN REQUIREMENTS OF SAFEGUARDS SEALING SYSTEM FOR REAL-TIME VERIFICATION
    Ahn, Jihyun
    Park, Junsung
    Sim, Hayoung
    An, Geunyoeng
    Seo, Hee
    [J]. NUCLEAR TECHNOLOGY & RADIATION PROTECTION, 2021, 36 (04): : 376 - 383
  • [5] Using a Petri-net-based approach for the real-time supervisory control of an experimental manufacturing system
    [J]. Uzam, M., 1600, Springer-Verlag London Ltd., London, United Kingdom (16):
  • [6] Using a Petri-Net-Based Approach for the Real-Time Supervisory Control of an Experimental Manufacturing System
    M. Uzam
    H. Jones
    I. Yücel
    [J]. The International Journal of Advanced Manufacturing Technology, 2000, 16 : 498 - 515
  • [7] Using a Petri-net-based approach for the real-time supervisory control of an experimental manufacturing system
    Uzam, M
    Jones, AH
    Yücel, I
    [J]. INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2000, 16 (07): : 498 - 515
  • [8] High level timed Petri Net templates for the temporal verification of real-time multiprocessor applications
    Ananidou, D
    Hassapis, G
    Kleftouris, D
    [J]. ADVANCES IN INFORMATICS, 2003, 2563 : 386 - 400
  • [9] A Formal Modeling and Verification Approach for Real-Time System
    Yan, Fei
    Tang, Tao
    [J]. 2008 7TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-23, 2008, : 204 - 208
  • [10] HARDWARE DESIGN OF A REAL-TIME PETRI-NET MODEL FOR REAL-TIME TASKS
    HWANG, CP
    HO, CS
    [J]. JOURNAL OF THE CHINESE INSTITUTE OF ENGINEERS, 1995, 18 (04) : 481 - 492
12345