{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,28]],"date-time":"2024-03-28T13:18:44Z","timestamp":1711631924443},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,11,12]],"date-time":"2013-11-12T00:00:00Z","timestamp":1384214400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[2014,5]]},"DOI":"10.1007\/s11241-013-9197-x","type":"journal-article","created":{"date-parts":[[2013,11,11]],"date-time":"2013-11-11T22:54:58Z","timestamp":1384210498000},"page":"317-341","source":"Crossref","is-referenced-by-count":11,"title":["Implementing mixed-criticality synchronous reactive programs upon uniprocessor platforms"],"prefix":"10.1007","volume":"50","author":[{"given":"Sanjoy","family":"Baruah","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,11,12]]},"reference":[{"key":"9197_CR1","unstructured":"Audsley NC (1991) Optimal priority assignment and feasibility of static priority tasks with arbitrary start times. Tech rep, The University of York, England"},{"key":"9197_CR2","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1109\/REAL.1988.51108","volume-title":"Proceedings of the IEEE real-time systems symposium","author":"TP Baker","year":"1988","unstructured":"Baker TP, Shaw A (1988) The cyclic executive model and ada. In: Proceedings of the IEEE real-time systems symposium, pp 120\u2013129"},{"key":"9197_CR3","volume-title":"Proceedings of the IEEE real-time systems symposium (RTSS)","author":"S Baruah","year":"2011","unstructured":"Baruah S, Fohler G (2011) Certification-cognizant time-triggered scheduling of mixed-criticality systems. In: Proceedings of the IEEE real-time systems symposium (RTSS). IEEE Computer Society, New York"},{"key":"9197_CR4","volume-title":"Proceedings of the IEEE real-time technology and applications symposium (RTAS)","author":"S Baruah","year":"2010","unstructured":"Baruah S, Li H, Stougie L (2010) Towards the design of certifiable mixed-criticality systems. In: Proceedings of the IEEE real-time technology and applications symposium (RTAS). IEEE, New York"},{"key":"9197_CR5","volume-title":"Proceedings of the IEEE real-time systems symposium (RTSS)","author":"S Baruah","year":"2011","unstructured":"Baruah S, Burns A, Davis R (2011) Response-time analysis for mixed criticality systems. In: Proceedings of the IEEE real-time systems symposium (RTSS). IEEE Computer Society, New York"},{"issue":"8","key":"9197_CR6","doi-asserted-by":"crossref","first-page":"1140","DOI":"10.1109\/TC.2011.142","volume":"61","author":"SK Baruah","year":"2012","unstructured":"Baruah SK, Bonifaci V, D\u2019Angelo G, Li H, Marchetti-Spaccamela A, Megow N, Stougie L (2012) Scheduling real-time mixed-criticality jobs. IEEE Trans Comput 61(8):1140\u20131152","journal-title":"IEEE Trans Comput"},{"key":"9197_CR7","author":"S Bensalem","year":"1999","unstructured":"Bensalem S, Caspi P, Parent-Vigouroux C, Dumas C (1999) A methodology for proving control systems with Lustre and PVS. Depend Comput Critical Appl. doi: 10.1109\/DCFTS.1999.814291","journal-title":"Depend Comput Critical Appl"},{"issue":"9","key":"9197_CR8","doi-asserted-by":"crossref","first-page":"1270","DOI":"10.1109\/5.97297","volume":"79","author":"A Benveniste","year":"1991","unstructured":"Benveniste A, Berry G (1991) The synchronous approach to reactive and real-time systems. Proc IEEE 79(9):1270\u20131282. doi: 10.1109\/5.97297","journal-title":"Proc IEEE"},{"key":"9197_CR9","unstructured":"Berry G (2000) The Esterel v5 language primer: version v5_91. Centre de Math\u00e9matiques Appliqu\u00e9es, Ecole des Mines and INRIA"},{"key":"9197_CR10","unstructured":"Burns A, Davis R (2013) Mixed-criticality systems: a review. Available at http:\/\/www-users.cs.york.ac.uk\/~burns\/review.pdf"},{"key":"9197_CR11","doi-asserted-by":"crossref","unstructured":"Caspi P, Scaife N, Sofronis C, Tripakis S (2008) Semantics-preserving multitask implementation of synchronous programs. ACM Trans Embedded Comput Syst 7(2)","DOI":"10.1145\/1331331.1331339"},{"issue":"3","key":"9197_CR12","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/s11241-010-9107-4","volume":"46","author":"F Dorin","year":"2010","unstructured":"Dorin F, Richard P, Richard M, Goossens J (2010) Schedulability and sensitivity analysis of multiple criticality tasks with fixed-priorities. Real-Time Syst 46(3):305\u2013331","journal-title":"Real-Time Syst"},{"key":"9197_CR13","first-page":"1333","volume":"76\u2013D(11)","author":"G Fohler","year":"1993","unstructured":"Fohler G (1993) Changing operational modes in the context of pre run-time scheduling. IEICE Trans Inf Syst E 76\u2013D(11):1333\u20131340. Special Issue on Responsive Computer Systems","journal-title":"IEICE Trans Inf Syst E"},{"key":"9197_CR14","unstructured":"Forget J (2009) A synchronous language for critical embedded systems with multiple real-time constraints. PhD thesis, University of Toulouse"},{"key":"9197_CR15","volume-title":"Proceedings of the IEEE real-time technology and applications symposium (RTAS)","author":"J Forget","year":"2010","unstructured":"Forget J, Boniol F, Grolleau E, Lesens D, Pagetti C (2010) Scheduling dependent periodic tasks without synchronization mechanisms. In: Proceedings of the IEEE real-time technology and applications symposium (RTAS). IEEE, New York"},{"key":"9197_CR16","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1137\/0204035","volume":"4","author":"M Garey","year":"1975","unstructured":"Garey M, Johnson D (1975) Complexity results for multiprocessor scheduling under resource constraints. SIAM J Comput 4:397\u2013411","journal-title":"SIAM J Comput"},{"key":"9197_CR17","volume-title":"Proceedings of the IEEE real-time systems symposium (RTSS)","author":"N Guan","year":"2011","unstructured":"Guan N, Ekberg P, Stigge M, Yi W (2011) Effective and efficient scheduling for certifiable mixed criticality sporadic task systems. In: Proceedings of the IEEE real-time systems symposium (RTSS). IEEE Computer Society, New York"},{"key":"9197_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2231-4","volume-title":"Synchronous programming of reactive systems","author":"N Halbwachs","year":"1993","unstructured":"Halbwachs N (1993) Synchronous programming of reactive systems. Kluwer Academic, Amsterdam"},{"key":"9197_CR19","series-title":"LNCS","volume-title":"ASIAN\u201999, Asian computing science conference","author":"N Halbwachs","year":"1999","unstructured":"Halbwachs N, Raymond P (1999) Validation of synchronous reactive systems: from formal verification to automatic testing. In: ASIAN\u201999, Asian computing science conference. LNCS, vol 1742. Springer, Berlin"},{"key":"9197_CR20","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/978-3-642-82453-1_17","volume-title":"Logics and models of concurrent systems","author":"D Harel","year":"1985","unstructured":"Harel D, Pnueli A (1985) On the development of reactive systems. In: Logics and models of concurrent systems. Springer, New York, pp 477\u2013498. http:\/\/dl.acm.org\/citation.cfm?id=101969.101990"},{"key":"9197_CR21","series-title":"Lecture notes in computer science","volume-title":"Proceedings of the 14th international symposium on formal methods (FM)","author":"T Henzinger","year":"2006","unstructured":"Henzinger T, Sifakis J (2006) The embedded systems design challenge. In: Proceedings of the 14th international symposium on formal methods (FM). Lecture notes in computer science. Springer, Berlin. http:\/\/chess.eecs.berkeley.edu\/pubs\/264.html"},{"key":"9197_CR22","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/BF00122418","volume":"8","author":"LJ Jagadeesan","year":"1996","unstructured":"Jagadeesan LJ, Puchol C, Olnhausen JE (1996) A formal approach to reactive systems software: a telecommunications application in Esterel. Form Methods Syst Des 8:123\u2013151. doi: 10.1007\/BF00122418","journal-title":"Form Methods Syst Des"},{"key":"9197_CR23","volume-title":"Real-time systems\u2014design principles for distributed embedded applications","author":"H Kopetz","year":"2011","unstructured":"Kopetz H (2011) Real-time systems\u2014design principles for distributed embedded applications. Springer, Berlin"},{"key":"9197_CR24","first-page":"160","volume-title":"Proceedings of the IEEE real-time systems symposium","author":"TW Kuo","year":"1991","unstructured":"Kuo TW, Mok AK (1991) Load adjustment in adaptive real-time systems. In: Proceedings of the IEEE real-time systems symposium, pp 160\u2013171"},{"key":"9197_CR25","doi-asserted-by":"crossref","unstructured":"Lee EA, Neuendorffer S, Wirthlin MJ (2003) Actor-oriented design of embedded hardware and software systems. J. Circ Syst Comput 2","DOI":"10.1142\/S0218126603000751"},{"issue":"1","key":"9197_CR26","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C Liu","year":"1973","unstructured":"Liu C, Layland J (1973) Scheduling algorithms for multiprogramming in a hard real-time environment. J\u00a0ACM 20(1):46\u201361","journal-title":"J\u00a0ACM"},{"key":"9197_CR27","doi-asserted-by":"crossref","first-page":"1504","DOI":"10.1145\/1403375.1403736","volume-title":"DATE","author":"R Lublinerman","year":"2008","unstructured":"Lublinerman R, Tripakis S (2008) Modularity vs. reusability: code generation from synchronous block diagrams. In: DATE. IEEE, New York, pp 1504\u20131509"},{"key":"9197_CR28","unstructured":"Mok A (1983) Fundamental design problems of distributed systems for the hard-real-time environment. PhD thesis, Laboratory for Computer Science, Massachusetts Institute of Technology. Available as Technical Report No MIT\/LCS\/TR-297"},{"key":"9197_CR29","first-page":"21","volume-title":"Work in progress (WiP) session of the IEEE real-time and embedded technology and applications symposium","author":"MD Natale","year":"2011","unstructured":"Natale MD, Zeng H (2011) Task implementation and schedulability analysis of synchronous finite state machines. In: Work in progress (WiP) session of the IEEE real-time and embedded technology and applications symposium, pp 21\u201324"},{"key":"9197_CR30","doi-asserted-by":"crossref","unstructured":"Pagetti C, Forget J, Boniol F, Cordovilla M, Lesens D (2011) Multi-task implementation of multi-periodic synchronous programs. Discrete Event Dyn Syst 22(3)","DOI":"10.1007\/s10626-011-0107-x"},{"key":"9197_CR31","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/j.entcs.2006.02.023","volume":"153","author":"E Vecchi\u00e9","year":"2006","unstructured":"Vecchi\u00e9 E, de Simone R (2006) Syntax-driven behavior partitioning for model-checking of Esterel programs. Electron Notes Theor Comput Sci 153:19\u201335. doi: 10.1016\/j.entcs.2006.02.023","journal-title":"Electron Notes Theor Comput Sci"},{"key":"9197_CR32","first-page":"239","volume-title":"Proceedings of the Real-Time Systems Symposium","author":"S Vestal","year":"2007","unstructured":"Vestal S (2007) Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In: Proceedings of the Real-Time Systems Symposium. IEEE Computer Society, New York, pp 239\u2013243"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-013-9197-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-013-9197-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-013-9197-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T13:17:56Z","timestamp":1564665476000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-013-9197-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,12]]},"references-count":32,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,5]]}},"alternative-id":["9197"],"URL":"https:\/\/doi.org\/10.1007\/s11241-013-9197-x","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,11,12]]}}}