Abstract
In this work, we propose a complete methodology called RESS (Real-Time Embedded Software Synthesis) for the automatic design of real-time embedded software. Several issues are solved, including software synthesis, software verification, code generation, graphic user interface, and system emulation. To avoid design errors, a formal approach is adopted because glitches in real-time embedded software are intolerable and very expensive or even impossible to fix. Time Complex-choice Petri Nets are used to model real-time embedded software, which are then synthesized using a time extended quasi static scheduling algorithm. The final generated C code is prototyped on an emulation platform, which consists of an 89C51 microcontroller for executing the software, an FPGA chip for programming the hardware for different applications, and some input/output devices. Two application examples are used to illustrate the feasibility of the RESS methodology.
This work was partially supported by research project grant NSC-90-2218-E-014-009 from National Science Council, Taiwan, ROC.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Altisen, K., Gobler, G., Pneuli, A., Sifakis, J., Tripakis, S., Yovine, S.: A framework for scheduler synthesis. In: Proceedings of the Real-Time System Symposium (RTSS 1999). IEEE Computer Society Press, Los Alamitos (1999)
Balarin, F., Chiodo, M.: Software synthesis for complex reactive embedded systems. In: Proceedings of International Conference on Computer Design (ICCD 1999), pp. 634–639. IEEE CS Press, Los Alamitos (1999)
Cortes, L.A., Eles, P., Peng, Z.: Formal co-verification of embedded systems using model checking. In: Proceedings of EUROMICRO, pp. 106–113 (2000)
Hsiung, P.-A.: Formal synthesis and code generation of embedded real-time software. In: International Symposium on Hardware/Software Codesign (CODES 2001), Copenhagen, Denmark, pp. 208–213. ACM Press, New York (2001)
Hsiung, P.-A., See, W.-B., Lee, T.-Y., Fu, J.-M., Chen, S.-J.: Formal verification of embedded real-time software in component-based application frameworks. In: Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), Macau, China, pp. 71–78. IEEE CS Press, Los Alamitos (2001)
Sgroi, M., Lavagno, L.: Synthesis of embedded software using free-choice Petri nets. In: IEEE/ACM 36th Design Automation Conference (DAC 1999), June 1999, pp. 805–810 (1999)
Lee, T.-Y., Hsiung, P.-A., Chen, S.-J.: A case study in codesign of distributed systems — vehicle parking management system. In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 1999), Las Vegas, USA, pp. 2982–2987. CSREA Press (1999)
Hsiung, P.-A.: Formal Synthesis and Control of Soft Embedded Real-Time Systems. In: Proceedings 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2001), Cheju Island, Korea, pp. 35–50. Kluwer Academic Publishers, Dordrecht (2001)
Buck, J.: Scheduling dynamic dataflow graphs with bounded memory using the token flow model. Ph. D, dissertation, UC Berkeley (1993)
Thoen, F., et al.: Real-time multi-tasking in software synthesis for information processing systems. In: Proceeding of the International System Synthesis Symposium, pp. 48–53 (1995)
Lin, B.: Software synthesis of process-based concurrent programs. In: IEEE/ACM 35th Design Automation Conference (DAC 1998), June 1998, pp. 502–505 (1998)
Zhu, X., Lin, B.: Compositional software synthesis of communicating processes. In: IEEE International Conference on Computer Design, October 1999, pp. 646–651 (1999)
Su, F.-S., Hsiung, P.-A.: Extended quasi-static scheduling for formal synthesis and code generation of embedded software. In: Proceedings of the 10th IEEE/ACM International Symposium on Hardware/Software Codesign (CODES 2002), Colorado, USA, pp. 211–216. IEEE CS Press, Los Alamitos (2002)
Gau, C.-H., Hsiung, P.-A.: Time-memory scheduling and code generation of real-time embedded software. In: Proceedings of the 8th International Conference on Real-Time Computing Systems and Applications (RTCSA 2002), Tokyo, Japan, March 2002, pp. 19–27 (2002)
Balarin, F., et al.: Hardware-software Co-design of Embedded Systems: the POLIS Approach. Kluwer Academic Publishers, Dordrecht (1997)
Hsiung, P.-A., Gau, C.-H.: Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets. In: Proceedings of the Workshop on Theory and Practice of Timed Systems (TPTS 2002), Grenoble, France, April 2002. Electronic Notes in Theoretical Computer Science, ENTCS (2002)
Hsiung, P.-A., Lee, T.-Y., Su, F.-S.: Formal Synthesis and Code Generation of Real- Time Embedded Software using Time-Extended Quasi-Static Scheduling. In: Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), Queensland, Australia. IEEE CS Press, Los Alamitos (2002)
Baleani, M., Gennari, F., Yunjian, J., Patel, Y., Brayton, R.K., Sangiovanni-Vincentelli, A.: HW/SW partitioning and code generation of embedded control applications on a reconfigurable architecture platform. In: Proceedings of the Tenth International Symposium on Hardware/Software Codesign (CODES 2002), Colorado, USA, pp. 151–156. IEEE CS Press, Los Alamitos (2002)
Tsasakou, S., Voros, N.S., Koziotis, M., Verkest, D., Prayati, A., Birbas, A.: Hardwaresoftware co-design of embedded systems using CoWare’s N2C methodology for application development. In: Proceedings of the 6th IEEE International Conference on Electronics, Circuits and Systems (ICECS 1999), Pafos, Cyprus, vol. 1, pp. 59–62. IEEE CS Press, Los Alamitos (1999)
Wang, F., Hsiung, P.-A.: Efficient and User-Friendly Verification. IEEE Transactions on Computers 51(1), 61–83 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lee, TY., Hsiung, PA., Wu, IM., Su, FS. (2004). RESS: Real-Time Embedded Software Synthesis and Prototyping Methodology. In: Chen, J., Hong, S. (eds) Real-Time and Embedded Computing Systems and Applications. RTCSA 2003. Lecture Notes in Computer Science, vol 2968. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24686-2_33
Download citation
DOI: https://doi.org/10.1007/978-3-540-24686-2_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21974-3
Online ISBN: 978-3-540-24686-2
eBook Packages: Springer Book Archive