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] An interval logic for real-time system specification
    Mattolini, R
    Nesi, P
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2001, 27 (03) : 208 - 227
  • [2] RTPA: A new approach to real-time system specification
    Wang, YX
    IEEE CCEC 2002: CANADIAN CONFERENCE ON ELECTRCIAL AND COMPUTER ENGINEERING, VOLS 1-3, CONFERENCE PROCEEDINGS, 2002, : 663 - 668
  • [3] Comments on "An interval logic for real-time system specification"
    Furia, CA
    Morzenti, A
    Pradella, M
    Rossi, MG
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2006, 32 (06) : 424 - 427
  • [4] Communicating TILCO: a model for real-time system specification
    Bellini, P
    Nesi, P
    SEVENTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2001, : 4 - 14
  • [5] SPECIFICATION OF REAL-TIME SYSTEMS
    PATNAIK, LM
    MALL, R
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1993, 3 (02) : 267 - 285
  • [6] 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
  • [7] MULTILEVEL SPECIFICATION OF REAL-TIME SYSTEMS
    GABRIELIAN, A
    FRANKLIN, MK
    COMMUNICATIONS OF THE ACM, 1991, 34 (05) : 50 - 60
  • [8] SPECIFICATION OF REAL-TIME BROADCAST NETWORKS
    JAIN, P
    LAM, SS
    IEEE TRANSACTIONS ON COMPUTERS, 1991, 40 (04) : 404 - 422
  • [9] A property specification pattern catalog for real-time system verification with UPPAAL
    Vogel, Thomas
    Carwehl, Marc
    Rodrigues, Genaina Nunes
    Grunske, Lars
    INFORMATION AND SOFTWARE TECHNOLOGY, 2023, 154
  • [10] MODECHART - A SPECIFICATION LANGUAGE FOR REAL-TIME SYSTEMS
    JAHANIAN, F
    MOK, AK
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 20 (12) : 933 - 947
12345