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] Real-Time Implementation Of Face Recognition System
    Borkar, Neel Ramakant
    Kuwelkar, Sonia
    2017 INTERNATIONAL CONFERENCE ON COMPUTING METHODOLOGIES AND COMMUNICATION (ICCMC), 2017, : 249 - 255
  • [32] A parallel beamforming system with real-time implementation
    Yiu, K. F. C.
    MULTIMEDIA TOOLS AND APPLICATIONS, 2019, 78 (16) : 23581 - 23595
  • [33] A parallel beamforming system with real-time implementation
    K. F. C. Yiu
    Multimedia Tools and Applications, 2019, 78 : 23581 - 23595
  • [34] Implementation Correctness of a Real-Time Operating System
    Daum, Matthias
    Schirmer, Norbert W.
    Schmidt, Mareike
    SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2009, : 23 - +
  • [35] Employing a real-time system specification for the development of FRTS systems
    Anagnostopoulos, D
    Dalakas, V
    Nikolaidou, M
    Vescoukis, V
    MODELLING AND SIMULATION 2002, 2002, : 72 - 79
  • [36] Reply to comments on "An interval logic for real-time system specification"
    Bellini, Pierfrancesco
    Nesi, Paolo
    Rogai, Davide
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2006, 32 (06) : 428 - 431
  • [37] Specification and analysis of real-time systems using Real-Time Maude
    Ölveczky, PC
    Meseguer, J
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 2984 : 354 - 358
  • [38] Performance analysis of the Sporadic Server Implementation in Real-Time Specification for Java']Java
    Tripode, Carlos M.
    Santos, Rodrigo
    Orozco, Javier
    2011 BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEM ENGINEERING (SBESC), 2011, : 93 - 95
  • [39] SPECIFICATION OF REAL-TIME BROADCAST NETWORKS
    JAIN, P
    LAM, SS
    IEEE TRANSACTIONS ON COMPUTERS, 1991, 40 (04) : 404 - 422
  • [40] REAL-TIME SPECIFICATION USING LUCID
    SKILLICORN, DB
    GLASGOW, JI
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1989, 15 (02) : 221 - 229
12345