FROM SPECIFICATION TO IMPLEMENTATION OF A REAL-TIME SYSTEM

被引：0
作者：
CARCAGNO, L [1 ]
DEMICHIEL, M [1 ]
DOURS, D [1 ]
FACCA, R [1 ]
FEKI, A [1 ]
MAGNAUD, P [1 ]
机构：
[1] IRIT UPS,F-31062 TOULOUSE,FRANCE
来源：
MICROPROCESSING AND MICROPROGRAMMING | 1992年 / 35卷 / 1-5期
关键词：
Real time systems;
D O I：
10.1016/0165-6074(92)90396-O
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
We present a design methodology that allows to automatically obtain the implementation of a real-time system. To take into account the reactive and transformational characteristics of real-time systems, we have defined a model which is similar both to synchronous and data-flow models. Moreover, if some treatments do not run in real-time, this model allows their automatic parallelization.
引用
收藏
页码：737 / 744
页数：8
相关论文
共 50 条
  • [31] A real-time virtual machine implementation for small microcontrollers
    Davis, W. Roger
    Laplante, Phillip A.
    Sanden, Bo I.
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2012, 8 (03) : 223 - 241
  • [32] FPGA Implementation for Real-Time Empirical Mode Decomposition
    Hong, Ying-Yi
    Bao, Yu-Qing
    [J]. IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, 2012, 61 (12) : 3175 - 3184
  • [33] SPECIFICATION AND QUALITY ASSURANCE OF TIMING CONSTRAINTS IN REAL-TIME SYSTEMS-DEVELOPMENT
    LIEN, CC
    YANG, CC
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1992, 22 (11) : 963 - 984
  • [34] Safety shell for specification-PEARL oriented UML real-time projects
    Gumzej, Roman
    Colnaric, Matjaz
    Halang, Wolfgang A.
    [J]. COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2009, 35 (03) : 277 - 292
  • [35] Real-Time Implementation of Long-Horizon Direct Model Predictive Control on an Embedded System
    Liegmann, Eyke
    Karamanakos, Petros
    Kennel, Ralph
    [J]. IEEE OPEN JOURNAL OF INDUSTRY APPLICATIONS, 2022, 3 : 1 - 12
  • [36] Real-time system = discrete system + clock variables
    Alur R.
    Henzinger T.A.
    [J]. International Journal on Software Tools for Technology Transfer, 1997, 1 (1-2) : 86 - 109
  • [37] A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation
    Akshay, S.
    Gastin, Paul
    Govind, R.
    Joshi, Aniruddha R.
    Srivathsan, B.
    [J]. COMPUTER AIDED VERIFICATION, CAV 2023, PT I, 2023, 13964 : 266 - 288
  • [38] Hard Real-Time Implementation of a Nonlinear Controller for the Quadrotor Helicopter
    Rogelio Guadarrama-Olvera, J.
    Corona-Sanchez, Jose J.
    Rodriguez-Cortes, H.
    [J]. JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, 2014, 73 (1-4) : 81 - 97
  • [39] Real-Time Implementation of Optimized Power Quality Events Classifier
    Markovska, Marija
    Taskovski, Dimitar
    Kokolanski, Zivko
    Dimchev, Vladimir
    Velkovski, Bodan
    [J]. IEEE TRANSACTIONS ON INDUSTRY APPLICATIONS, 2020, 56 (04) : 3431 - 3442
  • [40] 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
    [J]. Journal of Intelligent & Robotic Systems, 2014, 73 : 81 - 97
12345