{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:07:03Z","timestamp":1725570423654},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642167843"},{"type":"electronic","value":"9783642167850"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16785-0_21","type":"book-chapter","created":{"date-parts":[[2010,11,29]],"date-time":"2010-11-29T05:36:06Z","timestamp":1291008966000},"page":"373-389","source":"Crossref","is-referenced-by-count":2,"title":["Model Based Quality Assurance for a Robotic Software Architecture"],"prefix":"10.1007","author":[{"given":"Jens","family":"Steiner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karsten","family":"Diethers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Hagner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ursula","family":"Goltz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-9587-7","volume-title":"Parallel Robots","author":"J.-P. Merlet","year":"2000","unstructured":"Merlet, J.-P.: Parallel Robots. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"21_CR2","first-page":"55","volume-title":"Proceedings of Mechatronics & Robotics","author":"N. Kohn","year":"2004","unstructured":"Kohn, N., Kolbus, M., Reisinger, T., Diethers, K., Steiner, J., Thomas, U.: Prosa - a generic control architecture for parallel robots. In: Proceedings of Mechatronics & Robotics, pp. 55\u201361. Sascha Eysoldt Verlag, Aachen (2004)"},{"key":"21_CR3","unstructured":"Finkemeyer, B.: Robotersteuerungsarchitektur auf der Basis von Aktionsprimitiven. Ph.D. thesis, Technische Universit\u00e4t Carolo-Wilhelmina zu Braunschweig (2004)"},{"issue":"1","key":"21_CR4","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1524\/itit.46.1.39.26502","volume":"46","author":"K. Diethers","year":"2004","unstructured":"Diethers, K., Finkemeyer, B., Kohn, N.: Realizing open control software for high dynamic processes with a middleware. it - Information Technology\u00a046(1), 39\u201347 (2004)","journal-title":"it - Information Technology"},{"key":"21_CR5","series-title":"STAR","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/978-3-642-16785-0_12","volume-title":"Robotic Systems for Handling and Assembly","author":"B. Finkemeyer","year":"2010","unstructured":"Finkemeyer, B., Kr\u00f6ger, T., Wahl, F.M.: A Middleware for High-Speed Distributed Real-Time Robotic Applications. In: Sch\u00fctz, D., Wahl, F.M. (eds.) Robotic Systems for Handling and Assembly. STAR, vol.\u00a067, pp. 193\u2013212. Springer, Heidelberg (2010)"},{"key":"21_CR6","first-page":"205","volume-title":"Proceedings of International Conference on Control, Automation, Robotics and Vision (ICARCV 8th)","author":"N. Kohn","year":"2004","unstructured":"Kohn, N., Varchmin, J.-U., Steiner, J., Goltz, U.: Universal communication architecture for high-dynamic robot systems using qnx. In: Proceedings of International Conference on Control, Automation, Robotics and Vision (ICARCV 8th), vol.\u00a01, pp. 205\u2013210. IEEE Computer Society, Kunming (2004)"},{"key":"21_CR7","series-title":"STAR","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/978-3-642-16785-0_13","volume-title":"Robotic Systems for Handling and Assembly","author":"Y. Dadji","year":"2010","unstructured":"Dadji, Y., Michalik, H., Kohn, N., Steiner, J., Beckmann, G., M\u00f6glich, T., Varchmin, J.U.: A Communication Architecture for Distributed Real-Time Robot Control. In: Sch\u00fctz, D., Wahl, F.M. (eds.) Robotic Systems for Handling and Assembly. STAR, vol.\u00a067, pp. 213\u2013231. Springer, Heidelberg (2010)"},{"key":"21_CR8","unstructured":"Thomas, U., Wahl, F.M.: Sensor guided execution of robot tasks based on skill primitives. In: Robotic 2002, pp. 71\u201377 (2002)"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Thomas, U., Maa\u00df, J., Hesselbach, J., Wahl, F.M.: Towards a new concept of robot programming in high speed assembly applications. In: Proceedings of IEEE\/RSJ International Conference on Intelligent Robots and Systems IROS 2005, pp. 3932\u20133938 (2005)","DOI":"10.1109\/IROS.2005.1545582"},{"key":"21_CR10","unstructured":"Kolbus, M., Reisinger, T., Maa\u00df, J.: Robot Control based on Skill Primitives. In: Robotics and Applications: Sixth IASTED International Conference Proceedings (2005)"},{"issue":"1","key":"21_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.5772\/5763","volume":"3","author":"J. Maa\u00df","year":"2006","unstructured":"Maa\u00df, J., Kohn, N., Hesselbach, J.: Open modular robot control architecture for assembly using the task frame formalism. International Journal of Advanced Robotic Systems\u00a03(1), 1\u201310 (2006)","journal-title":"International Journal of Advanced Robotic Systems"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Maa\u00df, J., Steiner, J., Amado, A., Hesselbach, J., Huhn, M., Raatz, A.: Self-management in a control architecture for parallel kinematic robots. In: Proceedings of the ASME 2008 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference IDETC\/CIE 2008, Brooklyn, New York, USA (2008)","DOI":"10.1115\/DETC2008-49881"},{"issue":"10","key":"21_CR13","first-page":"18","volume":"2","author":"J. Steiner","year":"2007","unstructured":"Steiner, J., Hagner, M., Goltz, U.: Runtime analysis and adaptation of a hard real-time robotic control system. Journal of Computers (JCP)\u00a02(10), 18\u201327 (2007)","journal-title":"Journal of Computers (JCP)"},{"key":"21_CR14","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/ICMECH.2006.252496","volume-title":"Proceedings of the IEEE 3rd International Conference on Mechatronics (ICM 2006)","author":"J. Steiner","year":"2006","unstructured":"Steiner, J., Huhn, M., M\u00fccke, T.: Model based quality assurance and self-management within a software architecture for parallel kinematic machines. In: Proceedings of the IEEE 3rd International Conference on Mechatronics (ICM 2006), pp. 55\u201360. IEEE Computer Society, Budapest (2006)"},{"key":"21_CR15","unstructured":"Diethers, K., Goltz, U., Vocke, S.: Analysis of real-time systems modeled by uml-statecharts. In: Proceedings of the First International Colloquium of SFB 562, Robotic Systems for Handling and Assembly (2002)"},{"key":"21_CR16","series-title":"Prentice-Hall software series","volume-title":"Structured analysis and system specification","author":"T. DeMarco","year":"1978","unstructured":"DeMarco, T.: Structured analysis and system specification. Prentice-Hall software series. Yourdon Press, New York (1978)"},{"key":"21_CR17","unstructured":"Diethers, K., Goltz, U., Huhn, M.: Model checking uml statecharts with time. In: Workshop on Critical Systems Development with UML (CSDUML 2002), pp. 35\u201352 (2002)"},{"key":"21_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-540-24730-2_10","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K. Diethers","year":"2004","unstructured":"Diethers, K., Huhn, M.: Vooduu: verification of object-oriented designs using uppaal. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol.\u00a02988, pp. 139\u2013143. Springer, Heidelberg (2004)"},{"key":"21_CR19","unstructured":"Diethers, K.: Werkzeuggest\u00fctzte formale Analyse von Echtzeitsystemen. Ph.D. thesis, Technical University of Braunschweig, Germany (2006)"},{"issue":"1+2","key":"21_CR20","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a nutshell. International Journal on Software Tools for Technology Transfer\u00a01(1+2), 134\u2013152 (1997)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"21_CR21","unstructured":"Object Management Group. Uml profile for modeling and analysis of real-time and embedded systems (marte), beta 2, omg adopted specification ptc\/08-06-09 (2009), http:\/\/www.omgmarte.org\/Documents\/Specifications\/08-06-09.pdf (Cited December 16, 2009)"},{"issue":"2","key":"21_CR22","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"21_CR23","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1049\/ip-cdt:20045088","volume":"152","author":"R. Henia","year":"2005","unstructured":"Henia, R., Hamann, A., Jersak, M., Racu, R., Richter, K., Ernst, R.: System level performance analysis - the symta\/s approach. IEEE Proceedings Computers and Digital Techniques\u00a0152(2), 148\u2013166 (2005)","journal-title":"IEEE Proceedings Computers and Digital Techniques"},{"key":"21_CR24","unstructured":"Steiner, J., Amado, A., Goltz, U., Hagner, M., Huhn, M.: Engineering self-management into a robot control system. In: Proceedings of 3rd International Colloquium of the Collaborative Research Center 562, pp. 113\u2013125 (2008)"},{"key":"21_CR25","series-title":"STAR","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/978-3-642-16785-0_20","volume-title":"Robotic Systems for Handling and Assembly","author":"J. Steiner","year":"2010","unstructured":"Steiner, J., Goltz, U., Maa\u00df, J.: Self-Management within a Software Architecture for Parallel Kinematic Machines. In: Sch\u00fctz, D., Wahl, F.M. (eds.) Robotic Systems for Handling and Assembly. STAR, vol.\u00a067, pp. 355\u2013371. Springer, Heidelberg (2010)"},{"key":"21_CR26","series-title":"Fortschritte in der Robotik","first-page":"137","volume-title":"Proceedings of 2nd International Colloquium of the Collaborative Research Center 562","author":"J. Steiner","year":"2005","unstructured":"Steiner, J., Diethers, K., M\u00fccke, T., Goltz, U., Huhn, M.: Rigorous tool-supported software development of a robot control system. In: Last, P., Budde, C., Wahl, F.M. (eds.) Proceedings of 2nd International Colloquium of the Collaborative Research Center 562. Fortschritte in der Robotik, vol.\u00a09, pp. 137\u2013151. Shaker Verlag, Aachen (2005)"},{"key":"21_CR27","unstructured":"Diethers, K., Firley, T., Kroeger, T., Thomas, U.: A new framework for task oriented sensor based robot programming and verification. In: Proceedings of IEEE International Conference on Advanced Robotics, Coimbra, Portugal (2003)"},{"key":"21_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-540-24704-3_9","volume-title":"Testing of Communicating Systems","author":"T. M\u00fccke","year":"2004","unstructured":"M\u00fccke, T., Huhn, M.: Generation of optimized testsuites for uml statecharts with time. In: Groz, R., Hierons, R.M. (eds.) TestCom 2004. LNCS, vol.\u00a02978, pp. 128\u2013143. Springer, Heidelberg (2004)"},{"key":"21_CR29","volume-title":"IFIP Working Conference on Software Engineering Techniques (SET 2006)","author":"T. M\u00fccke","year":"2006","unstructured":"M\u00fccke, T., Huhn, M.: Minimizing test execution time during test generation. In: IFIP Working Conference on Software Engineering Techniques (SET 2006), Springer, Heidelberg (2006)"},{"key":"21_CR30","unstructured":"Huhn, M., M\u00fccke, T.: Comparing heuristics for model based testsuite generation. In: Model-Based Development of Embedded Systems (MBEES 2006) (2006)"}],"container-title":["Springer Tracts in Advanced Robotics","Robotic Systems for Handling and Assembly"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16785-0_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:48:56Z","timestamp":1606186136000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16785-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642167843","9783642167850"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16785-0_21","relation":{},"ISSN":["1610-7438","1610-742X"],"issn-type":[{"type":"print","value":"1610-7438"},{"type":"electronic","value":"1610-742X"}],"subject":[],"published":{"date-parts":[[2010]]}}}