Real-time software online test method based on time petri net model

被引：0
|
作者：
Rao, Tingting [1 ]
Xiong, Caiquan [1 ]
Wang, Mingli [2 ]
机构：
[1] Hubei Univ Technol, Wuhan, Hubei, Peoples R China
[2] Huazhong Univ Sci & Technol, Wuhan, Hubei, Peoples R China
来源：
BASIC & CLINICAL PHARMACOLOGY & TOXICOLOGY | 2019年 / 125卷
基金：
中国国家自然科学基金;
关键词：
D O I：
暂无
中图分类号：
R9 [药学];
学科分类号：
1007 ;
摘要：
255
引用
收藏
页码：149 / 149
页数：1
相关论文
共 50 条
  • [1] A time Petri net-based method for embedded hard real-time software synthesis
    Barreto, Raimundo
    Maciel, Paulo
    Tavares, Eduardo
    Freitas, Romulo Devezas
    Oliveira, Meuse
    Lima, Ricardo Massa
    [J]. DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2008, 12 (1-2) : 31 - 62
  • [2] A time Petri net-based method for embedded hard real-time software synthesis
    Raimundo Barreto
    Paulo Maciel
    Eduardo Tavares
    Romulo Devezas Freitas
    Meuse Oliveira
    Ricardo Massa Lima
    [J]. Design Automation for Embedded Systems, 2008, 12 : 31 - 62
  • [3] Evaluation of real-time software design with the aid of a Petri Net template model
    Ananidou, D
    Hassapis, G
    Kleftouris, D
    [J]. ADVANCES IN INFORMATICS, 2000, : 30 - 41
  • [4] Generating real-time software test cases by time Petri nets
    Lin, J.C.
    Ho, I.
    [J]. International Journal of Computers and Applications, 2000, 22 (03) : 151 - 158
  • [5] 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
  • [6] Real-time control Petri net model for FMS
    Liu, Hong
    Li, Zhiwu
    Ye, Shanghui
    [J]. Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University, 1997, 24 (02): : 187 - 192
  • [7] A continuous process model for real-time scheduling based on Hybrid Petri Net
    Chen, R
    Wang, J
    Jin, YH
    [J]. 1997 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT PROCESSING SYSTEMS, VOLS 1 & 2, 1997, : 1327 - 1331
  • [8] Research on On-line Testing of Real-time Software Based on Time Petri Network Model
    Rao Tingting
    Xiong Caiquan
    Wang Mingli
    [J]. 2018 7TH INTERNATIONAL CONFERENCE ON ADVANCED MATERIALS AND COMPUTER SCIENCE (ICAMCS 2018), 2019, : 338 - 341
  • [9] A time Petri net based approach for embedded hard real-time software synthesis with multiple operational modes
    Tavares, E
    Maciel, P
    Bessa, A
    Barreto, R
    Barros, L
    Oliveira, M
    Lima, R
    [J]. SBCCI 2005: 18th Symposium on Integrated Circuits and Systems Design, Proceedings, 2005, : 98 - 103
  • [10] Real-time Embedded Software Architecture Modeling and Reliability Evaluation Based on Time-extended Petri Net
    Li, Hong-Bing
    Wang, Ming-Wei
    [J]. MATERIAL SCIENCE, CIVIL ENGINEERING AND ARCHITECTURE SCIENCE, MECHANICAL ENGINEERING AND MANUFACTURING TECHNOLOGY II, 2014, 651-653 : 1888 - 1892
12345