{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T04:46:03Z","timestamp":1778215563711,"version":"3.51.4"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,5,5]],"date-time":"2011-05-05T00:00:00Z","timestamp":1304553600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1007\/s10626-011-0107-x","type":"journal-article","created":{"date-parts":[[2011,5,4]],"date-time":"2011-05-04T05:26:19Z","timestamp":1304486779000},"page":"307-338","source":"Crossref","is-referenced-by-count":61,"title":["Multi-task Implementation of Multi-periodic Synchronous Programs"],"prefix":"10.1007","volume":"21","author":[{"given":"Claire","family":"Pagetti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julien","family":"Forget","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Boniol","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mikel","family":"Cordovilla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Lesens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,5,5]]},"reference":[{"key":"107_CR1","unstructured":"ARINC (2005) ARINC specification 653: avionics application software standard interface. Aeronautical Radio INC"},{"key":"107_CR2","doi-asserted-by":"crossref","unstructured":"Aubry P, Le Guernic P, Machard S (1996) Synchronous distribution of signal programs. In: Proceedings of the 29th Hawaii international conference on system sciences (HICSS\u201996) volume 1: software technology and architecture, pp 656\u2013665","DOI":"10.1109\/HICSS.1996.495517"},{"key":"107_CR3","unstructured":"Baruah SK, Burns A (2006) Sustainable scheduling analysis. In: Proceedings of the 27th IEEE international real-time systems symposium (RTSS\u201906). IEEE Computer Society, pp 159\u2013168"},{"issue":"2","key":"107_CR4","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0167-6423(91)90001-E","volume":"16","author":"A Benveniste","year":"1991","unstructured":"Benveniste A, Le Guernic P, Jacquemot C (1991) Synchronous programming with events and relations: the signal language and its semantics. Sci Comput Program 16(2):103\u2013149","journal-title":"Sci Comput Program"},{"issue":"1","key":"107_CR5","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A Benveniste","year":"2003","unstructured":"Benveniste A, Caspi P, Edwards SA, Halbwachs N, Le Guernic P, de Simone R (2003) The synchronous languages 12 years later. Proc IEEE 91(1):64\u201383","journal-title":"Proc IEEE"},{"key":"107_CR6","doi-asserted-by":"crossref","unstructured":"Boniol F, Hladik PE, Pagetti C, Aspro F, J\u00e9gu V (2008) A framework for distributing real-time functions. In: Proceedings of the 6th international conference on formal modeling and analysis of timed systems (FORMATS\u201908). Lecture notes in computer science, vol 5215. Springer, pp 155\u2013169","DOI":"10.1007\/978-3-540-85778-5_12"},{"key":"107_CR7","unstructured":"Cervin A (2003) Integrated control and real-time scheduling. PhD thesis, Department of Automatic Control, Lund University, Sweden"},{"issue":"3","key":"107_CR8","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/BF00365326","volume":"2","author":"H Chetto","year":"1990","unstructured":"Chetto H, Silly M, Bouchentouf T (1990) Dynamic scheduling of real-time tasks under precedence constraints. Real-Time Syst 2(3):181\u2013194","journal-title":"Real-Time Syst"},{"key":"107_CR9","doi-asserted-by":"crossref","unstructured":"Cohen A, Duranton M, Eisenbeis C, Pagetti C, Plateau F, Pouzet M (2006) 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, USA","DOI":"10.1145\/1111037.1111054"},{"key":"107_CR10","unstructured":"Cola\u00e7o JL, Pouzet M (2003) Clocks as first class abstract types. In: Proceedings of the 3rd International Conference on Embedded Software (EMSOFT\u201903), Philadelphia, USA. Lecture Notes in Computer Science, vol 2855, pp 134\u2013155"},{"key":"107_CR11","doi-asserted-by":"crossref","unstructured":"Cottet F, Delacroix J, Kaiser C, Mammeri Z (2002) Scheduling in real-time systems. Wiley","DOI":"10.1002\/0470856343"},{"key":"107_CR12","unstructured":"Curic A (2005) Implementing Lustre programs on distributed platforms with real-time constraints. PhD thesis, Universit\u00e9 Joseph Fourier, Grenoble"},{"key":"107_CR13","unstructured":"Faucou S, D\u00e9planche AM, Trinquet Y (2004) An ADL centric approach for the formal design of real-time systems. In: Architecture description language workshop at IFIP World Computer Congress (WADL\u201904), vol 176, pp 67\u201382"},{"key":"107_CR14","doi-asserted-by":"crossref","unstructured":"Feiler PH, Gluch DP, Hudak JJ (2006) The architecture analysis & design language (AADL): an introduction. Tech. Rep. CMU\/SEI-2006-TN-011, Carnegie Mellon University","DOI":"10.21236\/ADA455842"},{"key":"107_CR15","unstructured":"Forget J (2009) A synchronous language for critical embedded systems with multiple real-time constraints. PhD thesis, Universit\u00e9 de Toulouse - ISAE\/ONERA, Toulouse, France"},{"key":"107_CR16","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1109\/HASE.2008.47","volume-title":"Proceedings of the 11th IEEE high assurance systems engineering symposium (HASE\u201908)","author":"J Forget","year":"2008","unstructured":"Forget J, Boniol F, Lesens D, Pagetti C (2008) A multi-periodic synchronous data-flow language. In: Proceedings of the 11th IEEE high assurance systems engineering symposium (HASE\u201908). IEEE Computer Society, Nanjing, China, pp 251\u2013260"},{"key":"107_CR17","unstructured":"Forget J, Boniol F, Grolleau E, Lesens D, Pagetti C (2010) Scheduling dependent periodic tasks without synchronization mechanisms (submitted). In: Proceedings of the 16th IEEE real-time and embedded technology and applications symposium (RTAS\u201910), Stockholm, Sweden, pp 301\u2013310"},{"key":"107_CR18","doi-asserted-by":"crossref","unstructured":"Girault A, Nicollin X (2003) Clock-driven automatic distribution of Lustre programs. In: Proceedings of the 3rd international conference on embedded software (EMSOFT\u201903), Philadelphia, USA. Lecture notes in computer science, vol 2855, pp 206\u2013222","DOI":"10.1007\/978-3-540-45212-6_14"},{"issue":"3","key":"107_CR19","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1145\/1165780.1165786","volume":"5","author":"A Girault","year":"2006","unstructured":"Girault A, Nicollin X, Pouzet M (2006) Automatic rate desynchronization of embedded reactive programs. ACM Trans Embedded Comput Syst 5(3):687\u2013717","journal-title":"ACM Trans Embedded Comput Syst"},{"issue":"2","key":"107_CR20","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1137\/0117039","volume":"17","author":"RL Graham","year":"1969","unstructured":"Graham RL (1969) Bounds on multiprocessing timing anomalies. SIAM J Appl Math 17(2):416\u2013429","journal-title":"SIAM J Appl Math"},{"key":"107_CR21","doi-asserted-by":"crossref","unstructured":"Halbwachs N (1993) Synchronous programming of reactive systems. Kluwer Academic Publisher","DOI":"10.1007\/978-1-4757-2231-4"},{"issue":"9","key":"107_CR22","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N Halbwachs","year":"1991","unstructured":"Halbwachs N, Caspi P, Raymond P, Pilaud D (1991a) The synchronous data-flow programming language LUSTRE. Proc IEEE 79(9):1305\u20131320","journal-title":"Proc IEEE"},{"key":"107_CR23","doi-asserted-by":"crossref","unstructured":"Halbwachs N, Raymond P, Ratel C (1991b) Generating efficient code from data-flow programs. In: Proceedings of the 3rd international symposium on programming language implementation and logic programming (PLILP \u201991), Passau, Germany, pp 207\u2013218","DOI":"10.1007\/3-540-54444-5_100"},{"issue":"1","key":"107_CR24","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1109\/JPROC.2002.805825","volume":"91","author":"TA Henzinger","year":"2003","unstructured":"Henzinger TA, Horowitz B, Kirsch CM (2003) Giotto: a time-triggered language for embedded programming. Proc IEEE 91(1):84\u201399","journal-title":"Proc IEEE"},{"key":"107_CR25","unstructured":"Kahn G (1974) The semantics of simple language for parallel programming. In: Proceedings of the international federation for information processing (IFIP\u201974) Congress, New York, USA, pp 471\u2013475"},{"key":"107_CR26","first-page":"234","volume-title":"Proceedings of the 1996 IEEE\/ACM international conference on computer-aided design (ICCAD\u201996)","author":"EA Lee","year":"1996","unstructured":"Lee EA, Sangiovanni-Vincentelli AL (1996) Comparing models of computation. In: Proceedings of the 1996 IEEE\/ACM international conference on computer-aided design (ICCAD\u201996). IEEE Computer Society, San Jose, USA, pp 234\u2013241"},{"key":"107_CR27","unstructured":"Leroy X (2006) The objective Caml system release 3.09, documentation and user\u2019s manual. INRIA"},{"issue":"1","key":"107_CR28","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"CL Liu","year":"1973","unstructured":"Liu CL, Layland JW (1973) Scheduling algorithms for multiprogramming in a hard-real-time environment. J ACM 20(1):46\u201361","journal-title":"J ACM"},{"key":"107_CR29","unstructured":"OSEK (2003) OSEX\/VDX operating system specification 2.2.1. OSEK Group. www.osek-vdx.org"},{"key":"107_CR30","volume-title":"Types and programming languages","author":"BC Pierce","year":"2002","unstructured":"Pierce BC (2002) Types and programming languages. MIT Press, Cambridge, USA"},{"key":"107_CR31","unstructured":"POSIX13 (1998) IEEE Std. 1003.13-1998. POSIX realtime application support (AEP). The Institute of Electrical and Electronics Engineers"},{"key":"107_CR32","unstructured":"Pouzet M (2006) Lucid synchrone, version 3. Tutorial and reference manual. Universit\u00e9 Paris-Sud, LRI"},{"key":"107_CR33","doi-asserted-by":"crossref","unstructured":"Reynolds JC (1998) Theories of programming languages. Cambridge University Press","DOI":"10.1017\/CBO9780511626364"},{"key":"107_CR34","unstructured":"Rivas MA, Harbour MG (2002) POSIX-compatible application-defined scheduling in MaRTE OS. In: Proceedings of the 14th Euromicro conference on real-time systems (ECRTS\u201902), Washington, USA, pp 67\u201375"},{"key":"107_CR35","doi-asserted-by":"crossref","unstructured":"Sename O, Simon D, Ben Ga\u00efd MEM (2008) A LPV approach to control and real-time scheduling codesign: application to a robot-arm control. In: Proceedings of the 47th IEEE conference on decision and control (CDC\u201908), Cancun Mexique, pp 4891\u20134897","DOI":"10.1109\/CDC.2008.4738778"},{"issue":"4","key":"107_CR36","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1046191.1032298","volume":"XXIV","author":"F Singhoff","year":"2004","unstructured":"Singhoff F, Legrand J, Nana L, Marc\u00e9 L (2004) Cheddar: a flexible real time scheduling framework. Ada Lett XXIV(4):1\u20138","journal-title":"Ada Lett"},{"key":"107_CR37","unstructured":"Smarandache I, Le Guernic P (1997) A canonical form for affine relations in signal. Tech. Rep. RR-3097, INRIA"},{"key":"107_CR38","doi-asserted-by":"crossref","unstructured":"Sofronis C, Tripakis S, Caspi P (2006) A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling. In: Proceedings of the 6th international conference on embedded software (EMSOFT\u201906), Seoul, South Korea, pp 21\u201333","DOI":"10.1145\/1176887.1176892"},{"key":"107_CR39","unstructured":"The Mathworks (2009) Simulink: user\u2019s guide. The Mathworks"},{"issue":"4","key":"107_CR40","doi-asserted-by":"crossref","first-page":"779","DOI":"10.1145\/1113830.1113834","volume":"4","author":"S Tripakis","year":"2005","unstructured":"Tripakis S, Sofronis C, Caspi P, Curic A (2005) Translating discrete-time Simulink to Lustre. ACM Trans Embed Comput Syst 4(4):779\u2013818","journal-title":"ACM Trans Embed Comput Syst"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-011-0107-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-011-0107-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-011-0107-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,10]],"date-time":"2019-06-10T13:43:13Z","timestamp":1560174193000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-011-0107-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5,5]]},"references-count":40,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,9]]}},"alternative-id":["107"],"URL":"https:\/\/doi.org\/10.1007\/s10626-011-0107-x","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,5,5]]}}}