A UNIFIED APPROACH TO REAL-TIME SYSTEMS INTEGRATION

被引：0
|
作者：
WATERMAN, PJ
机构：
来源：
RESEARCH & DEVELOPMENT | 1989年 / 31卷 / 3A期
关键词：
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：88 / 92
页数：5
相关论文
共 50 条
  • [11] Automated integration of real-time and non-real-time defense systems
    Dalkiran, Emre
    Onel, Tolga
    Topcu, Okan
    Demir, Kadir Alpaslan
    DEFENCE TECHNOLOGY, 2021, 17 (02) : 657 - 670
  • [12] A unified architecture for real-time video-coding systems
    Li, ZG
    Zhu, C
    Ling, N
    Yang, XK
    Feng, GN
    Wu, S
    Pan, F
    IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS FOR VIDEO TECHNOLOGY, 2003, 13 (06) : 472 - 487
  • [13] A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation
    Akshay, S.
    Gastin, Paul
    Govind, R.
    Joshi, Aniruddha R.
    Srivathsan, B.
    COMPUTER AIDED VERIFICATION, CAV 2023, PT I, 2023, 13964 : 266 - 288
  • [14] Unified Modeling of Active and Reactive Components for Real-time Systems
    Shao, Zhucheng
    Liu, Jing
    Chen, Xiaohong
    Ding, Zuohua
    Yuan, Zhengheng
    2013 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2013, : 145 - 148
  • [15] A unified approach for specifying timing constraints and composite events in active real-time database systems
    Liu, GT
    Mok, AK
    Konana, P
    FOURTH IEEE REAL-TIME TECHNOLOGY AND APPLICATIONS SYMPOSIUM - PROCEEDINGS, 1998, : 199 - 208
  • [16] Model checking real-time systems within unified approach of timed interval temporal logic
    Zhu, Wei-Jun
    Qiao, Peng-Zhe
    Zhou, Qing-Lei
    Zhang, Hai-Bin
    Dianzi Keji Daxue Xuebao/Journal of the University of Electronic Science and Technology of China, 2014, 43 (05): : 712 - 716
  • [17] Integration of real-time locating systems into digital twins
    Ruppert, Tamas
    Abonyi, Janos
    JOURNAL OF INDUSTRIAL INFORMATION INTEGRATION, 2020, 20
  • [18] Optimizing path real-time logic for unified real-time system
    Xudong Zhu
    Kin Fun Li
    Huiyou Chang
    Soft Computing, 2017, 21 : 3135 - 3145
  • [19] Optimizing path real-time logic for unified real-time system
    Zhu, Xudong
    Li, Kin Fun
    Chang, Huiyou
    SOFT COMPUTING, 2017, 21 (12) : 3135 - 3145
  • [20] THE SYNCHRONOUS APPROACH TO REACTIVE AND REAL-TIME SYSTEMS
    BENVENISTE, A
    BERRY, G
    PROCEEDINGS OF THE IEEE, 1991, 79 (09) : 1270 - 1282
12345