Formal synthesis of real-time embedded software by time-memory scheduling of colored time Petri nets

Electronic Notes in Theoretical Computer Science

Volumn 65, Issue 6, 2002, Pages 140-159

  Hsiung, Pao Ann ^a   Gau, Chuen Hau ^a  

^a NATIONAL CHUNG CHENG UNIVERSITY   (Taiwan)

Author keywords

Code generation; Colored time Petri nets; Quasi static scheduling; Real time embedded software

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; EMBEDDED SYSTEMS; INTERNET; PETRI NETS; REAL TIME SYSTEMS; TREES (MATHEMATICS);

CODE GENERATION; COLORED TIME PETRI NETS; QUASI-STATIC SCHEDULING; REAL-TIME EMBEDDED SOFTWARE;

COMPUTER SOFTWARE;

EID: 11244282327     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80474-2     Document Type: Conference Paper

References (22)

1. Altisen K., G. Gössler, A. Pnueli, J. Sifakis, S. Tripakis and S. Yovine, A framework for scheduler synthesis, in: Real-Time System Symposium (RTSS'99) (1999).
2. Balarin F. and M. Chiodo, Software synthesis for complex reactive embedded systems, in: Proc. of International Conference on Computer Design (ICCD'99) (1999), pp. 634-639.
3. Balarin F., et al. "Hardware-software Co-design of Embedded Systems: the POLIS approach" 1997;Kluwer Academic Publishers
4. Berthomieu B., Diaz D. Modeling and verification of time dependent systems using time petri nets. IEEE Transactions on Software Engineering. 17:1991;259-275
5. Berthomieu B. and M. Menasche, An enumerative approach for analyzing time petri nets, in: Proc. of the IFIP Congress, 1983.
6. Coppo P., M. D'Ambrosio and V. Vercellone, The A-VPN server: a solution for ATM virtual private networks, in: Proc. Singapore ICCS'94, 1994.
7. Cortadella J., A. Kondratyev, L. Lavagno, M. Massot, S. Moral, C. Passerone, Y. Watanabe and A. Sangiovanni-Vincentelli, Task generation and compile-time scheduling for mixed data-control embedded software, in: Proc. Design Automation Conference (DAC'00), 2000.
8. Fu J.-M., Lee T.-Y., Hsiung P.-A., Chen S.-J. Hardware-software timing coverification of distributed embedded systems. IEICE Trans. on Information and Systems. E83-D:2000;1731-1740
9. Hsiung P.-A., Timing coverification of concurrent embedded real-time systems, in: Proc. of the 7th IEEE/ACM International Workshop on Hardware Software Codesign (CODES'99) (1999), pp. 110-114.
10. Hsiung P.-A. CMAPS: A cosynthesis methodology for application-oriented parallel systems. ACM Transactions on Design Automation of Electronic Systems. 5:2000;51-81
11. Hsiung P.-A. Embedded software verification in hardware-software codesign. Journal of Systems Architecture - the Euromicro Journal. 46:2000;1435-1450
12. Hsiung P.-A., Hardware-software timing coverification of concurrent embedded realtime systems, IEE Proceedings - Computers and Digital Techniques 147 (2000), pp. 81-90.
13. Hsiung P.-A., Synthesis of parametric embedded real-time systems, in: Proc. of the International Computer Symposium (ICS'00), Workshop on Computer Architecture (ISBN 957-02-7308-9), 2000, pp. 144-151.
14. Hsiung P.-A., Formal synthesis and code generation of embedded real-time software, in: Proc. ACM/IEEE 9th International Symposium on Hardware/Software Codesign (CODES'01),(Copenhagen, Denmark) (2001), pp. 208-213.
15. Hsiung P.-A., Formal synthesis and control of soft embedded real-time systems, in: Proc. 21st International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'01), (Cheju Island, Korea) (2001), pp. 35-50.
16. Lin B., Software synthesis of process-based concurrent programs, in: Proc. of Design Automation Conference (DAC'98) (1998), pp. 502 - 505.
17. Maler O., A. Pnueli and J. Sifakis, On the synthesis of discrete controllers for timed systems, in: 12th Annual Symposium on Theoretical Aspects of Computer Science (STACS'95), Lecture Notes in Computer Science 900, 1995, pp. 229 - 242.
18. Merlin P., Bochman G. On the construction of submodule specifications and communication protocols. ACM Trans. on Programming Languages and Systems. 5:1983;1-25
19. Merlin P., Farber D. Recoverability of communication protocols - implication of a theoretical study. IEEE Transactions on Communications. 1976
20. Sgroi M., "Quasi-Static Scheduling of Embedded Software Using Free-Choice Petri Nets," Master's thesis, Dept. of Electrical Engineering and Computer Science, Univ. of California at Berkeley (1999).
21. Sgroi M., L. Lavagno, Y. Watanabe and A. Sangiovanni-Vincentelli, Synthesis of embedded software using free-choice Petri nets, in: Proc. Design Automation Conference (DAC'99) (1999).
22. Zhu X. and B. Lin, Compositional software synthesis of communicating processes, in: Proc. of International Conference on Computer Design (ICCD'99) (1999), pp. 646 - 651.