Design and Dynamic Update of Real-Time Systems

被引:5
|
作者
Yi, Wang [1 ]
机构
[1] Uppsala Univ, Dept Informat Technol, Uppsala, Sweden
基金
欧洲研究理事会;
关键词
D O I
10.1109/RTSS46320.2019.00011
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:1 / 3
页数:3
相关论文
共 50 条
  • [31] A formal design notation for real-time systems
    Felder, M
    Pezzè, M
    [J]. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2002, 11 (02) : 149 - 190
  • [32] Integrating methods for the design of real-time systems
    Hooman, J
    Vain, J
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 1996, 42 (6-7) : 489 - 502
  • [33] A DESIGN APPROACH FOR ULTRARELIABLE REAL-TIME SYSTEMS
    LALA, JH
    HARPER, RE
    ALGER, LS
    [J]. COMPUTER, 1991, 24 (05) : 12 - 22
  • [34] Applying real-time interface and calculus for dynamic power management in hard real-time systems
    Kai Huang
    Luca Santinelli
    Jian-Jia Chen
    Lothar Thiele
    Giorgio C. Buttazzo
    [J]. Real-Time Systems, 2011, 47 : 163 - 193
  • [35] OPTIMIZATION IN REAL-TIME CONDITIONS OF DYNAMIC-SYSTEMS IN REAL-TIME UNDER CONDITIONS OF UNCERTAINTY
    GABASOV, R
    KIRILLOVA, FM
    [J]. JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 1994, 32 (05) : 57 - 65
  • [36] Applying real-time interface and calculus for dynamic power management in hard real-time systems
    Huang, Kai
    Santinelli, Luca
    Chen, Jian-Jia
    Thiele, Lothar
    Buttazzo, Giorgio C.
    [J]. REAL-TIME SYSTEMS, 2011, 47 (02) : 163 - 193
  • [37] Real-time simulation of dynamic systems on systolic arrays
    Vijay, M
    Murthy, CSR
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, 1998, 45 (02) : 326 - 332
  • [38] Real-time dynamic optimization of controllable linear systems
    Guay, Martin
    Forbes, J. Fraser
    [J]. JOURNAL OF GUIDANCE CONTROL AND DYNAMICS, 2006, 29 (04) : 929 - 935
  • [39] A Method for Dynamic Software Updating in Real-Time Systems
    Seifzadeh, Habib
    Kazem, Ali Asghar Pourhaji
    Kargahi, Mehdi
    Movaghar, Ali
    [J]. PROCEEDINGS OF THE 8TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE, 2009, : 34 - +
  • [40] Scheduling of Dynamic Participants in Real-Time Distributed Systems
    Sin, Mong Leng
    Bouroche, Melanie
    Cahill, Vinny
    [J]. 2011 30TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), 2011, : 245 - 254