{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T13:51:18Z","timestamp":1761486678328,"version":"3.43.0"},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[1999,5,1]],"date-time":"1999-05-01T00:00:00Z","timestamp":925516800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,5,1]],"date-time":"1999-05-01T00:00:00Z","timestamp":925516800000},"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":[[1999,5]]},"DOI":"10.1023\/a:1008051107382","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T07:45:23Z","timestamp":1040543123000},"page":"223-251","source":"Crossref","is-referenced-by-count":11,"title":["The Spring System: Integrated Support for Complex Real-Time Systems"],"prefix":"10.1007","volume":"16","author":[{"given":"John A.","family":"Stankovic","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krithi","family":"Ramamritham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Douglas","family":"Niehaus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marty","family":"Humphrey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gary","family":"Wallace","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"204029_CR1","unstructured":"Amerasinghe, P. An Interactive Timing Analysis Tool for the SARTOR Environment, Master's thesis, University of Texas at Austin, 1985."},{"key":"204029_CR2","doi-asserted-by":"crossref","unstructured":"Arnold, R., F. Mueller, D. B. Whalley, and M. Harmon, Bounding Worst-Case Instruction Cache Performance, Proceedings of the 1994 IEEE Real-Time Systems Symposium, December 1994.","DOI":"10.1109\/REAL.1994.342718"},{"key":"204029_CR3","unstructured":"Bickford, C., M. Teo, G. Wallace, J.A. Stankovic and K. Ramamritham, A Robotic Assembly Application on the Spring Real-Time System, Proceedings of the 1996 IEEE Real-Time Technology and Applications Symposium, May 1996."},{"key":"204029_CR4","unstructured":"Burns, A. and A. Wellings, Real-Time Systems and Their Programming Languages. Addison-Wesley, 1989."},{"key":"204029_CR5","unstructured":"Chen, M. Timing Analysis Language-TALProgrammer's Manual, Technical report, University of Texas at Austin, 1985."},{"key":"204029_CR6","doi-asserted-by":"crossref","unstructured":"Di Natale, M. and J.A. Stankovic, Dynamic End-to-End Guarantees in Distributed Real-Time Systems, Proc.of the 15th Real-Time Systems Symposium, December 1994.","DOI":"10.1109\/REAL.1994.342714"},{"key":"204029_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3978-0","volume-title":"Real-Time Unix Systems, Design and Application Guide","author":"B. Furht","year":"1991","unstructured":"Furht, B., D. Grostick, D. Gluch, G. Rabbat, J. Parker, and M. McRoberts, Real-Time Unix Systems, Design and Application Guide, Kluwer Academic Publishers, Boston, MA., 1991."},{"key":"204029_CR8","unstructured":"B. Gallmeister, POSIX.4: Programming for the Real World, O'Reilly and Associates, 1995."},{"issue":"4","key":"204029_CR9","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/BF00365999","volume":"3","author":"N. Gehani","year":"1991","unstructured":"Gehani, N. and K. Ramamritham, Real-Time Concurrent C (C++): A Language for Programming Dynamic Real-time Systems, Real-Time Systems, Vol. 3., No.4, Dec. 1991, pp 377\u2013405.","journal-title":"Real-Time Systems"},{"key":"204029_CR10","unstructured":"Gene, E. The Spring Simulation Testbed-V2 User's Guide, Technical report, Spring Project Documentation, 1990."},{"issue":"1","key":"204029_CR11","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/151250.151252","volume":"11","author":"A. Gheith","year":"1993","unstructured":"Gheith, A. and K. Schwan, CHAOS arc: Kernel Support for Multi-Weight Objects, Invocations, and Atomicity in Real-Time Applications, ACM Transactions on Computer Systems, Vol 11., No. 1, April 1993, pp 33\u201372.","journal-title":"ACM Transactions on Computer Systems"},{"key":"204029_CR12","doi-asserted-by":"crossref","unstructured":"Halang, W. and A. Stoyenko, Constructing Predictable Real-Time Systems, Kluwer Academic Publishers, 1991.","DOI":"10.1007\/978-1-4615-4032-8"},{"key":"204029_CR13","doi-asserted-by":"crossref","unstructured":"Harmon, M.,T. Baker and D. Whalley, A Retargetable Technique for Predicting Execution Time, Proceedings of the IEEE Real-Time Systems Symposium, December 1992, pp pages 68\u201377.","DOI":"10.1109\/REAL.1992.242675"},{"key":"204029_CR14","doi-asserted-by":"crossref","unstructured":"Ishikawa, Y., H. Tokuda and C. Mercer, Object Oriented Real-Time Language Design: Constructs for Timing Constraints, Proceedings of OOPSLA\/ECOOP, ACM, October 1990.","DOI":"10.1145\/97945.97980"},{"issue":"5","key":"204029_CR15","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1109\/2.76288","volume":"24","author":"K. Kenney","year":"1991","unstructured":"Kenney, K. and K. Lin, Building Flexible Real-Time Systems Using the Flex Language, IEEE Computer, Vol. 24., No. 5, May 1991, pp 70\u201378.","journal-title":"IEEE Computer"},{"key":"204029_CR16","doi-asserted-by":"crossref","unstructured":"Kligerman, E. and A. Stoyenko, Real-Time Euclid: A Language for Reliable Real-Time Systems, IEEE Transac-tions on Software Engineering, September 1986.","DOI":"10.1109\/TSE.1986.6313049"},{"key":"204029_CR17","doi-asserted-by":"crossref","unstructured":"Kopetz, H., A. Damm, C. Koza and D. Mulozzani, Distributed Fault Tolerant Real-Time Systems: The Mars Approach, IEEE Micro, 1989, pp 25\u201340.","DOI":"10.1109\/40.16792"},{"key":"204029_CR18","unstructured":"Kopetz, H. and W. Merker, The Architecture of MARS, Proceedings 15th FTCS, June 1985, pp 274\u2013279."},{"issue":"5","key":"204029_CR19","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1109\/2.76287","volume":"24","author":"J. Liu","year":"1991","unstructured":"Liu, J., K. Lin, W. Shih, A. Yu, J. Chung and W. Zhao, Algorithms for Scheduling Imprecise Calculations, IEEE Computer, Vol. 24., No. 5, May 1991, pp 58\u201368.","journal-title":"IEEE Computer"},{"issue":"3","key":"204029_CR20","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/BF00365325","volume":"2","author":"L.D. Molesky","year":"1989","unstructured":"Molesky, L.D., C. Shen and G. Zlokapa, Predictable Synchronization Mechanisms for Multiprocessor Real-Time Systems, Real-Time Systems, Vol. 2., No. 3, 1989, pp 163\u2013180.","journal-title":"Real-Time Systems"},{"key":"204029_CR21","unstructured":"Motorola, Inc. MCOR Unit68020 32-bit Microprocessor User's Manual, 1986."},{"key":"204029_CR22","volume-title":"COINS 777 Project Report","author":"E. Nahum","year":"1990","unstructured":"Nahum, E. and D. Yates, Real-Time IPC for the Spring Kernel, COINS 777 Project Report, University of Mas-sachusetts, Amherst, MA, May 1990."},{"key":"204029_CR23","doi-asserted-by":"crossref","unstructured":"Niehaus, D. Program Representation and Translation for Predictable Real-Time Systems, Proceedings of the IEEE Real-Time Systems Symposium, December 1991, pp 53\u201363.","DOI":"10.1109\/REAL.1991.160358"},{"key":"204029_CR24","volume-title":"Program Representation and Execution in Real-Time Multiprocessor Systems","author":"D. Niehaus","year":"1994","unstructured":"Niehaus, D. Program Representation and Execution in Real-Time Multiprocessor Systems, PhD thesis, University of Massachusetts, Amherst MA, 1994."},{"key":"204029_CR25","volume-title":"Stankovic, Spring System Programming and Run-Time Models, Spring Project Documentation","author":"D. Niehaus","year":"1990","unstructured":"Niehaus, D., L. Molesky and J.A. Stankovic, Spring System Programming and Run-Time Models, Spring Project Documentation, University of Massachusetts, Amherst, MA, June 1990"},{"key":"204029_CR26","doi-asserted-by":"crossref","unstructured":"Niehaus, D., K. Ramamritham, J.A. Stankovic, G. Wallace, C. Weems, W. Burleson and J. Ko, The Spring Scheduling Co-Processor: Design, Use, and Performance, Proceedings of the Fourteenth IEEE Real-Time Systems Symposium, December 1993, pp 106\u2013111.","DOI":"10.1109\/REAL.1993.393510"},{"key":"204029_CR27","unstructured":"Niehaus, D., J.A. Stankovic and K. Ramamritham, A Real-Time System Description Language, Proceedings of the 1995 IEEE Real-Time Technology and Applications Symposium, May 1995."},{"key":"204029_CR28","doi-asserted-by":"crossref","unstructured":"Nirkhe, V., S. Tripathi and A. Agrawala, Language Support for the Maruti Real-Time System, Proceedings of the IEEE Real-Time Systems Symposium, December 1990.","DOI":"10.1109\/REAL.1990.128756"},{"issue":"5","key":"204029_CR29","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/2.76286","volume":"24","author":"C. Park","year":"1991","unstructured":"Park, C. and A. Shaw, Experiments with a Program Timing Tool Based on Source-Level Timing Schema, IEEE Computer, Vol. 24., No.5, May 1991, pp 48\u201357.","journal-title":"IEEE Computer"},{"key":"204029_CR30","volume-title":"ITG\/GI Conference on Commu-nication in Distributed Systems","author":"M. Pflugel","year":"1989","unstructured":"Pflugel, M., A. Damm and W. Schwabl, Interprocess Communication in MARS, ITG\/GI Conference on Commu-nication in Distributed Systems, Stuttgart, Germany, February 1989."},{"key":"204029_CR31","doi-asserted-by":"crossref","unstructured":"Puschner, P. and C. Koza, Calculating the Maximum Execution Time of Real-Time Programs, Real-Time Systems Journal, Vol 1., No. 2, 1990.","DOI":"10.1007\/BF00571421"},{"issue":"2","key":"204029_CR32","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1109\/71.80146","volume":"1","author":"K. Ramamritham","year":"1989","unstructured":"Ramamritham, K., J.A. Stankovic and P. Shiah, Efficient Scheduling Algorithms for Real-Time Multiprocessor Systems, IEEE Transactions on Parallel and Distributed Systems, Vol 1., No. 2, February 1989, pp. 184\u2013194.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"issue":"8","key":"204029_CR33","doi-asserted-by":"crossref","first-page":"1110","DOI":"10.1109\/12.30866","volume":"38","author":"K. Ramamritham","year":"1989","unstructured":"Ramamritham, K., J.A. Stankovic, and W. Zhao, Distributed Scheduling of Tasks with Deadlines and Resource Requirements, IEEE Transactions on Computers, Vol 38., No.8, August 1989, pp 1110\u20131123.","journal-title":"IEEE Transactions on Computers"},{"key":"204029_CR34","unstructured":"Saksena, M., J. da Silva and A. Agrawala, Design and Implementation of Maruti-II, Advances in Real-Time Systems, Sang Son, editor, Prentice-Hall, 1995."},{"key":"204029_CR35","doi-asserted-by":"crossref","unstructured":"Saltzer, J.H., D.P. Reed and D.D. Clark, End to End Arguments in System Design, ACMTransactions on Computer Systems, Vol 2., No. 2, November 1984.","DOI":"10.1145\/357401.357402"},{"key":"204029_CR36","doi-asserted-by":"crossref","unstructured":"Sha, L. and J. Goodenough, Real-Time Scheduling Theory and ADA, Cmu\/sei-88-tr-33, CMU, November 1988.","DOI":"10.21236\/ADA205048"},{"issue":"4","key":"204029_CR37","doi-asserted-by":"crossref","first-page":"382","DOI":"10.1109\/71.219754","volume":"4","author":"C. Shen","year":"1993","unstructured":"Shen, C., K. Ramamritham and J.A. Stankovic, Resource Reclaiming in Multiprocessor Real-Time Systems, IEEE Transactions on Parallel and Distributed Systems, Vol 4., No.4, April 1993, pp 382\u2013398.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"204029_CR38","doi-asserted-by":"crossref","unstructured":"Shin, K. HARTS: A Distributed Real-Time Architecture, IEEE Computer, Vol 24., No. 5, 1991.","DOI":"10.1109\/2.76284"},{"key":"204029_CR39","unstructured":"Shin, K.G., D.D. Kandlur, D.L. Kiskis, P.S. Dodd, H.A. Rosenberg, and A. Indiresan, A Software Overview of HARTS: A Distributed Real-Time System, Advances in Real-Time Systems. Sang Son, editor, Prentice-Hall, 1995."},{"key":"204029_CR40","unstructured":"Stallman, R. Using and Porting GNU CC, Technical report, Free Software Foundation, May 1992."},{"key":"204029_CR41","doi-asserted-by":"crossref","unstructured":"Stankovic, J.A., Misconceptions about Real-Time Computing: A Serious Problem for Next Generation Systems, IEEE Computer, October 1988, pp 10\u201319.","DOI":"10.1109\/2.7053"},{"key":"204029_CR42","unstructured":"Stankovic, J.A., D. Niehaus and K. Ramamritham, SpringNet: An Architecture for High Performance Distributed Real-Time Computing, Workshop on Parallel and Distributed Real-Time Systems, April 1993."},{"key":"204029_CR43","unstructured":"Stankovic, J.A. and K. Ramamritham, The Design of the Spring Kernel, Proc.of the 8th Real-Time Systems Symposium, December 1987, pp 146\u2013157."},{"issue":"3","key":"204029_CR44","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1109\/52.88945","volume":"8","author":"J.A. Stankovic","year":"1991","unstructured":"Stankovic, J.A. and K. Ramamritham, The Spring Kernel: A New Paradigm for Real-Time Systems, IEEE Software, Vol 8., No.3, May 1991, pp 62\u201372.","journal-title":"IEEE Software"},{"key":"204029_CR45","unstructured":"Stoyenko, A., A Schedulability Analyzer for Real-Time Euclid, IEEE Real-Time Systems Symposium, December 1987."},{"key":"204029_CR46","unstructured":"SYSTRAN Corporation, SCRAMNet Network Reference Manual, Dayton, Ohio, 45432, 1991."},{"key":"204029_CR47","doi-asserted-by":"crossref","unstructured":"Tokuda, H., C.W. Mercer, Y. Ishikawa and T. Marchok, Priority Inversions in Real-Time Communication, Proc. of the 10th Real-Time Systems Symposium, May 1989, pp 348\u2013359.","DOI":"10.1109\/REAL.1989.63587"},{"key":"204029_CR48","unstructured":"Tokuda, H., T. Nakajima and P. Rao, Real-Time MACH: Towards a Predictable Real-Time System, Proceedings of the USENIX MACH Workshop, 1990."},{"key":"204029_CR49","unstructured":"White, R.T. F. Mueller, C.A. Healy, D. B. Whalley, and M. G. Harmon, Timing Analysis for Data Caches and Set-Associative Caches, Proceedings of the 1997 IEEE Real-Time Technology and Applications Symposium, June 1997."},{"issue":"3","key":"204029_CR50","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0164-1212(87)90041-0","volume":"7","author":"W. Zhao","year":"1987","unstructured":"Zhao, W. and K. Ramamritham, Simple and Integrated Heuristic Algorithms for Scheduling Tasks with Time and Resource Constraints, Journal of Systems and Software, Vol 7., No. 3, September 1987, pp 195\u2013205.","journal-title":"Journal of Systems and Software"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008051107382.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008051107382\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008051107382.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T07:34:38Z","timestamp":1754638478000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008051107382"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,5]]},"references-count":50,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1999,5]]}},"alternative-id":["204029"],"URL":"https:\/\/doi.org\/10.1023\/a:1008051107382","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"type":"print","value":"0922-6443"},{"type":"electronic","value":"1573-1383"}],"subject":[],"published":{"date-parts":[[1999,5]]}}}