Modelling of real-time constraints using SOL for embedded systems design

被引：2
|
作者：
Alkhodre, A [1 ]
Babau, JP [1 ]
Schwarz, JJ [1 ]
机构：
[1] Inst Natl Sci Appl, Lab L3I, F-69621 Villeurbanne, France
来源：
COMPUTING & CONTROL ENGINEERING JOURNAL | 2002年 / 13卷 / 04期
关键词：
D O I：
10.1049/cce:20020405
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The use of SDL has arisen as a promising way of dealing with the increasing complexity of embedded real-time systems. However, SDL does not take into account non-functional aspects, such as the time requirements, that are especially important in the context of real-time systems. Furthermore, the associated code generators do not integrate the management of temporal constraints. A real-time semantic extension to SDL for real-time systems modelling is proposed. The real time profile is added to SDL in order to prepare the real-time code generation. To illustrate the proposal, an example of a speed regulator is presented.
引用
收藏
页码：189 / 196
页数：8
相关论文
共 50 条
  • [1] Validating real-time constraints in embedded systems
    Shyamasundar, RK
    Aghav, JV
    [J]. 2001 PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, 2001, : 347 - 355
  • [2] Co-design of Real-time Embedded Systems under Reliability Constraints
    Zorin, Daniil A.
    Kostenko, Valery A.
    [J]. 11TH IFAC/IEEE INTERNATIONAL CONFERENCE ON PROGRAMMABLE DEVICES AND EMBEDDED SYSTEMS (PDES 2012), 2012,
  • [3] A design framework for real-time embedded systems with code size and energy constraints
    Lee, Sheayun
    Shin, Insik
    Kim, Woonseok
    Lee, Insup
    Min, Sang Lyul
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2008, 7 (02)
  • [4] Compositional verification of timing constraints for embedded real-time systems
    Guo, Hui
    Lee, Woo Jin
    [J]. PROCEEDINGS OF THE 6TH WSEAS INTERNATIONAL CONFERENCE ON APPLIED COMPUTER SCIENCE, 2007, : 571 - +
  • [5] Probabilistic modelling and evaluation of soft real-time embedded systems
    Florescu, Oana
    de Hoon, Menno
    Voeten, Jeroen
    Corporaal, Henk
    [J]. EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, PROCEEDINGS, 2006, 4017 : 206 - 215
  • [6] An open simulation and modelling environment for embedded real-time systems
    van Almsick, W
    Drabe, T
    Daehn, W
    Muller-Schloer, C
    [J]. NINTH INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING - PROCEEDINGS, 1998, : 95 - 100
  • [7] Integrated design approach for real-time embedded systems
    Loughborough University
    [J]. IEE Proc Software, 2 (75-85):
  • [8] Research on Modeling and Design of Real-Time Embedded Systems
    Shen Yuncheng
    [J]. 2014 7TH INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTATION TECHNOLOGY AND AUTOMATION (ICICTA), 2014, : 547 - 550
  • [9] Application of CFSMcharts for modelling real-time and industrial embedded systems
    Roop, PS
    Sowmya, A
    Mormanis, GC
    Baldwin, SS
    [J]. DISTRIBUTED COMPUTER CONTROL SYSTEMS 1998, 1999, : 91 - 98
  • [10] A real-time scheduler design for a class of embedded systems
    Song, Insop
    Kim, Sehjeong
    Karray, Fakhreddine
    [J]. IEEE-ASME TRANSACTIONS ON MECHATRONICS, 2008, 13 (01) : 36 - 45
12345