{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:36:12Z","timestamp":1725496572550},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540770916"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77092-3_62","type":"book-chapter","created":{"date-parts":[[2007,11,24]],"date-time":"2007-11-24T07:59:32Z","timestamp":1195891172000},"page":"718-729","source":"Crossref","is-referenced-by-count":1,"title":["Real-Time Embedded Software Design for Mobile and Ubiquitous Systems"],"prefix":"10.1007","author":[{"given":"Pao-Ann","family":"Hsiung","sequence":"first","affiliation":[]},{"given":"Shang-Wei","family":"Lin","sequence":"additional","affiliation":[]},{"given":"Chin-Chieh","family":"Hung","sequence":"additional","affiliation":[]},{"given":"Jih-Ming","family":"Fu","sequence":"additional","affiliation":[]},{"given":"Chao-Sheng","family":"Lin","sequence":"additional","affiliation":[]},{"given":"Cheng-Chi","family":"Chiang","sequence":"additional","affiliation":[]},{"given":"Kuo-Cheng","family":"Chiang","sequence":"additional","affiliation":[]},{"given":"Chun-Hsien","family":"Lu","sequence":"additional","affiliation":[]},{"given":"Pin-Hsien","family":"Lu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"62_CR1","doi-asserted-by":"crossref","unstructured":"Amnell, T., Fersman, E., Mokrushin, L., Petterson, P., Yi, W.: 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 2003)","DOI":"10.1007\/978-3-540-40903-8_6"},{"key":"62_CR2","volume-title":"Doing Hard Time: Developing Real-Time Systems with UML, Objects, Frameworks, and Patterns","author":"B. Douglass","year":"1999","unstructured":"Douglass, B.: Doing Hard Time: Developing Real-Time Systems with UML, Objects, Frameworks, and Patterns. Addison Wesley, USA (1999)"},{"issue":"15","key":"62_CR3","doi-asserted-by":"publisher","first-page":"1435","DOI":"10.1016\/S1383-7621(00)00034-5","volume":"46","author":"P. Hsiung","year":"2000","unstructured":"Hsiung, P.: Embedded software verification in hardware-software codesign. Journal of Systems Architecture - the Euromicro Journal\u00a046(15), 1435\u20131450 (2000)","journal-title":"Journal of Systems Architecture - the Euromicro Journal"},{"key":"62_CR4","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1109\/ICVD.2003.1183145","volume-title":"Proceedings of the 16th International Conference on VLSI Design, (VLSI 2003)","author":"P. Hsiung","year":"2003","unstructured":"Hsiung, P., Cheng, S.: Automating formal modular verification of asynchronous real-time embedded systems. In: Proceedings of the 16th International Conference on VLSI Design (VLSI 2003), pp. 249\u2013254. IEEE CS Press, Los Alamitos (2003)"},{"key":"62_CR5","first-page":"114","volume-title":"Proceedings of the 1st ACM\/IEEE\/IFIP International Conference on Hardware-Software Codesign and System Synthesis","author":"P. Hsiung","year":"2003","unstructured":"Hsiung, P., Lin, C.: 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. ACM Press, New York (2003)"},{"key":"62_CR6","doi-asserted-by":"crossref","unstructured":"de Niz, D., Rajkumar, R.: 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 2003)","DOI":"10.1145\/780732.780751"},{"key":"62_CR7","doi-asserted-by":"crossref","unstructured":"Samek, M.: Practical Statecharts in C\/C++ Quantum Programming for Embedded Systems. CMP Books (2002)","DOI":"10.1201\/9781482280807"},{"issue":"1","key":"62_CR8","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1109\/12.980017","volume":"51","author":"F. Wang","year":"2002","unstructured":"Wang, F., Hsiung, P.: Efficient and user-friendly verification. IEEE Transactions on Computers\u00a051(1), 61\u201383 (2002)","journal-title":"IEEE Transactions on Computers"},{"key":"62_CR9","volume-title":"The UML Reference Guide","author":"J. Rumbaugh","year":"1999","unstructured":"Rumbaugh, J., Booch, G., Jacobson, I.: The UML Reference Guide. Addison Wesley Longman, Reading (1999)"},{"issue":"2","key":"62_CR10","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.: Automata for modeling real-time systems. Theoretical Computer Science\u00a0126(2), 183\u2013236 (1994)","journal-title":"Theoretical Computer Science"},{"key":"62_CR11","volume-title":"Model Checking","author":"E. Clarke","year":"1999","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"62_CR12","doi-asserted-by":"publisher","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.: Survey of requirements and solutions for ubiquitous software. In: Proceedings of the 3rd International Conference on Mobile and Ubiquitous Multimedia, pp. 71\u201378. ACM Press, New York (2004)"},{"key":"62_CR13","unstructured":"Brinkschulte, U., Bechina, A., Keith, B., Picioroaga, F., Schneider, E.: 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 2002)"},{"key":"62_CR14","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.S., Karim, F.: 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. IEEE CS Press, Los Alamitos (2001)"},{"issue":"6","key":"62_CR15","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/MM.2002.1134343","volume":"22","author":"K. Sakamura","year":"2002","unstructured":"Sakamura, K., Koshizuka, N.: T-Engine: the open, real-time embedded-systems platform. IEEE Micro\u00a022(6), 48\u201357 (2002)","journal-title":"IEEE Micro"},{"key":"62_CR16","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1109\/WSTFES.2003.1201362","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.: 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. IEEE CS Press, Los Alamitos (2003)"},{"key":"62_CR17","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1109\/WSTFES.2003.1201351","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.: 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. IEEE CS Press, Los Alamitos (2003)"},{"key":"62_CR18","doi-asserted-by":"publisher","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.: 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. IEEE CS Press, Los Alamitos (2005)"},{"key":"62_CR19","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1145\/774789.774832","volume-title":"Proceedings of the 10th IEEE\/ACM International Symposium on Hardware\/Software Codesign (CODES 2002)","author":"F. Su","year":"2002","unstructured":"Su, F., Hsiung, P.: 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), pp. 211\u2013216. ACM Press, New York (2002)"},{"key":"62_CR20","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C. Liu","year":"1973","unstructured":"Liu, C., Layland, J.: Scheduling algorithms for multiprogramming in a hard-real time environment. Journal of the Association for Computing Machinery\u00a020, 46\u201361 (1973)","journal-title":"Journal of the Association for Computing Machinery"}],"container-title":["Lecture Notes in Computer Science","Embedded and Ubiquitous Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77092-3_62.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:59:22Z","timestamp":1619521162000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77092-3_62"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540770916"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77092-3_62","relation":{},"subject":[]}}