Formal synthesis and code generation of real-time embedded software using time-extended quasi-static scheduling

被引：4
|
作者：
Hsiung, PA [1 ]
Lee, TY [1 ]
Su, FS [1 ]
机构：
[1] Natl Chung Cheng Univ, Dept Comp Sci & Informat Engn, Chiayi, Taiwan
来源：
APSEC 2002: NINTH ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE | 2002年
关键词：
real-time embedded software; Time Complex-Choice Petri Nets; time-extended quasi-static scheduling; code generation;
D O I：
10.1109/APSEC.2002.1183009
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The rapid escalation in complexity of real-time embedded systems design has made embedded software an integral system part such that formal software synthesis has become an indispensable design automation technique. The current work takes one more step forward in this research direction by proposing a formal synthesis method for complex real-time embedded software. Compared to previous work, our method not only synthesizes embedded software with complex interrelated branching choices for execution within a user-given memory bound, but also tries to guarantee the satisfaction of all user-given local and global time constraints. Our proposed method called Time-Extended Quasi-Static Scheduling (TEQSS) synthesizes real-time embedded software code from a set of Time Complex-Choice Petri Nets. The two most important issues in real-time embedded software, namely memory and time constraints are both elegantly and efficiently handled by TEQSS. We show the feasibility, of our method through a master-slave role switch application which is a part of the Bluetooth wireless communication protocol.
引用
收藏
页码：395 / 404
页数：10
相关论文
共 50 条
  • [31] Static priority scheduling of event-triggered real-time embedded systems
    Erbas, Cagkan
    Pimentel, Andy D.
    Cerav-Erbas, Selin
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2007, 30 (01) : 29 - 47
  • [32] Static priority scheduling of event-triggered real-time embedded systems
    Erbas, C
    Cerav-Erbas, S
    Pimentel, AD
    [J]. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, Proceedings, 2004, : 109 - 118
  • [33] Fault-tolerant static scheduling for real-time distributed embedded systems
    Girault, A
    Lavarenne, C
    Sighireanu, M
    Sorel, Y
    [J]. 21ST INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 2001, : 695 - 698
  • [34] Real-time multibody vehicle model with bush compliance effect using quasi-static analysis for HILS
    Sung-Soo Kim
    Wan Hee Jeong
    [J]. Multibody System Dynamics, 2009, 22 : 367 - 382
  • [35] Real-time multibody vehicle model with bush compliance effect using quasi-static analysis for HILS
    Kim, Sung-Soo
    Jeong, Wan Hee
    [J]. MULTIBODY SYSTEM DYNAMICS, 2009, 22 (04) : 367 - 382
  • [36] Real-time software synthesis
    Smith, D
    [J]. COMPUTER MUSIC JOURNAL, 1998, 22 (01) : 5 - 6
  • [37] Real-Time Extended Interface Automata for Software Testing Cases Generation
    Yang, Shunkun
    Xu, Jiaqi
    Man, Tianlong
    Liu, Bin
    [J]. SCIENTIFIC WORLD JOURNAL, 2014,
  • [38] On the complexity of scheduling conditional real-time code
    Chakraborty, S
    Erlebach, T
    Thiele, L
    [J]. ALGORITHMS AND DATA STRUCTURES, 2001, 2125 : 38 - 49
  • [39] Testing real-time embedded software using runtime enforcement
    Givel, Louis-Marie
    Bechennec, Jean-Luc
    Brun, Matthias
    Faucou, Sebastien
    Roux, Olivier H.
    [J]. 2016 11TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), 2016,
  • [40] Scheduling Issues in Embedded Real-Time Systems
    Ramanathan, Parmesh
    [J]. 2014 27TH INTERNATIONAL CONFERENCE ON VLSI DESIGN AND 2014 13TH INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS (VLSID 2014), 2014, : 2 - 2
12345