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 条
  • [1] A COMPARISON OF TEMPORAL PETRI NET TECHNIQUES IN THE SPECIFICATION AND DESIGN OF HARD REAL-TIME SYSTEMS
    SAGOO, JS
    HOLDING, DJ
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1991, 32 (1-5): : 111 - 118
  • [2] REAL-TIME SPECIFICATION USING PETRI NETS
    SACHA, K
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1993, 38 (1-5): : 607 - 614
  • [3] Specification and analysis of real-time systems using csp and petri nets
    Kavi, KM
    Sheldon, FT
    Reed, S
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1996, 6 (02) : 229 - 248
  • [4] Study on real-time discrete event systems by using controlled temporal timed-Petri-nets
    Liu, CY
    Li, YJ
    [J]. 42ND IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-6, PROCEEDINGS, 2003, : 5113 - 5117
  • [5] Formal Specification and Verification of Real-Time Multi-Agent Systems using Timed-Arc Petri Nets
    Qasim, Awais
    Kazmi, Syed Asad Raza
    Fakhir, Ilyas
    [J]. ADVANCES IN ELECTRICAL AND COMPUTER ENGINEERING, 2015, 15 (03) : 73 - 78
  • [6] CONCURRENT, REAL-TIME SYSTEMS: A SYSTEMATIC APPROACH USING TIMED PETRI NETS.
    Wong, C.Y.
    Dillon, T.S.
    Forward, K.E.
    [J]. Computer Systems Science and Engineering, 1987, 2 (03): : 117 - 124
  • [7] SPECIFICATION AND VALIDATION OF REAL-TIME SYSTEMS BY MEANS OF PETRI QUEUE NETS
    MARTIN, R
    MEMMI, G
    [J]. REVUE TECHNIQUE THOMSON-CSF, 1981, 13 (03): : 635 - 653
  • [8] SCHEDULING HARD REAL-TIME SYSTEMS USING HIGH-LEVEL PETRI NETS
    BRUNO, G
    CASTELLA, A
    MACARIO, G
    PESCARMONA, MP
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 616 : 93 - 112
  • [9] Teaching Real-Time Systems using Petri nets
    Letia, TS
    Gruita, C
    [J]. REAL-TIME SYSTEMS EDUCATION III, PROCEEDINGS, 1999, : 49 - 56
  • [10] Specification and model checking of temporal properties in time Petri nets and timed automata
    Penczek, W
    Pólrola, A
    [J]. APPLICATIONS AND THEORY OF PETRI NETS 2004, PROCEEDINGS, 2004, 3099 : 37 - 76
12345