{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T21:10:01Z","timestamp":1740345001623,"version":"3.37.3"},"publisher-location":"Boston, MA","reference-count":29,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781441963994"},{"type":"electronic","value":"9781441964007"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-1-4419-6400-7_7","type":"book-chapter","created":{"date-parts":[[2010,8,4]],"date-time":"2010-08-04T20:08:37Z","timestamp":1280952517000},"page":"201-227","source":"Crossref","is-referenced-by-count":9,"title":["The Time Model of Logical Clocks Available in the OMG MARTE Profile"],"prefix":"10.1007","author":[{"given":"Charles","family":"Andr\u00e9","sequence":"first","affiliation":[]},{"given":"Julien","family":"DeAntoni","sequence":"additional","affiliation":[]},{"given":"Fr\u00e9d\u00e9ric","family":"Mallet","sequence":"additional","affiliation":[]},{"given":"Robert","family":"de Simone","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,6,26]]},"reference":[{"key":"7_CR1_7","series-title":"Research Report 6925, INRIA and University of Nice","volume-title":"Syntax and semantics of the clock constraint specification language (CCSL)","author":"C Andr\u00e9","year":"2009","unstructured":"C. Andr\u00e9. Syntax and semantics of the clock constraint specification language (CCSL). Research Report 6925, INRIA and University of Nice, May 2009."},{"issue":"1","key":"7_CR2_7","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A Benveniste","year":"2003","unstructured":"A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. Le Guernic, and R. de Simone. The synchronous languages twelve years later. Proceedings of the IEEE, 91(1):64\u201383, 2003.","journal-title":"Proceedings of the IEEE"},{"key":"7_CR3_7","volume-title":"POPL, pages 180\u2013193","author":"A Cohen","year":"2006","unstructured":"A. Cohen, M. Duranton, C. Eisenbeis, C. Pagetti, F. Plateau, and M. Pouzet. N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems. In J. G. Morrisett and S. L. P. Jones, editors, POPL, pages 180\u2013193. ACM, January 2006."},{"key":"7_CR4_7","first-page":"353","volume-title":"Proc. of the 12th IEEE Int. Conf. on Engineering Complex Computer Systems (ICECCS\u201907)","author":"P Cuenot","year":"2007","unstructured":"P. Cuenot, D. Chen, S. G\u00e9rard, H. L\u00f6nn, M.-O. Reiser, D. Servat, C.-J. Sjostedt, R. T. Kolagari, M. Torngren, and M. Weber. Managing complexity of automotive electronics using the East-ADL. In Proc. of the 12th IEEE Int. Conf. on Engineering Complex Computer Systems (ICECCS\u201907), pages 353\u2013358. IEEE Computer Society, 2007."},{"key":"7_CR5_7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/3-540-45739-9_4","volume-title":"FTRTFT","author":"BP Douglass","year":"2002","unstructured":"B. P. Douglass. Real-time UML. In W. Damm and E.-R. Olderog, editors, FTRTFT, volume 2469 of Lecture Notes in Computer Science, pages 53\u201370. Springer, Berlin, 2002."},{"issue":"1","key":"7_CR6_7","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","volume":"91","author":"J Eker","year":"2003","unstructured":"J. Eker, J. Janneck, E. Lee, J. Liu, X. L., J. Ludvig, S. Neuendorffer, S. Sachs, and Y. Xiong. Taming heterogeneity \u2013 the Ptolemy approach. Proceedings of the IEEE, 91(1):127\u2013144, 2003.","journal-title":"Proceedings of the IEEE"},{"key":"7_CR7_7","doi-asserted-by":"crossref","unstructured":"M. Faug\u00e8re, T. Bourbeau, R. de Simone, and S. G\u00e9rard. Marte: also an UML profile for modeling AADL applications. In ICECCS \u2013 UML&AADL, pages 359\u2013364. IEEE Computer Society, 2007.","DOI":"10.1109\/ICECCS.2007.29"},{"key":"7_CR8_7","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1016\/0165-6074(95)00025-J","volume":"41","author":"P Feautrier","year":"1995","unstructured":"P. Feautrier. Compiling for massively parallel architectures: a perspective. Microprogramming and Microprocessors, (41):425\u2013439, 1995.","journal-title":"Microprogramming and Microprocessors"},{"key":"7_CR9_7","doi-asserted-by":"crossref","unstructured":"P. Feiler, D. Gluch, and J. Hudak. The architecture analysis and design language (AADL): an introduction, Technical report CMU\/SEI-2006-TN-011, CMU, 2006.","DOI":"10.21236\/ADA455842"},{"key":"7_CR10_7","unstructured":"P. H. Feiler and J. Hansson. Flow latency analysis with the architecture analysis and design language. Technical report CMU\/SEI-2007-TN-010, CMU, June 2007."},{"issue":"2","key":"7_CR11_7","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/s10270-007-0077-5","volume":"7","author":"S Graf","year":"2008","unstructured":"S. Graf. OMEGA: correct development of real time and embedded systems. Software and System Modeling, 7(2):127\u2013130, 2008.","journal-title":"Software and System Modeling"},{"key":"7_CR12_7","unstructured":"R. Johansson, H. L\u00f6nn, and P. Frey. ATESST timing model. Technical report, ITEA, 2008. Deliverable D2.1.3."},{"key":"7_CR13_7","first-page":"471","volume-title":"Information Processing","author":"G Kahn","year":"1974","unstructured":"G. Kahn. The semantics of a simple language for parallel programming. In Information Processing, pages 471\u2013475, 1974."},{"issue":"6","key":"7_CR14_7","doi-asserted-by":"publisher","first-page":"1390","DOI":"10.1137\/0114108","volume":"14","author":"RM Karp","year":"1966","unstructured":"R. M. Karp and R. E. Miller. Properties of a model for parallel computations: determinacy, termination, queueing. SIAM Journal on Applied Mathematics, 14(6):1390\u20131411, 1966.","journal-title":"SIAM Journal on Applied Mathematics"},{"issue":"1","key":"7_CR15_7","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/TC.1987.5009446","volume":"36","author":"EA Lee","year":"1987","unstructured":"E. A. Lee and D. G. Messerschmitt. Static scheduling of synchronous data flow programs for digital signal processing. IEEE Transactions on Computers, 36(1):24\u201335, 1987.","journal-title":"IEEE Transactions on Computers"},{"issue":"12","key":"7_CR16_7","doi-asserted-by":"publisher","first-page":"1217","DOI":"10.1109\/43.736561","volume":"17","author":"EA Lee","year":"1998","unstructured":"E. A. Lee and A. L. Sangiovanni-Vincentelli. A framework for comparing models of computation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 17(12):1217\u20131229, 1998.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"7_CR17_7","doi-asserted-by":"crossref","unstructured":"S.-Y. Lee, F. Mallet, and R. de Simone. Dealing with AADL end-to-end flow latency with UML Marte. In ICECCS \u2013 UML&AADL, pages 228\u2013233. IEEE CS, April 2008.","DOI":"10.1109\/ICECCS.2008.14"},{"key":"7_CR18_7","first-page":"27","volume-title":"MARTE vs. AADL for Discrete-Event and Discrete-Time Domains","author":"F Mallet","year":"2009","unstructured":"F. Mallet and R. de Simone. MARTE vs. AADL for Discrete-Event and Discrete-Time Domains, volume 36 of LNEE, chapter 2, pages 27\u201341. Springer, Berlin, 2009.","edition":"36"},{"key":"7_CR19_7","doi-asserted-by":"crossref","unstructured":"F. Mallet, M.-A. Peraldi-Frati, and C. Andr\u00e9. Marte CCSL to execute East-ADL timing requirements. In ISORC, pages 249\u2013253. IEEE Computer Society, March 2009.","DOI":"10.1109\/ISORC.2009.18"},{"key":"7_CR20_7","unstructured":"OMG. UML Profile for Schedulability, Performance, and Time Specification, v1.1. Object Management Group, January 2005. formal\/05-01-02."},{"key":"7_CR21_7","unstructured":"OMG. Systems Modeling Language (SysML) Specification, v1.1. Object Management Group, November 2008. formal\/08-11-02."},{"key":"7_CR22_7","unstructured":"OMG. UML Profile for MARTE, v1.0. Object Management Group, November 2009. formal\/2009-11-02."},{"key":"7_CR23_7","unstructured":"OMG. Unified Modeling Language, Superstructure, v2.2. Object Management Group, February 2009. formal\/2009-02-02."},{"key":"7_CR24_7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/BFb0046834","volume-title":"Petri Nets: Central Models and Their Properties","author":"C Petri","year":"1987","unstructured":"C. Petri. Concurrency theory. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Petri Nets: Central Models and Their Properties, volume 254 of Lecture Notes in Computer Science, pages 4\u201324. Springer, Berlin, 1987."},{"issue":"2","key":"7_CR25_7","first-page":"67","volume":"17","author":"B Selic","year":"2002","unstructured":"B. Selic. The emerging real-time UML standard. Computer Systems Science and Engineering, 17(2):67\u201376, 2002.","journal-title":"Computer Systems Science and Engineering"},{"key":"7_CR26_7","doi-asserted-by":"publisher","DOI":"10.1201\/9781420048025","volume-title":"Embedded Multiprocessors Scheduling and Synchronization","author":"S Sriram","year":"2009","unstructured":"S. Sriram and S. S. Bhattacharyya. Embedded Multiprocessors Scheduling and Synchronization, second edition. CRC, Boca Raton, FL, 2009.","edition":"2"},{"key":"7_CR27_7","unstructured":"The ATESST Consortium. East-ADL2 specification. Technical report, ITEA, March 2008. http:\/\/www.atesst.org , 2008-03-20."},{"key":"7_CR28_7","unstructured":"The East-EEA Project. Definition of language for automotive embedded electronic architecture approach. Technical report, ITEA, 2004. Deliverable D.3.6."},{"key":"7_CR29_7","volume-title":"Systems Engineering with SysML\/UML: Modeling, Analysis, Design","author":"T Weilkiens","year":"2008","unstructured":"T. Weilkiens. Systems Engineering with SysML\/UML: Modeling, Analysis, Design. The MK\/OMG, Burlington, MA, 2008."}],"container-title":["Synthesis of Embedded Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4419-6400-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T20:32:33Z","timestamp":1740342753000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4419-6400-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9781441963994","9781441964007"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-1-4419-6400-7_7","relation":{},"subject":[],"published":{"date-parts":[[2010]]}}}