{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T14:06:31Z","timestamp":1749650791126,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1109\/rsp.2010.5656335","type":"proceedings-article","created":{"date-parts":[[2010,12,10]],"date-time":"2010-12-10T20:40:26Z","timestamp":1292013626000},"page":"1-7","source":"Crossref","is-referenced-by-count":4,"title":["Automated synthesis of Time-Triggered Architecture-based TrueTime models for platform effects simulation and analysis"],"prefix":"10.1109","author":[{"given":"G.","family":"Hemingway","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Porter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Kottenstette","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Nine","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"van Buskirk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Karsai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Sztipanovits","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Simulink\/Stateflow Tools","year":"0","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/2.248873"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ICCA.2009.5410483"},{"journal-title":"Real-Time Systems Design Principles for Distributed Embedded Applications","year":"1997","author":"kopetz","key":"15"},{"key":"16","first-page":"112","article-title":"The time-triggered architecture","volume":"91","author":"kopetz","year":"2003","journal-title":"Proceedings of the IEEE Special Issue on Modeling and Design of Embedded Software"},{"year":"0","author":"herzner","key":"13"},{"key":"14","article-title":"Developing aadl models for control systems: A practitioner's guide","author":"hudak","year":"2007","journal-title":"Technical Report CMU\/SEI-2007-TR-014 Software Engineering Institute (SEI)"},{"key":"11","article-title":"Truetime: Real-time control system simulation with matlab\/simulink","author":"henriksson","year":"2003","journal-title":"Proceedings of the Nordic MATLAB Conference"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805825"},{"key":"21","first-page":"20","article-title":"Towards model-based integration of tools and techniques for embedded control system design, verification, and implementation","author":"porter","year":"2008","journal-title":"MODELS 2008 Workshops and Symposia"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1629335.1629358"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/RSP.2009.32"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009804226473"},{"journal-title":"Gecode Generic Constraint Development Environment","year":"0","author":"schulte","key":"24"},{"journal-title":"The specification and implementation of a model of computation","year":"2008","author":"thibodeaux","key":"25"},{"journal-title":"BIP2 User Manual","year":"2009","author":"basu","key":"3"},{"journal-title":"Component-based Modeling of Heterogeneous Real Time Systems in BIP","year":"2008","author":"basu","key":"2"},{"journal-title":"System Design with SystemC","year":"2002","author":"grotker","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1193228"},{"key":"7","article-title":"A case study of multidisciplinary modelling using matlab\/simulink and truetime","author":"den bosch","year":"2005","journal-title":"Proceedings of INCOSE Symposium"},{"key":"6","article-title":"Simulation of networked control systems using truetime","author":"cervin","year":"2007","journal-title":"Proc 3rd International Workshop on Networked Control Systems Tolerant to Faults"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/780753.780754"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2006.27"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1065910.1065915"},{"key":"8","first-page":"320","article-title":"A matlab toolbox for real-time and control systems co-design","author":"eker","year":"1999","journal-title":"Proceedings of the 6th International Conference on Real-Time Computing Systems and Applications"}],"event":{"name":"2010 21st IEEE International Symposium on Rapid System Prototyping (RSP 2010)","start":{"date-parts":[[2010,6,8]]},"location":"Fairfax, VA","end":{"date-parts":[[2010,6,11]]}},"container-title":["Proceedings of 2010 21st IEEE International Symposium on Rapid System Protyping"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5633873\/5656325\/05656335.pdf?arnumber=5656335","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,21]],"date-time":"2020-02-21T00:51:51Z","timestamp":1582246311000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/5656335\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/rsp.2010.5656335","relation":{},"subject":[],"published":{"date-parts":[[2010,6]]}}}