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] Two Idea Implementation of Real-Time Systems
    Konczak, Piotr
    Zabierowski, Wojciech
    [J]. TEM JOURNAL-TECHNOLOGY EDUCATION MANAGEMENT INFORMATICS, 2012, 1 (03): : 188 - 191
  • [22] The use of aggregate approach for formal specification and simulation of real-time systems
    Pranevicius, H
    Makackas, D
    [J]. DATABASES AND INFORMATION SYSTEMS, 2001, : 189 - 198
  • [23] Specification and analysis of real-time systems using csp and petri nets
    Kavi, KM
    Sheldon, FT
    Reed, S
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1996, 6 (02) : 229 - 248
  • [24] A framework for specification and validation of real-time systems using circus actions
    Sherif, A
    He, JF
    Cavalcanti, A
    Sampaio, A
    [J]. THEORETICAL ASPECTS OF COMPUTING - ICTAC 2004, 2005, 3407 : 478 - 493
  • [25] Improving Real-time Software Quality by Direct Specification of Timing Requirements
    Korsgaard, Martin
    Skavhaug, Amund
    Hendseth, Sverre
    [J]. 2009 35TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, PROCEEDINGS, 2009, : 528 - 536
  • [26] Modular Design and Real-Time Simulators Toward Power System Digital Twins Implementation
    Arrano-Vargas, Felipe
    Konstantinou, Georgios
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2023, 19 (01) : 52 - 61
  • [27] Implementation of Digital Beamforming System for Microwave Power Transfer With Real-Time Beam Scanning
    Ahn, Minjae
    Park, Inho
    Sohn, Illsoo
    Shin, Oh-Soon
    Ku, Hyunchul
    [J]. IEEE ACCESS, 2023, 11 : 27280 - 27289
  • [28] Research and Implementation of a USB Interfaced Real-Time Power Quality Disturbance Classification System
    Gok, Mehmet
    Sefa, Ibrahim
    [J]. ADVANCES IN ELECTRICAL AND COMPUTER ENGINEERING, 2017, 17 (03) : 61 - 70
  • [29] Real-time implementation of fault diagnosis to a heat exchanger
    Persin, S
    Tovornik, B
    [J]. CONTROL ENGINEERING PRACTICE, 2005, 13 (08) : 1061 - 1069
  • [30] Optimal implementation of real-time GPS signal simulator
    Vaidehi, V
    Prasad, SVMK
    Ramakrishna, PV
    Krishnan, CN
    [J]. International Conference on Computing, Communications and Control Technologies, Vol 3, Proceedings, 2004, : 139 - 144
12345