{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,23]],"date-time":"2026-03-23T16:33:36Z","timestamp":1774283616688,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,10,17]],"date-time":"2019-10-17T00:00:00Z","timestamp":1571270400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"AFRL\/DARPA","award":["FA8750-18-C-0089"],"award-info":[{"award-number":["FA8750-18-C-0089"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,10,17]]},"DOI":"10.1145\/3339985.3358491","type":"proceedings-article","created":{"date-parts":[[2019,11,27]],"date-time":"2019-11-27T13:23:09Z","timestamp":1574860989000},"page":"57-63","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["CPS Design with Learning-Enabled Components"],"prefix":"10.1145","author":[{"given":"Charles","family":"Hartsell","sequence":"first","affiliation":[{"name":"Institute for Software Integrated Sys., Vanderbilt University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nagabhushan","family":"Mahadevan","sequence":"additional","affiliation":[{"name":"Institute for Software Integrated Sys., Vanderbilt University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shreyas","family":"Ramakrishna","sequence":"additional","affiliation":[{"name":"Institute for Software Integrated Sys., Vanderbilt University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abhishek","family":"Dubey","sequence":"additional","affiliation":[{"name":"Institute for Software Integrated Sys., Vanderbilt University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Theodore","family":"Bapty","sequence":"additional","affiliation":[{"name":"Institute for Software Integrated Sys., Vanderbilt University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Taylor","family":"Johnson","sequence":"additional","affiliation":[{"name":"Institute for Software Integrated Sys., Vanderbilt University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xenofon","family":"Koutsoukos","sequence":"additional","affiliation":[{"name":"Institute for Software Integrated Sys., Vanderbilt University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Janos","family":"Sztipanovits","sequence":"additional","affiliation":[{"name":"Institute for Software Integrated Sys., Vanderbilt University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabor","family":"Karsai","sequence":"additional","affiliation":[{"name":"Institute for Software Integrated Sys., Vanderbilt University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,10,17]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Tensorflow: Large-scale machine learning on heterogeneous distributed systems","author":"M. Abadi","year":"2015","unstructured":"M. Abadi et al. Tensorflow: Large-scale machine learning on heterogeneous distributed systems , 2015 . M. Abadi et al. Tensorflow: Large-scale machine learning on heterogeneous distributed systems, 2015."},{"key":"e_1_3_2_1_2_1","volume-title":"Unmanned Aircraft Systems (UAS) Operational Approval. online: faa.gov\/documentLibrary\/media\/Notice\/N_8900.227.pdf","author":"Federal Aviation Administration","year":"2013","unstructured":"Federal Aviation Administration . Unmanned Aircraft Systems (UAS) Operational Approval. online: faa.gov\/documentLibrary\/media\/Notice\/N_8900.227.pdf , 2013 . Federal Aviation Administration. Unmanned Aircraft Systems (UAS) Operational Approval. online: faa.gov\/documentLibrary\/media\/Notice\/N_8900.227.pdf, 2013."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.3384\/ecp11063105"},{"key":"e_1_3_2_1_4_1","volume-title":"Davide Del Testa","author":"Bojarski Mariusz","year":"2016","unstructured":"Mariusz Bojarski , Davide Del Testa , Daniel Dworakowski, Bernhard Firner , Beat Flepp, Prasoon Goyal, Lawrence D Jackel, Mathew Monfort, Urs Muller, Jiakai Zhang, et al. End to end learning for self-driving cars. arXiv preprint arXiv:1604.07316, 2016 . Mariusz Bojarski, Davide Del Testa, Daniel Dworakowski, Bernhard Firner, Beat Flepp, Prasoon Goyal, Lawrence D Jackel, Mathew Monfort, Urs Muller, Jiakai Zhang, et al. End to end learning for self-driving cars. arXiv preprint arXiv:1604.07316, 2016."},{"key":"e_1_3_2_1_5_1","volume-title":"The OpenCV Library. Dr. Dobb's Journal of Software Tools","author":"Bradski G.","year":"2000","unstructured":"G. Bradski . The OpenCV Library. Dr. Dobb's Journal of Software Tools , 2000 . G. Bradski. The OpenCV Library. Dr. Dobb's Journal of Software Tools, 2000."},{"key":"e_1_3_2_1_6_1","volume-title":"Openai gym. arXiv preprint arXiv:1606.01540","author":"Brockman Greg","year":"2016","unstructured":"Greg Brockman , Vicki Cheung , Ludwig Pettersson , Jonas Schneider , John Schulman , Jie Tang , and Wojciech Zaremba . Openai gym. arXiv preprint arXiv:1606.01540 , 2016 . Greg Brockman, Vicki Cheung, Ludwig Pettersson, Jonas Schneider, John Schulman, Jie Tang, and Wojciech Zaremba. Openai gym. arXiv preprint arXiv:1606.01540, 2016."},{"key":"e_1_3_2_1_7_1","first-page":"9","article-title":"A Scientific Gateway for Deep Learning","volume":"2018","author":"Broll Brian","year":"2018","unstructured":"Brian Broll , Miklos Maroti , Peter Volgyesi , and Akos Ledeczi . DeepForge : A Scientific Gateway for Deep Learning . In Gateways 2018 , 9 2018 . Brian Broll, Miklos Maroti, Peter Volgyesi, and Akos Ledeczi. DeepForge: A Scientific Gateway for Deep Learning. In Gateways 2018, 9 2018.","journal-title":"Gateways"},{"key":"e_1_3_2_1_8_1","volume-title":"https:\/\/keras.io\/","author":"Chollet Fran\u00e7ois","year":"2015","unstructured":"Fran\u00e7ois Chollet . Keras. https:\/\/keras.io\/ , 2015 . Fran\u00e7ois Chollet. Keras. https:\/\/keras.io\/, 2015."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.17487\/RFC3174"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314633"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/3086952"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ssci.2016.09.014"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3313151.3313166"},{"key":"e_1_3_2_1_14_1","volume-title":"Neural networks: a comprehensive foundation","author":"Haykin Simon","year":"1994","unstructured":"Simon Haykin . Neural networks: a comprehensive foundation . Prentice Hall PTR , 1994 . Simon Haykin. Neural networks: a comprehensive foundation. Prentice Hall PTR, 1994."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46448-0_45"},{"key":"e_1_3_2_1_16_1","first-page":"6","volume-title":"Proceedings of the dependable systems and networks 2004 workshop on assurance cases","author":"Kelly Tim","unstructured":"Tim Kelly and Rob Weaver . The goal structuring notation--a safety argument notation . In Proceedings of the dependable systems and networks 2004 workshop on assurance cases , page 6 . Citeseer, 2004. Tim Kelly and Rob Weaver. The goal structuring notation--a safety argument notation. In Proceedings of the dependable systems and networks 2004 workshop on assurance cases, page 6. Citeseer, 2004."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2004.1389727"},{"key":"e_1_3_2_1_18_1","volume-title":"The First Japanese Modelica Conferences, May 23-24","author":"K\u00f6hler Jochen","year":"2016","unstructured":"Jochen K\u00f6hler , Hans-Martin Heinkel , Pierre Mai , J\u00fcrgen Krasser , Markus Deppe , and Mikio Nagasawa . Modelica-association-project \"system structure and parameterization\"--early insights . In The First Japanese Modelica Conferences, May 23-24 , Tokyo, Japan, number 124, pages 35--42. Link\u00f6ping University Electronic Press , 2016 . Jochen K\u00f6hler, Hans-Martin Heinkel, Pierre Mai, J\u00fcrgen Krasser, Markus Deppe, and Mikio Nagasawa. Modelica-association-project \"system structure and parameterization\"--early insights. In The First Japanese Modelica Conferences, May 23-24, Tokyo, Japan, number 124, pages 35--42. Link\u00f6ping University Electronic Press, 2016."},{"key":"e_1_3_2_1_19_1","first-page":"1097","volume-title":"Advances in neural information processing systems","author":"Krizhevsky Alex","year":"2012","unstructured":"Alex Krizhevsky , Ilya Sutskever , and Geoffrey E Hinton . Imagenet classification with deep convolutional neural networks . In Advances in neural information processing systems , pages 1097 -- 1105 , 2012 . Alex Krizhevsky, Ilya Sutskever, and Geoffrey E Hinton. Imagenet classification with deep convolutional neural networks. In Advances in neural information processing systems, pages 1097--1105, 2012."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/CPSData.2016.7496424"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/OCEANS.2016.7761080"},{"key":"e_1_3_2_1_22_1","volume-title":"Next generation (meta) modeling: Web-and cloud-based collaborative tool infrastructure. MPM@ MoDELS, 1237:41--60","author":"Mar\u00f3ti Mikl\u00f3s","year":"2014","unstructured":"Mikl\u00f3s Mar\u00f3ti , Tam\u00e1s Kecsk\u00e9s , R\u00f3bert Keresk\u00e9nyi , Brian Broll , P\u00e9ter V\u00f6lgyesi , L\u00e1szl\u00f3 Jur\u00e1cz , Tihamer Levendovszky , and \u00c1kos L\u00e9deczi . Next generation (meta) modeling: Web-and cloud-based collaborative tool infrastructure. MPM@ MoDELS, 1237:41--60 , 2014 . Mikl\u00f3s Mar\u00f3ti, Tam\u00e1s Kecsk\u00e9s, R\u00f3bert Keresk\u00e9nyi, Brian Broll, P\u00e9ter V\u00f6lgyesi, L\u00e1szl\u00f3 Jur\u00e1cz, Tihamer Levendovszky, and \u00c1kos L\u00e9deczi. Next generation (meta) modeling: Web-and cloud-based collaborative tool infrastructure. MPM@ MoDELS, 1237:41--60, 2014."},{"key":"e_1_3_2_1_23_1","first-page":"1928","volume-title":"International conference on machine learning","author":"Mnih Volodymyr","year":"2016","unstructured":"Volodymyr Mnih , Adria Puigdomenech Badia , Mehdi Mirza , Alex Graves , Timothy Lillicrap , Tim Harley , David Silver , and Koray Kavukcuoglu . Asynchronous methods for deep reinforcement learning . In International conference on machine learning , pages 1928 -- 1937 , 2016 . Volodymyr Mnih, Adria Puigdomenech Badia, Mehdi Mirza, Alex Graves, Timothy Lillicrap, Tim Harley, David Silver, and Koray Kavukcuoglu. Asynchronous methods for deep reinforcement learning. In International conference on machine learning, pages 1928--1937, 2016."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3183489"},{"key":"e_1_3_2_1_25_1","volume-title":"June","author":"Defense UK","year":"2007","unstructured":"UK Ministry of Defense . Safety management requirements for defence systems , June 2007 . UK Ministry of Defense. Safety management requirements for defence systems, June 2007."},{"key":"e_1_3_2_1_26_1","volume-title":"Version 1.5","author":"OMG.","year":"2017","unstructured":"OMG. OMG Systems Modeling Language (OMG SysML) , Version 1.5 , 2017 . OMG. OMG Systems Modeling Language (OMG SysML), Version 1.5, 2017."},{"key":"e_1_3_2_1_27_1","volume-title":"Sanjeev R Kulkarni, and H Vincent Poor. Machine learning methods for attack detection in the smart grid","author":"Ozay Mete","year":"2016","unstructured":"Mete Ozay , Inaki Esnaola , Fatos Tunay Yarman Vural , Sanjeev R Kulkarni, and H Vincent Poor. Machine learning methods for attack detection in the smart grid . IEEE transactions on neural networks and learning systems, 27(8):1773--1786, 2016 . Mete Ozay, Inaki Esnaola, Fatos Tunay Yarman Vural, Sanjeev R Kulkarni, and H Vincent Poor. Machine learning methods for attack detection in the smart grid. IEEE transactions on neural networks and learning systems, 27(8):1773--1786, 2016."},{"key":"e_1_3_2_1_28_1","volume-title":"ICRA Workshop on Open Source Software","author":"Quigley Morgan","year":"2009","unstructured":"Morgan Quigley , Ken Conley , Brian P. Gerkey , Josh Faust , Tully Foote , Jeremy Leibs , Rob Wheeler , and Andrew Y. Ng . Ros: an open-source robot operating system . In ICRA Workshop on Open Source Software , 2009 . Morgan Quigley, Ken Conley, Brian P. Gerkey, Josh Faust, Tully Foote, Jeremy Leibs, Rob Wheeler, and Andrew Y. Ng. Ros: an open-source robot operating system. In ICRA Workshop on Open Source Software, 2009."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2017.7963716"},{"key":"e_1_3_2_1_30_1","volume-title":"DO-178C - Software Considerations in Airborne Systems and Equipment Certification","author":"RTCA.","year":"2011","unstructured":"RTCA. DO-178C - Software Considerations in Airborne Systems and Equipment Certification . December 2011 . RTCA. DO-178C - Software Considerations in Airborne Systems and Equipment Certification. December 2011."},{"key":"e_1_3_2_1_31_1","volume-title":"NIPS","author":"Sculley D.","year":"2015","unstructured":"D. Sculley , Gary Holt , Daniel Golovin , Eugene Davydov , Todd Phillips , Dietmar Ebner , Vinay Chaudhary , Michael Young , Jean-Fran\u00e7ois Crespo , and Dan Dennison . Hidden technical debt in machine learning systems . In NIPS , 2015 . D. Sculley, Gary Holt, Daniel Golovin, Eugene Davydov, Todd Phillips, Dietmar Ebner, Vinay Chaudhary, Michael Young, Jean-Fran\u00e7ois Crespo, and Dan Dennison. Hidden technical debt in machine learning systems. In NIPS, 2015."},{"key":"e_1_3_2_1_32_1","volume-title":"Seshia and Dorsa Sadigh. Towards verified artificial intelligence. CoRR, abs\/1606.08514","author":"Sanjit","year":"2016","unstructured":"Sanjit A. Seshia and Dorsa Sadigh. Towards verified artificial intelligence. CoRR, abs\/1606.08514 , 2016 . Sanjit A. Seshia and Dorsa Sadigh. Towards verified artificial intelligence. CoRR, abs\/1606.08514, 2016."},{"key":"e_1_3_2_1_33_1","article-title":"Optimal path-planning for mobile robots to find a hidden target in an unknown environment based on machine learning","author":"Sombolestan S. M.","year":"2018","unstructured":"S. M. Sombolestan , A. Rasooli , and S. Khodaygan . Optimal path-planning for mobile robots to find a hidden target in an unknown environment based on machine learning . Journal of Ambient Intelligence and Humanized Computing , Mar 2018 . S. M. Sombolestan, A. Rasooli, and S. Khodaygan. Optimal path-planning for mobile robots to find a hidden target in an unknown environment based on machine learning. Journal of Ambient Intelligence and Humanized Computing, Mar 2018.","journal-title":"Journal of Ambient Intelligence and Humanized Computing"},{"key":"e_1_3_2_1_34_1","volume-title":"Reinforcement learning: An introduction","author":"Sutton Richard S","year":"2018","unstructured":"Richard S Sutton and Andrew G Barto . Reinforcement learning: An introduction . MIT press , 2018 . Richard S Sutton and Andrew G Barto. Reinforcement learning: An introduction. MIT press, 2018."},{"key":"e_1_3_2_1_35_1","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"Szyperski Clemens","year":"2002","unstructured":"Clemens Szyperski . Component Software: Beyond Object-Oriented Programming . Addison-Wesley Longman Publishing Co., Inc. , Boston, MA, USA , 2 nd edition, 2002 . Clemens Szyperski. Component Software: Beyond Object-Oriented Programming. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2nd edition, 2002.","edition":"2"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77935-5_31"},{"key":"e_1_3_2_1_37_1","volume-title":"Nathaniel Hamilton, Xiaodong Yang, Joel A. Rosenfeld, and Taylor T. Johnson. Verification for machine learning, autonomy, and neural networks survey. CoRR, abs\/1810.01989","author":"Xiang Weiming","year":"2018","unstructured":"Weiming Xiang , Patrick Musau , Ayana A. Wild , Diego Manzanas Lopez , Nathaniel Hamilton, Xiaodong Yang, Joel A. Rosenfeld, and Taylor T. Johnson. Verification for machine learning, autonomy, and neural networks survey. CoRR, abs\/1810.01989 , 2018 . Weiming Xiang, Patrick Musau, Ayana A. Wild, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Joel A. Rosenfeld, and Taylor T. Johnson. Verification for machine learning, autonomy, and neural networks survey. CoRR, abs\/1810.01989, 2018."}],"event":{"name":"ESWEEK '19: Fifteenth Embedded Systems Week","location":"New York NY USA","acronym":"ESWEEK '19","sponsor":["CEDA Council on Electronic Design Automation","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"]},"container-title":["Proceedings of the 30th International Workshop on Rapid System Prototyping (RSP'19)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3339985.3358491","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3339985.3358491","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:26:11Z","timestamp":1750206371000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3339985.3358491"}},"subtitle":["A Case Study"],"short-title":[],"issued":{"date-parts":[[2019,10,17]]},"references-count":37,"alternative-id":["10.1145\/3339985.3358491","10.1145\/3339985"],"URL":"https:\/\/doi.org\/10.1145\/3339985.3358491","relation":{},"subject":[],"published":{"date-parts":[[2019,10,17]]},"assertion":[{"value":"2019-10-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}