Real-time embedded software design for mobile and ubiquitous systems

Journal of Signal Processing Systems

Volumn 59, Issue 1, 2010, Pages 13-32

  Hsiung, Pao Ann ^a   Lin, Shang Wei ^a   Lin, Chao Sheng ^a  

^a NATIONAL CHUNG CHENG UNIVERSITY   (Taiwan)

Author keywords

Application framework; Code generation; Formal synthesis; Formal verification; Real time embedded software; Scheduling; Software components; UML modeling

Indexed keywords

APPLICATION FRAMEWORKS; CODE GENERATION; FORMAL SYNTHESIS; FORMAL VERIFICATIONS; REAL-TIME EMBEDDED SOFTWARE; SCHEDULING SOFTWARE; UML MODELING;

COMPUTER SOFTWARE REUSABILITY; COMPUTER SOFTWARE SELECTION AND EVALUATION; DESIGN; EMBEDDED SYSTEMS; NETWORK COMPONENTS; REAL TIME SYSTEMS; SCHEDULING; SOFTWARE DESIGN; UBIQUITOUS COMPUTING; VERIFICATION;

EMBEDDED SOFTWARE;

EID: 77951256632     PISSN: 19398018     EISSN: 19398115     Source Type: Journal    
DOI: 10.1007/s11265-008-0268-5     Document Type: Conference Paper

References (26)

1. R. Alur D. Dill 1994 Automata for modeling real-time systems Theoretical Computer Science 126 2 183 236 0803.68071 10.1016/0304-3975(94)90010-8 1271580 (April)
2. Amnell, T., Fersman, E., Mokrushin, L., Petterson, P., & Yi, W. (2003). TIMES: a tool for schedulability analysis and code generation of real-time systems. In Proceedings of the 1st international workshop on formal modeling and analysis of timed systems (September).
3. Brinkschulte, U., Bechina, A., Keith, B., Picioroaga, F., & Schneider, E. (2002). A middleware architecture for ubiquitous computing systems with real-time needs. In Proceedings of the IAR workshop. Institute for Automation and Robotic Research, France (November).
4. Clarke, E. M., Grumberg, O., & Peled, D. A. (1999). Model checking. Cambridge: MIT.
5. de Niz, D., & Rajkumar, R. (2003). Time weaver: A software-through-models framework for embedded real-time systems. In Proceedings of the international workshop on languages, compilers, and tools for embedded systems (pp. 133-143) (June).
6. Douglass, B. P. (1999). Doing hard time: Developing real-time systems with UML, objects, frameworks, and patterns. Redwood City: Addison Wesley (November).
7. Estevez-Ayres, I., Garcia-Vails, M., & Basanta-Val, P. (2005). Static composition of service-based real-time applications. In Proceedings of the 3rd IEEE workshop on software technologies for future embedded and ubiquitous systems (pp. 11-15). Silver Spring: IEEE Computer Society (May). (Pubitemid 43803573)
8. Henzinger, T. A., Qadeer, S., & Rajamani, S. K. (2000). Decomposing refinement proofs using assume-guarantee reasoning. In Proceedings of the IEEE/ACM international conference on computer-aided design (ICCAD'00) (pp. 245-252).
9. P. A. Hsiung 2000 Embedded software verification in hardware-software codesign Journal of Systems Architecture-the Euromicro Journal 46 15 1435 1450 10.1016/S1383-7621(00)00034-5 (November) (Pubitemid 32086762)
10. Hsiung, P. A., & Cheng, S. Y. (2003). Automating formal modular verification of asynchronous real-time embedded systems. In Proceedings of the 16th international conference on VLSI design, (VLSI'2003) (pp. 249-254). Silver Spring: IEEE Computer Society (January).
11. Hsiung, P. A., & Lin, C. Y. (2003). Synthesis of real-time embedded software with local and global deadlines. In Proceedings of the 1st ACM/IEEE/IFIP international conference on hardware-software codesign and system synthesis (pp. 114-119). New York: ACM (October).
12. Hsiung, P. A. Lin, C. Y., & Lee, T. Y. (2003). Quasi-dynamic scheduling for the synthesis of real-time embedded software with local and global deadlines. In Proceedings of the 9th international conference on real-time and embedded computing systems and applications (RTCSA'2003) (February).
13. Ishikawa, H., Ogata, Y., Adachi, K., & Nakajima, T. (2003). Requirements for a component framework of future ubiquitous computing. In Proceedings of the IEEE workshop on software technologies for future embedded systems (pp. 9-12). Silver Spring: IEEE Computer Society (May).
14. Kwak, J.-Y., Sul, D.-M., Ahn, S.-H., & Kim, D.-H. (2003). An embedded software architecture for connected multimedia services in ubiquitous network environment. In Proceedings of the IEEE workshop on software technologies for future embedded systems (pp. 61-64). Silver Spring: IEEE Computer Society (May).
15. C. Liu J. Layland 1973 Scheduling algorithms for multiprogramming in a hard-real time environment Journal of the Association for Computing Machinery 20 46 61 0265.68013 343898 (January)
16. M. Fayad D. Schmidt 1997 Object-oriented application frameworks Communications of the ACM, Special Issue on Object-Oriented Application Frameworks 40 32 38 (October)
17. Niemelä, E., & Latvakoski, J. (2004). Survey of requirements and solutions for ubiquitous software. In Proceedings of the 3rd international conference on mobile and ubiquitous multimedia (pp. 71-78). New York: ACM (October).
18. Rumbaugh, J., Booch, G., & Jacobson, I. (1999). The UML reference guide. Don Mills: Addison Wesley Longman.
19. K. Sakamura N. Koshizuka 2002 T-Engine: The open, real-time embedded-systems platform IEEE Micro 22 6 48 57 10.1109/MM.2002.1134343 (December)
20. Samek, M. (2002). Practical statecharts in C/C++ quantum programming for embedded systems. San Francisco: CMP Books.
21. Shen, T. Y. (2003). Assume-guarantee based formal verification of hierarchical software designs. Master's thesis, Dept. of CSIE, National Chung Cheng University (July).
22. Su, F. S., & Hsiung, P. A. (2002). 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'02) (pp. 211-216). New York: ACM (May).
23. Szyperski, C. (2002). Component software: Beyond object-oriented programming. Reading: Addison-Wesley.
24. F. Wang P.A. Hsiung 2002 Efficient and user-friendly verification IEEE Transactions on Computers 51 1 61 83 10.1109/12.980017 1873316 (January) (Pubitemid 34129843)
25. Yau, S. S., & Karim, F. (2001). Context-sensitive middleware for real-time software in ubiquitous computing environments. In Proceedings of the 4th international symposium on object-oriented real-time distributed computing (ISORC) (pp. 163-170). Silver Spring: IEEE Computer Society, (May).
26. Zulkernine, M., & Seviora, R. E. (2001). Assume-guarantee supervisor for concurrent systems. In Proceedings of the 15th international parallel and distributed processing symposium (pp. 1552-1560) (April).