THE SPECIFICATION AND DESIGN OF HARD REAL-TIME SYSTEMS USING TIMED AND TEMPORAL PETRI NETS

被引：3
|
作者：
SAGOO, JS [1 ]
HOLDING, DJ [1 ]
机构：
[1] ASTON UNIV,BIRMINGHAM B4 7ET,ENGLAND
来源：
MICROPROCESSING AND MICROPROGRAMMING | 1990年 / 30卷 / 1-5期
关键词：
D O I：
10.1016/0165-6074(90)90272-B
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper considers the specification and design of software for embedded real-time systems which have safety functions or implications for safety. It addresses the problem of specifying a system in a tangible application-oriented manner while retaining sufficient formalism and rigour for exploring and verifying the performance and safety properties of the system. It presents an overview of relevant formal specification techniques and examines the use of temporal and timed Petri nets in specification, verification and performance evaluation. These techniques are applied to the design of the real-time control software for two independently-driven interacting mechanisms for a high-speed packaging machine. © 1989.
引用
收藏
页码：389 / 396
页数：8
相关论文
共 50 条
  • [11] Improving the Verification of Real-Time Systems Using Time Petri Nets
    del Foyo P.M.G.
    Silva J.R.
    [J]. Journal of Control, Automation and Electrical Systems, 2017, 28 (6) : 774 - 784
  • [12] Reachability analysis of real-time systems using time Petri nets
    Wang, JC
    Deng, Y
    Xu, G
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2000, 30 (05): : 725 - 736
  • [13] Thermal-aware Real-time Scheduling Using Timed Continuous Petri Nets
    Desirena-Lopez, G.
    Ramirez-Trevino, A.
    Briz, J. L.
    Vazquez, C. R.
    Gomez-Gutierrez, D.
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2019, 18 (04)
  • [14] Integrating Petri nets with design methods for concurrent and real-time systems
    Pettit, RG
    Gomaa, H
    [J]. SECOND IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS: HELD JOINTLY WITH 6TH CSESAW, 4TH IEEE RTAW, AND SES'96, 1996, : 168 - 171
  • [15] An integrated approach to modeling and analysis of embedded real-time systems based on timed Petri nets
    Gu, ZH
    Shin, KG
    [J]. 23RD INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 2002, : 350 - 359
  • [16] Computation of Performance Bounds for Real-Time Systems Using Time Petri Nets
    Bernardi, Simona
    Campos, Javier
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2009, 5 (02) : 168 - 180
  • [17] Compositional schedulability analysis of real-time systems using time Petri nets
    Xu, DX
    He, XD
    Deng, Y
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2002, 28 (10) : 984 - 996
  • [18] Reduction methods for real-time systems using delay time petri nets
    Juan, EYT
    Tsai, JJP
    Murata, T
    Zhou, Y
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2001, 27 (05) : 422 - 448
  • [19] Some Issues in Real-Time Systems Verification Using Time Petri Nets
    Gonzalez del Foyo, Pedro M.
    Silva, Jose Reinaldo
    [J]. JOURNAL OF THE BRAZILIAN SOCIETY OF MECHANICAL SCIENCES AND ENGINEERING, 2011, 33 (04) : 467 - 474
  • [20] Modeling and analysis of real-time cooperative systems using Petri nets
    Du, YuYue
    Jiang, ChangJun
    Zhou, MengChu
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2007, 37 (05): : 643 - 654
12345