{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:27:41Z","timestamp":1750307261039,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,3,21]],"date-time":"2011-03-21T00:00:00Z","timestamp":1300665600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,3,21]]},"DOI":"10.1145\/1982185.1982345","type":"proceedings-article","created":{"date-parts":[[2011,5,17]],"date-time":"2011-05-17T12:59:14Z","timestamp":1305637154000},"page":"735-741","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Multiprocessor schedulability analyser"],"prefix":"10.1145","author":[{"given":"Mikel","family":"Cordovilla","sequence":"first","affiliation":[{"name":"ONERA, Toulouse, France"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Boniol","sequence":"additional","affiliation":[{"name":"ONERA, Toulouse, France"}]},{"given":"Eric","family":"Noulard","sequence":"additional","affiliation":[{"name":"ONERA, Toulouse, France"}]},{"given":"Claire","family":"Pagetti","sequence":"additional","affiliation":[{"name":"ONERA\/IRIT, Toulouse, France"}]}],"member":"320","published-online":{"date-parts":[[2011,3,21]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Handbook of Realtime and Embedded Systems","author":"Baker T. P.","year":"2007","unstructured":"T. P. Baker and S. K. Baruah . Schedulability analysis of multiprocessor sporadic task systems . In Handbook of Realtime and Embedded Systems . CRC Press , 2007 . T. P. Baker and S. K. Baruah. Schedulability analysis of multiprocessor sporadic task systems. In Handbook of Realtime and Embedded Systems. CRC Press, 2007."},{"key":"e_1_3_2_1_2_1","first-page":"200","article-title":"Fairness in periodic real-time scheduling. Real-Time Systems Symposium","volume":"0","author":"Baruah S. K.","year":"1995","unstructured":"S. K. Baruah . Fairness in periodic real-time scheduling. Real-Time Systems Symposium , IEEE International , 0 : 200 , 1995 . S. K. Baruah. Fairness in periodic real-time scheduling. Real-Time Systems Symposium, IEEE International, 0: 200, 1995.","journal-title":"IEEE International"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems: 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT","author":"Behrmann G.","year":"2004","unstructured":"G. Behrmann , A. David , and K. G. Larsen . A tutorial on uppaal . In M. Bernardo and F. Corradini, editors, Formal Methods for the Design of Real-Time Systems: 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004 , number 3185 in LNCS, pages 200 -- 236 . Springer--Verlag , September 2004. G. Behrmann, A. David, and K. G. Larsen. A tutorial on uppaal. In M. Bernardo and F. Corradini, editors, Formal Methods for the Design of Real-Time Systems: 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, number 3185 in LNCS, pages 200--236. Springer--Verlag, September 2004."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2006.10"},{"key":"e_1_3_2_1_5_1","volume-title":"Proc. International Conference on Computer-Aided Verification (CAV 2002","volume":"2404","author":"Cimatti R.","year":"2002","unstructured":"R. Cimatti , E. Clarke , E. Giunchiglia , F. Giunchiglia , M. Pistore , M. Roveri , R. Sebastiani , and O. Tacchella . NuSMV Version 2: An OpenSource Tool for Symbolic Model Checking . In Proc. International Conference on Computer-Aided Verification (CAV 2002 ), volume 2404 of LNCS, Copenhagen, Denmark , July 2002 . Springer. R. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and O. Tacchella. NuSMV Version 2: An OpenSource Tool for Symbolic Model Checking. In Proc. International Conference on Computer-Aided Verification (CAV 2002), volume 2404 of LNCS, Copenhagen, Denmark, July 2002. Springer."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1266366.1266725"},{"key":"e_1_3_2_1_7_1","first-page":"93","volume-title":"Model-Based Design for Embedded Systems","author":"David A.","year":"2010","unstructured":"A. David , J. Illum , K. G. Larsen , and A. Skou . Model-Based Design for Embedded Systems , chapter Model-Based Framework for Schedulability Analysis Using UPPAAL 4.1, pages 93 -- 119 . CRC Press , 2010 . A. David, J. Illum, K. G. Larsen, and A. Skou. Model-Based Design for Embedded Systems, chapter Model-Based Framework for Schedulability Analysis Using UPPAAL 4.1, pages 93--119. CRC Press, 2010."},{"key":"e_1_3_2_1_8_1","volume-title":"A survey of hard real-time scheduling algorithms and schedulability analysis techniques for multiprocessor systems. techreport YCS-2009-443","author":"Davis R. I.","year":"2009","unstructured":"R. I. Davis and A. Burns . A survey of hard real-time scheduling algorithms and schedulability analysis techniques for multiprocessor systems. techreport YCS-2009-443 , University of York , Department of Computer Science, 2009 . R. I. Davis and A. Burns. A survey of hard real-time scheduling algorithms and schedulability analysis techniques for multiprocessor systems. techreport YCS-2009-443, University of York, Department of Computer Science, 2009."},{"key":"e_1_3_2_1_9_1","volume-title":"Tpap: an algebra of preemptive processes for verifying real-time systems with shared resources. Electr. Notes Theor. Comput. Sci., 65(6)","author":"Ermont J.","year":"2002","unstructured":"J. Ermont and F. Boniol . Tpap: an algebra of preemptive processes for verifying real-time systems with shared resources. Electr. Notes Theor. Comput. Sci., 65(6) , 2002 . J. Ermont and F. Boniol. Tpap: an algebra of preemptive processes for verifying real-time systems with shared resources. Electr. Notes Theor. Comput. Sci., 65(6), 2002."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2007.01.009"},{"issue":"2","key":"e_1_3_2_1_11_1","first-page":"129","article-title":"A generic approach to schedulability analysis of real-time tasks","volume":"11","author":"Fersman E.","year":"2004","unstructured":"E. Fersman and W. Yi . A generic approach to schedulability analysis of real-time tasks . Nordic J. of Computing , 11 ( 2 ): 129 -- 147 , 2004 . E. Fersman and W. Yi. A generic approach to schedulability analysis of real-time tasks. Nordic J. of Computing, 11(2): 129--147, 2004.","journal-title":"Nordic J. of Computing"},{"key":"e_1_3_2_1_12_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/978-3-540-75664-4_26","volume-title":"R. Obermaisser, Y. Nah, P. P. Puschner, and F.-J","author":"Guan N.","year":"2007","unstructured":"N. Guan , Z. Gu , Q. Deng , S. Gao , and G. Yu . Exact schedulability analysis for static-priority global multiprocessor scheduling using model-checking . In R. Obermaisser, Y. Nah, P. P. Puschner, and F.-J . Rammig, editors, SEUS, volume 4761 of Lecture Notes in Computer Science , pages 263 -- 272 . Springer , 2007 . N. Guan, Z. Gu, Q. Deng, S. Gao, and G. Yu. Exact schedulability analysis for static-priority global multiprocessor scheduling using model-checking. In R. Obermaisser, Y. Nah, P. P. Puschner, and F.-J. Rammig, editors, SEUS, volume 4761 of Lecture Notes in Computer Science, pages 263--272. Springer, 2007."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.74"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s004530010048"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-008-9059-0"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"e_1_3_2_1_18_1","unstructured":"I. Real-time group. Storm Simulation TOol for Real-time Multiprocessor. http:\/\/storm.rts-software.org\/doku.php 2009.  I. Real-time group. Storm Simulation TOol for Real-time Multiprocessor. http:\/\/storm.rts-software.org\/doku.php 2009."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1032297.1032298"}],"event":{"name":"SAC'11: The 2011 ACM Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"TaiChung Taiwan","acronym":"SAC'11"},"container-title":["Proceedings of the 2011 ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1982185.1982345","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1982185.1982345","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:37Z","timestamp":1750243957000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1982185.1982345"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3,21]]},"references-count":18,"alternative-id":["10.1145\/1982185.1982345","10.1145\/1982185"],"URL":"https:\/\/doi.org\/10.1145\/1982185.1982345","relation":{},"subject":[],"published":{"date-parts":[[2011,3,21]]},"assertion":[{"value":"2011-03-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}