{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:56:13Z","timestamp":1725562573321},"publisher-location":"Boston, MA","reference-count":42,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781441963994"},{"type":"electronic","value":"9781441964007"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-1-4419-6400-7_8","type":"book-chapter","created":{"date-parts":[[2010,8,4]],"date-time":"2010-08-04T16:08:37Z","timestamp":1280938117000},"page":"229-262","source":"Crossref","is-referenced-by-count":1,"title":["From Synchronous Specifications to Statically Scheduled Hard Real-Time Implementations"],"prefix":"10.1007","author":[{"given":"Dumitru","family":"Potop-Butucaru","sequence":"first","affiliation":[]},{"given":"Robert","family":"de Simone","sequence":"additional","affiliation":[]},{"given":"Yves","family":"Sorel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,6,26]]},"reference":[{"key":"8_CR1_8","volume-title":"FME 2001: Formal Methods for Increasing Software Productivity. Lecture Notes in Computer Science","author":"L Arditi","year":"2001","unstructured":"Arditi, L., Boufa\u00efed, H., Cavani\u00e9, A., Stehl\u00e9, V.: Coverage-directed generation of system-level test cases for the validation of a DSP system. In: FME 2001: Formal Methods for Increasing Software Productivity. Lecture Notes in Computer Science, vol. 2021. Springer, Berlin (2001)","edition":"2021"},{"issue":"9","key":"8_CR2_8","doi-asserted-by":"publisher","first-page":"1270","DOI":"10.1109\/5.97297","volume":"79","author":"A Benveniste","year":"1991","unstructured":"Benveniste, A., Berry, G.: The synchronous approach to reactive and real-time systems. Proceedings of the IEEE 79(9), 1270\u20131282 (1991)","journal-title":"Proceedings of the IEEE"},{"issue":"1","key":"8_CR3_8","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A Benveniste","year":"2003","unstructured":"Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Guernic, P.L., de Simone, R.: The synchronous languages 12 years later. Proceedings of the IEEE 91(1), 64\u201383 (2003)","journal-title":"Proceedings of the IEEE"},{"key":"8_CR4_8","first-page":"11","volume-title":"Information Processing 89","author":"G Berry","year":"1989","unstructured":"Berry, G.: Real-time programming: general-purpose or special-purpose languages. In: G. Ritter (ed.) Information Processing 89, pp. 11\u201317. Elsevier, Amsterdam (1989)"},{"key":"8_CR5_8","volume-title":"The constructive semantics of Pure Esterel. Esterel Technologies","author":"G Berry","year":"1999","unstructured":"Berry, G.: The constructive semantics of Pure Esterel. Esterel Technologies. Electronic version available at \n                http:\/\/www.esterel-technologies.com\n                \n               (1999)"},{"issue":"2","key":"8_CR6_8","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The Esterel synchronous programming language: design, semantics, implementation. Science of Computer Programming 19(2), 87\u2013152 (1992)","journal-title":"Science of Computer Programming"},{"key":"8_CR7_8","volume-title":"UBC, Vancouver, Canada. Lecture Notes in Computer Science","author":"A Bouali","year":"1998","unstructured":"Bouali, A.: XEVE, an Esterel verification environment. In: Proceedings of the Tenth International Conference on Computer Aided Verification (CAV\u201998). UBC, Vancouver, Canada. Lecture Notes in Computer Science, vol. 1427. Springer, Berlin (1998)","edition":"1427"},{"key":"8_CR8_8","first-page":"463","volume-title":"Lecture Notes in Computer Science","author":"A Bouali","year":"1996","unstructured":"Bouali, A., Marmorat, J.P., de Simone, R., Toma, H.: Verifying synchronous reactive systems programmed in ESTEREL. In: Proceedings FTRTFT\u201996. Lecture Notes in Computer Science, vol. 1135, pp. 463\u2013466. Springer, Berlin (1996)","edition":"1135"},{"issue":"5","key":"8_CR9_8","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1109\/32.387477","volume":"21","author":"A Burns","year":"1995","unstructured":"Burns, A., Tindell, K., Wellings, A.: Effective analysis for engineering real-time fixed priority schedulers. IEEE Transactions on Software Engineering 21(5), 475\u2013480 (1995)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR10_8","volume-title":"From Simulink to SCADE\/Lustre to TTA: a layered approach for distributed embedded applications","author":"P Caspi","year":"2003","unstructured":"Caspi, P., Curic, A., Maignan, A., Sofronis, C., Tripakis, S., Niebert, P.: From Simulink to SCADE\/Lustre to TTA: a layered approach for distributed embedded applications. In: Proceedings LCTES (2003)"},{"key":"8_CR11_8","volume-title":"ACM International Conference on Principles of Programming Languages (POPL\u201906)","author":"A Cohen","year":"2006","unstructured":"Cohen, A., Duranton, M., Eisenbeis, C., Pagetti, C., Plateau, F., Pouzet, M.: N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems. In: ACM International Conference on Principles of Programming Languages (POPL\u201906). Charleston, SC, USA (2006)"},{"issue":"1","key":"8_CR12_8","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/s10479-007-0279-9","volume":"159","author":"L Cucu","year":"2008","unstructured":"Cucu, L., Pernet, N., Sorel, Y.: Periodic real-time scheduling: from deadline-based model to latency-based model. Annals of Operations Research 159(1), 41\u201351 (2008). \n                http:\/\/www-rocq.inria.fr\/syndex\/publications\/pubs\/aor07\/aor07.pdf","journal-title":"Annals of Operations Research"},{"key":"8_CR13_8","volume-title":"Compilers, and Tool Support for Embedded Systems","author":"K Danne","year":"2006","unstructured":"Danne, K., Platzner, M.: An EDF schedulability test for periodic tasks on reconfigurable hardware devices. In: Proceedings of the Conference on Language, Compilers, and Tool Support for Embedded Systems, ACM SIGPLAN\/SIGBED. Ottawa, Canada (2006)"},{"key":"8_CR14_8","first-page":"362","volume-title":"Lecture Notes in Computer Science","author":"J Dennis","year":"1974","unstructured":"Dennis, J.: First version of a dataflow procedure language. In: Lecture Notes in Computer Science, vol. 19, pp. 362\u2013376. Springer, Berlin (1974)","edition":"19"},{"key":"8_CR15_8","volume-title":"Scheduling of conditional process graphs for the synthesis of embedded systems","author":"P Eles","year":"1998","unstructured":"Eles, P., Kuchcinski, K., Peng, Z., Pop, P., Doboli, A.: Scheduling of conditional process graphs for the synthesis of embedded systems. In: Proceedings of DATE. Paris, France (1998)"},{"key":"8_CR16_8","volume-title":"MVSIS","author":"M Gao","year":"2001","unstructured":"Gao, M., Jiang, J.H., Jiang, Y., Li, Y., Sinha, S., Brayton, R.: MVSIS. In: Proceedings of the International Workshop on Logic Synthesis (IWLS\u201901). Tahoe City (2001)"},{"key":"8_CR17_8","volume-title":"From algorithm and architecture specification to automatic generation of distributed real-time executives","author":"T Grandpierre","year":"2003","unstructured":"Grandpierre, T., Sorel, Y.: From algorithm and architecture specification to automatic generation of distributed real-time executives. In: Proceedings MEMOCODE (2003)"},{"key":"8_CR18_8","volume-title":"Optimization of static task and bus access schedules for time-triggered distributed embedded systems with model-checking","author":"Z Gu","year":"2007","unstructured":"Gu, Z., He, X., Yuan, M.: Optimization of static task and bus access schedules for time-triggered distributed embedded systems with model-checking. In: Proceedings DAC (2007)"},{"issue":"3","key":"8_CR19_8","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1142\/S0218126603000763","volume":"12","author":"PL Guernic","year":"2003","unstructured":"Guernic, P.L., Talpin, J.P., Lann, J.C.L.: Polychrony for system design. Journal for Circuits, Systems and Computers 12(3), 261\u2013303 (2003). Special Issue on Application Specific Hardware Design","journal-title":"Journal for Circuits, Systems and Computers"},{"key":"8_CR20_8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0028726","volume-title":"Computer Aided Verification (CAV\u201998)","author":"N Halbwachs","year":"1998","unstructured":"Halbwachs, N.: Synchronous programming of reactive systems. In: Computer Aided Verification (CAV\u201998), pp. 1\u201316 (1998). \n                citeseer.ist.psu.edu\/article\/halbwachs98synchronous.html"},{"issue":"9","key":"8_CR21_8","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N Halbwachs","year":"1991","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous dataflow programming language Lustre. Proceedings of the IEEE 79(9), 1305\u20131320 (1991)","journal-title":"Proceedings of the IEEE"},{"key":"8_CR22_8","volume-title":"PMS\u201906","author":"O Kermia","year":"2006","unstructured":"Kermia, O., Cucu, L., Sorel, Y.: Non-preemptive multiprocessor static scheduling for systems with precedence and strict periodicity constraints. In: Proceedings of the 10th International Workshop on Project Management and Scheduling, PMS\u201906. Posnan, Poland (2006). \n                http:\/\/www-rocq.inria.fr\/syndex\/publications\/pubs\/pms06\/pms06.pdf"},{"key":"8_CR23_8","volume-title":"SRMPDS\u201908","author":"O Kermia","year":"2008","unstructured":"Kermia, O., Sorel, Y.: Load balancing and efficient memory usage for homogeneous distributed real-time embedded systems. In: Proceedings of the 4th International Workshop on Scheduling and Resource Management for Parallel and Distributed Systems, SRMPDS\u201908. Portland, Oregon, USA (2008). \n                http:\/\/www-rocq.inria.fr\/syndex\/publications\/pubs\/srmpds08\/srmpds08.pdf"},{"key":"8_CR24_8","volume-title":"RTCSA\u201908","author":"O Kermia","year":"2008","unstructured":"Kermia, O., Sorel, Y.: Schedulability analysis for non-preemptive tasks under strict periodicity constraints. In: Proceedings of 14th International Conference on Real-Time Computing Systems and Applications, RTCSA\u201908. Kaohsiung, Taiwan (2008). \n                http:\/\/www-rocq.inria.fr\/syndex\/publications\/pubs\/rtcsa08\/rtcsa08.pdf"},{"issue":"3","key":"8_CR25_8","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1145\/567270.567272","volume":"7","author":"A Kountouris","year":"2002","unstructured":"Kountouris, A., Wolinski, C.: Efficient scheduling of conditional behaviors for high-level synthesis. ACM Transactions on Design Automation of Electronic Systems 7(3), 380\u2013412 (2002)","journal-title":"ACM Transactions on Design Automation of Electronic Systems"},{"issue":"4","key":"8_CR26_8","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/0166-5316(82)90024-4","volume":"2","author":"J Leung","year":"1982","unstructured":"Leung, J., Whitehead, J.: On the complexity of fixed-priority scheduling of periodic real-time tasks. Performance Evaluation 2(4), 237\u2013250 (1982)","journal-title":"Performance Evaluation"},{"issue":"2","key":"8_CR27_8","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"14","author":"C Liu","year":"1973","unstructured":"Liu, C., Layland, J.: Scheduling algorithms for multiprogramming in a hard real-time environment. Journal of ACM 14(2), 46\u201361 (1973)","journal-title":"Journal of ACM"},{"key":"8_CR28_8","volume-title":"ECRTS\u201900","author":"JM Lopez","year":"2000","unstructured":"Lopez, J.M., Garcia, M., Diaz, J.L., Garcia, D.F.: Worst-case utilization bound for EDF scheduling on real-time multiprocessor system. In: Proceedings of 19th Euromicro Conference on Real-Time Systems, ECRTS\u201900. Stockholm, Sweden (2000)"},{"key":"8_CR29_8","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-23044-3","volume-title":"Event-Triggered and Time-Triggered Control Paradigms","author":"R Obermeisser","year":"2005","unstructured":"Obermeisser, R.: Event-Triggered and Time-Triggered Control Paradigms. Springer, Berlin (2005)"},{"issue":"2","key":"8_CR30_8","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/s10703-006-7844-8","volume":"28","author":"D Potop-Butucaru","year":"2006","unstructured":"Potop-Butucaru, D., Caillaud, B., Benveniste, A.: Concurrency in synchronous systems. Formal Methods in System Design 28(2), 111\u2013130 (2006)","journal-title":"Formal Methods in System Design"},{"key":"8_CR31_8","volume-title":"Clock-driven distributed real-time implementation of endochronous synchronous programs","author":"D Potop-Butucaru","year":"2009","unstructured":"Potop-Butucaru, D., de Simone, R., Sorel, Y., Talpin, J.P.: Clock-driven distributed real-time implementation of endochronous synchronous programs. In: Proceedings EMSOFT\u201909. Grenoble, France (2009)"},{"key":"8_CR32_8","unstructured":"The Scade tool page: \n                http\/\/www.esterel-technologies.com\/products\/scade-suite\/"},{"key":"8_CR33_8","volume-title":"15th International Conference on Theorem Proving in Higher Order Logics","author":"K Schneider","year":"2002","unstructured":"Schneider, K.: Proving the equivalence of microstep and macrostep semantics. In: 15th International Conference on Theorem Proving in Higher Order Logics (2002)"},{"key":"8_CR34_8","volume-title":"SIS: a system for sequential circuit synthesis. Memorandum UCB\/ERL M92\/41, UCB, ERL","author":"E Sentovich","year":"1992","unstructured":"Sentovich, E., Singh, K.J., Lavagno, L., Moon, C., Murgai, R., Saldanha, A., Savoj, H., Stephan, P., Brayton, R., Sagiovanni-Vincentelli, A.: SIS: a system for sequential circuit synthesis. Memorandum UCB\/ERL M92\/41, UCB, ERL (1992)"},{"key":"8_CR35_8","volume-title":"Latch optimization in circuits generated from high-level descriptions","author":"E Sentovich","year":"1996","unstructured":"Sentovich, E., Toma, H., Berry, G.: Latch optimization in circuits generated from high-level descriptions. In: Proceedings of the International Conference on Computer-Aided Design (ICCAD\u201996) (1996)"},{"key":"8_CR36_8","volume-title":"Constructive analysis of cyclic circuits","author":"T Shiple","year":"1996","unstructured":"Shiple, T., Berry, G., Touati, H.: Constructive analysis of cyclic circuits. In: Proceedings of the International Design and Testing Conference (ITDC). Paris (1996)"},{"key":"8_CR37_8","volume-title":"Lecture Notes in Computer Science","author":"R Simone de","year":"1994","unstructured":"de Simone, R., Ressouche, A.: Compositional semantics of Esterel and verification by compositional reductions. In: Proceedings CAV\u201994. Lecture Notes in Computer Science, vol. 818. Springer, Berlin (1994)","edition":"818"},{"key":"8_CR38_8","unstructured":"The Simulink tool page: \n                http:\/\/www.mathworks.com\/products\/simulink\/"},{"key":"8_CR39_8","volume-title":"Generalized latency-insensitive systems for single-clock and multi-clock architectures","author":"M Singh","year":"2004","unstructured":"Singh, M., Theobald, M.: Generalized latency-insensitive systems for single-clock and multi-clock architectures. In: Proceedings DATE (2004)"},{"key":"8_CR40_8","volume-title":"Distributed reactive machines","author":"JF Susini","year":"1998","unstructured":"Susini, J.F., Hazard, L., Boussinot, F.: Distributed reactive machines. In: Proceedings RTCSA (1998)"},{"key":"8_CR41_8","volume-title":"Lake Tahoe","author":"H Touati","year":"1993","unstructured":"Touati, H., Berry, G.: Optimized controller synthesis using Esterel. In: Proceedings of the International Workshop on Logic Synthesis (IWLS\u201993). Lake Tahoe (1993)"},{"key":"8_CR42_8","volume-title":"Extensible and scalable time triggered scheduling","author":"W Zheng","year":"2005","unstructured":"Zheng, W., Chong, J., Pinello, C., Kanajan, S., Sangiovanni-Vincentelli, A.: Extensible and scalable time triggered scheduling. In: Proceedings ACSD (2005)"}],"container-title":["Synthesis of Embedded Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4419-6400-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T13:53:46Z","timestamp":1552830826000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4419-6400-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9781441963994","9781441964007"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-1-4419-6400-7_8","relation":{},"subject":[],"published":{"date-parts":[[2010]]}}}