{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T11:25:10Z","timestamp":1648553110198},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2006,12,6]],"date-time":"2006-12-06T00:00:00Z","timestamp":1165363200000},"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":[[2007,2,6]]},"DOI":"10.1007\/s11241-006-9007-9","type":"journal-article","created":{"date-parts":[[2006,12,5]],"date-time":"2006-12-05T16:32:25Z","timestamp":1165336345000},"page":"181-208","source":"Crossref","is-referenced-by-count":4,"title":["Modeling distributed real-time applications with specification PEARL"],"prefix":"10.1007","volume":"35","author":[{"given":"Roman","family":"Gumzej","sequence":"first","affiliation":[]},{"given":"Shourong","family":"Lu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,12,6]]},"reference":[{"key":"9007_CR1","unstructured":"Abdallah HB (1996) GCSR: a graphical language for the specification, refinement, and analysis of real-time systems. PhD Dissertation, Dept. of Computer and Information Science, University of Pennsylvania"},{"key":"9007_CR2","doi-asserted-by":"crossref","unstructured":"Agha G (1991) The structure and semantics of actor languages. In: de Bakker JW, de Roever WP, Rozenberg G (eds), Foundations of object-oriented languages. Springer-Verlag, pp. 1\u201359","DOI":"10.1007\/BFb0019439"},{"key":"9007_CR3","doi-asserted-by":"crossref","unstructured":"Balarin F, Chiodo M, Giusto P, Hsieh H, Jurecska A, Lavagno L, Passerone C, Sangiovanni-Vincentelli A, Sentovich E, Suzuki K, Tabarra B (1997) Hardware-software co-design of embedded systems: the POLIS approach. Kluwer Academic Publishers","DOI":"10.1007\/978-1-4615-6127-9"},{"key":"9007_CR4","unstructured":"Bitsch F, G\u00f6hner P, Gutbrodt F, Katzke U, Vogel-Heuser B. Specification of hard real-time industrial automation systems with UML-PA http:\/\/www.ias.uni-stuttgart.de\/forschung\/pub\/indin2005_paper_gt.pdf"},{"key":"9007_CR5","unstructured":"Dietz C (1998) Action diagrams. In: Maranzana M (ed), Real Time Programming 1997, Pergamon"},{"key":"9007_CR6","unstructured":"Douglass BP (1999) Doing hard time: developing real-time systems with UML, objects, frameworks and patterns. Addison-Wesley Professional"},{"key":"9007_CR7","unstructured":"Fowler M (2004) UML Distilled, 3th ed. A Brief Guide to the Standard Object Modeling Language, Addison-Wesley"},{"key":"9007_CR8","unstructured":"Gausemeier J, Gl\u00e4sser U, Sch\u00e4fer W, Eckes R, Kardos M, Wagner R. ISILEIT project. http:\/\/wwwcs.uni-paderborn.de\/fachbereich\/AG\/schaefer\/ag_dt\/ISILEIT\/index.html"},{"key":"9007_CR9","unstructured":"Gumzej R (1999) Embedded system architecture co-design and its validation. Doctoral thesis, University of Maribor, Slovenia"},{"key":"9007_CR10","unstructured":"Gumzej R (2004) Holistic embedded control systems design with specification PEARL, Overview of the project Z2-3493. http:\/\/www.rts.uni-mb.si\/misc\/projekti\/SPEARL\/"},{"key":"9007_CR11","doi-asserted-by":"crossref","unstructured":"Gumzej R, Colnari\u010d M (2001) An approach to modeling and verification of real-time systems. In: Proc. 4th IEEE Intl. Symp. on object-oriented real-time distributed computing, Magdeburg","DOI":"10.1109\/ISORC.2001.922851"},{"key":"9007_CR12","unstructured":"Gumzej R, Colnari\u010d M (2003) The representation of PEARL tasks as timed state transition diagrams. In Proceedings of 27th IFAC\/IFIP\/IEEE workshop on real time programming, WRTP\u201903, May 14\u201317 (2003), \u0141ag\u00f3w (Poland)"},{"issue":"1","key":"9007_CR13","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1109\/MCS.2003.1172829","volume":"23","author":"TA Henzinger","year":"2003","unstructured":"Henzinger TA, Kirsch CM, Sanvido MAA, Pree W (2003) From control models to real-time code using Giotto. IEEE Control System Mag 23(1):50\u201364","journal-title":"IEEE Control System Mag"},{"key":"9007_CR14","unstructured":"Hylands C, Lee E, Liu J, Liu X, Neuendorffer S, Xiong Y, Zhao Y, Zheng H (2003) Overview of the ptolemy project, technical memorandum UCB\/ERL M03\/25, http:\/\/www.ptolemy.eecs.berkeley.edu\/~publications\/papers\/03\/overview\/overview03.pdf"},{"key":"9007_CR15","unstructured":"Khalil M, Le Traon Y, Robach C (1998) Control-flow system diagnosis: an evolutive method. In: Proc. 24th EUROMICRO Conference. V\u00e4ster\u00e5s"},{"key":"9007_CR16","doi-asserted-by":"crossref","unstructured":"Lee I, Davidson S, Gerber R (1991) Communicating shared resources: a paradigm for integrating real-time specification and implementation. Foundations of Real-Time Computing: Formal Specifications and Methods. Kluwer Academic Publishers","DOI":"10.1007\/978-1-4615-4016-8_4"},{"key":"9007_CR17","unstructured":"Licht T (2004) Ein verfahren zur zeitlichen analyse von UML-Modellen beim entwurf von automatisierungssystemen. PhD Thesis, Faculty of computer science and automation, Technical University of Ilmenau, Ilmenau"},{"issue":"10","key":"9007_CR18","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B Meyer","year":"1992","unstructured":"Meyer B (1992) Applying design by contract. IEEE Comput 25(10):40\u201351","journal-title":"IEEE Comput"},{"key":"9007_CR19","doi-asserted-by":"crossref","unstructured":"Mok AK (1991) Towards mechanization of real-time system design. Foundations of real-time computing: Formal Specifications and Methods. Kluwer Academic Publishers","DOI":"10.1007\/978-1-4615-4016-8_1"},{"key":"9007_CR20","unstructured":"Mooney III VJ (1998) Hardware\/Software Co-Design of Run-Time Sytems. PhD thesis, Stanford University"},{"key":"9007_CR21","unstructured":"Multiprocessor PEARL (1989) DIN 66253, Part 3"},{"key":"9007_CR22","unstructured":"OMG (2004) UML 2.0 superstructure specification. http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/04-10-02"},{"key":"9007_CR23","unstructured":"OMG (2005) UML profile for schedulability, performance, and time specification 1.1 (formal\/05-01-02). OMG"},{"key":"9007_CR24","doi-asserted-by":"crossref","unstructured":"Ostroff JS (1997) A visual toolset for the design of real-time discrete event systems. IEEE Trans on Control Systems Technology","DOI":"10.1109\/87.572129"},{"key":"9007_CR25","unstructured":"RTOS-UH. http:\/\/www.irt.uni-hannover.de\/rtos\/rtosfble.html"},{"key":"9007_CR26","unstructured":"Schr\u00f6ter G, Braatz B, Klein M (2003) ODEMA\u2013semantische konsistenz objekt-orientier viewpoint-spezifikationen, projekt IOSIP. kolloquium des DFG-SPP software-spezifikation, stuttgart, 20. http:\/\/www.bbraatz.eu\/talks\/2003-SBK-SPPKoll.pdf"},{"key":"9007_CR27","doi-asserted-by":"crossref","unstructured":"Selic B, Rumbaugh J (1998) Using UML for modeling complex real-time systems. White Paper, Rational Software Corp","DOI":"10.1007\/BFb0057795"},{"issue":"9","key":"9007_CR28","doi-asserted-by":"crossref","first-page":"805","DOI":"10.1109\/32.159840","volume":"18","author":"AC Shaw","year":"1992","unstructured":"Shaw AC (1992) Communicating real-time state machines. IEEE Trans. Software Engineering, 18(9):805\u2013816","journal-title":"IEEE Trans. Software Engineering"},{"key":"9007_CR29","doi-asserted-by":"crossref","unstructured":"Traore I, Sahraoui A-K (1998) A multiformalism specification framework with statecharts and VDM. In: Maranzana M (ed), Real Time Programming 1997, Pergamon","DOI":"10.1016\/S1474-6670(17)41389-9"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-006-9007-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-006-9007-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-006-9007-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T11:09:50Z","timestamp":1559387390000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-006-9007-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,12,6]]},"references-count":29,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,2,6]]}},"alternative-id":["9007"],"URL":"https:\/\/doi.org\/10.1007\/s11241-006-9007-9","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,12,6]]}}}