AN ENGINEERING APPROACH TO HARD REAL-TIME SYSTEM-DESIGN

被引：0
作者：
KOPETZ, H
ZAINLINGER, R
FOHLER, G
KANTZ, H
PUSCHNER, P
SCHUTZ, W
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1991年 / 550卷
关键词：
SYSTEM DESIGN; SYSTEM EVALUATION; SYSTEM TESTING; DESIGN METHODOLOGY; DESIGN ENVIRONMENTS; REAL-TIME SYSTEMS;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper presents a systematic methodology for the design of distributed fault tolerant real-time systems. The methodology covers the stepwise refinement of the given requirements, expressed in the form of real-time transactions, to task and protocol executions. It also includes a timing analysis and dependability evaluation of the still incomplete design. The testability of the evolving system is considered to be of essential concern. A set of coherent tools for the support of the methodology is described in some detail. The methodology assumes that the run-time architecture is based on static scheduling and a globally synchronised time-base is available to co-ordinate the system actions in the domain of real-time.
引用
收藏
页码：166 / 188
页数：23
相关论文
共 50 条
  • [31] Hard Real-Time Implementation of a Nonlinear Controller for the Quadrotor Helicopter
    J. Rogelio Guadarrama-Olvera
    José J. Corona-Sánchez
    H. Rodríguez-Cortés
    Journal of Intelligent & Robotic Systems, 2014, 73 : 81 - 97
  • [32] Minimizing the effects of jitter in distributed hard real-time systems
    Garcia, JJG
    Harbour, MG
    JOURNAL OF SYSTEMS ARCHITECTURE, 1996, 42 (6-7) : 431 - 447
  • [33] Predictive Execution of Parallel Simulations in Hard Real-Time Systems
    Pietrykowski, Michael
    Smidts, Carol
    IEEE TRANSACTIONS ON COMPUTERS, 2022, 71 (12) : 3227 - 3241
  • [34] Online sporadic task scheduling in hard real-time systems
    Vieira, SL
    Magalhaes, MF
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 1998, 13 (04): : 249 - 258
  • [35] 802.5 PRIORITY MECHANISM IN HARD REAL-TIME RMS APPLICATIONS
    SANTOS, J
    GASTAMINZA, ML
    OROZCO, J
    MATRANGOLO, C
    COMPUTER COMMUNICATIONS, 1994, 17 (06) : 439 - 442
  • [36] Mining heuristics for scheduling distributed hard real-time tasks
    Coello, JMA
    de Andrade, RF
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 1527 - 1532
  • [37] Sustaining the engineering education and training by real-time systems
    Letia, Tiberiu S.
    3rd International Conference on Education and Information Systems: Technologies and Applications, Vol 2, Proceedings, 2005, : 382 - 386
  • [38] Toward Practical Weakly Hard Real-Time Systems: A Job-Class-Level Scheduling Approach
    Choi, Hyunjong
    Kim, Hyoseung
    Zhu, Qi
    IEEE INTERNET OF THINGS JOURNAL, 2021, 8 (08) : 6692 - 6708
  • [39] An Analysis of a Hard Real-Time Execution Environment Extension for FreeRTOS
    Stangaciu, Cristina
    Micea, Mihai
    Cretu, Vladimir
    ADVANCES IN ELECTRICAL AND COMPUTER ENGINEERING, 2015, 15 (03) : 79 - 86
  • [40] Application and Design of Real-time Control System for the Quad-rotor Helicopter
    Liu, Xiaojie
    Zhao, Xiaohui
    Gu, Haijun
    Sanchez, Anand
    2009 INTERNATIONAL CONFERENCE ON MEASURING TECHNOLOGY AND MECHATRONICS AUTOMATION, VOL II, 2009, : 40 - +
12345