{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:38:25Z","timestamp":1725514705668},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540686217"},{"type":"electronic","value":"9783540686248"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68624-8_18","type":"book-chapter","created":{"date-parts":[[2008,6,10]],"date-time":"2008-06-10T09:52:09Z","timestamp":1213091529000},"page":"240-253","source":"Crossref","is-referenced-by-count":7,"title":["Can We Increase the Usability of Real Time Scheduling Theory? The Cheddar Project"],"prefix":"10.1007","author":[{"given":"Frank","family":"Singhoff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alain","family":"Plantec","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Dissaux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"18_CR1","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C.L. Liu","year":"1973","unstructured":"Liu, C.L., Layland, J.W.: Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environnment. Journal of the Association for Computing Machinery\u00a020(1), 46\u201361 (1973)","journal-title":"Journal of the Association for Computing Machinery"},{"issue":"9","key":"18_CR2","doi-asserted-by":"publisher","first-page":"1175","DOI":"10.1109\/12.57058","volume":"39","author":"L. Sha","year":"1990","unstructured":"Sha, L., Rajkumar, R., Lehoczky, J.: Priority Inheritance Protocols: An Approach to real-time Synchronization. IEEE Transactions on computers\u00a039(9), 1175\u20131185 (1990)","journal-title":"IEEE Transactions on computers"},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Ada 2005 Reference Manual. Language and Standard Libraries. International Standard ISO\/IEC 8652\/1995(E) with Technical Corrigendum 1 and Amendment 1","author":"S.T. Taft","year":"2006","unstructured":"Taft, S.T., Duff, R.A., Brukardt, R.L., Ploedereder, E., Leroy, P.: Ada 2005 Reference Manual. Language and Standard Libraries. International Standard ISO\/IEC 8652\/1995(E) with Technical Corrigendum 1 and Amendment 1. LNCS, vol.\u00a04348(XXII). Springer, Heidelberg (2006)"},{"key":"18_CR4","unstructured":"SEI: The Rate Monotonic Analysis. Technical report, In the Software Technology Roadmap (2003), http:\/\/www.sei.cmu.edu\/str\/descriptions\/rma_body.html"},{"issue":"2-3","key":"18_CR5","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0165-6074(94)90080-9","volume":"40","author":"K.W. Tindell","year":"1994","unstructured":"Tindell, K.W., Clark, J.: Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and Microprogramming\u00a040(2-3), 117\u2013134 (1994)","journal-title":"Microprocessing and Microprogramming"},{"issue":"11","key":"18_CR6","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0020-0190(80)90123-4","volume":"3","author":"J. Leung","year":"1980","unstructured":"Leung, J., Merril, M.: A note on preemptive scheduling of periodic real time tasks. Information processing Letters\u00a03(11), 115\u2013118 (1980)","journal-title":"Information processing Letters"},{"key":"18_CR7","unstructured":"George, L., Rivierre, N., Spuri, M.: Preemptive and Non-Preemptive Real-time Uni-processor Scheduling, INRIA Technical report number 2966 (1996)"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Harbour, M.G., Garc\u00eda, J.G., Guti\u00e9rrez, J.P., Moyano, J.D.: 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 (2001)","DOI":"10.1109\/EMRTS.2001.934015"},{"key":"18_CR9","unstructured":"Tri-Pacific: Rapid-RMA : The Art of Modeling Real-Time Systems (2003), http:\/\/www.tripac.com\/html\/prod-fact-rrm.html"},{"key":"18_CR10","unstructured":"Dissaux, P., Singhoff, F.: 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 (2008)"},{"key":"18_CR11","unstructured":"Hugues, J., Zalila, B., Pautet, L.: Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina. In: 18th IEEE\/IFIP International Workshop on Rapid System Prototyping (RSP 2007), Porto Allegre, Brazil (2007)"},{"key":"18_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-540-73230-3_10","volume-title":"Reliable Software Technologies - Ada-Europe 2007","author":"M. Panunzio","year":"2007","unstructured":"Panunzio, M., Vardanega, T.: A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis. In: Abdennahder, N., Kordon, F. (eds.) Ada-Europe 2007. LNCS, vol.\u00a04498, pp. 128\u2013141. Springer, Heidelberg (2007)"},{"key":"18_CR13","unstructured":"Fr\u00e9d\u00e9ric, T., G\u00e9rard, S., Delatour, J.: Towards an UML 2.0 profile for real-time execution platform modeling. In: Proceedings of the 18th Euromicro Conference on Real-Time Systems (ECRTS 2006) Work in progress session (2006)"},{"key":"18_CR14","unstructured":"Inc., S.: Architecture Analysis and Design Language (AADL) AS 5506. Technical report, The Engineering Society For Advancing Mobility Land Sea Air and Space, Aerospace Information Report, Version 1.0 (2004)"},{"key":"18_CR15","first-page":"1","volume-title":"ACM SIGAda Ada Letters","author":"F. Singhoff","year":"2005","unstructured":"Singhoff, F., Legrand, J., Nana, L., Marc\u00e9, L.: Scheduling and Memory requirements analysis with AADL. In: ACM SIGAda Ada Letters, vol.\u00a025(4), pp. 1\u201310. ACM Press, New York (2005)"},{"key":"18_CR16","unstructured":"Singhoff, F.: The Cheddar AADL property set (Release 2.x, LISyC Technical report, number singhoff-03-2007) (2007), http:\/\/beru.univ-brest.fr\/~singhoff\/cheddar"},{"key":"18_CR17","unstructured":"Inc., S.: AADL Annex Behavior (draft V1.6), AS 5506. Technical report, The Engineering Society For Advancing Mobility Land Sea Air and Space, Aerospace Information Report (2007)"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Legrand, J., Singhoff, F., Nana, L., Marc\u00e9, L.: Performance Analysis of Buffers Shared by Independent Periodic Tasks, LISyC Technical report, number legrand-02-2004 (2004), http:\/\/beru.univ-brest.fr\/~singhoff\/cheddar","DOI":"10.1145\/1046191.1032298"},{"key":"18_CR19","unstructured":"Arinc: Avionics Application Software Standard Interface. The Arinc Committee (1997)"},{"key":"18_CR20","volume-title":"Proceedings of the First International Conference on Performance Evaluation Methodologies and Tools 2006. ValueTools 2006","author":"L. Wells","year":"2006","unstructured":"Wells, L.: Performance Analysis using CPN Tools. In: Proceedings of the First International Conference on Performance Evaluation Methodologies and Tools 2006. ValueTools 2006. ACM Press, New York (2006)"},{"key":"18_CR21","unstructured":"Platypus Technical Summary and download (2007), http:\/\/cassoulet.univ-brest.fr\/mme\/"},{"key":"18_CR22","unstructured":"Singhoff, F.: Cheddar Release 2.x User\u2019s Guide, LISyC Technical report, number singhoff-01-2007 (2007), http:\/\/beru.univ-brest.fr\/~singhoff\/cheddar"},{"key":"18_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/BFb0032042","volume-title":"Automata, Languages and Programming","author":"R. Alur","year":"1990","unstructured":"Alur, R., Dill, D.L.: Automata for modeling real time systems. In: Paterson, M. (ed.) ICALP 1990. LNCS, vol.\u00a0443, pp. 322\u2013335. Springer, Heidelberg (1990)"},{"key":"18_CR24","doi-asserted-by":"crossref","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A Tutorial on UPPAAL, Technical Report Updated the 17th November 2004, Department of Computer Science, Aalbord University, Denmark (2004)","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"18_CR25","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/35043.35047","volume":"31","author":"J. Kay","year":"1988","unstructured":"Kay, J., Lauder, P.: A Fair Share Scheduler. Communications of the ACM\u00a031, 44\u201345 (1988)","journal-title":"Communications of the ACM"},{"key":"18_CR26","volume-title":"POSIX 4 : Programming for the Real World","author":"B.O. Gallmeister","year":"1995","unstructured":"Gallmeister, B.O.: POSIX 4: Programming for the Real World. O\u2019Reilly and Associates, Sebastopol (1995)"},{"key":"18_CR27","first-page":"41","volume-title":"ACM SIGAda Ada Letters","author":"F. Singhoff","year":"2007","unstructured":"Singhoff, F., Plantec, A.: AADL Modeling and Analysis of a hierarchical schedulers. In: ACM SIGAda Ada Letters, vol.\u00a027(3), pp. 41\u201350. ACM Press, New York (2007)"},{"key":"18_CR28","volume-title":"High integrity software: The Spark approach to safety and security","author":"J. Barnes","year":"2003","unstructured":"Barnes, J.: High integrity software: The Spark approach to safety and security. Addison-Wesley Publishing Company, Reading (2003)"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada-Europe 2008"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68624-8_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:08:36Z","timestamp":1620014916000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68624-8_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540686217","9783540686248"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68624-8_18","relation":{},"subject":[]}}