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 条
  • [31] Real-Time Optimal Control and Controller Design on Embedded Systems
    Rath, Gerhard
    [J]. 2015 4TH MEDITERRANEAN CONFERENCE ON EMBEDDED COMPUTING (MECO), 2015, : 60 - 63
  • [32] EXECUTABLE MODELING AIDS DESIGN OF REAL-TIME EMBEDDED SYSTEMS
    HARDING, B
    [J]. COMPUTER DESIGN, 1988, 27 (22): : 48 - 49
  • [33] Real-time embedded software design for mobile and ubiquitous systems
    Hsiung, Pao-Ann
    Lin, Shang-Wei
    Hung, Chin-Chieh
    Fu, Jih-Ming
    Lin, Chao-Sheng
    Chiang, Cheng-Chi
    Chiang, Kuo-Cheng
    Lu, Chun-Hsien
    Lu, Pin-Hsien
    [J]. EMBEDDED AND UBIQUITOUS COMPUTING, PROCEEDINGS, 2007, 4808 : 718 - 729
  • [34] Design and optimization for embedded and real-time computing systems and applications
    Lee, Jongeun
    Goddard, Steve
    Kuo, Chin-Fu
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2014, 60 (02) : 151 - 151
  • [35] Real-Time Embedded Software Design for Mobile and Ubiquitous Systems
    Pao-Ann Hsiung
    Shang-Wei Lin
    Chao-Sheng Lin
    [J]. Journal of Signal Processing Systems, 2010, 59 : 13 - 32
  • [36] Schedulability analysis and design of real-time embedded systems with partitions
    Doose, D
    Mammeri, Z
    [J]. DESIGN METHODS AND APPLICATIONS FOR DISTRIBUTED EMBEDDED SYSTEMS, 2004, 150 : 167 - 176
  • [37] Platform-independent design for embedded real-time systems
    Huang, JF
    Voeten, JPM
    Ventevogel, A
    van Bokhoven, L
    [J]. LANGUAGES FOR SYSTEM SPECIFICATION: SELECTED CONTRIBUTIONS ON UML, SYSTEMC, SYSTEM VERILOG, MIXED-SIGNAL SYSTEMS, AND PROPERTY SPECIFICATION FROM FDL'03, 2004, : 35 - 50
  • [38] Modelling and analysis of real time and embedded systems - Using UML
    Graf, Susanne
    Gerard, Sebastien
    Haugen, Oystein
    Ober, Iulian
    Selic, Bran
    [J]. MODELS IN SOFTWARE ENGINEERING, 2007, 4364 : 126 - +
  • [39] Tucan Virtual prototype generation and time constraints analysis of real-time embedded systems
    Hoyos-Rodriguez, Horacio
    Jimenez, Fernando
    Casallas, Rubby
    Correal, Dario
    [J]. DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2013, 17 (01) : 129 - 165
  • [40] Non-Functional Constraints Annotation to Real-Time Embedded System Design
    Ribeiro, Fabiola Goncalves C.
    Rettberg, Achim
    Pereira, Carlos E.
    Steinmetz, Charles
    Soares, Michel S.
    [J]. 2018 VIII BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEMS ENGINEERING (SBESC 2018), 2018, : 219 - 224
12345