{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:20:55Z","timestamp":1750306855784,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,10,27]],"date-time":"2013-10-27T00:00:00Z","timestamp":1382832000000},"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":[],"published-print":{"date-parts":[[2013,10,27]]},"DOI":"10.1145\/2541928.2541929","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T20:44:07Z","timestamp":1389041047000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["MDE-based sensor management and verification for a self-driving miniature vehicle"],"prefix":"10.1145","author":[{"given":"Md Abdullah Al","family":"Mamun","sequence":"first","affiliation":[{"name":"Chalmers University of Technology and University of Gothenburg, Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Berger","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology and University of Gothenburg, Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorgen","family":"Hansson","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology and University of Gothenburg, Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,10,27]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Acceleo. http:\/\/projects.eclipse.org\/projects\/modeling.m2t.acceleo.  Acceleo. http:\/\/projects.eclipse.org\/projects\/modeling.m2t.acceleo."},{"key":"e_1_3_2_1_2_1","unstructured":"Eclipse Modeling - EMF. www.eclipse.org\/modeling\/emf\/?project=emf.  Eclipse Modeling - EMF. www.eclipse.org\/modeling\/emf\/?project=emf."},{"key":"e_1_3_2_1_3_1","unstructured":"IEEE standard for a smart transducer interface for sensors and actuators wireless communication protocols and transducer electronic data sheet (TEDS) formats. IEEE Std 1451.5-2007 pages C1--236 2007.  IEEE standard for a smart transducer interface for sensors and actuators wireless communication protocols and transducer electronic data sheet (TEDS) formats. IEEE Std 1451.5-2007 pages C1--236 2007."},{"key":"e_1_3_2_1_4_1","volume-title":"Proc. of the 4th International Workshop on Domain-Specific Languages and models for ROBotic systems (DSLRob'13)","author":"Al Mamun M. A.","year":"2013","unstructured":"M. A. Al Mamun , C. Berger , and J. Hansson . Engineering the Hardware\/Software interface for robotic platforms a comparison of applied model checking with prolog and alloy . In Proc. of the 4th International Workshop on Domain-Specific Languages and models for ROBotic systems (DSLRob'13) , Tokyo, Japan , Nov. 2013 . M. A. Al Mamun, C. Berger, and J. Hansson. Engineering the Hardware\/Software interface for robotic platforms a comparison of applied model checking with prolog and alloy. In Proc. of the 4th International Workshop on Domain-Specific Languages and models for ROBotic systems (DSLRob'13), Tokyo, Japan, Nov. 2013."},{"key":"e_1_3_2_1_5_1","volume-title":"Proc. of the Second Analytic Virtual Integration of Cyber-Physical Systems Workshop (AVICPS)","author":"Al Mamun M. A.","year":"2011","unstructured":"M. A. Al Mamun and J. Hansson . Review and challenges of assumptions in software development . In Proc. of the Second Analytic Virtual Integration of Cyber-Physical Systems Workshop (AVICPS) , 2011 . M. A. Al Mamun and J. Hansson. Review and challenges of assumptions in software development. In Proc. of the Second Analytic Virtual Integration of Cyber-Physical Systems Workshop (AVICPS), 2011."},{"key":"e_1_3_2_1_7_1","volume-title":"Technische Universit\u00e4t Braunschweig","author":"Basarke C.","year":"2008","unstructured":"C. Basarke , C. Berger , K. Berger , K. Cornelsen , M. Doering , J. Effertz , T. Form , T. G\u00fclke , F. Graefe , P. Hecker , K. Homeier , F. Klose , C. Lipski , M. Magnor , J. Morgenroth , T. Nothdurft , S. Ohl , F. W. Rauskolb , B. Rumpe , W. Schumacher , J. M. Wille , and L. Wolf . Team CarOLO - Technical Paper. Informatik-Bericht 2008-07 , Technische Universit\u00e4t Braunschweig , Braunschweig, Germany , Oct. 2008 . C. Basarke, C. Berger, K. Berger, K. Cornelsen, M. Doering, J. Effertz, T. Form, T. G\u00fclke, F. Graefe, P. Hecker, K. Homeier, F. Klose, C. Lipski, M. Magnor, J. Morgenroth, T. Nothdurft, S. Ohl, F. W. Rauskolb, B. Rumpe, W. Schumacher, J. M. Wille, and L. Wolf. Team CarOLO - Technical Paper. Informatik-Bericht 2008-07, Technische Universit\u00e4t Braunschweig, Braunschweig, Germany, Oct. 2008."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33675-1_16"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 2nd Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS)","author":"Berger C.","year":"2013","unstructured":"C. Berger , M. A. Al Mamun , and J. Hansson . COTS-Architecture with a Real-Time OS for a Self-Driving Miniature Vehicle. In E. Schiller and H. L\u00f6nn, editors , Proceedings of the 2nd Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS) , Toulouse, France , Sept. 2013 . C. Berger, M. A. Al Mamun, and J. Hansson. COTS-Architecture with a Real-Time OS for a Self-Driving Miniature Vehicle. In E. Schiller and H. L\u00f6nn, editors, Proceedings of the 2nd Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS), Toulouse, France, Sept. 2013."},{"key":"e_1_3_2_1_10_1","volume-title":"Composable Simulation for the Development of Autonomous Miniature Vehicles. In Proceedings of the SCS\/IEEE Symposium on Theory of Modeling and Simulation","author":"Berger C.","year":"2013","unstructured":"C. Berger , M. Chaudron , R. Heldal , O. Landsiedel , and E. M. Schiller . Model-based , Composable Simulation for the Development of Autonomous Miniature Vehicles. In Proceedings of the SCS\/IEEE Symposium on Theory of Modeling and Simulation , San Diego, CA, USA , Apr. 2013 . C. Berger, M. Chaudron, R. Heldal, O. Landsiedel, and E. M. Schiller. Model-based, Composable Simulation for the Development of Autonomous Miniature Vehicles. In Proceedings of the SCS\/IEEE Symposium on Theory of Modeling and Simulation, San Diego, CA, USA, Apr. 2013."},{"key":"e_1_3_2_1_11_1","first-page":"789","volume-title":"Proceedings of the INFORMATIK 2012","author":"Berger C.","year":"2012","unstructured":"C. Berger and B. Rumpe . Autonomous Driving - 5 Years after the Urban Challenge: The Anticipatory Vehicle as a Cyber-Physical System. In U. Goltz, M. Magnor, H.-J. Appelrath, H. K. Matthies, W.-T. Balke, and L. Wolf, editors , Proceedings of the INFORMATIK 2012 , pages 789 -- 798 , Braunschweig, Germany , Sept. 2012 . C. Berger and B. Rumpe. Autonomous Driving - 5 Years after the Urban Challenge: The Anticipatory Vehicle as a Cyber-Physical System. In U. Goltz, M. Magnor, H.-J. Appelrath, H. K. Matthies, W.-T. Balke, and L. Wolf, editors, Proceedings of the INFORMATIK 2012, pages 789--798, Braunschweig, Germany, Sept. 2012."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/978-0-85729-772-3_10","volume-title":"Experience from the DARPA Urban Challenge","author":"Berger C.","year":"2012","unstructured":"C. Berger and B. Rumpe . Engineering Autonomous Driving Software . In C. Rouff and M. Hinchey, editors, Experience from the DARPA Urban Challenge , pages 243 -- 271 . Springer-Verlag , London, UK , 2012 . C. Berger and B. Rumpe. Engineering Autonomous Driving Software. In C. Rouff and M. Hinchey, editors, Experience from the DARPA Urban Challenge, pages 243--271. Springer-Verlag, London, UK, 2012."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/SECON.2010.5453854"},{"key":"e_1_3_2_1_14_1","volume-title":"OpenGIS sensor model language (SensorML) implementation specification. OpenGIS Implementation Specification OGC 07-000","author":"Botts M.","year":"2007","unstructured":"M. Botts and A. Robin . OpenGIS sensor model language (SensorML) implementation specification. OpenGIS Implementation Specification OGC 07-000 , Open Geospatial Consortium Inc ., 2007 . M. Botts and A. Robin. OpenGIS sensor model language (SensorML) implementation specification. OpenGIS Implementation Specification OGC 07-000, Open Geospatial Consortium Inc., 2007."},{"volume-title":"Aug.","year":"2013","key":"e_1_3_2_1_15_1","unstructured":"CooCox. CoSmart. http:\/\/www.coocox.org\/CoSmart.html , Aug. 2013 . CooCox. CoSmart. http:\/\/www.coocox.org\/CoSmart.html, Aug. 2013."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SSC.2003.1224112"},{"issue":"05","key":"e_1_3_2_1_17_1","first-page":"886","volume":"4","author":"Joshi B.","year":"2012","unstructured":"B. Joshi , F. M. Rizwan , and R. Shettar . MICROCONTROLLER PIN CONFIGURATION TOOL. International Journal on Computer Science and Engineering , 4 ( 05 ): 886 -- 891 , 2012 . B. Joshi, F. M. Rizwan, and R. Shettar. MICROCONTROLLER PIN CONFIGURATION TOOL. International Journal on Computer Science and Engineering, 4(05):886--891, 2012.","journal-title":"MICROCONTROLLER PIN CONFIGURATION TOOL. International Journal on Computer Science and Engineering"},{"key":"e_1_3_2_1_18_1","first-page":"1","volume-title":"Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling","volume":"21","author":"Schuster A.","year":"2009","unstructured":"A. Schuster and J. Sprinkle . Synthesizing Executable Simulations from Structural Models of Component-Based Systems . In Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling , volume 21 , pages 1 -- 10 , 2009 . A. Schuster and J. Sprinkle. Synthesizing Executable Simulations from Structural Models of Component-Based Systems. In Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling, volume 21, pages 1--10, 2009."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763028"},{"key":"e_1_3_2_1_20_1","unstructured":"STMicroelectronics. Discovery kit for STM32F407\/417 line. http:\/\/goo.gl\/hs7X28 Aug. 2013.  STMicroelectronics. Discovery kit for STM32F407\/417 line. http:\/\/goo.gl\/hs7X28 Aug. 2013."},{"key":"e_1_3_2_1_21_1","unstructured":"STMicroelectronics. MicroXplorerMCU graphical configuration tool. http:\/\/goo.gl\/3UUgdh Aug. 2013.  STMicroelectronics. MicroXplorerMCU graphical configuration tool. http:\/\/goo.gl\/3UUgdh Aug. 2013."}],"event":{"name":"SPLASH '13: Conference on Systems, Programming, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Indianapolis Indiana USA","acronym":"SPLASH '13"},"container-title":["Proceedings of the 2013 ACM workshop on Domain-specific modeling"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2541928.2541929","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2541928.2541929","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:10:27Z","timestamp":1750234227000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2541928.2541929"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10,27]]},"references-count":20,"alternative-id":["10.1145\/2541928.2541929","10.1145\/2541928"],"URL":"https:\/\/doi.org\/10.1145\/2541928.2541929","relation":{},"subject":[],"published":{"date-parts":[[2013,10,27]]},"assertion":[{"value":"2013-10-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}