Development methods for real-time systems

被引：0
|
作者：
机构：
[1] Hull, M.E.C.
[2] O'Donoghue, P.G.
[3] Hagan, B.J.
来源：
Hull, M.E.C. | 1600年 / 34期
关键词：
Computer Systems; Digital;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Development and Verification of Distributed Real-Time Hybrid Simulation Methods
    Li, Xin
    Ozdagli, Ali I.
    Dyke, Shirley J.
    Lu, Xilin
    Christenson, Richard
    JOURNAL OF COMPUTING IN CIVIL ENGINEERING, 2017, 31 (04)
  • [42] REAL-TIME EUCLID - A LANGUAGE FOR RELIABLE REAL-TIME SYSTEMS
    KLIGERMAN, E
    STOYENKO, AD
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (09) : 941 - 949
  • [43] Real-time TTCN for testing real-time and multimedia systems
    Walter, T
    Grabowski, J
    TESTING OF COMMUNICATING SYSTEMS, VOL 10, 1997, : 37 - 54
  • [44] Real-time calculus for scheduling hard real-time systems
    Thiele, L
    Chakraborty, S
    Naedele, M
    ISCAS 2000: IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS - PROCEEDINGS, VOL IV: EMERGING TECHNOLOGIES FOR THE 21ST CENTURY, 2000, : 101 - 104
  • [45] Reduction methods for real-time systems using delay time petri nets
    Juan, EYT
    Tsai, JJP
    Murata, T
    Zhou, Y
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2001, 27 (05) : 422 - 448
  • [46] Verifying Real-Time Systems using Explicit-time Description Methods
    Wang, Hao
    MacCaull, Wendy
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2009, (13): : 67 - 78
  • [47] A new kernel approach for modular real-time systems development
    Gai, P
    Abeni, L
    Giorgi, M
    Buttazzo, G
    13TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2001, : 199 - 206
  • [48] A New Approach for Automatic Development of Reconfigurable Real-Time Systems
    Lakhdhar, Wafa
    Mzid, Rania
    Khalgui, Mohamed
    Treves, Nicolas
    SOFTWARE TECHNOLOGIES, 2017, 743 : 22 - 44
  • [49] Framework-based development of embedded real-time systems
    Su, Hui-Ming
    Chen, Jing
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 2968 : 244 - 253
  • [50] TAM - A FORMAL FRAMEWORK FOR THE DEVELOPMENT OF DISTRIBUTED REAL-TIME SYSTEMS
    SCHOLEFIELD, DJ
    ZEDAN, HSM
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 411 - 428
12345