{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:01Z","timestamp":1772163961852,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2004,11,14]],"date-time":"2004-11-14T00:00:00Z","timestamp":1100390400000},"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":[[2004,11,14]]},"DOI":"10.1145\/1032297.1032298","type":"proceedings-article","created":{"date-parts":[[2005,1,30]],"date-time":"2005-01-30T12:55:16Z","timestamp":1107089716000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":86,"title":["Cheddar"],"prefix":"10.1145","author":[{"given":"F.","family":"Singhoff","sequence":"first","affiliation":[{"name":"University of Brest, Brest Cedex, France"}]},{"given":"J.","family":"Legrand","sequence":"additional","affiliation":[{"name":"University of Brest, Brest Cedex, France"}]},{"given":"L.","family":"Nana","sequence":"additional","affiliation":[{"name":"University of Brest, Brest Cedex, France"}]},{"given":"L.","family":"Marc\u00e9","sequence":"additional","affiliation":[{"name":"University of Brest, Brest Cedex, France"}]}],"member":"320","published-online":{"date-parts":[[2004,11,14]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"The Arinc Committee","year":"1997","unstructured":"Arinc. Avionics Application Software Standard Interface . The Arinc Committee , January 1997 . Arinc. Avionics Application Software Standard Interface. The Arinc Committee, January 1997."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1993.0034"},{"key":"e_1_3_2_1_3_1","volume-title":"Scheduling Dependant Tasks with Different Arrival Times to Meet Deadlines. In. Gelende. H. Beilner (eds), Modeling and Performance Evaluation of Computer Systems","author":"Blazewicz J.","year":"1976","unstructured":"J. Blazewicz . Scheduling Dependant Tasks with Different Arrival Times to Meet Deadlines. In. Gelende. H. Beilner (eds), Modeling and Performance Evaluation of Computer Systems , Amsterdam , Noth-Holland , 1976 . J. Blazewicz. Scheduling Dependant Tasks with Different Arrival Times to Meet Deadlines. In. Gelende. H. Beilner (eds), Modeling and Performance Evaluation of Computer Systems, Amsterdam, Noth-Holland, 1976."},{"key":"e_1_3_2_1_4_1","volume-title":"J. Hildebrandt, and D. Timmermann. Framework for validation and Analysis of Real time Scheduling Algorithms and scheduler implementations","author":"Blumenthal J.","unstructured":"J. Blumenthal , olatowski , J. Hildebrandt, and D. Timmermann. Framework for validation and Analysis of Real time Scheduling Algorithms and scheduler implementations . University of Rostock , Technical report available from http:\/\/yasa.e-technik.uni-rostock.de\/, 2003. J. Blumenthal, olatowski, J. Hildebrandt, and D. Timmermann. Framework for validation and Analysis of Real time Scheduling Algorithms and scheduler implementations. University of Rostock, Technical report available from http:\/\/yasa.e-technik.uni-rostock.de\/, 2003."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00365326"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","DOI":"10.1002\/0470856343","volume-title":"Scheduling in Real Time Systems","author":"Cottet F.","year":"2002","unstructured":"F. Cottet , J. Delacroix , C. Kaiser , and Z. Mammeri . Scheduling in Real Time Systems . John Wiley and Sons Ltd editors, 2002 . F. Cottet, J. Delacroix, C. Kaiser, and Z. Mammeri. Scheduling in Real Time Systems. John Wiley and Sons Ltd editors, 2002."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/829528.831230"},{"key":"e_1_3_2_1_8_1","volume-title":"Collection IIA","author":"Gagnaire M.","year":"1996","unstructured":"M. Gagnaire and D. Kofman . R\u00e9seaux Haut D\u00e9bit: r\u00e9seaux ATM, r\u00e9seaux locaux, r\u00e9seaux tout-optiques. Masson-Inter Editions , Collection IIA , 1996 . M. Gagnaire and D. Kofman. R\u00e9seaux Haut D\u00e9bit: r\u00e9seaux ATM, r\u00e9seaux locaux, r\u00e9seaux tout-optiques. Masson-Inter Editions, Collection IIA, 1996."},{"key":"e_1_3_2_1_9_1","volume-title":"January","author":"Gallmeister B. O.","year":"1995","unstructured":"B. O. Gallmeister . POSIX 4: Programming for the Real World. O'Reilly and Associates , January 1995 . B. O. Gallmeister. POSIX 4: Programming for the Real World. O'Reilly and Associates, January 1995."},{"key":"e_1_3_2_1_10_1","volume-title":"Preemptive and Non-Preemptive Real-time Uni-processor Scheduling. INRIA Technical report number 2966","author":"George L.","year":"1996","unstructured":"L. George , N. Rivierre , and M. Spuri . Preemptive and Non-Preemptive Real-time Uni-processor Scheduling. INRIA Technical report number 2966 , 1996 . L. George, N. Rivierre, and M. Spuri. Preemptive and Non-Preemptive Real-time Uni-processor Scheduling. INRIA Technical report number 2966, 1996."},{"key":"e_1_3_2_1_11_1","volume-title":"Rapport num\u00e9ro 1446","author":"Guernic P. L.","year":"1991","unstructured":"P. L. Guernic , T. Gautier , M. L. Borgne , and C. L. Maire . Programming real time applications with SIGNAL. INRIA-RENNES , Rapport num\u00e9ro 1446 , 1991 . P. L. Guernic, T. Gautier, M. L. Borgne, and C. L. Maire. Programming real time applications with SIGNAL. INRIA-RENNES, Rapport num\u00e9ro 1446, 1991."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/871910.871923"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/29.5.390"},{"key":"e_1_3_2_1_14_1","volume-title":"A Practitioner's Handbook for Real Time Analysis","author":"Klein M. H.","year":"1994","unstructured":"M. H. Klein , T. Ralya , B. Pollak , R. Obenza , and M. G. Harbour . A Practitioner's Handbook for Real Time Analysis . Kluwer Academic Publishers , 1994 . M. H. Klein, T. Ralya, B. Pollak, R. Obenza, and M. G. Harbour. A Practitioner's Handbook for Real Time Analysis. Kluwer Academic Publishers, 1994."},{"key":"e_1_3_2_1_15_1","volume-title":"the 15th Euromicro International Conference of Real Time Systems (WIP Session)","author":"Legrand J.","year":"2003","unstructured":"J. Legrand , F. Singhoff , L. Nana , L. Marc\u00e9 , F. Dupont , and H. Hafidi . About Bounds of Buffers Shared by Periodic Tasks : the IRMA project . In the 15th Euromicro International Conference of Real Time Systems (WIP Session) , Porto , July 2003 . J. Legrand, F. Singhoff, L. Nana, L. Marc\u00e9, F. Dupont, and H. Hafidi. About Bounds of Buffers Shared by Periodic Tasks : the IRMA project. In the 15th Euromicro International Conference of Real Time Systems (WIP Session), Porto, July 2003."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/827268.828944"},{"key":"e_1_3_2_1_17_1","volume-title":"A note on preemptive scheduling of periodic real time tasks. Information processing Letters, 3(11):115--118","author":"Leung J.","year":"1980","unstructured":"J. Leung and M. Merril . A note on preemptive scheduling of periodic real time tasks. Information processing Letters, 3(11):115--118 , 1980 . J. Leung and M. Merril. A note on preemptive scheduling of periodic real time tasks. Information processing Letters, 3(11):115--118, 1980."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"e_1_3_2_1_20_1","volume-title":"Petri Net theory and the Modelling of Systems","author":"Peterson J. L.","year":"1981","unstructured":"J. L. Peterson . Petri Net theory and the Modelling of Systems . Prentice Hall , 1981 . J. L. Peterson. Petri Net theory and the Modelling of Systems. Prentice Hall, 1981."},{"key":"e_1_3_2_1_21_1","volume-title":"the Software Technology Roadmap. http:\/\/www.sei.cmu.edu\/str\/descriptions\/rma_body.html","author":"The Rate Monotonic Analysis SEI.","year":"2003","unstructured":"SEI. The Rate Monotonic Analysis . Technical report , In the Software Technology Roadmap. http:\/\/www.sei.cmu.edu\/str\/descriptions\/rma_body.html , September 2003 . SEI. The Rate Monotonic Analysis. Technical report, In the Software Technology Roadmap. http:\/\/www.sei.cmu.edu\/str\/descriptions\/rma_body.html, September 2003."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.57058"},{"key":"e_1_3_2_1_23_1","volume-title":"the DAta Systems in Aerospace conference (DASIA 2004","author":"Singhoff F.","year":"2004","unstructured":"F. Singhoff , J. Legrand , L. Nana , and L. Marc\u00e9 . Extending Rate Monotonic Analysis when Tasks Share Buffers . In the DAta Systems in Aerospace conference (DASIA 2004 ), Nice , July 2004 . F. Singhoff, J. Legrand, L. Nana, and L. Marc\u00e9. Extending Rate Monotonic Analysis when Tasks Share Buffers. In the DAta Systems in Aerospace conference (DASIA 2004), Nice, July 2004."},{"key":"e_1_3_2_1_24_1","unstructured":"TimeSys. Using TimeWiz to Understand System Timing before you Build or Buy. White paper http:\/\/www.timesys.com\/index.cfm?bdy=home_bdy_library.cfm 2002.  TimeSys. Using TimeWiz to Understand System Timing before you Build or Buy. White paper http:\/\/www.timesys.com\/index.cfm?bdy=home_bdy_library.cfm 2002."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/0165-6074(94)90080-9"},{"key":"e_1_3_2_1_26_1","unstructured":"Tri-Pacific. Rapid-RMA: The Art of Modeling Real-Time Systems. http:\/\/www.tripac.com\/html\/prod-fact-rrm.html 2003.  Tri-Pacific. Rapid-RMA: The Art of Modeling Real-Time Systems. http:\/\/www.tripac.com\/html\/prod-fact-rrm.html 2003."}],"event":{"name":"SIGAda '04: ACM SIGAda Annual International Conference","location":"Atlanta Georgia USA","acronym":"SIGAda '04","sponsor":["ACM Association for Computing Machinery","SIGAda ACM Special Interest Group on Ada Programming Language","SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering","SIGCAS ACM Special Interest Group on Computers and Society","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 2004 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1032297.1032298","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1032297.1032298","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:23:58Z","timestamp":1750253038000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1032297.1032298"}},"subtitle":["a flexible real time scheduling framework"],"short-title":[],"issued":{"date-parts":[[2004,11,14]]},"references-count":25,"alternative-id":["10.1145\/1032297.1032298","10.1145\/1032297"],"URL":"https:\/\/doi.org\/10.1145\/1032297.1032298","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1046191.1032298","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2004,11,14]]},"assertion":[{"value":"2004-11-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}