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 条
  • [21] Compositional specification of real time embedded systems by priority time Petri Nets
    Mahfoudhi, Adel
    Kacem, Yessine Hadj
    Karamti, Walid
    Abid, Mohamed
    [J]. JOURNAL OF SUPERCOMPUTING, 2012, 59 (03): : 1478 - 1503
  • [22] Compositional specification of real time embedded systems by priority time Petri Nets
    Adel Mahfoudhi
    Yessine Hadj Kacem
    Walid Karamti
    Mohamed Abid
    [J]. The Journal of Supercomputing, 2012, 59 : 1478 - 1503
  • [23] Methodologies for Specification of Real-Time Systems Using Timed I/O Automata
    David, Alexandre
    Larsen, Kim G.
    Legay, Axel
    Nyman, Ulrik
    Wasowski, Andrzej
    [J]. FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2010, 6286 : 290 - +
  • [24] Dependability Analysis of Safety Critical Real-Time Systems by Using Petri Nets
    Singh, Lalit Kumar
    Rajput, Hitesh
    [J]. IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2018, 26 (02) : 415 - 426
  • [25] A Flexible Framework for Real-Time Thermal-Aware Schedulers using Timed Continuous Petri Nets
    Desirena Lopez, Gaddiel
    Rubio Anguiano, Lorena
    Ramirez Trevino, Antonio
    Briz Velasco, Jose Luis
    [J]. COMPUTACION Y SISTEMAS, 2019, 23 (02): : 417 - 433
  • [26] Real-time scheduling of batch systems using Petri nets and linear logic
    Soares, Michel dos Santos
    Julia, Stephane
    Vrancken, Jos
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2008, 81 (11) : 1983 - 1996
  • [27] Real time scheduler for multiprocessor systems based on continuous control using Timed Continuous Petri Nets
    Rubio-Anguiano, L.
    Ramirez-Trevino, A.
    Chils, A.
    Briz, J. L.
    [J]. IFAC PAPERSONLINE, 2020, 53 (04): : 371 - 377
  • [28] Object-oriented specification and design of embedded hard real-time systems
    Nebel, W
    Oppenheimer, F
    Schumacher, G
    Kabous, L
    Radetzki, M
    Putzke-Röming, W
    [J]. SYSTEM-ON-CHIP METHODOLOGIES & DESIGN LANGUAGES, 2001, : 285 - 296
  • [29] Schedulability verification of real-time systems with extended time Petri nets
    Okawa, Y.
    Yoneda, T.
    [J]. International journal of mini & microcomputers, 1996, 18 (03): : 148 - 156
  • [30] AN APPROACH TO PERFORMANCE SPECIFICATION OF COMMUNICATION PROTOCOLS USING TIMED PETRI NETS
    GARG, K
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1985, 11 (10) : 1216 - 1225
12345