{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,20]],"date-time":"2023-05-20T02:12:03Z","timestamp":1684548723627},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2008,9,23]],"date-time":"2008-09-23T00:00:00Z","timestamp":1222128000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Sign Process Syst Sign Image Video Technol"],"published-print":{"date-parts":[[2010,4]]},"DOI":"10.1007\/s11265-008-0268-5","type":"journal-article","created":{"date-parts":[[2008,9,22]],"date-time":"2008-09-22T20:33:44Z","timestamp":1222115624000},"page":"13-32","source":"Crossref","is-referenced-by-count":3,"title":["Real-Time Embedded Software Design for Mobile and Ubiquitous Systems"],"prefix":"10.1007","volume":"59","author":[{"given":"Pao-Ann","family":"Hsiung","sequence":"first","affiliation":[]},{"given":"Shang-Wei","family":"Lin","sequence":"additional","affiliation":[]},{"given":"Chao-Sheng","family":"Lin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,9,23]]},"reference":[{"issue":"2","key":"268_CR1","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., & Dill, D. (1994). Automata for modeling real-time systems. Theoretical Computer Science, 126(2), 183\u2013236 (April).","journal-title":"Theoretical Computer Science"},{"key":"268_CR2","unstructured":"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)."},{"key":"268_CR3","unstructured":"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)."},{"key":"268_CR4","volume-title":"Model checking","author":"E. M. Clarke","year":"1999","unstructured":"Clarke, E. M., Grumberg, O., & Peled, D. A. (1999). Model checking. Cambridge: MIT."},{"key":"268_CR5","doi-asserted-by":"crossref","unstructured":"de\u00a0Niz, 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\u2013143) (June).","DOI":"10.1145\/780732.780751"},{"key":"268_CR6","volume-title":"Doing hard time: Developing real-time systems with UML, objects, frameworks, and patterns","author":"B. P. Douglass","year":"1999","unstructured":"Douglass, B. P. (1999). Doing hard time: Developing real-time systems with UML, objects, frameworks, and patterns. Redwood City: Addison Wesley (November)."},{"key":"268_CR7","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/SEUS.2005.17","volume-title":"Proceedings of the 3rd IEEE workshop on software technologies for future embedded and ubiquitous systems","author":"I. Estevez-Ayres","year":"2005","unstructured":"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\u201315). Silver Spring: IEEE Computer Society (May)."},{"key":"268_CR8","doi-asserted-by":"crossref","unstructured":"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\u201900) (pp. 245\u2013252).","DOI":"10.1109\/ICCAD.2000.896481"},{"issue":"15","key":"268_CR9","doi-asserted-by":"crossref","first-page":"1435","DOI":"10.1016\/S1383-7621(00)00034-5","volume":"46","author":"P. A. Hsiung","year":"2000","unstructured":"Hsiung, P. A. (2000). Embedded software verification in hardware-software codesign. Journal of Systems Architecture\u2014the Euromicro Journal, 46(15), 1435\u20131450 (November).","journal-title":"Journal of Systems Architecture\u2014the Euromicro Journal"},{"key":"268_CR10","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1109\/ICVD.2003.1183145","volume-title":"Proceedings of the 16th international conference on VLSI design, (VLSI\u20192003)","author":"P. A. Hsiung","year":"2003","unstructured":"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\u20192003) (pp. 249\u2013254). Silver Spring: IEEE Computer Society (January)."},{"key":"268_CR11","first-page":"114","volume-title":"Proceedings of the 1st ACM\/IEEE\/IFIP international conference on hardware-software codesign and system synthesis","author":"P. A. Hsiung","year":"2003","unstructured":"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\u2013119). New York: ACM (October)."},{"key":"268_CR12","unstructured":"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\u20192003) (February)."},{"key":"268_CR13","first-page":"9","volume-title":"Proceedings of the IEEE workshop on software technologies for future embedded systems","author":"H. Ishikawa","year":"2003","unstructured":"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\u201312). Silver Spring: IEEE Computer Society (May)."},{"key":"268_CR14","first-page":"61","volume-title":"Proceedings of the IEEE workshop on software technologies for future embedded systems","author":"J.-Y. Kwak","year":"2003","unstructured":"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\u201364). Silver Spring: IEEE Computer Society (May)."},{"key":"268_CR15","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C. Liu","year":"1973","unstructured":"Liu, C., & Layland, J. (1973). Scheduling algorithms for multiprogramming in a hard-real time environment. Journal of the Association for Computing Machinery, 20, 46\u201361 (January).","journal-title":"Journal of the Association for Computing Machinery"},{"key":"268_CR16","first-page":"32","volume":"40","author":"M. Fayad","year":"1997","unstructured":"Fayad, M., & Schmidt, D. (1997). Object-oriented application frameworks. Communications of the ACM, Special Issue on Object-Oriented Application Frameworks, 40, 32\u201338 (October).","journal-title":"Communications of the ACM, Special Issue on Object-Oriented Application Frameworks"},{"key":"268_CR17","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1145\/1052380.1052391","volume-title":"Proceedings of the 3rd international conference on mobile and ubiquitous multimedia","author":"E. Niemel\u00e4","year":"2004","unstructured":"Niemel\u00e4, 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\u201378). New York: ACM (October)."},{"key":"268_CR18","volume-title":"The UML reference guide","author":"J. Rumbaugh","year":"1999","unstructured":"Rumbaugh, J., Booch, G., & Jacobson, I. (1999). The UML reference guide. Don Mills: Addison Wesley Longman."},{"issue":"6","key":"268_CR19","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/MM.2002.1134343","volume":"22","author":"K. Sakamura","year":"2002","unstructured":"Sakamura, K., & Koshizuka, N. (2002). T-Engine: The open, real-time embedded-systems platform. IEEE Micro, 22(6), 48\u201357 (December).","journal-title":"IEEE Micro"},{"key":"268_CR20","doi-asserted-by":"crossref","DOI":"10.1201\/9781482280807","volume-title":"Practical statecharts in C\/C++ quantum programming for embedded systems","author":"M. Samek","year":"2002","unstructured":"Samek, M. (2002). Practical statecharts in C\/C++ quantum programming for embedded systems. San Francisco: CMP Books."},{"key":"268_CR21","unstructured":"Shen, T. Y. (2003). Assume-guarantee based formal verification of hierarchical software designs. Master\u2019s thesis, Dept. of CSIE, National Chung Cheng University (July)."},{"key":"268_CR22","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1145\/774789.774832","volume-title":"Proceedings of the 10th IEEE\/ACM international symposium on hardware\/software codesign (CODES\u201902)","author":"F. S. Su","year":"2002","unstructured":"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\u201902) (pp. 211\u2013216). New York: ACM (May)."},{"key":"268_CR23","volume-title":"Component software: Beyond object-oriented programming","author":"C. Szyperski","year":"2002","unstructured":"Szyperski, C. (2002). Component software: Beyond object-oriented programming. Reading: Addison-Wesley."},{"issue":"1","key":"268_CR24","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1109\/12.980017","volume":"51","author":"F. Wang","year":"2002","unstructured":"Wang, F., & Hsiung, P. A. (2002). Efficient and user-friendly verification. IEEE Transactions on Computers, 51(1), 61\u201383 (January).","journal-title":"IEEE Transactions on Computers"},{"key":"268_CR25","first-page":"163","volume-title":"Proceedings of the 4th international symposium on object-oriented real-time distributed computing (ISORC)","author":"S. S. Yau","year":"2001","unstructured":"Yau, S.\u00a0S., & 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\u2013170). Silver Spring: IEEE Computer Society, (May)."},{"key":"268_CR26","doi-asserted-by":"crossref","unstructured":"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\u20131560) (April).","DOI":"10.1109\/IPDPS.2001.925140"}],"container-title":["Journal of Signal Processing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11265-008-0268-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11265-008-0268-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11265-008-0268-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,20]],"date-time":"2023-05-20T01:45:01Z","timestamp":1684547101000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11265-008-0268-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9,23]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,4]]}},"alternative-id":["268"],"URL":"https:\/\/doi.org\/10.1007\/s11265-008-0268-5","relation":{},"ISSN":["1939-8018","1939-8115"],"issn-type":[{"value":"1939-8018","type":"print"},{"value":"1939-8115","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,9,23]]}}}