{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T14:02:03Z","timestamp":1725544923405},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,4]]},"DOI":"10.1109\/icnsc.2014.6819596","type":"proceedings-article","created":{"date-parts":[[2014,5,30]],"date-time":"2014-05-30T14:33:37Z","timestamp":1401460417000},"page":"36-41","source":"Crossref","is-referenced-by-count":0,"title":["APECS code synthesis: Extending ocarina for multi-threaded code synthesis from AADL models for Safety Critical applications"],"prefix":"10.1109","author":[{"given":"Matthew","family":"Anderson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sandeep K.","family":"Shukla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Getting Started with the AADL and OSATE An Introductory Tutorial","year":"2007","key":"19"},{"year":"0","key":"17"},{"year":"0","key":"18"},{"key":"15","first-page":"217","article-title":"Slicing aadl specifications for model checking","author":"nguyen","year":"2010","journal-title":"NASA Formal Methods"},{"year":"0","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ESLsyn.2011.5952285"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2013.6"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/5.97301"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.244"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.27"},{"year":"0","key":"3"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1032297.1032298"},{"key":"2","article-title":"Fiacre: An intermediate language for model verification in the topcased environment","author":"berthomieu","year":"2008","journal-title":"ERTS 2008"},{"key":"1","first-page":"10","article-title":"Apecs: An aadl and polychrony based embedded computing system design environment with an elevator control case study","author":"anderson","year":"2013","journal-title":"Proceedings of the 2013 ACMIIEEE International Conference on Formal Methods and Models for Co-Design MEMO CODE"},{"key":"10","first-page":"237","article-title":"Ocarina: An environment for aadl models analysis and automatic code generation for high integrity applications","author":"lasnier","year":"2009","journal-title":"Proc 14th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 09)"},{"key":"7","article-title":"Model-based engineering with aadl: An introduction to the sae architecture analysis &design language","author":"feiler","year":"2012","journal-title":"Addison-Wesley Professional"},{"key":"6","article-title":"Code generation strategies from aadl architectural descriptions targeting the high integrity domain","author":"delangea","year":"2008","journal-title":"Proc 4th European Congress ERTS"},{"key":"5","first-page":"5","article-title":"Models in software engineering","author":"chkouri","year":"2009","journal-title":"Ch Translating AADL into BIP-Application to the Verification of Real-Time Systems"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxq024"},{"journal-title":"Real-time Emcodesyn","year":"0","author":"kracht","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2010.5419925"}],"event":{"name":"2014 IEEE 11th International Conference on Networking, Sensing and Control (ICNSC)","start":{"date-parts":[[2014,4,7]]},"location":"Miami, FL, USA","end":{"date-parts":[[2014,4,9]]}},"container-title":["Proceedings of the 11th IEEE International Conference on Networking, Sensing and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6812386\/6819588\/06819596.pdf?arnumber=6819596","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T12:37:20Z","timestamp":1490272640000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6819596\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/icnsc.2014.6819596","relation":{},"subject":[],"published":{"date-parts":[[2014,4]]}}}