{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:04:59Z","timestamp":1729631099196,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/sere.2012.24","type":"proceedings-article","created":{"date-parts":[[2012,8,8]],"date-time":"2012-08-08T17:11:52Z","timestamp":1344445912000},"page":"118-127","source":"Crossref","is-referenced-by-count":5,"title":["Toward Systematic Construction of Timing Diagrams from UML\/MARTE Behavioral Models for Time-Triggered Embedded Software"],"prefix":"10.1109","author":[{"given":"Jinho","family":"Choi","sequence":"first","affiliation":[]},{"given":"Eunkyoung","family":"Jee","sequence":"additional","affiliation":[]},{"given":"Doo-Hwan","family":"Bae","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ICCMS.2010.125"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2008.4641432"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/DepCoS-RELCOMEX.2008.58"},{"journal-title":"An Embedded Software Primer","year":"2002","author":"simon","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1879021.1879031"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2006.5.4.a2"},{"journal-title":"Performance Modeling of Operating Systems Using Object-oriented Simulation A Practical Introduction","year":"2000","author":"garrido","key":"14"},{"journal-title":"UML Profile for MARTE Modeling and Analysis of Real-Time Embedded Systems Version 1 0 (formal\/2009-11-02)","year":"2009","key":"11"},{"journal-title":"Designing Concurrent Distributed and Real-Time Application with UML","year":"2000","author":"gomaa","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ASEA.2008.40"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.04.009"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2001.922815"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74984-4_13"},{"key":"24","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1145\/503209.503235","article-title":"A methodology for specifying and analyzing consistency of object-oriented behavioral models","author":"engels","year":"2001","journal-title":"Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2007.10.007"},{"journal-title":"Patterns for Time-Triggered Embedded Systems","year":"2001","author":"pont","key":"3"},{"key":"2","doi-asserted-by":"crossref","DOI":"10.1007\/b105972","author":"lavagno","year":"2003","journal-title":"UML for Real Design of Embedded Real-Time Systems"},{"journal-title":"Unified Modeling Language Superstructure Version 2 4 (ptc\/2010-05-06)","year":"2011","key":"10"},{"journal-title":"Software for Dependable Systems Sufficient Evidence?","year":"2007","author":"jackson","key":"1"},{"journal-title":"Unified Modeling Language Superstructure Version 2 4 (ptc\/2010-05-06)","year":"2011","key":"7"},{"key":"6","first-page":"647","article-title":"A case study on timing constraints verification for a safety-critical, time-triggered embedded software","volume":"38","author":"choi","year":"2011","journal-title":"Journal of KIISE Software and Applications"},{"key":"5","first-page":"166","article-title":"A case study on timing constraints verification for a safety-critical, real-time system","volume":"38","author":"choi","year":"2011","journal-title":"Korea Computer Congress"},{"key":"4","first-page":"841","article-title":"The implementation and performance analysis of soft timer interrupt UML-RT model on a windows platform with real-time extension","volume":"32","author":"choi","year":"2005","journal-title":"Proceedings of the Korea information science society fall conference"},{"journal-title":"UML Distilled A Brief Guide to the Standard Object Modeling Language","year":"2004","author":"fowler","key":"9"},{"journal-title":"The Unified Modeling Language Reference Manual","year":"2005","author":"rumbaugh","key":"8"}],"event":{"name":"2012 6th International Conference on Software Security and Reliability (SERE)","start":{"date-parts":[[2012,6,20]]},"location":"Gaithersburg, MD, USA","end":{"date-parts":[[2012,6,22]]}},"container-title":["2012 IEEE Sixth International Conference on Software Security and Reliability"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6257299\/6258288\/06258301.pdf?arnumber=6258301","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T14:23:47Z","timestamp":1602685427000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6258301"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/sere.2012.24","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}