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 条
  • [41] A specification framework for real-time scheduling
    Subramani, K
    SOFSEM 2002: THEORY AND PRACTICE OF INFORMATICS, 2002, 2540 : 195 - 207
  • [42] Real-Time Specification Patterns and Tools
    Abid, Nouha
    Dal Zilio, Silvano
    Le Botlan, Didier
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS 2012), 2012, 7437 : 1 - 15
  • [43] Real-Time Animation for Formal Specification
    Mery, Dominique
    Singh, Neeraj Kumar
    COMPLEX SYSTEMS DESIGN AND MANAGEMENT, 2010, : 49 - 60
  • [44] Real-time specification using Lucid
    Skillicorn, D.B., 1600, (15):
  • [45] MULTILEVEL SPECIFICATION OF REAL-TIME SYSTEMS
    GABRIELIAN, A
    FRANKLIN, MK
    COMMUNICATIONS OF THE ACM, 1991, 34 (05) : 50 - 60
  • [46] An overview of the real-time CORBA specification
    Schmidt, DC
    Kuhns, F
    COMPUTER, 2000, 33 (06) : 56 - +
  • [47] SPECIFICATION OF REAL-TIME PROBABILISTIC BEHAVIOR
    FANG, M
    HOSTUART, CJ
    ZEDAN, HSM
    PROTOCOL SPECIFICATION, TESTING AND VERIFICATION, XIII, 1993, 16 : 143 - 157
  • [48] SPECIFICATION TECHNIQUES FOR REAL-TIME SYSTEMS
    LUDEWIG, J
    MATHEIS, H
    COMPUTER STANDARDS & INTERFACES, 1987, 6 (01) : 115 - 133
  • [49] The real-time specification for Java']Java
    Bollella, G
    Gosling, J
    COMPUTER, 2000, 33 (06) : 47 - +
  • [50] Specification of real-time interaction constraints
    Nielsen, B
    Ren, SP
    Agha, G
    FIRST INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC '98), 1998, : 206 - 214
12345