{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,5]],"date-time":"2026-05-05T02:02:42Z","timestamp":1777946562139,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,5,28]],"date-time":"2018-05-28T00:00:00Z","timestamp":1527465600000},"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":[[2018,5,28]]},"DOI":"10.1145\/3196558.3196560","type":"proceedings-article","created":{"date-parts":[[2018,6,29]],"date-time":"2018-06-29T15:14:53Z","timestamp":1530285293000},"page":"9-16","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["A use case in model-based robot development using AADL and ROS"],"prefix":"10.1145","author":[{"given":"Gianluca","family":"Bardaro","sequence":"first","affiliation":[{"name":"Politecnico di Milano, Milan, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Semprebon","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Milan, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matteo","family":"Matteucci","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Milan, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,5,28]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"IEEE International Conference on. IEEE, 172--179","author":"Adam Kai","year":"2017","unstructured":"Kai Adam , Katrin H\u00f6lldobler , Bernhard Rumpe , and Andreas Wortmann . 2017 . Engineering Robotics Software Architectures with Exchangeable Model Transformations. In Robotic Computing (IRC) , IEEE International Conference on. IEEE, 172--179 . Kai Adam, Katrin H\u00f6lldobler, Bernhard Rumpe, and Andreas Wortmann. 2017. Engineering Robotics Software Architectures with Exchangeable Model Transformations. In Robotic Computing (IRC), IEEE International Conference on. IEEE, 172--179."},{"key":"e_1_3_2_1_2_1","volume-title":"IRC 2017- IEEE International Conference on Robotic Computing","author":"Bardaro Gianluca","year":"2017","unstructured":"Gianluca Bardaro , Andrea Semprebon , and Matteo Matteucci . 2017 . AADL for robotics: a general approach for system architecture modeling and code generation . IRC 2017- IEEE International Conference on Robotic Computing (2017). Gianluca Bardaro, Andrea Semprebon, and Matteo Matteucci. 2017. AADL for robotics: a general approach for system architecture modeling and code generation. IRC 2017- IEEE International Conference on Robotic Computing (2017)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11900-7_13"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2009.934837"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2001.933002"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2480362.2480693"},{"key":"e_1_3_2_1_7_1","volume-title":"ISR\/Robotik 2014","author":"Bubeck Alexander","unstructured":"Alexander Bubeck , Florian Weisshardt , and Alexander Verl . 2014. BRIDE-A toolchain for framework-independent development of industrial service robot applications . In ISR\/Robotik 2014 ; 41st International Symposium on Robotics; Proceedings of. VDE , 1--6. Alexander Bubeck, Florian Weisshardt, and Alexander Verl. 2014. BRIDE-A toolchain for framework-independent development of industrial service robot applications. In ISR\/Robotik 2014; 41st International Symposium on Robotics; Proceedings of. VDE, 1--6."},{"key":"e_1_3_2_1_8_1","first-page":"49","article-title":"Integrating software assurance into the software development life cycle (SDLC)","volume":"3","author":"Dawson Maurice","year":"2010","unstructured":"Maurice Dawson , Darrell Norman Burrell , Emad Rahim , and Stephen Brewster . 2010 . Integrating software assurance into the software development life cycle (SDLC) . Journal of Information Systems Technology and Planning 3 , 6 (2010), 49 -- 53 . Maurice Dawson, Darrell Norman Burrell, Emad Rahim, and Stephen Brewster. 2010. Integrating software assurance into the software development life cycle (SDLC). Journal of Information Systems Technology and Planning 3, 6 (2010), 49--53.","journal-title":"Journal of Information Systems Technology and Planning"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34327-8_16"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1376804.1376810"},{"key":"e_1_3_2_1_12_1","unstructured":"Sylvain Joyeux. {n. d.}. Rock: the robot construction kit. ({n. d.}).  Sylvain Joyeux. {n. d.}. Rock: the robot construction kit. ({n. d.})."},{"key":"e_1_3_2_1_13_1","volume-title":"Emergent Trends in Robotics and Intelligent Systems","author":"Magyar Gergely","unstructured":"Gergely Magyar , Peter Sin\u00e7\u00e1k , and Zolt\u00e1n Krizs\u00e1n . 2015. Comparison study of robotic middleware for robotic applications . In Emergent Trends in Robotics and Intelligent Systems . Springer , 121--128. Gergely Magyar, Peter Sin\u00e7\u00e1k, and Zolt\u00e1n Krizs\u00e1n. 2015. Comparison study of robotic middleware for robotic applications. In Emergent Trends in Robotics and Intelligent Systems. Springer, 121--128."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11900-7_29"},{"key":"e_1_3_2_1_15_1","volume-title":"ICRA workshop on open source software","volume":"3","author":"Quigley Morgan","year":"2009","unstructured":"Morgan Quigley , Ken Conley , Brian Gerkey , Josh Faust , Tully Foote , Jeremy Leibs , Rob Wheeler , and Andrew Y Ng . 2009 . ROS: an open-source Robot Operating System . In ICRA workshop on open source software , Vol. 3 . Kobe, Japan, 5. Morgan Quigley, Ken Conley, Brian Gerkey, Josh Faust, Tully Foote, Jeremy Leibs, Rob Wheeler, and Andrew Y Ng. 2009. ROS: an open-source Robot Operating System. In ICRA workshop on open source software, Vol. 3. Kobe, Japan, 5."},{"key":"e_1_3_2_1_16_1","volume-title":"Model-driven software development in robotics: Communication patterns as key for a robotics component model. Introduction to Modern Robotics","author":"Schlegel Christian","year":"2011","unstructured":"Christian Schlegel , Andreas Steck , and Alex Lotz . 2011. Model-driven software development in robotics: Communication patterns as key for a robotics component model. Introduction to Modern Robotics ( 2011 ), 119--150. Christian Schlegel, Andreas Steck, and Alex Lotz. 2011. Model-driven software development in robotics: Communication patterns as key for a robotics component model. Introduction to Modern Robotics (2011), 119--150."}],"event":{"name":"ICSE '18: 40th International Conference on Software Engineering","location":"Gothenburg Sweden","acronym":"ICSE '18","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"]},"container-title":["Proceedings of the 1st International Workshop on Robotics Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3196558.3196560","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3196558.3196560","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:39Z","timestamp":1750208919000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3196558.3196560"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,28]]},"references-count":15,"alternative-id":["10.1145\/3196558.3196560","10.1145\/3196558"],"URL":"https:\/\/doi.org\/10.1145\/3196558.3196560","relation":{},"subject":[],"published":{"date-parts":[[2018,5,28]]},"assertion":[{"value":"2018-05-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}