Jay Parlar

Formal synthesis and code generation of embedded real-time software

Authors:

• Hisung, Pao-Ann

Description:

Need to read Abstract: Due to rapidly increasing system complexity, shortening time-to-market, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of embedded systems, which must satisfy stringent temporal, memory, and environment constraints. There is a general lack of practical formal methods that can synthesize complex embedded real-time software (ERTS). In this work, a formal method based on Time Free-Choice Petri Nets (TFCPN) is proposed for ERTS synthesis. The synthesis method employs quasi-static data scheduling for satisfying limited embedded memory requirements and uses dynamic real-time scheduling for satisfying hard real-time constraints. Software code is then generated from a set of quasi-statically and dynamically scheduled TFCPNs. Finally, an application example is given to illustrate the feasibility of the proposed TFCPN-based formal method for ERTS synthesis.

Published

2001-01-01

Discovered

2006-07-03

Tags:

code_generation, embedded

Bibtex

@inproceedings{371729,
 author = {Pao-Ann Hsiung},
 title = {Formal synthesis and code generation of embedded real-time software},
 booktitle = {CODES '01: Proceedings of the ninth international symposium on Hardware/software codesign},
 year = {2001},
 isbn = {1-58113-364-2},
 pages = {208--213},
 location = {Copenhagen, Denmark},
 doi = {http://doi.acm.org/10.1145/371636.371729},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

    

---

---