{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T05:34:49Z","timestamp":1740548089101,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540258773"},{"type":"electronic","value":"9783540320494"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11424529_16","type":"book-chapter","created":{"date-parts":[[2010,9,25]],"date-time":"2010-09-25T18:55:14Z","timestamp":1285440914000},"page":"235-250","source":"Crossref","is-referenced-by-count":10,"title":["Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models"],"prefix":"10.1007","author":[{"given":"Zonghua","family":"Gu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhimin","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","volume-title":"Real-Time Object Oriented Modeling","author":"B. Selic","year":"1994","unstructured":"Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object Oriented Modeling. Addison-Wesley, Reading (1994)"},{"key":"16_CR2","unstructured":"The IBM Rational website (2004), [Online] Available http:\/\/www-306.ibm.com\/software\/rational\/"},{"key":"16_CR3","unstructured":"The Quantum Framework website (2004), [Online] Available http:\/\/www.quantum-leaps.com\/qf.htm"},{"key":"16_CR4","unstructured":"Schmidt, D., Levine, D., Harrison, T.: The design and performance of a realtime CORBA object event service. In: Proc. ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 434\u2013445 (1997)"},{"key":"16_CR5","unstructured":"Gu, Z., Kodase, S., Wang, S., Shin, K.G.: A model-based approach to systemlevel dependency and real-time analysis of embedded software. In: Proc. IEEE Real-Time Technology and Applications Symposium (RTAS), pp. 78\u201385 (2003)"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Saksena, M., Karvelas, P.: Designing for schedulability: integrating schedulability analysis with object-oriented design. In: Proc. IEEE Euro-Micro Conference on Real-Time Systems, pp. 101\u2013108 (2000)","DOI":"10.1109\/EMRTS.2000.853997"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Masse, J., Kim, S., Hong, S.: Tool set implementation for scenario-based multithreading of uml-rt models and experimental validation. In: Proc. IEEE Real-Time and Embedded Technology and Applications Symposium, pp. 70\u201377 (2003)","DOI":"10.1109\/RTTAS.2003.1203038"},{"key":"16_CR8","doi-asserted-by":"crossref","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.H. Klein","year":"1993","unstructured":"Klein, M.H., Ralya, T., Pollak, B., Obenza, R.: A Practitioner\u2019s Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems. Kluwer Academic Publishers, Dordrecht (1993)"},{"issue":"2","key":"16_CR9","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/32.263752","volume":"20","author":"M. Harbour","year":"1994","unstructured":"Harbour, M., Klein, M.H., Lehoczky, J.: Timing analysis for fixed-priority scheduling of hard real-time systems. IEEE Trans. Software Eng.\u00a020(2), 13\u201328 (1994)","journal-title":"IEEE Trans. Software Eng."},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Tripakis, S.: Description and schedulability analysis of the software architecture of an automated vehicle control system. In: Proc. International Workshop on Embedded Software, pp. 123\u2013137 (2002)","DOI":"10.1007\/3-540-45828-X_10"},{"key":"16_CR11","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. Addison-Wesley, Reading (2000)"},{"key":"16_CR12","first-page":"117","volume":"40","author":"K. Tindell","year":"1994","unstructured":"Tindell, K., Clark, J.: Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and Microprogramming - Euromicro Journal (Special Issue on Parallel Embedded Real-Time Systems)\u00a040, 117\u2013134 (1994), [Online] Available citeseer.nj.nec.com\/tindell94holistic.html","journal-title":"Microprocessing and Microprogramming - Euromicro Journal (Special Issue on Parallel Embedded Real-Time Systems)"},{"key":"16_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-540-24774-6_16","volume-title":"Component-Based Software Engineering","author":"J. Muskens","year":"2004","unstructured":"Muskens, J., Chaudron, M.: Prediction of run-time resource consumption in multi-task component-based software systems. In: Crnkovi\u0107, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol.\u00a03054, pp. 162\u2013177. Springer, Heidelberg (2004)"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-540-24774-6_18","volume-title":"Component-Based Software Engineering","author":"K. Sandstrom","year":"2004","unstructured":"Sandstrom, K., Fredriksson, J., Akerholm, M.: Introducing a component technology for safety critical embedded real-time systems. In: Crnkovi\u0107, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol.\u00a03054, pp. 194\u2013208. Springer, Heidelberg (2004)"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Wall, A., Larsson, M., Norstrom, C.: Towards an impact analysis for component based real-time product line architectures. In: Proc. Euromicro Conference, pp. 81\u201388 (2002)","DOI":"10.1109\/EURMIC.2002.1046137"},{"key":"16_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/978-3-540-24774-6_25","volume-title":"Component-Based Software Engineering","author":"E. Eskenazi","year":"2004","unstructured":"Eskenazi, E., Fioukov, A., Hammer, D.: Performance prediction for component compositions. In: Crnkovi\u0107, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol.\u00a03054, pp. 280\u2013293. Springer, Heidelberg (2004)"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Diaz, M., Garrido, D., Llopis, L.M., Rus, F., Troya, J.M.: Integrating real-time analysis in a component model for embedded systems. In: Proc. EUROMICRO Conference, pp. 14\u201321 (2004)","DOI":"10.1109\/EURMIC.2004.1333351"},{"key":"16_CR18","unstructured":"Balasubramanian, K., Balasubramanian, J., Parsons, J., Gokhale, A., Schmidt, D.C.: A platform-independent component modeling language for distributed real-time and embedded systems. In: Proc. IEEE Real-Time and Embedded Technology and Applications Symposium (2004)"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Stankovic, J.A., Zhu, R., Poornalingam, R., Lu, C., Yu, Z., Humphrey, M., Ellis, B.: Vest: an aspect-based composition tool for real-time systems. In: Proc. IEEE Real-Time and Embedded Technology and Applications Symposium, pp. 58\u201369 (2003)","DOI":"10.1109\/RTTAS.2003.1203037"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"de Niz, D., Rajkumar, R.: Time weaver: A software-throuhg-models framework for embedded real-time systems. In: Proc. ACM Conference on Languages, Compilers and Tools For Embedded Systems, pp. 133\u2013143 (2003)","DOI":"10.1145\/780732.780751"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Hatcliff, J., Deng, W., Dwyer, M., Jung, G., Prasad, V.: Cadena: An integrated development, analysis, and verification environment for component-based systems. In: Proc. IEEE International Conference on Software Engineering (2003)","DOI":"10.1109\/ICSE.2003.1201197"},{"key":"16_CR22","unstructured":"Gu, Z., Wang, S., Kodase, S., Shin, K.G.: An end-to-end tool chain for multiview modeling and analysis of avionics mission computing software. In: Proc. IEEE Real-Time Systems Symposium (RTSS), pp. 78\u201381 (2003)"},{"key":"16_CR23","unstructured":"Gu, Z., Wang, S., Kodase, S., Shin, K.G.: Multi-view modeling and analysis of embedded real-time software with meta-modeling and model-transformation. In: Proc. IEEE International Symposium on High Assurance Systems Engineering, pp. 32\u201341 (2004)"},{"key":"16_CR24","unstructured":"Gu, Z., Shin, K.G.: Model-checking of component-based real-time embedded software based on corba event service. In: Proc. IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC (2005)"},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"Karsai, G.: Design tool integration: An exercise in semantic interoperability. In: Proc. IEEE Conference on Engineering of Computer Based Systems (2000)","DOI":"10.1109\/ECBS.2000.839886"},{"key":"16_CR26","doi-asserted-by":"crossref","unstructured":"Sharma, P.K., Loyall, J.P., Heineman, G.T., Schantz, R.E., Shapiro, R., Duzan, G.: Component-based dynamic qos adaptations in distributed real-time and embedded systems. In: International Symposium on Distributed Objects and Applications, pp. 25\u201329 (2004)","DOI":"10.1007\/978-3-540-30469-2_26"},{"key":"16_CR27","unstructured":"The Object Management Group website (2004), [Online] Available http:\/\/www.omg.org"},{"key":"16_CR28","unstructured":"OMG, Uml profile for schedulability,performance, and time specification, Object Management Group, Tech. Rep. (2003), [Online] Available http:\/\/www.omg.org\/technology\/documents\/formal\/schedulability.htm"},{"key":"16_CR29","unstructured":"OMG, Uml profile for corba components specification, Object Management Group, Tech. Rep. (2004), [Online] Available http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/2004-03-04"}],"container-title":["Lecture Notes in Computer Science","Component-Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11424529_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T02:17:32Z","timestamp":1740536252000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11424529_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540258773","9783540320494"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/11424529_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}