{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:54:17Z","timestamp":1729652057061,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/apsec.2002.1183009","type":"proceedings-article","created":{"date-parts":[[2003,6,26]],"date-time":"2003-06-26T15:35:00Z","timestamp":1056641700000},"page":"395-404","source":"Crossref","is-referenced-by-count":4,"title":["Formal synthesis and code generation of real-time embedded software using time-extended quasi-static scheduling"],"prefix":"10.1109","author":[{"family":"Pao-Ann Hsiung","sequence":"first","affiliation":[]},{"family":"Trong-Yen Lee","sequence":"additional","affiliation":[]},{"family":"Feng-Shi Su","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:20000452"},{"key":"ref11","first-page":"144","article-title":"Synthesis of parametric embedded real-time systems","author":"hsiung","year":"2000","journal-title":"Proc of the International Computer Symposium (ICS'OO) Workshop on Computer Architecture"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/371636.371729"},{"key":"ref13","first-page":"35","article-title":"Formal synthesis and control of soft embedded real-time systems","author":"hsiung","year":"2001","journal-title":"Proc of IFIP 21st Int'l Conference on Formal Techniques for Networked and Distributed Systems (Forte)"},{"key":"ref14","article-title":"Formal synthesis of real-time embedded software by time-memory scheduling of colored time Petri nets","author":"hsiung","year":"2002","journal-title":"Proc of the Workshop on Theory and Practice of Timed Systems (TPTS'2002 Grenoble France) Electronic Notes in Theoretical Computer Science (ENTCS)"},{"key":"ref15","first-page":"211","article-title":"Efficient compilation of process-based concurrent programs without run-time scheduling","author":"lin","year":"1997","journal-title":"Proceedings of the Design Automation and Test in Europe (DATE)"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"502","DOI":"10.1145\/277044.277182","article-title":"Software synthesis of process-based concurrent programs","author":"lin","year":"1998","journal-title":"Proceedings 1998 Design and Automation Conference 35th DAC (Cat No 98CH36175) DAC"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/3-540-59042-0_76","article-title":"On the synthesis of discrete controllers for timed systems","volume":"980","author":"maler","year":"1995","journal-title":"Lecture Notes in Computer Science"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/357195.357196"},{"journal-title":"BLUETOOTH Connect Without Cables","year":"2001","author":"bray","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-6127-9"},{"key":"ref6","first-page":"19","article-title":"Time-memory scheduling and code generation of real-time embedded software","author":"gau","year":"2002","journal-title":"Proc of the 8th International Conference on Real-Time Computing Systems and Applications (RTCSA'02"},{"key":"ref5","first-page":"1731","article-title":"Hardware-software timing coverification of distributed embedded systems","volume":"e83 d","author":"fu","year":"2000","journal-title":"IEICE Trans on Information and Systems"},{"key":"ref8","first-page":"110","article-title":"Timing coverification of concurrent embedded real-time systems","author":"hsiung","year":"1999","journal-title":"Proc 7th Int Workshop on Hardware\/Software Codesign (CODES'99)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BF00337680"},{"key":"ref2","first-page":"634","author":"balarin","year":"1999","journal-title":"Proc of International Conference on Computer Design (ICCD'29)"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1999.818838"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S1383-7621(00)00034-5"},{"key":"ref20","doi-asserted-by":"crossref","DOI":"10.1109\/DAC.1999.782140","article-title":"Synthesis of embedded software using free-choice petri nets","author":"sgroi","year":"1999","journal-title":"Proc Design Automation Conf (DAC 99)"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/774789.774832"}],"event":{"name":"Asia-Pacific Software Engineering Conference","acronym":"APSEC-02","location":"Gold Coast, Qld., Australia"},"container-title":["Ninth Asia-Pacific Software Engineering Conference, 2002."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8424\/26540\/01183009.pdf?arnumber=1183009","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,24]],"date-time":"2020-03-24T03:58:19Z","timestamp":1585022299000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1183009\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/apsec.2002.1183009","relation":{},"subject":[]}}