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 条
  • [1] THE DESIGN OF REAL-TIME SYSTEMS - FROM SPECIFICATION TO IMPLEMENTATION AND VERIFICATION
    KOPETZ, H
    ZAINLINGER, R
    FOHLER, G
    KANTZ, H
    PUSCHNER, P
    SCHUTZ, W
    SOFTWARE ENGINEERING JOURNAL, 1991, 6 (03): : 72 - 82
  • [2] Specification and simulation of a concurrent real-time system
    Li, XS
    INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1999, : 197 - 204
  • [3] DETECTION OF CYCLE IN REAL-TIME SYSTEM SPECIFICATION
    KIRNER, TG
    SIGPLAN NOTICES, 1994, 29 (07): : 43 - 50
  • [4] The specification of the embedded system of real-time IR
    Zhu, Yong
    DCABES 2007 Proceedings, Vols I and II, 2007, : 1242 - 1244
  • [5] An interval logic for real-time system specification
    Mattolini, R
    Nesi, P
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2001, 27 (03) : 208 - 227
  • [6] Towards real-time system specification and design
    Schmerler, S
    Tanurhan, Y
    MullerGlaser, KD
    PROCEEDINGS OF THE 1996 IPC CONFERENCE AND EXPOSITION, 1996, : 1 - 8
  • [7] Temporal logics for real-time system specification
    Bellini, P
    Mattolini, R
    Nesi, P
    ACM COMPUTING SURVEYS, 2000, 32 (01) : 12 - 42
  • [8] From hybrid system simulation to real-time implementation
    Djenidi, R
    Lavarenne, C
    Nikoukhah, R
    Sorel, Y
    Steer, S
    SIMULATION IN INDUSTRY'99: 11TH EUROPEAN SIMULATION SYMPOSIUM 1999, 1999, : 84 - 87
  • [9] Intertwining Implementation with the RealSpec Executable Real-Time Specification Language
    Khwaja, Amir A.
    Urban, Joseph E.
    22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING & KNOWLEDGE ENGINEERING (SEKE 2010), 2010, : 649 - 652
  • [10] A MIXED IMPLEMENTATION OF A REAL-TIME SYSTEM
    ANDRE, C
    FANCELLI, L
    MICROPROCESSING AND MICROPROGRAMMING, 1990, 30 (1-5): : 397 - 402
12345