Design and Dynamic Update of Real-Time Systems

被引：5
|
作者：
Yi, Wang [1 ]
机构：
[1] Uppsala Univ, Dept Informat Technol, Uppsala, Sweden
来源：
2019 IEEE 40TH REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2019) | 2019年
基金：
欧洲研究理事会;
关键词：
D O I：
10.1109/RTSS46320.2019.00011
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：1 / 3
页数：3
相关论文
共 50 条
  • [1] MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems
    Yi, Wang
    Mohaqeqi, Morteza
    Graf, Susanne
    [J]. COORDINATION MODELS AND LANGUAGES, 2022, 13271 : 17 - 34
  • [2] DYNAMIC-PROGRAMMING IN THE DESIGN OF REAL-TIME MULTIPROCESSOR SYSTEMS
    POZHARSKII, AV
    [J]. AUTOMATION AND REMOTE CONTROL, 1992, 53 (05) : 752 - 759
  • [3] Model continuity in the design of dynamic distributed real-time systems
    Hu, XL
    Zeigler, BP
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2005, 35 (06): : 867 - 878
  • [4] Real-time performance estimation for dynamic, distributed real-time systems
    Huh, EN
    Welch, LR
    Mun, Y
    [J]. COMPUTATIONAL SCIENCE-ICCS 2002, PT III, PROCEEDINGS, 2002, 2331 : 1071 - 1079
  • [5] Dynamic Attestation of Real-Time Systems
    Potthoff, Travis
    Graham, Scott
    [J]. PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON CYBER WARFARE AND SECURITY (ICCWS 2017), 2017, : 489 - 496
  • [6] Dynamic Communication QoS Design for Real-Time Wireless Control Systems
    Chang, Bo
    Zhao, Guodong
    Zhang, Lei
    Imran, Muhammad Ali
    Chen, Zhi
    Li, Liying
    [J]. IEEE SENSORS JOURNAL, 2020, 20 (06) : 3005 - 3015
  • [7] DESIGN AND TESTING OF REAL-TIME SYSTEMS
    KARJALAINEN, J
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1991, 32 (1-5): : 109 - 109
  • [8] STEPWISE DESIGN OF REAL-TIME SYSTEMS
    KURKISUONIO, R
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1993, 19 (01) : 56 - 69
  • [9] Verification of real-time systems design
    Emilia Cambronero, M.
    Valero, Valentin
    Diaz, Gregorio
    [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2010, 20 (01): : 3 - 37
  • [10] DESIGN CONSIDERATIONS FOR REAL-TIME SYSTEMS
    CASSIMUS, P
    [J]. JOURNAL OF SYSTEMS MANAGEMENT, 1969, 20 (12): : 23 - 28
12345