{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:26:13Z","timestamp":1742387173669},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540219743"},{"type":"electronic","value":"9783540246862"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24686-2_14","type":"book-chapter","created":{"date-parts":[[2010,8,2]],"date-time":"2010-08-02T15:10:00Z","timestamp":1280761800000},"page":"229-243","source":"Crossref","is-referenced-by-count":4,"title":["Quasi-Dynamic Scheduling for the Synthesis of Real-Time Embedded Software with Local and Global Deadlines"],"prefix":"10.1007","author":[{"given":"Pao-Ann","family":"Hsiung","sequence":"first","affiliation":[]},{"given":"Cheng-Yi","family":"Lin","sequence":"additional","affiliation":[]},{"given":"Trong-Yen","family":"Lee","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","volume-title":"Real-Time System Symposium (RTSS 1999)","author":"K. Altisen","year":"1999","unstructured":"Altisen, K., G\u00f6ssler, G., Pneuli, A., Sifakis, J., Tripakis, S., Yovine, S.: A framework for scheduler synthesis. In: Real-Time System Symposium (RTSS 1999). IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"14_CR2","first-page":"634","volume-title":"Proc. of International Conference on Computer Design (ICCD 1999)","author":"F. Balarin","year":"1999","unstructured":"Balarin, F., Chiodo, M.: Software synthesis for complex reactive embedded systems. In: Proc. of International Conference on Computer Design (ICCD 1999), October 1999, pp. 634\u2013639. IEEE CS Press, Los Alamitos (1999)"},{"key":"14_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-6127-9","volume-title":"Hardware-software Co-design of Embedded Systems: The POLIS approach","author":"F. Balarin","year":"1997","unstructured":"Balarin, F., et al.: Hardware-software Co-design of Embedded Systems: The POLIS approach. Kluwer Academic Publishers, Dordrecht (1997)"},{"key":"14_CR4","volume-title":"Bluetooth: Connect Without Cables","author":"J. Bray","year":"2001","unstructured":"Bray, J., Sturman, C.F.: Bluetooth: Connect Without Cables. Prentice Hall, Englewood Cliffs (2001)"},{"issue":"9","key":"14_CR5","first-page":"1731","volume":"83","author":"J.-M. Fu","year":"2000","unstructured":"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\u00a0E83-D(9), 1731\u20131740 (2000)","journal-title":"IEICE Trans. on Information and Systems"},{"key":"14_CR6","unstructured":"Gau, C.-H., Hsiung, P.-A.: Time-memory scheduling and code generation of real-time embedded software. In: Proc. of the 8th International Conference on Real-Time Computing Systems and Applications (RTCSA 2002), Tokyo, Japan, March 2002, pp. 19\u201327 (2002)"},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1145\/301177.301501","volume-title":"Proc. of the 7th IEEE\/ACM International Workshop on Hardware Software Codesign (CODES 1999)","author":"P.-A. Hsiung","year":"1999","unstructured":"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 1999), pp. 110\u2013114. ACM Press, New York (1999)"},{"issue":"15","key":"14_CR8","doi-asserted-by":"publisher","first-page":"1435","DOI":"10.1016\/S1383-7621(00)00034-5","volume":"46","author":"P.-A. Hsiung","year":"2000","unstructured":"Hsiung, P.-A.: Embedded software verification in hardware-software codesign. Journal of Systems Architecture \u2014 the Euromicro Journal\u00a046(15), 1435\u20131450 (2000)","journal-title":"Journal of Systems Architecture \u2014 the Euromicro Journal"},{"issue":"2","key":"14_CR9","first-page":"81","volume":"147","author":"P.-A. Hsiung","year":"2000","unstructured":"Hsiung, P.-A.: Hardware-software timing coverification of concurrent embedded real-time systems. IEE Proceedings\u2014Computers and Digital Techniques\u00a0147(2), 81\u201390 (2000)","journal-title":"IEE Proceedings\u2014Computers and Digital Techniques"},{"key":"14_CR10","unstructured":"Hsiung, P.-A.: Synthesis of parametric embedded real-time systems. In: Proc. of the International Computer Symposium (ICS 2000), Workshop on Computer Architecture, December 2000, pp. 144\u2013151 (2000); ISBN 957-02- 7308-9"},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1145\/371636.371729","volume-title":"Proc. of the 9th ACM\/IEEE International Symposium on Hardware Software Codesign (CODES 2001)","author":"P.-A. Hsiung","year":"2001","unstructured":"Hsiung, P.-A.: Formal synthesis and code generation of embedded real-time software. In: Proc. of the 9th ACM\/IEEE International Symposium on Hardware Software Codesign (CODES 2001), Copenhagen, Denmark, pp. 208\u2013213. ACM Press, New York (2001)"},{"key":"14_CR12","first-page":"35","volume-title":"Proc. of IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2001)","author":"P.-A. Hsiung","year":"2001","unstructured":"Hsiung, P.-A.: Formal synthesis and control of soft embedded real-time systems. In: Proc. of IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2001), pp. 35\u201350. Kluwer Academic Publishers, Dordrecht (2001)"},{"key":"14_CR13","unstructured":"Hsiung, P.-A., Gau, C.-H.: Formal synthesis of real-time embedded software by timememory scheduling of colored time Petri nets. In: Proc. of the Workshop on Theory and Practice of Timed Systems (TPTS 2002), Grenoble, France. Electronic Notes in Theoretical Computer Science, ENTCS (April 2002)"},{"key":"14_CR14","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1109\/APSEC.2002.1183009","volume-title":"Proc. of the 9th Asia-Pacific Software Engineering Conference (APSEC)","author":"P.-A. Hsiung","year":"2002","unstructured":"Hsiung, P.-A., Lee, T.-Y., Su, F.-S.: Formal synthesis and code generation of real-time embedded software using timed quasi-static scheduling. In: Proc. of the 9th Asia-Pacific Software Engineering Conference (APSEC), pp. 395\u2013404. IEEE CS Press, Los Alamitos (2002)"},{"key":"14_CR15","first-page":"211","volume-title":"Proc. of Design Automation and Test Europe (DATE 1998)","author":"B. Lin","year":"1997","unstructured":"Lin, B.: Efficient compilation of process-based concurrent programs without run-time scheduling. In: Proc. of Design Automation and Test Europe (DATE 1998), pp. 211\u2013217. ACM Press, New York (1997)"},{"key":"14_CR16","first-page":"502","volume-title":"Proc. of Design Automation Conference (DAC 1998)","author":"B. Lin","year":"1998","unstructured":"Lin, B.: Software synthesis of process-based concurrent programs. In: Proc. of Design Automation Conference (DAC 1998), pp. 502\u2013505. ACM Press, New York (1998)"},{"key":"14_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/3-540-59042-0_76","volume-title":"STACS 95","author":"O. Maler","year":"1995","unstructured":"Maler, O., Pnueli, A., Sifakis, J.: On the synthesis of discrete controllers for timed systems. In: Mayr, E.W., Puech, C. (eds.) STACS 1995. LNCS, vol.\u00a0900, pp. 229\u2013242. Springer, Heidelberg (1995)"},{"issue":"1","key":"14_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/357195.357196","volume":"5","author":"P. Merlin","year":"1983","unstructured":"Merlin, P., Bochman, G.V.: On the construction of submodule specifications and communication protocols. ACM Trans. on Programming Languages and Systems\u00a05(1), 1\u201375 (1983)","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"14_CR19","unstructured":"See, W.-B., Hsiung, P.-A., Lee, T.-Y., Chen, S.-J.: Modular mobile dispatching system (MMDS) and logistics. In: Proc. of the 2002 Annual Conference on National Defense Integrated Logistics Support (ILS), August 2002, pp. 365\u2013371 (2002)"},{"key":"14_CR20","volume-title":"Proc. Design Automation Conference (DAC 1999)","author":"M. Sgroi","year":"1999","unstructured":"Sgroi, M., Lavagno, L., Watanabe, Y., Sangiovanni-Vincentelli, A.: Synthesis of embedded software using free-choice Petri nets. In: Proc. Design Automation Conference (DAC 1999). ACM Press, New York (1999)"},{"key":"14_CR21","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1145\/774789.774832","volume-title":"Proc. of the 10th IEEE\/ACM International Symposium on Hardware\/Software Codesign (CODES 2002)","author":"F.-S. Su","year":"2002","unstructured":"Su, F.-S., Hsiung, P.-A.: Extended quasi-static scheduling for formal synthesis and code generation of embedded software. In: Proc. of the 10th IEEE\/ACM International Symposium on Hardware\/Software Codesign (CODES 2002), Colorado, USA, pp. 211\u2013216. ACM Press, New York (2002)"}],"container-title":["Lecture Notes in Computer Science","Real-Time and Embedded Computing Systems and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24686-2_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T16:25:13Z","timestamp":1552839913000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24686-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540219743","9783540246862"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24686-2_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}