{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T10:07:02Z","timestamp":1729678022380,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/icawst.2013.6765522","type":"proceedings-article","created":{"date-parts":[[2014,3,20]],"date-time":"2014-03-20T14:58:57Z","timestamp":1395327537000},"page":"663-671","source":"Crossref","is-referenced-by-count":4,"title":["Modeling real-time system performance with respect to scheduling analysis"],"prefix":"10.1109","author":[{"given":"Fenglin","family":"Han","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Herrmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"19","DOI":"10.1109\/AMS.2009.121"},{"key":"17","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/978-3-540-85289-6_13","article-title":"Klaper:An intermediate language for model-driven predictive analysis of performance and reliability","volume":"5153","author":"grassi","year":"2007","journal-title":"The Common Component Modeling Example Comparing Software Component Models [Result from the Dagstuhl Research Seminar for CoCoME"},{"year":"0","author":"grassi","journal-title":"UML Profile for MARTE Modeling and Analysis of Real-Time Embedded Systems","key":"18"},{"key":"33","article-title":"Predicting software component performance:On the relevance of parameters for benchmarking bytecode and apis","author":"kuperberg","year":"2007","journal-title":"Proceedings of the 12th International Workshop on Component Oriented Programming (WCOP 2007"},{"year":"2007","journal-title":"International Standard 61800-5-2 Adjustable Speed Electrical Power Drive Systems-Part 5-2 Safety Requirements-Functional","key":"15"},{"doi-asserted-by":"publisher","key":"34","DOI":"10.1145\/1167999.1168033"},{"key":"16","first-page":"263","article-title":"Model checking via reachability testing for timed automata","volume":"1384","author":"aceto","year":"1998","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"13","article-title":"Transforming collaborative service specifications into efficiently executable state machines","volume":"7","author":"kraemer","year":"2007","journal-title":"Proceedings of the 6th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2007"},{"key":"14","article-title":"Javaframe-Framework for java enabled modelling","author":"haugen","year":"2000","journal-title":"Ericsson Conference Software Engineering"},{"year":"1996","author":"bengtsson","journal-title":"UPPAAL A Tool Suite for Validation and Verification of Real-Time Systems","key":"11"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1016\/0304-3975(94)90010-8"},{"doi-asserted-by":"publisher","key":"21","DOI":"10.1109\/HCW.1997.581420"},{"doi-asserted-by":"publisher","key":"20","DOI":"10.1109\/RTA.1994.316162"},{"key":"22","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1145\/974044.974048","article-title":"From uml activity diagrams to stochastic petri nets:Application to software performance engineering","author":"l?opez-grao","year":"2004","journal-title":"Proceedings of the 2nd international workshop on Software and performance"},{"doi-asserted-by":"publisher","key":"23","DOI":"10.1109\/EUROMICRO.2006.13"},{"doi-asserted-by":"publisher","key":"24","DOI":"10.1145\/1434790.1434807"},{"key":"25","first-page":"2142","volume":"15","author":"perrone","year":"2009","journal-title":"An Approach for Estimating Execution Time Probability Distributions of Component-based Real-time Systems"},{"key":"26","volume":"1","author":"feller","year":"1968","journal-title":"An Introduction to Probability Theory and Its Applications"},{"key":"27","first-page":"93","author":"david","year":"2010","journal-title":"Model-Based Design for Embedded Systems"},{"year":"2005","author":"schoeberl","journal-title":"JOP A Java Optimized Processor for Embedded Real-Time Systems","key":"28"},{"key":"29","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1145\/1297027.1297033","article-title":"Statistically rigorous java performance evaluation","author":"georges","year":"2007","journal-title":"Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-oriented Programming Systems and Applications"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1016\/j.jss.2009.06.057"},{"key":"2","article-title":"Compositional service engineering with arctis","volume":"105","author":"kraemer","year":"2009","journal-title":"Telektronikk"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1109\/ISORC.2000.839515"},{"key":"1","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1007\/978-3-540-40903-8_6","article-title":"TIMES:A tool for schedulability analysis and code generation of real-time systems","volume":"2791","author":"amnell","year":"2004","journal-title":"Formal Modeling and Analysis of Timed Systems"},{"key":"30","article-title":"Towards platform-independent component measurement","author":"meyerh?ofer","year":"2005","journal-title":"Tenth International Workshop on Component-Oriented Programming"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1109\/ICECCS.2013.13"},{"key":"6","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/978-3-642-13464-7_3","article-title":"Reactive semantics for distributed uml activities","author":"kraemer","year":"2010","journal-title":"Formal Techniques for Distributed Systems"},{"doi-asserted-by":"publisher","key":"32","DOI":"10.1145\/1071021.1071024"},{"year":"2002","author":"lamport","journal-title":"Specifying Systems The TLA+ Language and Tools for Hardware and Software Engineers","key":"5"},{"key":"31","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1109\/RTCSA.1999.811218","article-title":"Timed automata as task models for event-driven systems","author":"norstrom","year":"1999","journal-title":"Real-Time Computing Systems and Applications 1999 RTCSA '99 Sixth International Conference on"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1007\/978-3-642-04425-0_44"},{"key":"9","article-title":"Engineering support for uml activities by automated model-checking-An example","author":"kraemer","year":"2007","journal-title":"Proceedings of the 4th International Workshop on Rapid Integration of Software Engineering Techniques (RISE"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1109\/LICS.1990.113766"}],"event":{"name":"2013 International Joint Conference on Awareness Science and Technology & Ubi-Media Computing (iCAST-UMEDIA)","start":{"date-parts":[[2013,11,2]]},"location":"Aizuwakamatsu, Japan","end":{"date-parts":[[2013,11,4]]}},"container-title":["2013 International Joint Conference on Awareness Science and Technology & Ubi-Media Computing (iCAST 2013 & UMEDIA 2013)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6747515\/6765401\/06765522.pdf?arnumber=6765522","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,11]],"date-time":"2023-07-11T06:41:59Z","timestamp":1689057719000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6765522\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/icawst.2013.6765522","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}