{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:17:43Z","timestamp":1742912263809,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":43,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789812872500"},{"type":"electronic","value":"9789812872517"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-981-287-251-7_57","type":"book-chapter","created":{"date-parts":[[2022,8,8]],"date-time":"2022-08-08T13:03:18Z","timestamp":1659963798000},"page":"25-98","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Modeling of Real-Time Software Systems"],"prefix":"10.1007","author":[{"given":"Bran","family":"Seli\u0107","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,8,9]]},"reference":[{"key":"57_CR1","doi-asserted-by":"crossref","unstructured":"S.Y. Allworth, R.N. Zobel, Introduction to Real-Time Software Design (Springer-Verlag, New York, NY, 1987)","DOI":"10.1007\/978-1-349-18821-5"},{"key":"57_CR2","unstructured":"M. Balcer, S. Mellor, Executable UML: A Foundation for Model-Driven Architecture (Addison-Wesley Professional, Reading, MA, 2002)"},{"key":"57_CR3","doi-asserted-by":"crossref","unstructured":"G. Berry, in The Foundations of Esterel, ed. by G.D. Plotkin, C. Strong, M. Tofte. Proof, Language, and Interaction, Esssays in Honour of Robin Milner (The MIT Press, Cambridge, MA, 1999)","DOI":"10.7551\/mitpress\/5641.003.0021"},{"key":"57_CR4","doi-asserted-by":"crossref","unstructured":"A. Burns, A. Wellings, HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems (Elsevier Science, Amsterdam, 1995)","DOI":"10.1007\/BF01245300"},{"key":"57_CR5","unstructured":"J. Delange, AADL in Practice (Reblechon Development Company, 2017)"},{"key":"57_CR6","unstructured":"L. Delligatti, SysML Distilled \u2013 A Brief Guide to the Systems Modeling Language (Addison-Wesley, Boston, 2014)"},{"key":"57_CR7","unstructured":"EAST-ADL Association, EAST-ADL Domain Model Specification (v.2.1.12). (2013). http:\/\/www.east-adl.info\/Specification\/V2.1.12\/EAST-ADL-Specification_V2.1.12.pdf"},{"key":"57_CR8","unstructured":"European Space Agency (ESA), HOOD Reference Manual Issue 3.0 (Noordwijk, 1989)"},{"key":"57_CR9","unstructured":"P. Feiler, D. Gluch, Model-based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language (Addison-Wesley Professional, Boston, 2012)"},{"key":"57_CR10","unstructured":"S. Friedenthal, A. Moore, R. Steiner, A Practical Guide to SysML \u2013 The Systems Modeling Language (Morgan Kaufmann- OMG Press, Amsterdam, 2008)"},{"issue":"3","key":"57_CR11","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"D. Harel, Statecharts: A visual formalism for complex systems. Sci. Comput. Program. 8(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"key":"57_CR12","unstructured":"D. Harel, M. Politi, Modeling Reactive Systems with Statecharts: the Statemate Approach (McGraw-Hill, 1998)"},{"key":"57_CR13","unstructured":"D. Hatley, I. Pirbhai, Strategies for Real-Time System Specification (Dorset House Publishing, New York, 1987)"},{"issue":"10","key":"57_CR14","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"CAR Hoare","year":"1974","unstructured":"C.A.R. Hoare, Monitors \u2013 An operating system structuring concept. Communications of the ACM, CACM 17(10), 549\u2013557 (1974)","journal-title":"Communications of the ACM, CACM"},{"key":"57_CR15","unstructured":"ISO\/IEC, International Standards Organization: ISO\/IEC 7498\u20131:1994 -- Information Technology \u2013 Open Systems Interconnection \u2013 Basic Reference Model: The Basic Model, 2nd ed, ISO\/IEC 7498\u20131:1994(E). (1994)"},{"key":"57_CR16","unstructured":"ITU, Specification and Description Language (SDL) (1994)"},{"key":"57_CR17","unstructured":"ITU-T, Z.109: Specification and Description Language \u2013 Unified Modeling Language Profile for SDL-2010 (2016)"},{"key":"57_CR18","unstructured":"R. Jain, The Art of Computer Systems Performance Analysis (Wiley, New York, 1991)"},{"key":"57_CR19","unstructured":"JIMCOM, The Official Handbook of MASCOT, version 3.1 issue 1, Joint IECCA and MUF Committee on Mascot (1987)"},{"key":"57_CR20","doi-asserted-by":"crossref","unstructured":"M. Klein et\u00a0al., A Practitioner\u2019s Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems (Kluwer Academic Publishers, Norwell, 1993)","DOI":"10.1007\/978-1-4615-2796-1_9"},{"key":"57_CR21","unstructured":"L. Kleinrock, Queueing Systems, vol. 1 (Wiley-Interscience, New York, 1975)"},{"issue":"1","key":"57_CR22","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C Liu","year":"1973","unstructured":"C. Liu, J. Layland, Scheudling algorithms for multiprogramming in a hard real-time environment. J. ACM 20(1), 46\u201361 (1973)","journal-title":"J. ACM"},{"key":"57_CR24","unstructured":"S. Mellor, M. Balcer, Executable UML: A Foundation for Model-Driven Architecture (Addison-Wesley Professional, Reading, MA, 2002)"},{"key":"57_CR25","unstructured":"Object Management Group (OMG), UML Profile for Schedulability, Performance, and Time (v1.1), OMG document formal\/05\u201301-02 (OMG, Milford, 2005)"},{"key":"57_CR26","doi-asserted-by":"crossref","unstructured":"Object Management Group (OMG), Unified Modeling Language (v2.5.1), OMG document formal\/17\u201312-05 (OMG, Milford, 2017)","DOI":"10.1016\/B978-1-78548-171-0.50001-3"},{"key":"57_CR27","unstructured":"Object Management Group (OMG), Semantics of a Foundational Subset for Executable UML Models, OMG document formal\/18\u201312-01 (OMG, Milford, 2018)"},{"key":"57_CR28","unstructured":"Object Management Group (OMG), UML Profile for Modeling and Analysis of Real-Time and Embedded Systems (v1.2), OMG document formal\/19\u201304-01 (OMG, Milford, 2019)"},{"key":"57_CR29","unstructured":"H. Petroski, Invention by Design \u2013 How Engineers Get from Thought to Thing (Harvard University Press, Cambridge, 1996)"},{"key":"57_CR30","unstructured":"V. Pollio, The Ten Books on Architecture, (Morgan, M.H. translator) (Dover Publications Inc., New York, NY, 1914)"},{"key":"57_CR31","doi-asserted-by":"publisher","first-page":"1603","DOI":"10.1016\/0169-7552(95)00120-4","volume":"28","author":"A Sarma","year":"1996","unstructured":"A. Sarma, Introduction to SDL-92. Computer Networks and ISDN Systems 28, 1603\u20131615 (1996)","journal-title":"Computer Networks and ISDN Systems"},{"issue":"10","key":"57_CR32","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/317665.317675","volume":"42","author":"B Selic","year":"1999","unstructured":"B. Selic, Turning clockwise: Using UML in the real-time domain. Commun. ACM 42(10), 46\u201354 (1999)","journal-title":"Commun. ACM"},{"issue":"5","key":"57_CR33","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/MS.2003.1231146","volume":"20","author":"B Selic","year":"2003","unstructured":"B. Selic, The pragmatics of model-driven development. IEEE Softw. 20(5), 19\u201325 (2003)","journal-title":"IEEE Softw."},{"key":"57_CR34","doi-asserted-by":"crossref","unstructured":"B. Selic, S. Gerard, Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE \u2013 Developing Cyber-Physical Systems (Morgan Kaufman, Amsterdam, 2014)","DOI":"10.1016\/B978-0-12-416619-6.00008-0"},{"key":"57_CR35","unstructured":"B. Selic, J. Rumbaugh, Using UML for Modeling Complex Real-Time Systems (IBM, 1998). https:\/\/www.ibm.com\/developerworks\/rational\/library\/content\/03July\/1000\/1155\/1155_umlmodeling.pdf"},{"key":"57_CR36","unstructured":"B. Selic, P. Ward, G. Gullekson, Real-Time Object-Oriented Modeling (Wiley, New York, NY, 1994)"},{"key":"57_CR37","unstructured":"S. Shlaer, S. Mellor, Object Lifecycles: Modeling the World in States (Yourdon Press, Prentice Hall, Englewood Cliffs, 1992)"},{"key":"57_CR38","unstructured":"C. Smith, L. Williams, Performance Solutions: A Practical Gide to Creating Responsive, Scalable Software (Addison-Wesley Professional, Reading, 2001)"},{"key":"57_CR39","unstructured":"Society of Automotive Engineers (SAE International), Architecture Analysis & Design Language (AADL), SAE document AS5506B (2012)"},{"key":"57_CR40","unstructured":"A. Stephenson et\u00a0al., Mars Climate Orbiter Mishap Investigation Board Phase 1 Report, (NASA 1999), https:\/\/llis.nasa.gov\/llis_lib\/pdf\/1009464main1_0641-mr.pdf. Accessed 22 Dec 2019"},{"key":"57_CR41","unstructured":"P. Ward, S. Mellor, Structured Development for Real-Time Systems (Prentice-Hall, Englewood Cliffs, 1985)"},{"key":"57_CR42","unstructured":"T. Weigert, F. Weil, Practical Experiences in Using Model-Driven Engineering to Develop Trustworthy Computing Systems, IEEE SUTC 2006 (2006)"},{"issue":"3","key":"57_CR43","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1109\/MS.2013.65","volume":"32","author":"J Whittle","year":"2014","unstructured":"J. Whittle, J. Hutchinson, M. Rouncefield, The state of practice in model-driven engineering. IEEE Softw. 32(3), 79\u201385 (2014)","journal-title":"IEEE Softw."},{"key":"57_CR44","unstructured":"E. Yourdon, L. Constantine, Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design (Prentice-Hall, Englewood Cliffs, 1975)"}],"container-title":["Handbook of Real-Time Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-287-251-7_57","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,30]],"date-time":"2024-09-30T23:28:25Z","timestamp":1727738905000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-287-251-7_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9789812872500","9789812872517"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-981-287-251-7_57","relation":{},"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"9 August 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}