{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T06:18:49Z","timestamp":1743056329666,"version":"3.40.3"},"publisher-location":"New York, NY","reference-count":21,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9781461438786"},{"type":"electronic","value":"9781461438793"}],"license":[{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-1-4614-3879-3_6","type":"book-chapter","created":{"date-parts":[[2013,7,18]],"date-time":"2013-07-18T12:35:31Z","timestamp":1374150931000},"page":"101-119","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Schedulability Analysis at Early Design Stages with MARTE"],"prefix":"10.1007","author":[{"given":"Chokri","family":"Mraidha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sara","family":"Tucci-Piergiovanni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastien","family":"Gerard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,7,19]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Chen, R., Sgroi, M., Lavagno, L., Martin, G., Sangiovanni-Vincentelli, A., Rabaey, J.: Uml and platform-based design pp. 107\u2013126 (2003)","DOI":"10.1007\/0-306-48738-1_5"},{"key":"6_CR2","volume-title":"Designing Concurrent, Distributed, and Real-Time Applications with Uml","author":"H Gomaa","year":"2000","unstructured":"Gomaa, H.: Designing Concurrent, Distributed, and Real-Time Applications with Uml, 1st edn. Addison-Wesley Longman Publishing Co., Inc., Boston (2000)","edition":"1"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Phan, T.H., Gerard, S., Terrier, F.: Languages for system specification. In: Real-time system modeling with ACCORD\/UML methodology: illustration through an automotive case study, pp. 51\u201370. Kluwer Academic Publishers, Norwell, MA (2004) http:\/\/dl.acm.org\/citation.cfm?id=1016425.1016431","DOI":"10.1007\/1-4020-7991-5_4"},{"key":"6_CR4","volume-title":"Real Time UML: Advances in the UML for Real-Time Systems","author":"BP Douglass","year":"2004","unstructured":"Douglass, B.P.: Real Time UML: Advances in the UML for Real-Time Systems, 3rd edn. Addison Wesley Longman Publishing Co., Inc., Redwood City (2004)","edition":"3"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Bartolini, C., Lipari, G., DiNatale, M.: From functional blocks to the synthesis of the architectural model in embedded real-time applications. In: Proceedings of the 11th IEEE Real Time on Embedded Technology and Applications Symposium, RTAS \u201905, pp. 458\u2013467. IEEE Computer Society, Washington, DC, USA (2005). http:\/\/dx.doi.org\/10.1109\/RTAS.2005.24","DOI":"10.1109\/RTAS.2005.24"},{"key":"6_CR6","unstructured":"Object Management Group: UML profile for modeling and analysis of real-time and embedded systems (MARTE), version 1.1, formal\/2011-06-02 (June 2011). http:\/\/www.omg.org\/spec\/MARTE\/1.1\/"},{"key":"6_CR7","unstructured":"Object Management Group: UML profile for schedulability, performance, and time (spt), formal\/2005-01-02 (2005). http:\/\/www.omg.org\/spec\/SPTP\/"},{"key":"6_CR8","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: Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications, EUROMICRO \u201906, pp. 108\u2013117. IEEE Computer Society, Washington, DC, USA (2006). http:\/\/dx.doi.org\/10.1109\/EUROMICRO.2006.14","DOI":"10.1109\/EUROMICRO.2006.14"},{"key":"6_CR9","unstructured":"Palencia, J.C., Gonz\u00e1lez Harbour, M.: Schedulability analysis for tasks with static and dynamic offsets. In: Proceedings of the IEEE Real-Time Systems Symposium, RTSS \u201998, pp. 26-. IEEE Computer Society, Washington, DC, USA (1998). http:\/\/dl.acm.org\/citation.cfm?id=827270.829048"},{"key":"6_CR10","unstructured":"Lehoczky, J.P., Sha, L., Ding, Y.: The rate monotonic scheduling algorithm: Exact characterization and average case behavior. In: RTSS, pp. 166\u2013171 (1989)"},{"key":"6_CR11","unstructured":"Audsley, N.: Optimal Priority Assignment And Feasibility Of Static Priority Tasks With Arbitrary Start Times. Department of Computer Science, University of York, England, Tech. rep. (1991)"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Balsamo, S., Di Marco, A., Inverardi, P., Simeoni, M.: Model-based performance prediction in software development: A survey. IEEE Trans. Softw. Eng. 30(5), 295\u2013310 (2004). http:\/\/dx.doi.org\/10.1109\/TSE.2004.9","DOI":"10.1109\/TSE.2004.9"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Jin, D., Levy, D.C.: An approach to schedulability analysis of uml-based real-time systems design. In: Proceedings of the 3rd international workshop on Software and performance, WOSP \u201902, pp. 243\u2013250. ACM, New York, NY, USA (2002). http:\/\/doi.acm.org\/10.1145\/584369.584409","DOI":"10.1145\/584369.584409"},{"key":"6_CR14","unstructured":"Saksena, M., Karvelas, P.: Designing for schedulability: integrating schedulability analysis with object-oriented design. In: Proceedings of the 12th Euromicro conference on Real-time systems, Euromicro-RTS\u201900, pp. 101\u2013108. IEEE Computer Society, Washington, DC, USA (2000). http:\/\/dl.acm.org\/citation.cfm?id=1947412.1947431"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Gu, Z., He, Z.: Real-time scheduling techniques for implementation synthesis from component-based software models. In: Proceedings of the 8th international conference on Component-Based Software Engineering, CBSE\u201905, pp. 235\u2013250. Springer, Berlin (2005)","DOI":"10.1007\/11424529_16"},{"key":"6_CR16","unstructured":"Kenneth, J.: Schedulability analysis of embedded applications modelled using marte. Ph.D. thesis, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark (2009)"},{"key":"6_CR17","unstructured":"Eclipse Foundation: Papyrus. http:\/\/www.eclipse.org\/modeling\/mdt\/papyrus\/"},{"key":"6_CR18","unstructured":"Pasaje, J.L.M., et al.: UML-MAST. http:\/\/mast.unican.es\/umlmast\/"},{"key":"6_CR19","unstructured":"Evidence: Home page. http:\/\/evidence.eu.com"},{"key":"6_CR20","unstructured":"Interested, EU Project ICT-2007-3.3 B,: Project web page. http:\/\/www.interested-ip.eu\/"},{"key":"6_CR21","unstructured":"Edona, P.: Environnements de D\u00e9veloppement Ouverts aux Normes de l\u2019Automobile. http:\/\/www.edona.fr"}],"container-title":["Embedded Systems","Embedded Systems Development"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4614-3879-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T14:44:15Z","timestamp":1676817855000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4614-3879-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,19]]},"ISBN":["9781461438786","9781461438793"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-1-4614-3879-3_6","relation":{},"ISSN":["2193-0155","2193-0163"],"issn-type":[{"type":"print","value":"2193-0155"},{"type":"electronic","value":"2193-0163"}],"subject":[],"published":{"date-parts":[[2013,7,19]]},"assertion":[{"value":"19 July 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}