{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:18:08Z","timestamp":1725567488771},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642162763"},{"type":"electronic","value":"9783642162770"}],"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-16277-0_6","type":"book-chapter","created":{"date-parts":[[2010,10,13]],"date-time":"2010-10-13T07:55:33Z","timestamp":1286956533000},"page":"129-154","source":"Crossref","is-referenced-by-count":8,"title":["6 Modeling Languages for Real-Time and Embedded Systems"],"prefix":"10.1007","author":[{"given":"S\u00e9bastien","family":"G\u00e9rard","sequence":"first","affiliation":[]},{"given":"Huascar","family":"Espinoza","sequence":"additional","affiliation":[]},{"given":"Fran\u00e7ois","family":"Terrier","sequence":"additional","affiliation":[]},{"given":"Bran","family":"Selic","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Object\u00a0Management Group: UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) RFP (2005-02-06) (February 2005)"},{"key":"6_CR2","volume-title":"Object-Oriented Software Engineering : A Use Case Driven Approach","author":"I. Jacobson","year":"1990","unstructured":"Jacobson, I.: Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, Reading (1990)"},{"key":"6_CR3","unstructured":"The Mathworks, http:\/\/www.mathworks.fr\/"},{"key":"6_CR4","unstructured":"Eclipse-atl, http:\/\/www.eclipse.org\/m2m\/atl\/"},{"key":"6_CR5","unstructured":"Object\u00a0Management Group: UML Version v2.1.2 (2007-02-05) (February 2007), http:\/\/www.omg.org\/spec\/UML\/2.1.2\/"},{"key":"6_CR6","unstructured":"Object\u00a0Management Group: UML Profile for Schedulability, Performance, and Time, v1.1 (2005-01-02) (January 2005), http:\/\/www.omg.org\/technology\/documents\/formal\/schedulability.htm"},{"key":"6_CR7","unstructured":"Chen, R., Sgroi, M., Martin, G., Lavagno, L., Sangiovanni-Vincentelli, A.L., Rabaey, J.: UML for Real: Design of Embedded Real-Time Systems. In: Selic, B., Lavagno, L., Martin, G. (eds.), pp. 189\u2013270. Kluwer Academic Publishers, Dordrecht (2003)"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2796-1","volume-title":"A Practitioner\u2019s Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems","author":"M. Klein","year":"1993","unstructured":"Klein, M., Ralya, T., Pollak, B., Obenza, R.: A Practitioner\u2019s Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems. LNCS. Kluwer Academic Publishers, Dordrecht (1993)"},{"key":"6_CR9","unstructured":"Espinoza, H.: An Integrated Model-Driven Framework for Specifying and Analyzing Non-Functional Properties of Real-Time Systems. Information Processing Letters (2007)"},{"key":"6_CR10","volume-title":"Domain-Specific Modeling (in CRC Handbook of Dynamic System Modeling)","author":"J. Gray","year":"2007","unstructured":"Gray, J., Tolvanen, J.P., Kelly, S., Gokhale, A., Neema, S., Sprinkle, J.: Domain-Specific Modeling (in CRC Handbook of Dynamic System Modeling). CRC Press, Boca Raton (2007)"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-540-30080-9_6","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"B. Selic","year":"2004","unstructured":"Selic, B.: On the semantic foundations of standard UML 2.0. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 181\u2013199. Springer, Heidelberg (2004)"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Object-Oriented Programming","author":"M. Shonle","year":"2003","unstructured":"Shonle, M., Lieberherr, K., Shah, A.: XAspects: An Extensible System for Domain-Specific Aspect Languages. In: Object-Oriented Programming. LNCS. Springer, Heidelberg (2003)"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Selic, B.: A Systematic Approach to Domain-Specific Language Design Using UML. In: ISORC (2007)","DOI":"10.1109\/ISORC.2007.10"},{"key":"6_CR14","unstructured":"Object\u00a0Management Group: Systems Modeling Language, Version 1.1(2008-11-01) (November 2008), http:\/\/www.omg.org\/cgi-bin\/doc?formal"},{"key":"6_CR15","unstructured":"Object\u00a0Management Group: UML Profile for Modeling QoS and FT Characteristics and Mechanisms, v1.1 (2006-05-02) (Mai 2006), http:\/\/www.omg.org\/spec\/QFTP\/1.1\/"},{"key":"6_CR16","unstructured":"Object\u00a0Management Group: UML Profile for MARTE, Beta 2 (2008-06-09) (Juni 2008), http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/"},{"key":"6_CR17","unstructured":"Object\u00a0Management Group: Policies and Procedures, Version 2.7 (2008-06-01) (Juni 2008), http:\/\/www.omg.org\/cgi-bin\/doc?pp"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Thomas, F., G\u00e9rard, S., Delatour, J., Terrier, F.: Software Real-Time Resource Modeling. In: Proceedings of the International Conference Forum on Specification and Design Languages (FDL). Information Processing Letters (2007)","DOI":"10.1007\/978-1-4020-8297-9_12"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Taha, S., Radermacher, A., Gerard, S., Dekeyzer, J.L.: An Open Framework for Hardware Detailed Modeling. In: IEEE Proceedings of SIES. Information Processing Letters (2007)","DOI":"10.1109\/SIES.2007.4297325"},{"key":"6_CR20","unstructured":"Taha, S., Radermacher, A., Gerard, S., Dekeyzer, J.L.: Marte: Uml-based hardware design from modeling to simulation. In: Proceedings of the international conference forum on specification and design languages (fdl). Information Processing Letters (2007)"},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1007\/978-3-540-87875-9_35","volume-title":"Model Driven Engineering Languages and Systems","author":"R. Tawhid","year":"2008","unstructured":"Tawhid, R., Petriu, D.C.: Integrating Performance Analysis in the Model Driven Development of Software Product Lines. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 490\u2013504. Springer, Heidelberg (2008)"},{"key":"6_CR22","unstructured":"Espinoza, H., Medina, H.J., Dubois, H., Gerard, S., Terrier, F.: Towards a UML-based, Modeling Standard for Schedulability Analysis of Real-time Systems. In: International Workshop MARTES, MoDELS\/UML 2006 (2006)"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2007.16","volume-title":"From Model-Driven Development to Model-Driven Engineering","author":"B. Selic","year":"2007","unstructured":"Selic, B.: From Model-Driven Development to Model-Driven Engineering. LNCS. Springer, Heidelberg (2007)"},{"key":"6_CR24","unstructured":"(Smartqvt), http:\/\/smartqvt.elibel.tm.fr\/"},{"key":"6_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-87412-6","volume-title":"11th IEEE International Symposium on Object-oriented Real-time distributed Computing","author":"F. Thomas","year":"2008","unstructured":"Thomas, F., Delatour, J., G\u00e9rard, S., Terrier, F.: Toward a Framework for Explicit Platform Based Transformations. In: 11th IEEE International Symposium on Object-oriented Real-time distributed Computing. LNCS. Springer, Heidelberg (2008)"},{"key":"6_CR26","unstructured":"Mraidha, C., Tanguy, Y., Jouvray, C., Terrier, F.: Gerard: Presented in Workshop UML&AADL 2008 and Published in Proceeding of the 13th IEEE International Conference on Engineering of Complex Computer Systems. LNCS. Springer, Heidelberg (2008)"},{"key":"6_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1145\/1370062.1370078","volume-title":"Leveraging Analysis-Aided Design Decision Knowledge in UML-Based Development of Embedded Systems","author":"H. Espinoza","year":"2008","unstructured":"Espinoza, H., Servat, D., G\u00e9rard, S.: Leveraging Analysis-Aided Design Decision Knowledge in UML-Based Development of Embedded Systems. LNCS. Springer, Heidelberg (2008)"},{"key":"6_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/978-3-642-02674-4_8","volume-title":"ECMDA 2009, Published in Proceeding of the Conference (Model Driven Architecture- Foundations and Applications)","author":"H. Espinoza","year":"2009","unstructured":"Espinoza, H., Selic, B., Cancila, D., G\u00e9rard, S.: Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems. In: ECMDA 2009, Published in Proceeding of the Conference (Model Driven Architecture- Foundations and Applications). LNCS, pp. 98\u2013113. Springer, Heidelberg (2009)"},{"key":"6_CR29","unstructured":"SAE: Architecture Analysis and Design Language (AADL) Annex Volume 1: Annex A: Graphical AADL Notation, Annex C: AADL Meta-Model and Interchange Formats, Annex D: Language Compliance and Application Program Interface Annex E. LNCS. Springer, Heidelberg (2006)"},{"key":"6_CR30","unstructured":"Autosar, http:\/\/www.autosar.org\/"},{"key":"6_CR31","unstructured":"Adams-Project, http:\/\/www.adams-project.org\/"},{"key":"6_CR32","unstructured":"East-Adl, http:\/\/www.east-adl.org\/"},{"key":"6_CR33","unstructured":"Espinoza, H., G\u00e9rard, S., L\u00f6nn, H., Kolagari, R.T.: Harmonizing MARTE, EAST-ADL2, and AUTOSAR to Improve the Modelling of Automotive Systems. In: Presented in the Workshop STANDRT, Autosar (2009)"},{"key":"6_CR34","unstructured":"(ISIS,MIC Tool Distribution), http:\/\/www.isis.vanderbilt.edu\/Projects\/gme\/"},{"key":"6_CR35","unstructured":"Lee, E.A.: Overview of the Ptolemy Project, Technical Memorandum No. UCB\/ERL M03\/25 (2003)"},{"key":"6_CR36","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: a model of concurrent computation in distributed system","author":"G. Agha","year":"1986","unstructured":"Agha, G.: Actors: a model of concurrent computation in distributed system. MIT Press, Cambridge (1986)"},{"key":"6_CR37","unstructured":"Terrier, F., Fouquier, G., Bras, D., Rioux, L., Vanuxeem, P., Lanusse, A.: A real time object model. In: TOOLS Europe 1996 (1996)"}],"container-title":["Lecture Notes in Computer Science","Model-Based Engineering of Embedded Real-Time Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16277-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,12]],"date-time":"2020-06-12T16:51:57Z","timestamp":1591980717000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16277-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642162763","9783642162770"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16277-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}