{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:34:23Z","timestamp":1725568463499},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642165573"},{"type":"electronic","value":"9783642165580"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16558-0_3","type":"book-chapter","created":{"date-parts":[[2010,11,2]],"date-time":"2010-11-02T09:36:49Z","timestamp":1288690609000},"page":"4-17","source":"Crossref","is-referenced-by-count":3,"title":["Enforcing Applicability of Real-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns"],"prefix":"10.1007","author":[{"given":"Alain","family":"Plantec","sequence":"first","affiliation":[]},{"given":"Frank","family":"Singhoff","sequence":"additional","affiliation":[]},{"given":"Pierre","family":"Dissaux","sequence":"additional","affiliation":[]},{"given":"J\u00e9r\u00f4me","family":"Legrand","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Arinc: Avionics Application Software Standard Interface. The Arinc Committee (January 1997)"},{"issue":"1","key":"3_CR2","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/BF01245300","volume":"6","author":"A. Burns","year":"1994","unstructured":"Burns, A., Wellings, A.: HRT-HOOD: A Design Method for Hard Real-time Systems. Real Time Systems Journal\u00a06(1), 73\u2013114 (1994)","journal-title":"Real Time Systems Journal"},{"key":"3_CR3","unstructured":"Dissaux, P.: Using the AADL for mission critical software development. In: 2nd European Congress Erts, Embedded Real Time Software Toulouse (January 2004)"},{"key":"3_CR4","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 (January 2008)"},{"key":"3_CR5","unstructured":"Farail, P., Gaufillet, P., Canals, A., Camus, C.L., Sciamma, D., Michel, P., Cr\u00e9gut, X., Pantel, M.: From MDD Concepts to Experiments and Illustrations. In: ISTE (ed.) TOPCASED: An Open Source Development Environment for Embedded Systems, ch. 11, pp. 195\u2013207 (September 2006)"},{"key":"3_CR6","volume-title":"18th Annual International Symposium, INCOSE 2008","author":"J.L. Fernandez","year":"2008","unstructured":"Fernandez, J.L., Marmol, G.: 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 (June 2008)"},{"key":"3_CR7","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 (January 1995)"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Gilles, O., Hugues, J.: Expressing and enforcing user-defined constraints of AADL models. In: The Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, International workshop on AADL and UML, University of Oxford, UK, pp. 337\u2013348 (March 2010)","DOI":"10.1109\/ICECCS.2010.26"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Harbour, M.G., Garc\u00eca, 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 (June 2001)","DOI":"10.1109\/EMRTS.2001.934015"},{"key":"3_CR10","unstructured":"Hugues, J., Zalila, B., Pautet, L., Kordon, F.: 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 (June 2007)"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"ISO 10303-1: Part 1: Overview and fundamental principles (1994)","DOI":"10.1017\/CBO9780511529573.002"},{"key":"3_CR12","unstructured":"ISO 10303-11: Part 11: edition 2, EXPRESS Language Reference Manual (2004)"},{"issue":"5","key":"3_CR13","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1093\/comjnl\/29.5.390","volume":"29","author":"M. Joseph","year":"1986","unstructured":"Joseph, M., Pandya, P.: Finding Response Time in a Real-Time System. Computer Journal\u00a029(5), 390\u2013395 (1986)","journal-title":"Computer Journal"},{"issue":"1","key":"3_CR14","doi-asserted-by":"publisher","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"},{"key":"3_CR15","unstructured":"Masson and Prentice-Hall: HOOD Reference Manual release 3.1, HOOD User Group (1993)"},{"key":"3_CR16","unstructured":"Masson and Prentice-Hall: HOOD Reference Manual release 4.0, HOOD User Group (1995)"},{"key":"3_CR17","unstructured":"OMG: A UML Profile for MARTE, Beta 1. OMG Document Number: ptc\/07-08-04 (August 2007)"},{"key":"3_CR18","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)"},{"issue":"3","key":"3_CR19","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/1185875.1185653","volume":"26","author":"A. Plantec","year":"2006","unstructured":"Plantec, A., Singhoff, F.: Refactoring of an Ada 95 Library with a Meta CASE Tool. ACM SIGAda Ada Letters\u00a026(3), 61\u201370 (2006)","journal-title":"ACM SIGAda Ada Letters"},{"key":"3_CR20","unstructured":"Platypus Technical Summary and download (2007), http:\/\/cassoulet.univ-brest.fr\/mme\/"},{"key":"3_CR21","unstructured":"SAE: 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 2.0 (January 2009)"},{"key":"3_CR22","unstructured":"SEI: OSATE : An extensible Source AADL Tool Environment. SEI AADL Team technical Report (December 2004)"},{"key":"3_CR23","unstructured":"Singhoff, F.: A taxonomy of real-time scheduling theory feasibility tests. LISyC Technical report, number singhoff-01-2010 (February 2010), http:\/\/beru.univ-brest.fr\/~singhoff\/cheddar"},{"key":"3_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/978-3-540-73230-3_14","volume-title":"Reliable Software Technologies - Ada-Europe 2007","author":"F. Singhoff","year":"2007","unstructured":"Singhoff, F., Plantec, A.: Towards User-Level extensibility of an Ada library: an experiment with Cheddar. In: Abdennahder, N., Kordon, F. (eds.) Ada-Europe 2007. LNCS, vol.\u00a04498, pp. 180\u2013191. Springer, Heidelberg (2007)"},{"issue":"3","key":"3_CR25","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/s11241-009-9072-y","volume":"43","author":"F. Singhoff","year":"2009","unstructured":"Singhoff, F., Plantec, A., Dissaux, P., Legrand, J.: Investigating the usability of real-time scheduling theory with the Cheddar project. Journal of Real-Time Systems\u00a043(3), 259\u2013295 (2009)","journal-title":"Journal of Real-Time Systems"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Sokolsky, O., Lee, I., Clark, D.: Schedulability Analysis of AADL models. In: International Parallel and Distributed Processing Symposium, IPDPS 2006, vol.\u00a02006 (April 2006)","DOI":"10.1109\/IPDPS.2006.1639421"},{"key":"3_CR27","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. Springer, Heidelberg (2006)"},{"key":"3_CR28","volume-title":"Modern Operating Systems","author":"A. Tanenbaum","year":"2001","unstructured":"Tanenbaum, A.: Modern Operating Systems. Prentice-Hall, Englewood Cliffs (2001)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification, and Validation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16558-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,12]],"date-time":"2021-11-12T18:29:32Z","timestamp":1636741772000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16558-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642165573","9783642165580"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16558-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}