{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T07:58:57Z","timestamp":1791014337063,"version":"4.1.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1109\/memcod.2008.4547701","type":"proceedings-article","created":{"date-parts":[[2008,6,20]],"date-time":"2008-06-20T11:40:32Z","timestamp":1213962032000},"page":"139-148","source":"Crossref","is-referenced-by-count":4,"title":["Virtual prototyping AADL architectures in a polychronous model of computation"],"prefix":"10.1109","author":[{"given":"Yue","family":"Ma","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Pierre","family":"Talpin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thierry","family":"Gautier","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","year":"0"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/1032297.1032298"},{"key":"18","article-title":"rapid prototyping of distributed real-time embedded systems using the aadl and ocarina","author":"hugues","year":"2007","journal-title":"Proc of the 18th IEEE\/IFIP International Workshop on RSP'07"},{"key":"15","year":"0"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)81034-X"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/RTTAS.2003.1203046"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1217295.1217298"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/RTTAS.2003.1203046"},{"key":"12","article-title":"signal v4-inria version: reference manual","author":"besnard","year":"2006","journal-title":"IRIS"},{"key":"3","doi-asserted-by":"crossref","DOI":"10.21236\/ADA455842","author":"feiler","year":"2006","journal-title":"The Architecture Analysis & Design Language (AADL) An Introduction"},{"key":"20","year":"0"},{"key":"2","article-title":"uml for hardware and software object modeling","author":"edwards","year":"2003","journal-title":"UML for Real Design of Embedded Real-Time Systems"},{"key":"1","article-title":"embedded system design using uml and platforms","author":"chen","year":"2002","journal-title":"Forum on Specification and Design Languages"},{"key":"10","volume":"653","year":"1997","journal-title":"Arinc Specifcation"},{"key":"7","year":"0"},{"key":"6","author":"le guernic","year":"2003","journal-title":"Polychrony for system design Journal for Circuits Systems and Computers Special Issue on Application Specific Hardware Design"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2007.164"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"9","author":"hudak","year":"2006","journal-title":"The SAE Architecture Analysis & Design Language (AADL) Standard A Language Summary AADL Standard Document"},{"key":"8","article-title":"design guidance for integrated modular avionics","year":"0","journal-title":"ARINC Report"}],"event":{"name":"2008 6th ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE '08)","location":"Anaheim, CA, USA","start":{"date-parts":[[2008,6,5]]},"end":{"date-parts":[[2008,6,7]]}},"container-title":["2008 6th ACM\/IEEE International Conference on Formal Methods and Models for Co-Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4542603\/4547672\/04547701.pdf?arnumber=4547701","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T02:50:31Z","timestamp":1557629431000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4547701\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/memcod.2008.4547701","relation":{},"subject":[],"published":{"date-parts":[[2008,6]]}}}