{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T11:44:47Z","timestamp":1790941487341,"version":"4.1.0"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2003,5,1]],"date-time":"2003-05-01T00:00:00Z","timestamp":1051747200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,5,1]],"date-time":"2003-05-01T00:00:00Z","timestamp":1051747200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Systems"],"published-print":{"date-parts":[[2003,5]]},"DOI":"10.1023\/a:1022804400802","type":"journal-article","created":{"date-parts":[[2003,4,4]],"date-time":"2003-04-04T16:57:10Z","timestamp":1049475430000},"page":"267-302","source":"Crossref","is-referenced-by-count":14,"title":["Integrating Schedulability Analysis and Design Techniques in SDL"],"prefix":"10.1007","volume":"24","author":[{"given":"Jos\u00e9 M.","family":"Alvarez","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Manuel","family":"Diaz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Luis","family":"Llopis","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ernesto","family":"Pimentel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jos\u00e9 M.","family":"Troya","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"5117559_CR1","doi-asserted-by":"crossref","unstructured":"Alvarez, J. M., Diaz, M., Llopis, L., Pimentel, E., and Troya, J. M. 1999a. An analyzable execution model for SDL for embedded real-time systems. In Proceedings Workshop on Real-Time Programming. Elsevier, pp. 117-123.","DOI":"10.1016\/S1474-6670(17)39983-4"},{"key":"5117559_CR2","doi-asserted-by":"crossref","unstructured":"Alvarez, J. M., Diaz, M., Llopis, L., Pimentel, E., and Troya, J. M. 2000. Schedulability analysis in real-time embedded systems specified in SDL. In Proceedings Workshop on Real-time Programming. Elsevier, pp. 171-177.","DOI":"10.1016\/S1474-6670(17)39942-1"},{"key":"5117559_CR3","doi-asserted-by":"crossref","unstructured":"Alvarez, J. M., Diaz, M., Llopis, L., Pimentel, E., and Troya, J. M. 1999b. Integrating schedulability analysis and SDL in an object-oriented methodology. Proceedings SDL Forum. Elsevier, pp. 241-256.","DOI":"10.1016\/B978-044450228-5\/50017-5"},{"key":"5117559_CR4","unstructured":"Alvarez, J. M., Diaz, M., Llopis, L., Pimentel, E., and Troya, J. M. 1999c. Embedded real-time systems development using SDL. In Proceedings IEEE Real-Time Systems Symposium. WIP sessions. Elsevier."},{"key":"5117559_CR5","volume-title":"Object Oriented Technology for Real-Time Systems","author":"M. Awad","year":"1996","unstructured":"Awad, M., Kuusela, J., and Ziegler, J. 1996. Object Oriented Technology for Real-Time Systems. Prentice Hall. Upper Saddle River, New Jersey."},{"key":"5117559_CR6","unstructured":"Burns, A., and Wellings, A. 1998. Concurrency in Ada. Cambridge University Press."},{"key":"5117559_CR7","doi-asserted-by":"crossref","unstructured":"Burns, A., and Wellings, A. 1995. HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems. Elsevier.","DOI":"10.1007\/BF01245300"},{"issue":"2\/3","key":"5117559_CR8","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1023\/A:1008149332687","volume":"18","author":"A. Colin","year":"2000","unstructured":"Colin, A., and Puaut, I. 2000. Worst case execution time analysis for a processor with branch prediction. Real-Time Systems Journal 18(2\/3): 249-274.","journal-title":"Real-Time Systems Journal"},{"key":"5117559_CR9","unstructured":"Gonz\u00e1lez, M., Klein, M., and Lehoczky, J. 1991. Fixed priority scheduling of periodic tasks with varying execution priorities. Proceedings IEEE Real Time Systems Symposium. IEEE Computer Society Press, pp. 116-128."},{"key":"5117559_CR10","unstructured":"ITU Recommendation Z.100. 1994. Specification and description languages (SDL)."},{"key":"5117559_CR11","unstructured":"ITU Recommendation Z.120. 1996. Message sequence chart (MSC)."},{"issue":"5","key":"5117559_CR12","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1093\/comjnl\/29.5.390","volume":"29","author":"M. Joseph","year":"1986","unstructured":"Joseph, M., and Pandya, P. 1986. Finding response time in a real-time system. The Computer Journal 29(5): 390-395.","journal-title":"The Computer Journal"},{"key":"5117559_CR13","unstructured":"Kim, N., Ryu, M., Hong, S., and Shin, H. 1999. Experimental assessment of the period calibration method: A case study. Real-Time Systems Journal 1-26."},{"key":"5117559_CR14","doi-asserted-by":"crossref","unstructured":"Klein, M., Ralya, B., Pollak, T., Obenza, R., and Gonzalez, M. 1993. A Practitioners' Handbook for Real-Time Analysis. Kluwer Academic Publishers, Carnegie Mellon University.","DOI":"10.1007\/978-1-4615-2796-1"},{"key":"5117559_CR15","doi-asserted-by":"crossref","unstructured":"Kolloch, T., and Farber, G. 1998. Mapping an embedded hard real-time systems sdl specification to an analyzable task network: A case study. ACM Sigplan Workshop on Languages, Compilers and Tools for Embedded Systems. Springer-Verlag, pp. 156-166.","DOI":"10.1007\/BFb0057788"},{"key":"5117559_CR16","doi-asserted-by":"crossref","unstructured":"Palencia, J. C., and Gonz\u00e1lez, M. 1999. Exploiting precedence relations in the schedulability analysis of distributed real-time systems. Proceedings IEEE Real Time Systems Symposium. IEEE Computer Society Press, pp. 328-339.","DOI":"10.1109\/REAL.1999.818860"},{"key":"5117559_CR17","volume-title":"Developing Real-Time Systems with UML","author":"B. Powel","year":"1999","unstructured":"Powel, B. 1999. Doing hard time. Developing Real-Time Systems with UML. Addison-Wesley, Reading, MA."},{"issue":"2\/3","key":"5117559_CR18","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1023\/A:1008119029962","volume":"18","author":"P. Puschner","year":"2000","unstructured":"Puschner, P., and Burns, A. 2000. A review of worst-case execution-time analysis. Real-Time Systems Journal 18(2\/3): 115-129.","journal-title":"Real-Time Systems Journal"},{"key":"5117559_CR19","volume-title":"Real-Time UML","author":"B. Powel","year":"1999","unstructured":"Powel, B. 1999. Real-Time UML. Addison-Wesley, Reading, MA."},{"key":"5117559_CR20","unstructured":"Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., and Lorensen, W. 1991. Object-Oriented Modeling and Design. Prentice Hall International Editions."},{"key":"5117559_CR21","doi-asserted-by":"crossref","unstructured":"Saksena, M., Freedman, P., ad Rodziwicz, P. 1997. Guidelines for automated implementation of executable object oriented models for real-time embedded control systems. Proceedings IEEE Real Time Systems Symposium. IEEE Computer Society Press, pp. 240-251.","DOI":"10.1109\/REAL.1997.641286"},{"key":"5117559_CR22","doi-asserted-by":"crossref","unstructured":"Saksena, M., and Karvelas, P. 2000. Designing for schedulability. Integrating schedulability analysis with object-oriented design. Proceedings Euromicro Conference on Real-Time Systems. IEEE Computer Society Press, pp. 101-104.","DOI":"10.1109\/EMRTS.2000.853997"},{"key":"5117559_CR23","doi-asserted-by":"crossref","unstructured":"Saksena, M., Ptak, A., Freedman, P., and Rodziewicz, P. 1998. Schedulability analysis for automated implementations of real-time object oriented models. Proceedings IEEE Real Time Systems Symposium. IEEE Computer Society Press, pp. 92-102.","DOI":"10.1109\/REAL.1998.739734"},{"issue":"9","key":"5117559_CR24","doi-asserted-by":"crossref","first-page":"1156","DOI":"10.1109\/12.57057","volume":"39","author":"L. Sha","year":"1990","unstructured":"Sha, L., Rajkumar, R., and Lehoczky, J. P. 1990. Priority inheritance protocols: an approach to real-time synchronization. IEEE Transactions on Computers 39(9): 1156-1174.","journal-title":"IEEE Transactions on Computers"},{"key":"5117559_CR25","unstructured":"Selic, B., Gullekson, G., and Ward, P. 1994. Real-Time Object Oriented Modeling. John Wiley Publisher. Telelogic. 1999. SDT 4.0 Manuals."},{"key":"5117559_CR26","unstructured":"Terrier, F., and Barroca, L. 1997. Object technology and real-time: problematic and trends. Object Oriented Technology, ECOOP97, 417-433."},{"issue":"2\/3","key":"5117559_CR27","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1023\/A:1008141130870","volume":"18","author":"H. Theiling","year":"2000","unstructured":"Theiling, H., Ferdinand, C., and Wilhelm, R. 2000. Fast and precise wcet predition by separated cache and path analyses. Real-Time Systems Journal 18(2\/3): 157-180.","journal-title":"Real-Time Systems Journal"},{"key":"5117559_CR28","unstructured":"Thiel, M., and Clostermann, A. 1998. Performance engineering of SDL\/MSC systems. Tutorial of the 8th SDL Forum, Elsevier."},{"key":"5117559_CR29","unstructured":"Wedde, H. F., Shaw, A., Zalewski, J., De la Puente, J. A., Pereira, C. E., and Babau, J. P. 2000. Panel discussion:critical issues in object oriented real time systems. Real-Time Systems Journal 69-99."}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1022804400802.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1022804400802\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1022804400802.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T07:19:42Z","timestamp":1754637582000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1022804400802"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,5]]},"references-count":29,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2003,5]]}},"alternative-id":["5117559"],"URL":"https:\/\/doi.org\/10.1023\/a:1022804400802","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,5]]}}}