{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,29]],"date-time":"2026-03-29T15:11:59Z","timestamp":1774797119452,"version":"3.50.1"},"reference-count":85,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2009,6,12]],"date-time":"2009-06-12T00:00:00Z","timestamp":1244764800000},"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":[[2009,11]]},"DOI":"10.1007\/s11241-009-9072-y","type":"journal-article","created":{"date-parts":[[2009,6,11]],"date-time":"2009-06-11T15:05:21Z","timestamp":1244732721000},"page":"259-295","source":"Crossref","is-referenced-by-count":32,"title":["Investigating the usability of real-time scheduling theory with the Cheddar project"],"prefix":"10.1007","volume":"43","author":[{"given":"Frank","family":"Singhoff","sequence":"first","affiliation":[]},{"given":"Alain","family":"Plantec","sequence":"additional","affiliation":[]},{"given":"Pierre","family":"Dissaux","sequence":"additional","affiliation":[]},{"given":"J\u00e9r\u00f4me","family":"Legrand","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,6,12]]},"reference":[{"key":"9072_CR1","unstructured":"Ahn B, Kim J, Lee D, Lee S (2006) A real time scheduling method for embedded multimedia applications. In: Proceedings of the 2006 international conference on pervasive systems and computing, Las Vegas, Nevada, USA, June 26\u201329. CSREA Press, pp\u00a0104\u2013107"},{"key":"9072_CR2","doi-asserted-by":"crossref","unstructured":"Almeida L, Pedreiras P (2004) Scheduling within temporal partitions: response-time analysis and server design. In: Proceedings of the EMSOFT\u201904 conference, September 27\u201329, Pisa, Italy, pp\u00a095\u2013103","DOI":"10.1145\/1017753.1017772"},{"issue":"1","key":"9072_CR3","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1023\/A:1015346419267","volume":"23","author":"K Altisen","year":"2002","unstructured":"Altisen K, Gossler G, Sifakis J (2002) Scheduler modeling based on the controller synthesis paradigm. Real Time Syst J 23(1):55\u201384","journal-title":"Real Time Syst J"},{"key":"9072_CR4","doi-asserted-by":"crossref","unstructured":"Alur R, Dill DL (1990) Automata for modeling real time systems. In: Proc of int colloquium on algorithms, languages and programming, LNCS, vol\u00a0443, pp\u00a0322\u2013335","DOI":"10.1007\/BFb0032042"},{"issue":"1","key":"9072_CR5","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1145\/146941.146944","volume":"10","author":"TE Anderson","year":"1992","unstructured":"Anderson TE, Bershad BN, Lazowska ED, Levy HM (1992) Scheduler activations: effective kernel support for the user-level management of parallelism. ACM Trans Comput Syst 10(1):53\u201379","journal-title":"ACM Trans Comput Syst"},{"key":"9072_CR6","unstructured":"Arinc (1997) Avionics application software standard interface. The Arinc Committee"},{"key":"9072_CR7","volume-title":"High integrity software: the Spark approach to safety and security","author":"J Barnes","year":"2003","unstructured":"Barnes J (2003) High integrity software: the Spark approach to safety and security. Addison-Wesley, Reading"},{"key":"9072_CR8","unstructured":"Barreto J, Muller G (2002) Bossa: a language-based approach for the design of real time schedulers. In: RTS\u20192002, Paris, France, pp\u00a019\u201331"},{"key":"9072_CR9","doi-asserted-by":"crossref","unstructured":"Behrmann G, David A, Larsen KG (2004) A tutorial on UPPAAL. Technical Report Updated the 17th November 2004, Department of Computer Science, Aalbord University, Denmark","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"9072_CR10","unstructured":"Berry G (2005) Getting started with Esterel Studio 5.3. Tech rep, Esterel technologies SA. Available from http:\/\/www.esterel-technologies.com\/technology\/getting-started\/"},{"key":"9072_CR11","volume-title":"Proceedings of 3rd int conf on the quantitative evaluation of systems (QEST 2006)","author":"B Berthomieu","year":"2006","unstructured":"Berthomieu B, Vernadat F (2006) Time Petri nets analysis with TINA. In: Proceedings of 3rd int conf on the quantitative evaluation of systems (QEST 2006). IEEE Computer Society, Washington"},{"key":"9072_CR12","unstructured":"Berthomieu B, Ribet PO, Vernadat F, Bernartt J, Farines J, Bodeveix J, Farail P, Filali M, Padiou G, Michel P, Farail P, Gaufillet P, Dissaux P, Lambert J (2003) Towards the verification of real time systems in avionics: the COTRE approach. Electronic notes in theorical computer sciences ENTCS, vol\u00a080"},{"key":"9072_CR13","doi-asserted-by":"crossref","unstructured":"Bodeveix J, Dissaux P, Filali M, Gaufillet P, Vernadat F (2006) Behavioural descriptions in architecture description languages, application to AADL. In: Proceedings of ERTS conference, Toulouse","DOI":"10.1007\/b106318"},{"issue":"1","key":"9072_CR14","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/BF01245300","volume":"6","author":"A Burns","year":"1994","unstructured":"Burns A, Wellings A (1994) HRT-HOOD: a design method for hard real-time systems. Real Time Syst J 6(1):73\u2013114","journal-title":"Real Time Syst J"},{"key":"9072_CR15","unstructured":"Castor M, Casteres J, Gasmi F (2007) Mod\u00e9lisation et simulation de l\u2019Architecture des simulateurs avion pour la mesure de performance. Rapport technique Airbus"},{"key":"9072_CR16","doi-asserted-by":"crossref","DOI":"10.1002\/0470856343","volume-title":"Scheduling in real time systems","author":"F Cottet","year":"2002","unstructured":"Cottet F, Delacroix J, Kaiser C, Mammeri Z (2002) Scheduling in real time systems. Wiley, New York"},{"key":"9072_CR17","doi-asserted-by":"crossref","unstructured":"Davis RI, Burns A (2005) Hierarchical fixed priority pre-emptive scheduling. In: The 26th IEEE international real-time systems symposium (RTSS\u201905), Miami, Florida, USA, pp 389\u2013398","DOI":"10.1109\/RTSS.2005.25"},{"key":"9072_CR18","first-page":"181","volume-title":"Book on architecture description languages, IFIP international federation for information processing","author":"V Debruyne","year":"2005","unstructured":"Debruyne V, Simonot-Lion F, Trinquet Y (2005) EAST-ADL\u2014an architecture description language. In: Book on architecture description languages, IFIP international federation for information processing, vol 176. Springer, Berlin, pp 181\u2013195"},{"key":"9072_CR19","unstructured":"Dissaux P, Singhoff F (2008) Stood and Cheddar: AADL as a pivot language for analysing performances of real time architectures. In: Proceedings of the European real time system conference, Toulouse, France"},{"key":"9072_CR20","unstructured":"Dissaux P, Bodeveix J, Filali M, Gaufillet P, Vernadat F (2006) AADL behavioral annex. In: Proceedings of DASIA conference, Berlin"},{"key":"9072_CR21","volume-title":"Modeling and verification using UML StateCharts","author":"D Drusinsky","year":"2006","unstructured":"Drusinsky D (2006) Modeling and verification using UML StateCharts. Elsevier, Amsterdam"},{"key":"9072_CR22","unstructured":"Farail P, Dissaux P (2002) COTRE a new approach for modelling real-time software for avionics. In: Proceedings of DASIA conference, Dublin"},{"key":"9072_CR23","doi-asserted-by":"crossref","unstructured":"Farail P, Gaufillet P (2005) COTRE as an AADL profile. In: IFIP TC-2 workshop on architectural description languages, LNCS, vol\u00a0175, pp 167\u2013179","DOI":"10.1007\/0-387-24590-1_11"},{"key":"9072_CR24","doi-asserted-by":"crossref","unstructured":"Fernandez JL, Marmol G (2008) An effective collaboration of a modeling tool and a simulation and evaluation framework. In: 18th annual international symposium, INCOSE 2008. Systems engineering for the planet, The Netherlands, 15\u201319 June 2008","DOI":"10.1002\/j.2334-5837.2008.tb00896.x"},{"issue":"2","key":"9072_CR25","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/j.tcs.2005.11.019","volume":"354","author":"E Fersman","year":"2006","unstructured":"Fersman E, Mokrushin L, Pettersson P, Yi W (2006) Schedulability analysis of fixed-priority systems using timed automata. Theor Comput Sci 354(2):301\u2013317","journal-title":"Theor Comput Sci"},{"key":"9072_CR26","unstructured":"Frana RB, Bodeveix JP, Filali M, Rolland JF (2007) The AADL behaviour annex\u2014experiments and roadmap. In: 12th IEEE international conference on engineering complex computer systems, pp\u00a0377\u2013382"},{"key":"9072_CR27","unstructured":"Fran\u00e7a RB, Rolland J, Amine MF, Bodeveix J, Chemouil D (2007) Assessment of the AADL behavioral annex. In: Journ\u00e9es FAC\u20192007, formalisation des activit\u00e9s concurrentes"},{"key":"9072_CR28","unstructured":"Fr\u00e9d\u00e9ric T, G\u00e9rard S, Delatour J (2006) Towards an UML 2.0 profile for real-time execution platform modeling. In: Proceedings of the 18th euromicro conference on real-time systems (ECRTS 06), Work in progress session"},{"key":"9072_CR29","unstructured":"Gagnaire M, Kofman D (1996) R\u00e9seaux Haut D\u00e9bit: r\u00e9seaux ATM, r\u00e9seaux locaux, r\u00e9seaux tout-optiques. Masson-Inter Editions, Collection IIA"},{"key":"9072_CR30","doi-asserted-by":"crossref","unstructured":"Gai J, Abeni L, Giogi M, Buttazzo G (2001) A new kernel approach for modular real-time systems development. In: Proceedings of the 13th IEEE euromicro conference on real-time systems, Delft, The Netherlands","DOI":"10.1109\/EMRTS.2001.934032"},{"key":"9072_CR31","unstructured":"Gallmeister BO (1995) POSIX 4: Programming for the real world. O\u2019Reilly and Associates"},{"key":"9072_CR32","unstructured":"George L, Rivierre N, Spuri M (1996) Preemptive and non-preemptive real-time uni-processor scheduling. INRIA Technical report 2966"},{"key":"9072_CR33","unstructured":"Gilles O, Hugues J (2008) Applying WCET analysis at architectural level. In: Workshop on worst-case execution time (WCET\u201908), Prague, Czech Republic, pp\u00a0113\u2013122"},{"key":"9072_CR34","first-page":"309","volume-title":"Workshop on discrete event systems, analysis and control, Ghent, Belgium","author":"E Grolleau","year":"2000","unstructured":"Grolleau E, Choquet-Geniet A (2000) Off-line computation of real-time schedules by means of Petri nets. In: Workshop on discrete event systems, analysis and control, Ghent, Belgium. Kluwer Academic, Dordrecht, pp 309\u2013316"},{"key":"9072_CR35","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1109\/ACSD.2006.15","volume-title":"6th international conference on application of concurrency to system design (ACSD\u201906), Turku, Finland","author":"A Hamez","year":"2006","unstructured":"Hamez A, Hillah L, Kordon F, Linard A, Paviot-Adet E, Renault X, Thierry-Mieg Y (2006) New features in CPN-AMI 3: focusing on the analysis of complex distributed systems. In: 6th international conference on application of concurrency to system design (ACSD\u201906), Turku, Finland. IEEE Computer Society, Washington, pp 273\u2013275"},{"key":"9072_CR36","unstructured":"Harbour MG, Palencia J (2003) Response time analysis for tasks scheduled under EDF within fixed priorities. In: Proceedings of the 24th IEEE real-time systems symposium, Cancun, Mexico"},{"key":"9072_CR37","doi-asserted-by":"crossref","unstructured":"Harbour MG, Garc\u00eda JG, Guti\u00e9rrez JP, Moyano JD (2001) MAST: modeling and analysis suite for real time applications. In: Proc. of the 13th euromicro conference on real-time systems, Delft, The Netherlands, pp 125\u2013134","DOI":"10.1109\/EMRTS.2001.934015"},{"key":"9072_CR38","doi-asserted-by":"crossref","unstructured":"Henzinger TA, Kirsch CM, Sanvido MA, Pree W (2003) From control models to real-time code using Giotto. IEEE Control Syst Mag 1(23)","DOI":"10.1109\/MCS.2003.1172829"},{"issue":"4","key":"9072_CR39","first-page":"42:2","volume":"7","author":"J Hugues","year":"2008","unstructured":"Hugues J, Zalila B, Pautet L, Kordon F (2008) From the prototype to the final embedded system using the Ocarina AADL tool suite. ACM Trans Embed Comput Syst (TECS) 7(4):42:2\u201342:25","journal-title":"ACM Trans Embed Comput Syst (TECS)"},{"key":"9072_CR40","doi-asserted-by":"crossref","unstructured":"ISO 10303-1 (1994) Part 1: overview and fundamental principles","DOI":"10.1017\/CBO9780511529573.002"},{"key":"9072_CR41","unstructured":"ISO 10303-11 (2004) Part 11: edition 2, EXPRESS language reference manual"},{"key":"9072_CR42","unstructured":"ISO 10303-21 (2001) Part 21: edition 2, Implementation method: clear text encoding of the exchange structure"},{"key":"9072_CR43","unstructured":"ISO 10303-22 (1998) Part 22: Implementation method: standard data access interface specification"},{"key":"9072_CR44","doi-asserted-by":"crossref","unstructured":"Iversen TK, Kristoffersen KJ, Larsen KG, Madsen RG, Laursen M, Mortensen SK, Pettersson P, Thomasen CB (1999) Model-checking real time control programs: verifying LEGO mindstorm systems using UPPAAL. Tech rep BRICS RS-99-53","DOI":"10.7146\/brics.v6i53.20123"},{"key":"9072_CR45","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/35043.35047","volume":"31","author":"J Kay","year":"1988","unstructured":"Kay J, Lauder P (1988) A fair share scheduler. Commun ACM 31:44\u201345","journal-title":"Commun ACM"},{"key":"9072_CR46","volume-title":"Queueing systems: theory","author":"L Kleinrock","year":"1975","unstructured":"Kleinrock L (1975) Queueing systems: theory. Wiley, New York"},{"key":"9072_CR47","unstructured":"Lawall J, Muller G, Duchesne H (2004) Language design for implementing process scheduling hierarchies. In: Proceedings of the PEPM\u201904 conferences, August 24\u201326, Veronna, Italy, pp 80\u201390"},{"key":"9072_CR48","unstructured":"Legrand J, Singhoff F, Nana L, Marc\u00e9 L, Dupont F, Hafidi H (2003) About bounds of buffers shared by periodic tasks: the IRMA project. In: The 15th euromicro international conference of real time systems (WIP Session), Porto"},{"key":"9072_CR49","doi-asserted-by":"crossref","unstructured":"Legrand J, Singhoff F, Nana L, Marc\u00e9 L (2004) Performance analysis of buffers shared by independent periodic tasks. LISyC Technical report, legrand-02-2004. Available at http:\/\/beru.univ-brest.fr\/~singhoff\/cheddar","DOI":"10.1145\/1046191.1032298"},{"issue":"11","key":"9072_CR50","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0020-0190(80)90123-4","volume":"3","author":"J Leung","year":"1980","unstructured":"Leung J, Merril M (1980) A note on preemptive scheduling of periodic real time tasks. Inf Process Lett 3(11):115\u2013118","journal-title":"Inf Process Lett"},{"issue":"1","key":"9072_CR51","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\u00a0Assoc Comput Mach 20(1):46\u201361","journal-title":"J\u00a0Assoc Comput Mach"},{"key":"9072_CR52","unstructured":"Maes E (2007) Validation de syst\u00e8mes temps-r\u00e9el et embarqu\u00e9 \u00e0 partir d\u2019un mod\u00e8le MARTE. In: Thales RT, Journ\u00e9e Ada-France 2007, Brest"},{"issue":"1","key":"9072_CR53","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.asoc.2006.06.006","volume":"8","author":"P Muhuri","year":"2008","unstructured":"Muhuri P, Shukl K (2008) Real-time task scheduling with fuzzy uncertainty in processing times and deadlines. Appl Soft Comput Rev 8(1):1\u201313","journal-title":"Appl Soft Comput Rev"},{"key":"9072_CR54","doi-asserted-by":"crossref","unstructured":"Nemer F, Cass\u00e9 H, Sainrat P, Awada A (2007) Improving the WCET accuracy by inter-task instruction cache analysis. In: IEEE international symposium on industrial embedded systems (SIES 2007), Lisbonne, July, pp\u00a025\u201332","DOI":"10.1109\/SIES.2007.4297313"},{"key":"9072_CR55","unstructured":"Nicholson M, McDermid J, Burns, A (2004) Analysis and design synthesis for hard real-time safety critical systems. YCS-237 technical report, Department of Computer Science, University of York"},{"key":"9072_CR56","unstructured":"OMG (2007) A UML profile for MARTE, Beta 1. OMG Document Number: ptc\/07-08-04"},{"key":"9072_CR57","series-title":"LNCS","volume-title":"Proceedings of the 12th international conference on reliable software technologies, Ada-Europe, Geneva","author":"M Panunzio","year":"2007","unstructured":"Panunzio M, Vardanega T (2007) A metamodel-driven process featuring advanced model-based timing analysis. In: Proceedings of the 12th international conference on reliable software technologies, Ada-Europe, Geneva. LNCS, Springer, Berlin"},{"key":"9072_CR58","unstructured":"Plantec A, Ribaud V (1998) EUGENE: a STEP-based framework to build application generators. In: AWCSET\u201998, CSIRO-Macquarie University"},{"issue":"3","key":"9072_CR59","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1145\/1185875.1185653","volume":"26","author":"A Plantec","year":"2006","unstructured":"Plantec A, Singhoff F (2006) Refactoring of an Ada 95 library with a meta CASE tool. ACM SIGAda Ada Lett 26(3):61\u201370","journal-title":"ACM SIGAda Ada Lett"},{"key":"9072_CR60","unstructured":"Plassart L, Parc PL, Singhoff F, Marc\u00e9 L (2005a) Modelling and simulation of interactions between the local command units and the supervisor of an automated assembly line: a case study. J\u00a0Mach Eng 5(1\u20132). Edited by Jedrzejewski"},{"key":"9072_CR61","unstructured":"Plassart L, Singhoff F, Parc PL, Marc\u00e9 L (2005b) Impact de l\u2019ordonnancement temps r\u00e9el des t\u00e2ches d\u2019un superviseur de ligne d\u2019assemblage. 1\u00e8res rencontres des jeunes chercheurs en informatique temps r\u00e9el 2005 (RJCITR\u201905), conjointement \u00e0 l\u2019\u00e9cole d\u2019\u00e9t\u00e9 temps r\u00e9el 2005 (ETR\u201905), Nancy"},{"key":"9072_CR62","doi-asserted-by":"crossref","unstructured":"Regehr J, Stankovic JA (2001) HLS: a framework for composing soft real-time schedulers. In: The 22th IEEE international real-time systems symposium (RTSS\u201901), London, UK, pp\u00a03\u201314","DOI":"10.1109\/REAL.2001.990591"},{"key":"9072_CR63","unstructured":"Revest F, Boniol F, Pagetti C (2007) Aide \u00e0 la conception multi-points de vue de syst\u00e8mes embarqu\u00e9s. Journ\u00e9es formalisation des activit\u00e9s concurrentes, 15\u201316 mars, CERT-ONERA, Toulouse"},{"key":"9072_CR64","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-0385-5","volume-title":"Computer networks and systems: queueing theory and performance evaluation","author":"TG Robertazzi","year":"1990","unstructured":"Robertazzi TG (1990) Computer networks and systems: queueing theory and performance evaluation. Springer, Berlin"},{"key":"9072_CR65","first-page":"41","volume":"80","author":"J Rolland","year":"2007","unstructured":"Rolland J, Thomas D, Chemouil D (2007) Utilisation d\u2019AADL pour la conception de logiciels de vol satellite. Rev G\u00e9nie Log 80:41\u201344","journal-title":"Rev G\u00e9nie Log"},{"key":"9072_CR66","unstructured":"SAE (2004) Architecture analysis and design language (AADL) AS 5506. Tech rep, The Engineering Society for Advancing Mobility Land Sea Air and Space, Aerospace Information Report, Version 1.0"},{"key":"9072_CR67","unstructured":"SAE (2007) AADL Annex Behavior (draft V1.6), AS 5506. Tech rep, The Engineering Society for Advancing Mobility Land Sea Air and Space, Aerospace Information Report"},{"key":"9072_CR68","unstructured":"SEI (2003) The rate monotonic analysis. Tech rep, In the Software Technology Roadmap. http:\/\/www.sei.cmu.edu\/str\/descriptions\/rma_body.html"},{"issue":"9","key":"9072_CR69","doi-asserted-by":"crossref","first-page":"1175","DOI":"10.1109\/12.57058","volume":"39","author":"L Sha","year":"1990","unstructured":"Sha L, Rajkumar R, Lehoczky J (1990) Priority inheritance protocols: an approach to real-time synchronization. IEEE Trans Comput 39(9):1175\u20131185","journal-title":"IEEE Trans Comput"},{"key":"9072_CR70","unstructured":"Shin I, Lee I (2003) Periodic resource model for compositional real-time guarantees. In: 4th IEEE international real-time systems symposium (RTSS\u201903)"},{"key":"9072_CR71","unstructured":"Singhoff F (2007a) Cheddar release 2.x user\u2019s guide. LISyC Technical report, number singhoff-01-2007. Available at http:\/\/beru.univ-brest.fr\/~singhoff\/cheddar"},{"key":"9072_CR72","unstructured":"Singhoff F (2007b) The Cheddar AADL property set (release 2.x). LISyC Technical report, number singhoff-03-2007. Available at http:\/\/beru.univ-brest.fr\/~singhoff\/cheddar"},{"issue":"3","key":"9072_CR73","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1145\/1315607.1315593","volume":"27","author":"F Singhoff","year":"2007","unstructured":"Singhoff F, Plantec A (2007a) AADL modeling and analysis of hierarchical schedulers. ACM SIGAda Ada Lett 27(3):41\u201350","journal-title":"ACM SIGAda Ada Lett"},{"key":"9072_CR74","series-title":"LNCS","first-page":"180","volume-title":"Proceedings of the 12th international conference on reliable software technologies, Ada-Europe, Geneva","author":"F Singhoff","year":"2007","unstructured":"Singhoff F, Plantec A (2007b) Towards user-level extensibility of an Ada library: an experiment with Cheddar. In: Proceedings of the 12th international conference on reliable software technologies, Ada-Europe, Geneva. LNCS, vol 4498. Springer, Berlin, pp 180\u2013191"},{"issue":"4","key":"9072_CR75","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1104011.1103847","volume":"25","author":"F Singhoff","year":"2005","unstructured":"Singhoff F, Legrand J, Nana L, Marc\u00e9 L (2005) Scheduling and memory requirements analysis with AADL. ACM SIGAda Ada Lett 25(4):1\u201310","journal-title":"ACM SIGAda Ada Lett"},{"key":"9072_CR76","series-title":"LNCS","first-page":"240","volume-title":"13th international conference on reliable software technologies, Ada-Europe, Venice","author":"F Singhoff","year":"2008","unstructured":"Singhoff F, Plantec A, Dissaux P (2008) Can we increase the usability of real time scheduling theory? The Cheddar project. In: 13th international conference on reliable software technologies, Ada-Europe, Venice. LNCS, vol 5026. Springer, Berlin, pp 240\u2013253"},{"key":"9072_CR77","doi-asserted-by":"crossref","unstructured":"Sokolsky O, Lee I, Clark D (2006) Schedulability analysis of AADL models. In: International parallel and distributed processing symposium, IPDPS 2006, vol 2006","DOI":"10.1109\/IPDPS.2006.1639421"},{"key":"9072_CR78","doi-asserted-by":"crossref","unstructured":"Subraminian V, Gill C, Sanchez C, Sipma HB (2006) Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems. In: Proceedings of the 6th ACM and IEEE international conference on embedded software EMSOFT \u201906","DOI":"10.1145\/1176887.1176924"},{"key":"9072_CR79","series-title":"LNCS","volume-title":"International standard ISO\/IEC 8652\/1995(E) with technical corrigendum 1 and amendment 1","author":"ST Taft","year":"2006","unstructured":"Taft ST, Duff RA, Brukardt RL, Ploedereder E, Leroy P (2006) Ada 2005 reference manual. Language and standard libraries. In: International standard ISO\/IEC 8652\/1995(E) with technical corrigendum 1 and amendment 1. LNCS, vol 4348. Springer, Berlin"},{"key":"9072_CR80","volume-title":"Modern operating systems","author":"A Tanenbaum","year":"2001","unstructured":"Tanenbaum A (2001) Modern operating systems. Prentice-Hall, Englewood Cliffs"},{"key":"9072_CR81","unstructured":"TimeSys (2002) Using TimeWiz to understand system timing before you build or buy. White paper, http:\/\/www.timesys.com\/index.cfm?bdy=home_bdy_library.cfm"},{"issue":"2\u20133","key":"9072_CR82","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0165-6074(94)90080-9","volume":"40","author":"KW Tindell","year":"1994","unstructured":"Tindell KW, Clark J (1994) Holistic schedulability analysis for distributed hard real-time systems. Microprocess Microprogram 40(2\u20133):117\u2013134","journal-title":"Microprocess Microprogram"},{"key":"9072_CR83","unstructured":"Tri-Pacific (2003) Rapid-RMA: the art of modeling real-time systems. http:\/\/www.tripac.com\/html\/prod-fact-rrm.html"},{"key":"9072_CR84","volume-title":"UNIX internals: the new frontiers","author":"U Vahalia","year":"1996","unstructured":"Vahalia U (1996) UNIX internals: the new frontiers. Prentice-Hall, Englewood Cliffs"},{"key":"9072_CR85","doi-asserted-by":"crossref","unstructured":"Wells L (2006) Performance analysis using CPN tools. ACM international conference proceeding series, vol\u00a0180, Proceedings of the 1st international conference on performance evaluation methodologies and tools","DOI":"10.1145\/1190095.1190171"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-009-9072-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-009-9072-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-009-9072-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,25]],"date-time":"2023-05-25T17:07:19Z","timestamp":1685034439000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-009-9072-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6,12]]},"references-count":85,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,11]]}},"alternative-id":["9072"],"URL":"https:\/\/doi.org\/10.1007\/s11241-009-9072-y","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,6,12]]}}}