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 条
  • [1] Extended quasi-static scheduling for formal synthesis and code generation of embedded software
    Su, FS
    Hsiung, PA
    [J]. CODES 2002: PROCEEDINGS OF THE TENTH INTERNATIONAL SYMPOSIUM ON HARDWARE/SOFTWARE CODESIGN, 2002, : 211 - 216
  • [2] Synthesis of real-time embedded software by timed quasi-static scheduling
    Hsiung, PA
    Su, FS
    [J]. 16TH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS, 2003, : 579 - 584
  • [3] Formal synthesis and code generation of embedded real-time software
    Hsiung, PA
    [J]. PROCEEDINGS OF THE NINTH INTERNATIONAL SYMPOSIUM ON HARDWARE/SOFTWARE CODESIGN, 2001, : 208 - 213
  • [4] Quasi-static scheduling for real-time systems with hard and soft tasks
    Cortés, LA
    Eles, P
    Peng, Z
    [J]. DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2004, : 1176 - 1181
  • [5] Real-time Embedded Software Architecture Modeling and Reliability Evaluation Based on Time-extended Petri Net
    Li, Hong-Bing
    Wang, Ming-Wei
    [J]. MATERIAL SCIENCE, CIVIL ENGINEERING AND ARCHITECTURE SCIENCE, MECHANICAL ENGINEERING AND MANUFACTURING TECHNOLOGY II, 2014, 651-653 : 1888 - 1892
  • [6] Real-time quasi-static ultrasound elastography
    Treece, Graham
    Lindop, Joel
    Chen, Lujie
    Housden, James
    Prager, Richard
    Gee, Andrew
    [J]. INTERFACE FOCUS, 2011, 1 (04) : 540 - 552
  • [7] Quasi-static scheduling for multiprocessor real-time systems with hard and soft tasks
    Cortés, LA
    Eles, P
    Peng, Z
    [J]. 11TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2005, : 422 - 428
  • [8] Quasi-dynamic scheduling for the synthesis of real-time embedded software with local and global deadlines
    Hsiung, PA
    Lin, CY
    Lee, TY
    [J]. REAL-TIME AND EMBEDDED COMPUTING SYSTEMS AND APPLICATIONS, 2003, 2968 : 229 - 243
  • [9] A formal software synthesis approach for embedded hard real-time systems
    Barreto, R
    Oliveira, M
    Tavares, E
    Neves, M
    Maciel, P
    Lima, R
    [J]. SBCCI2004:17TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS, 2004, : 163 - 168
  • [10] Formal design and verification of real-time embedded software
    Hsiung, PA
    Lin, SW
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2004, 3302 : 382 - 397
12345