{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:06:29Z","timestamp":1725530789251},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[2006,7,1]],"date-time":"2006-07-01T00:00:00Z","timestamp":1151712000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[2006,7]]},"DOI":"10.1007\/s11241-006-6883-y","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T12:09:57Z","timestamp":1146917397000},"page":"77-100","source":"Crossref","is-referenced-by-count":22,"title":["Verifying distributed real-time properties of embedded systems via graph transformations and model checking"],"prefix":"10.1007","volume":"33","author":[{"given":"Gabor","family":"Madl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sherif","family":"Abdelwahed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Douglas C.","family":"Schmidt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6883_CR1","first-page":"113","volume-title":"TACAS \u201902: Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems","author":"Y Abdedda\u00efm","year":"2002","unstructured":"Abdedda\u00efm Y, Maler O (2002) Preemptive job-shop scheduling using stopwatch automata. In TACAS \u201902: Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer-Verlag, London, UK, pp 113\u2013126"},{"key":"6883_CR2","doi-asserted-by":"crossref","unstructured":"Agrawal A, Karsai G, Ledeczi A (2003) An End-to-End Domain-Driven Development Framework. In Proceedings of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)","DOI":"10.1145\/949344.949347"},{"issue":"1","key":"6883_CR3","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R Alur","year":"1993","unstructured":"Alur R, Courcoubetis C, Dill DL (1993) Model-checking in dense real-timeInformation and Computation 104(1):2\u201334","journal-title":"Information and Computation"},{"issue":"2","key":"6883_CR4","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur R, Dill DL (1994) A theory of timed automataTheoretical Computer Science 126(2):183\u2013235","journal-title":"Theoretical Computer Science"},{"key":"6883_CR5","doi-asserted-by":"crossref","unstructured":"Arulanthu AB, O\u2019Ryan C, Schmidt DC, Kircher M, Parsons J (2000) The Design and Performance of a Scalable ORB architecture for CORBA asynchronous messaging. In Proceedings of the Middleware Conference. ACM\/IFIP","DOI":"10.1007\/3-540-45559-0_11"},{"issue":"4","key":"6883_CR6","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1109\/MC.2003.1193228","volume":"36","author":"F Balarin","year":"2003","unstructured":"Balarin F, Watanabe Y, Hsieh H, Lavagno L, Passerone C, Sangiovanni-Vincentelli A (2003) Metropolis: An integrated electronic system design environmentComputer 36(4):45\u201352","journal-title":"Computer"},{"key":"6883_CR7","doi-asserted-by":"crossref","unstructured":"Blazewicz J, Lenstra J, Kan AR (1983) Scheduling subject to resource constraints: Classification and complexity Discrete Applied Mathematics, pp 11\u201324","DOI":"10.1016\/0166-218X(83)90012-4"},{"key":"6883_CR8","doi-asserted-by":"crossref","unstructured":"Bozga M, Graf S, Ober I, Ober I, Sifakis J (2004) The IF toolset Formal Methods for the Design of Real-Time Systems, LNCS 3185, pp 237\u2013267","DOI":"10.1007\/978-3-540-30080-9_8"},{"key":"6883_CR9","unstructured":"Braberman VA, Felder M (1999) Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification. In Software Engineering-ESEC\/FSE 99, pp 494\u2013510"},{"key":"6883_CR10","doi-asserted-by":"crossref","unstructured":"Bradley S, Henderson W, Kendall D (1999) Using Timed Automata for Response Time Analysis of Distributed Real-Time Systems. In 24th IFAC\/IFIP Workshop on Real-Time Programming WRTP 99, pp 143\u2013148","DOI":"10.1016\/S1474-6670(17)39989-5"},{"key":"6883_CR11","volume-title":"Pattern-oriented software architecture\u2014A system of patterns","author":"F Buschmann","year":"1996","unstructured":"Buschmann F, Meunier R, Rohnert H, Sommerlad P, Stal M (1996) Pattern-oriented software architecture\u2014A system of patterns. Wiley & Sons, New York"},{"key":"6883_CR12","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/B:TIME.0000048932.30002.d9","volume":"29","author":"GC Buttazzo","year":"2005","unstructured":"Buttazzo GC (2005) Rate monotonic vs. EDF: Judgment day. Real-Time Systems 29:5\u201326","journal-title":"Real-Time Systems"},{"key":"6883_CR13","doi-asserted-by":"crossref","unstructured":"Cornea R, Dutt N, Gupta R, Krueger I, Nicolau A, Schmidt D, Shukla S (2003) FORGE: A Framework for Optimization of Distributed Embedded Systems Software. In Proceedings of the International Parallel and Distributed Processing Symposium","DOI":"10.1109\/IPDPS.2003.1213381"},{"key":"6883_CR14","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1007\/BFb0020947","volume-title":"Proceedings of the DIMACS\/SYCON Workshop on Hybrid Systems III: Verification and Control","author":"C Daws","year":"1996","unstructured":"Daws C, Olivero A, Tripakis S, Yovine S (1996) The tool KRONOS. In Proceedings of the DIMACS\/SYCON Workshop on Hybrid Systems III: Verification and Control. Springer-Verlag, New York, Inc., pp 208\u2013219"},{"key":"6883_CR15","doi-asserted-by":"crossref","unstructured":"de Niz D, Rajkumar R (2003) Time weaver: A Software-Through-Models Framework for Real-Time Systems. In Proceedings of LCTES","DOI":"10.1145\/780732.780751"},{"key":"6883_CR16","doi-asserted-by":"crossref","unstructured":"Deshpande M, Schmidt DC, O\u2019Ryan C, Brunsch D (2002) Design and Performance of Asynchronous Method Handling for CORBA. In Proceedings of Distributed Objects and Applications (DOA)","DOI":"10.1007\/3-540-36124-3_39"},{"key":"6883_CR17","doi-asserted-by":"crossref","unstructured":"Doerr BS, Sharp DC (1999) Freeing Product Line Architectures from Execution Dependencies. In Proceedings of the 11th Annual Software Technology Conference","DOI":"10.1007\/978-1-4615-4339-8_17"},{"key":"6883_CR18","unstructured":"Edmund J, Clarke M, Grumberg O, Peled DA (1999) Model checking. MIT Press"},{"key":"6883_CR19","unstructured":"Ericsson C, Wall A, Yi W (1999) Timed automata as task models for event-driven systems. In Proceedings of RTSCA \u201999"},{"key":"6883_CR20","doi-asserted-by":"crossref","unstructured":"Gerdsmeier T, Cardell-Oliver R (2001) Analysis of scheduling behaviour using generic timed automata 42","DOI":"10.1016\/S1571-0661(04)80883-1"},{"key":"6883_CR21","doi-asserted-by":"crossref","unstructured":"Gill CD, Gossett JM, Corman D, Loyall JP, Schantz RE, Atighetchi M, Schmidt DC (2005) Integrated adaptive QoS management in middleware: An empirical case studyJournal of Real-Time Systems 24","DOI":"10.1007\/s11241-005-6881-1"},{"key":"6883_CR22","unstructured":"Gokhale A, Balasubramanian K, Balasubramanian J, Krishna AS, Edwards GT, Deng G, Turkay E, Parsons J, Schmidt DC (2005) Model driven middleware: A new paradigm for deploying and provisioning distributed real-time and embedded applications The Journal of Science of Computer Programming: Special Issue on Model Driven Architecture, (to appear)"},{"key":"6883_CR23","unstructured":"Gu Z, Shin K (2005) Model-checking of component-based real-time embedded software based on corba event service. In IEEE International Symposium on Object-Oriented Real-Time Distributed Computing"},{"key":"6883_CR24","unstructured":"Gu Z, Wang S, Kodase S, Shin KG (2003) An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software. In Proceedings of Real-Time Systems Symposium"},{"key":"6883_CR25","doi-asserted-by":"crossref","unstructured":"Harrison TH, Levine DL, Schmidt DC (1997) The design and performance of a real-time CORBA event service. In Proceedings of the 12th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications. ACM Press, pp 184\u2013200","DOI":"10.1145\/263698.263734"},{"key":"6883_CR26","doi-asserted-by":"crossref","unstructured":"Hartmann S, Kolisch R (2000) Experimental evaluation of state-of-the-art heuristics for the resource-constrained project scheduling problem European Journal of Operations Research, 394\u2013407","DOI":"10.1016\/S0377-2217(99)00485-3"},{"key":"6883_CR27","doi-asserted-by":"crossref","unstructured":"Hatcliff J, Deng X, Dwyer MB, Jung G, Ranganath VP (2003) Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. In Proceedings of International Conference on Software Engineering","DOI":"10.1109\/ICSE.2003.1201197"},{"key":"6883_CR28","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1145\/503272.503279","volume-title":"POPL \u201902: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages","author":"TA Henzinger","year":"2002","unstructured":"Henzinger TA, Jhala R, Majumdar R, Sutre G (2002) Lazy abstraction. In POPL \u201902: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages. ACM Press, New York, NY, USA, pp 58\u201370"},{"key":"6883_CR29","doi-asserted-by":"crossref","unstructured":"Henzinger TA, Horowitz B, Kirsch CM (2001) Giotto: A time-triggered language for embedded programming. Lecture Notes in Computer Science 2211:166+","DOI":"10.1007\/3-540-45449-7_12"},{"key":"6883_CR30","unstructured":"Holzmann GJ (2004) The SPIN model checker: Primer and reference manual. Addison Wesley, hOL g 03:1 1.Ex"},{"key":"6883_CR31","doi-asserted-by":"crossref","unstructured":"Klein MH, Ralya T, Pollak B, Obenza R (1993) A practitioners handbook for real-time analysis: Guide to rate monotonic analysis for real-time systems. Kluwer","DOI":"10.1007\/978-1-4615-2796-1"},{"key":"6883_CR32","doi-asserted-by":"crossref","unstructured":"Kr\/vc\u00e1l P, Yi W (2004) Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata. In Jensen K, Podelski A (eds), Proc. of TACAS\u201904, Barcelona, Spain, ser. Lecture Notes in Computer Science, Springer-Verlag, vol. 2988, pp 236\u2013250","DOI":"10.1007\/978-3-540-24730-2_20"},{"issue":"1-2","key":"6883_CR33","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen KG, Pettersson P, Yi W (1997) Uppaal in a nutshellInt. Journal on Software Tools for Technology Transfer 1(1\u20132):134\u2013152","journal-title":"Journal on Software Tools for Technology Transfer"},{"key":"6883_CR34","doi-asserted-by":"crossref","unstructured":"Ledeczi A, Bakay A, Maroti M, Volgyesi P, Nordstrom G, Sprinkle J (2001) Composing Domain-Specific Design EnvironmentsComputer 44\u201351","DOI":"10.1109\/2.963443"},{"issue":"1","key":"6883_CR35","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"CL Liu","year":"1973","unstructured":"Liu CL, Layland JW (1973)Scheduling algorithms for multiprogramming in a hard-real-time environmentJ ACM 20(1):46\u201361","journal-title":"J ACM"},{"key":"6883_CR36","first-page":"105","volume-title":"CAV \u201994: Proceedings of the 6th International conference on Computer Aided Verification","author":"J McManis","year":"1994","unstructured":"McManis J, Varaiya P (1994) Suspension automata: A decidable class of hybrid automata. In CAV \u201994: Proceedings of the 6th International conference on Computer Aided Verification. Springer-Verlag, London, UK, pp 105\u2013117"},{"key":"6883_CR37","doi-asserted-by":"crossref","unstructured":"Madl G, Abdelwahed S (2005) Model-based Analysis of Distributed Real-time Embedded System Composition. In EMSOFT 2005","DOI":"10.1145\/1086228.1086294"},{"key":"6883_CR38","unstructured":"Object Management Group (2002a) CORBA component model. [Online]. Available: http:\/\/www.omg.org"},{"key":"6883_CR39","unstructured":"Object Management Group (2002b) Real-time CORBA SpecificationOMG document formal\/02-08-02 ed."},{"key":"6883_CR40","first-page":"40","volume":"70","author":"P Pettersson","year":"2000","unstructured":"Pettersson P, Larsen KG (2000) Uppaal2kBulletin of the European Association for Theoretical Computer Science 70:40\u201344","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"6883_CR41","doi-asserted-by":"crossref","unstructured":"Roll W (2003)Towards model-based and CCM-based applications for real-time systems. In ISORC \u201903: Proceedings of the Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC\u201903). IEEE computer society, pp 75\u201382","DOI":"10.1109\/ISORC.2003.1199238"},{"key":"6883_CR42","unstructured":"Rumbaugh J, Jacobson I, Booch G (1998) The unified modeling language reference manual"},{"key":"6883_CR43","doi-asserted-by":"crossref","unstructured":"Schmidt DC, Gokhale A, Harrison TH, Parulkar G (1997) A high-performance endsystem architecture for real-time CORBAIEEE Communications Magazine 14(2)","DOI":"10.1109\/35.565659"},{"key":"6883_CR44","volume-title":"Pattern-oriented software architecture: Patterns for concurrent and networked objects, vol. 2","author":"DC Schmidt","year":"2000","unstructured":"Schmidt DC, Stal M, Rohnert H, Buschmann F (2000) Pattern-oriented software architecture: Patterns for concurrent and networked objects, vol. 2. Wiley & Sons, New York"},{"key":"6883_CR45","unstructured":"Sharp DC, Roll WC (2003) Model-based integration of reusable component-based avionics systems. In Proceedings of the Workshop on Model-Driven Embedded Systems in RTAS 2003"},{"key":"6883_CR46","unstructured":"Stankovic JA, Zhu R, Poornalingham R, Lu C, Yu Z, Humphrey M, Ellis B (2003) VEST: An aspect-based composition Tool for Real-time Systems. In Proceedings of the IEEE Real-Time Applications Symposium"},{"key":"6883_CR47","doi-asserted-by":"crossref","unstructured":"Sztipanovits J, Karsai G (1997) Model-Integrated ComputingIEEE Computer 110\u2013112","DOI":"10.1109\/2.585163"},{"key":"6883_CR48","first-page":"117","volume":"40","author":"K Tindell","year":"1994","unstructured":"Tindell K, Clark J (1994) Holistic Schedulability Analysis for Distributed Hard Real-Time Systems Microprocessing and Microprogramming\u2014Euromicro Journal (Special Issue on Parallel Embedded Real-Time Systems) 40:117\u2013134","journal-title":"Microprocessing and Microprogramming\u2014Euromicro Journal (Special Issue on Parallel Embedded Real-Time Systems)"},{"key":"6883_CR49","volume-title":"24th Computer Software and Applications Conference","author":"N Wang","year":"2000","unstructured":"Wang N, Schmidt DC, Parameswaran K, Kircher M (2000) Applying reflective middleware techniques to optimize a QoS-enabled CORBA component model implementation. In 24th Computer Software and Applications Conference. IEEE, Taipei, Taiwan"},{"key":"6883_CR50","unstructured":"World Wide Web Consortium (2004a) Extensible Markup Language (XML) 1.0 3rd edn"},{"key":"6883_CR51","unstructured":"World Wide Web Consortium (2004b) XSL Transformations (XSLT) Version 1.0"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-006-6883-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-006-6883-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-006-6883-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T11:04:27Z","timestamp":1559387067000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-006-6883-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7]]},"references-count":51,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2006,7]]}},"alternative-id":["6883"],"URL":"https:\/\/doi.org\/10.1007\/s11241-006-6883-y","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,7]]}}}