{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T22:16:11Z","timestamp":1743113771669,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642244421"},{"type":"electronic","value":"9783642244438"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24443-8_24","type":"book-chapter","created":{"date-parts":[[2011,10,6]],"date-time":"2011-10-06T00:34:12Z","timestamp":1317861252000},"page":"226-236","source":"Crossref","is-referenced-by-count":1,"title":["Towards a Simple Meta-model for Complex Real-Time and Embedded Systems"],"prefix":"10.1007","author":[{"given":"Yassine","family":"Ouhammou","sequence":"first","affiliation":[]},{"given":"Emmanuel","family":"Grolleau","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Richard","sequence":"additional","affiliation":[]},{"given":"Pascal","family":"Richard","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","unstructured":"W. SAE AADL. The SAE Architecture Analysis & Design Language Standard, volume 2008 (2008)"},{"key":"24_CR2","unstructured":"Audsley, N.C., Dd, Y.: Optimal priority assignment and feasibility of static priority tasks with arbitrary start times (1991)"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Bartolini, C., Bertolino, A., De Angelis, G., Lipari, G.: A uml profile and a methodology for real-time systems design. In: EUROMICRO, pp. 108\u2013117 (2006)","DOI":"10.1109\/EUROMICRO.2006.14"},{"key":"24_CR4","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s11241-006-9010-1","volume":"39","author":"E. Bini","year":"2008","unstructured":"Bini, E., Di Natale, M., Buttazzo, G.: Sensitivity analysis for fixed-priority real-time systems. Real-Time Syst.\u00a039, 5\u201330 (2008)","journal-title":"Real-Time Syst."},{"key":"24_CR5","first-page":"389","volume-title":"Proceedings of the 26th IEEE International Real-Time Systems Symposium","author":"R.I. Davis","year":"2005","unstructured":"Davis, R.I., Burns, A.: Hierarchical fixed priority pre-emptive scheduling. In: Proceedings of the 26th IEEE International Real-Time Systems Symposium, pp. 389\u2013398. IEEE Computer Society, Washington, DC (2005)"},{"key":"24_CR6","series-title":"IFIP","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/0-387-24590-1_12","volume-title":"Architecture Description Languages","author":"V. Debruyne","year":"2005","unstructured":"Debruyne, V., Simonot-Lion, F., Trinquet, Y.: EAST-ADL: An architecture description language. In: Architecture Description Languages. IFIP, vol.\u00a0ch. 12, pp. 181\u2013195. Springer, Boston (2005)"},{"key":"24_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-642-02674-4_8","volume-title":"Model Driven Architecture - Foundations and Applications","author":"H. Espinoza","year":"2009","unstructured":"Espinoza, H., Cancila, D., Selic, B., G\u00e9rard, S.: Challenges in combining sysml and marte for model-based design of embedded systems. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol.\u00a05562, pp. 98\u2013113. Springer, Heidelberg (2009)"},{"key":"24_CR8","first-page":"235","volume-title":"Component-Based Software Engineering","author":"Zonghua Gu","year":"2005","unstructured":"Gu, Z., He, Z.: Real-time scheduling techniques for implementation synthesis from component-based software models. In: ACM SIGSOFT International Symposium on Component Based Software Engineering, CBSE (2005)"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Hagner, M., Goltz, U.: Integration of scheduling analysis into uml based development processes through model transformation. In: Proceedings of International Multiconference on Computer Science and Information Technology - IMCSIT 2010, Wisla, Poland, October 18-20, pp. 797\u2013804 (2010)","DOI":"10.1109\/IMCSIT.2010.5679736"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Henia, R., Hamann, A., Jersak, M., Racu, R., Richter, K., Ernst, R.: System level performance analysis - the symta\/s approach. In: IEE Proceedings Computers and Digital Techniques (2005)","DOI":"10.1049\/ip-cdt:20045088"},{"issue":"5","key":"24_CR11","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.K.: Finding response times in a real-time system. Comput. J.\u00a029(5), 390\u2013395 (1986)","journal-title":"Comput. J."},{"key":"24_CR12","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. Commun. ACM\u00a031, 44\u201355 (1988)","journal-title":"Commun. ACM"},{"issue":"1","key":"24_CR13","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 environment. J. ACM\u00a020(1), 46\u201361 (1973)","journal-title":"J. ACM"},{"key":"24_CR14","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/RTTAS.2003.1203038","volume-title":"Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2003","author":"J. Masse","year":"2003","unstructured":"Masse, J., Kim, S., Hong, S.: Tool set implementation for scenario-based multithreading of uml-rt models and experimental validation. In: Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2003, p. 70. IEEE Computer Society, Washington, DC (2003)"},{"key":"24_CR15","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1145\/1967021.1967030","volume":"8","author":"J.L. Medina","year":"2011","unstructured":"Medina, J.L., Cuesta, \u00c1.G.: From composable design models to schedulability analysis with uml and the uml profile for marte. SIGBED Rev.\u00a08, 64\u201368 (2011)","journal-title":"SIGBED Rev."},{"key":"24_CR16","first-page":"245","volume-title":"Proceedings of the 22nd IEEE Real-Time Systems Symposium, RTSS 2001","author":"J.L.M. Pasaje","year":"2001","unstructured":"Pasaje, J.L.M., Harbour, M.G., Drake, J.M.: Mast real-time view: A graphic uml tool for modeling object-oriented real-time systems. In: Proceedings of the 22nd IEEE Real-Time Systems Symposium, RTSS 2001, p. 245. IEEE Computer Society, Washington, DC (2001)"},{"key":"24_CR17","unstructured":"Mishra, R., Rastogi, N., Zhu, D., Moss\u00e9, D., Melhem, R.: Energy aware scheduling for distributed real-time systems. In: International Parallel and Distributed Processing Symposium, p. 21 (2003)"},{"key":"24_CR18","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1109\/32.637146","volume":"23","author":"A.K. Mok","year":"1996","unstructured":"Mok, A.K., Chen, D.: A multiframe model for real-time tasks. IEEE Transactions on Software Engineering\u00a023, 635\u2013645 (1996)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"24_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1921532.1921555","volume":"36","author":"C. Mraidha","year":"2011","unstructured":"Mraidha, C., Tucci-Piergiovanni, S., Gerard, S.: Optimum: a marte-based methodology for schedulability analysis at early design stages. SIGSOFT Softw. Eng. Notes\u00a036, 1\u20138 (2011)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"24_CR20","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/s11241-009-9078-5","volume":"43","author":"T.H.C. NGuyen","year":"2009","unstructured":"NGuyen, T.H.C., Richard, P., Bini, E.: Approximation techniques for response-time analysis of static-priority tasks. Real-Time Systems\u00a043, 147\u2013176 (2009)","journal-title":"Real-Time Systems"},{"key":"24_CR21","unstructured":"OMG. UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems (2009)"},{"key":"24_CR22","unstructured":"Richard, M., Richard, P., Grolleau, E., Cottet, F.: Contraintes de pr\u00e9c\u00e9dences et ordonnancement mono-processeur. In: Teknea (ed.) Real Time and Embedded Systems, March 26-28, pp. 121\u2013138 (2002)"},{"key":"24_CR23","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1109\/REAL.2004.35","volume-title":"Proceedings of the 25th IEEE International Real-Time Systems Symposium","author":"F. Ridouard","year":"2004","unstructured":"Ridouard, F., Richard, P., Cottet, F.: Negative results for scheduling independent hard real-time tasks with self-suspensions. In: Proceedings of the 25th IEEE International Real-Time Systems Symposium, pp. 47\u201356. IEEE Computer Society, Washington, DC (2004)"},{"key":"24_CR24","first-page":"1","volume-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, SIGAda 2004","author":"F. Singhoff","year":"2004","unstructured":"Singhoff, F., Legrand, J., Nana, L., Marc\u00e9, L.: Cheddar: a flexible real time scheduling framework. In: 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, SIGAda 2004, pp. 1\u20138. ACM, New York (2004)"},{"key":"24_CR25","unstructured":"SysML. OMG system modeling language (OMG SysML) V1.0 (2007)"},{"key":"24_CR26","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0165-6074(94)90080-9","volume":"40","author":"K. Tindell","year":"1994","unstructured":"Tindell, K., Clark, J.: Holistic schedulability analysis for distributed hard real-time systems. Microprocess. Microprogram.\u00a040, 117\u2013134 (1994)","journal-title":"Microprocess. Microprogram."},{"key":"24_CR27","first-page":"10","volume-title":"Proceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2006","author":"K. Traore","year":"2006","unstructured":"Traore, K., Grolleau, E., Cottet, F.: Characterization and analysis of tasks with offsets: Monotonic transactions. In: Proceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2006, pp. 10\u201316. IEEE Computer Society, Washington, DC (2006)"},{"issue":"4","key":"24_CR28","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1109\/32.277577","volume":"20","author":"S. Vestal","year":"1994","unstructured":"Vestal, S.: Fixed-priority sensitivity analysis for linear compute time models. IEEE Trans. Software Eng., 308\u2013317 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"24_CR29","doi-asserted-by":"crossref","unstructured":"Zhang, F., Burns, A., Baruah, S.: Sensitivity analysis of arbitrary deadline real-time systems with EDF scheduling. Real-Time Systems, 1\u201329 (April 2011)","DOI":"10.1109\/RTCSA.2010.12"}],"container-title":["Lecture Notes in Computer Science","Model and Data Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24443-8_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T20:14:21Z","timestamp":1558296861000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24443-8_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642244421","9783642244438"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24443-8_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}