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 条
  • [21] A Real-Time Discrete Event System Specification Formalism for Seamless Real-Time Software Development
    Joon Sung Hong
    Hae-Sang Song
    Tag Gon Kim
    Kyu Ho Park
    Discrete Event Dynamic Systems, 1997, 7 : 355 - 375
  • [22] A real-time discrete event system specification formalism for seamless real-time software development
    Hong, JS
    Song, HS
    Kim, TG
    Park, KH
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1997, 7 (04): : 355 - 375
  • [23] Requirement specification and model-checking of a real-time scheduler implementation
    Boukir, Khaoula
    Bechennec, Jean-Luc
    Deplanche, Anne-Marie
    28TH INTERNATIONAL CONFERENCE ON REAL TIME NETWORKS AND SYSTEMS, RTNS 2020, 2020, : 89 - 99
  • [24] SPECIFICATION OF REAL-TIME SYSTEMS
    PATNAIK, LM
    MALL, R
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1993, 3 (02) : 267 - 285
  • [25] Real-time specification patterns
    Konrad, S
    Cheng, BHC
    ICSE 05: 27TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2005, : 372 - 381
  • [26] A real-time specification language
    do Amaral, FN
    Haeusler, EH
    Endler, M
    ADVANCES IN LOGIC, ARTIFICIAL INTELLIGENCE AND ROBOTICS, 2002, 85 : 194 - 201
  • [27] Multiobjective Optimization Approach for a Portable Development of Reconfigurable Real-Time Systems: From Specification to Implementation
    Lakhdhar, Wafa
    Mzid, Rania
    Khalgui, Mohamed
    Li, Zhiwu
    Frey, Georg
    Al-Ahmari, Abdulrahman
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2019, 49 (03): : 623 - 637
  • [28] VLSI implementation of a real-time operating system
    Nakano, T
    Komatsudaira, Y
    Shiomi, A
    Imai, M
    PROCEEDINGS OF THE ASP-DAC '97 - ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE 1997, 1996, : 679 - 680
  • [29] Real-time implementation of a color sorting system
    Srikanteswara, S
    Lu, Q
    King, W
    Drayer, T
    Conners, R
    Kline, E
    Araman, P
    MACHINE VISION APPLICATIONS, ARCHITECTURES, AND SYSTEMS INTEGRATION VI, 1997, 3205 : 170 - 179
  • [30] Numerical implementation of a real-time encryption system
    Ramirez-Torres, M. T.
    Mejia-Carlos, M.
    Murguia, J. S.
    INTERNATIONAL MEETING OF ELECTRICAL ENGINEERING RESEARCH 2012, 2012, 35 : 182 - 191
12345