{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:28:26Z","timestamp":1750307306168,"version":"3.41.0"},"reference-count":8,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2011,6,1]],"date-time":"2011-06-01T00:00:00Z","timestamp":1306886400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGBED Rev."],"published-print":{"date-parts":[[2011,6]]},"abstract":"<jats:p>Traditional design methodology is not suitable for high-confidence embedded software due to the lack of a formal semantic model for software analysis, automatic code generation, and often designed embedded software is hard to reuse. In order to automatically generate high-confidence and reusable embedded software, we propose a TLM-centric, platform-based, time-triggered and component-oriented method. We use this new method to generate the control software for a quadrotor helicopter.<\/jats:p>","DOI":"10.1145\/2000367.2000377","type":"journal-article","created":{"date-parts":[[2011,6,28]],"date-time":"2011-06-28T17:31:10Z","timestamp":1309282270000},"page":"44-47","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["High confidence embedded software design"],"prefix":"10.1145","volume":"8","author":[{"given":"Zhenkai","family":"Zhang","sequence":"first","affiliation":[{"name":"Vanderbilt University, Nashville, TN"}]},{"given":"Joseph","family":"Porter","sequence":"additional","affiliation":[{"name":"Vanderbilt University, Nashville, TN"}]},{"given":"Nicholas","family":"Kottenstette","sequence":"additional","affiliation":[{"name":"Vanderbilt University, Nashville, TN"}]},{"given":"Xenofon","family":"Koutsoukos","sequence":"additional","affiliation":[{"name":"Vanderbilt University, Nashville, TN"}]},{"given":"Janos","family":"Sztipanovits","sequence":"additional","affiliation":[{"name":"Vanderbilt University, Nashville, TN"}]}],"member":"320","published-online":{"date-parts":[[2011,6]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"AscTec Hummingbird with AutoPilot User's Manual.  AscTec Hummingbird with AutoPilot User's Manual."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/944645.944651"},{"key":"e_1_2_1_3_1","volume-title":"The Embedded Systems Handbook","author":"Carloni L. P.","year":"2005","unstructured":"L. P. Carloni , F. D. Bernardinis , C. Pinello , A. L. Sangiovanni-Vincentelli , and M. Sgroi . Platform-based design for embedded systems . In R. Zurawski, editor, The Embedded Systems Handbook . CRC Press , 2005 . L. P. Carloni, F. D. Bernardinis, C. Pinello, A. L. Sangiovanni-Vincentelli, and M. Sgroi. Platform-based design for embedded systems. In R. Zurawski, editor, The Embedded Systems Handbook. CRC Press, 2005."},{"key":"e_1_2_1_4_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-0504-8","volume-title":"Embedded System Design: Modeling, Synthesis and Verification","author":"Gajski D.","year":"2009","unstructured":"D. Gajski , S. Abdi , A. Gertslauer , and G. Schirner . Embedded System Design: Modeling, Synthesis and Verification . Springer , 2009 . D. Gajski, S. Abdi, A. Gertslauer, and G. Schirner. Embedded System Design: Modeling, Synthesis and Verification. Springer, 2009."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805825"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCA.2009.5410483"},{"key":"e_1_2_1_7_1","first-page":"56","article-title":"Embedded software","author":"Lee E. A.","year":"2002","unstructured":"E. A. Lee . Embedded software . Advances in Computers , 56 , 2002 . E. A. Lee. Embedded software. Advances in Computers, 56, 2002.","journal-title":"Advances in Computers"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"}],"container-title":["ACM SIGBED Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2000367.2000377","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2000367.2000377","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:00:00Z","timestamp":1750244400000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2000367.2000377"}},"subtitle":["a quadrotor helicopter case study"],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":8,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,6]]}},"alternative-id":["10.1145\/2000367.2000377"],"URL":"https:\/\/doi.org\/10.1145\/2000367.2000377","relation":{},"ISSN":["1551-3688"],"issn-type":[{"type":"electronic","value":"1551-3688"}],"subject":[],"published":{"date-parts":[[2011,6]]},"assertion":[{"value":"2011-06-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}