Abstract
This paper describes a model-based quality assurance approach in the context of a software architecture for parallel kinematic machines (PKMs). Due to high velocities PKMs are safety critical and cause hard real-time requirements for the according control system. In a joint effort mechanical engineers, electrical engineers, and computer scientists designed a software architecture for the special requirements of PKMs.
Here, it is explained what kind of models have been used to specify the structure, behavior, and requirements of the software under development and what validation and verification techniques have been used to improve the quality of the resulting software system.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Merlet, J.-P.: Parallel Robots. Kluwer Academic Publishers, Dordrecht (2000)
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–61. Sascha Eysoldt Verlag, Aachen (2004)
Finkemeyer, B.: Robotersteuerungsarchitektur auf der Basis von Aktionsprimitiven. Ph.D. thesis, Technische Universität Carolo-Wilhelmina zu Braunschweig (2004)
Diethers, K., Finkemeyer, B., Kohn, N.: Realizing open control software for high dynamic processes with a middleware. it - Information Technology 46(1), 39–47 (2004)
Finkemeyer, B., Kröger, T., Wahl, F.M.: A Middleware for High-Speed Distributed Real-Time Robotic Applications. In: Schütz, D., Wahl, F.M. (eds.) Robotic Systems for Handling and Assembly. STAR, vol. 67, pp. 193–212. Springer, Heidelberg (2010)
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. 1, pp. 205–210. IEEE Computer Society, Kunming (2004)
Dadji, Y., Michalik, H., Kohn, N., Steiner, J., Beckmann, G., Möglich, T., Varchmin, J.U.: A Communication Architecture for Distributed Real-Time Robot Control. In: Schütz, D., Wahl, F.M. (eds.) Robotic Systems for Handling and Assembly. STAR, vol. 67, pp. 213–231. Springer, Heidelberg (2010)
Thomas, U., Wahl, F.M.: Sensor guided execution of robot tasks based on skill primitives. In: Robotic 2002, pp. 71–77 (2002)
Thomas, U., Maaß, 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–3938 (2005)
Kolbus, M., Reisinger, T., Maaß, J.: Robot Control based on Skill Primitives. In: Robotics and Applications: Sixth IASTED International Conference Proceedings (2005)
Maaß, J., Kohn, N., Hesselbach, J.: Open modular robot control architecture for assembly using the task frame formalism. International Journal of Advanced Robotic Systems 3(1), 1–10 (2006)
Maaß, 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)
Steiner, J., Hagner, M., Goltz, U.: Runtime analysis and adaptation of a hard real-time robotic control system. Journal of Computers (JCP) 2(10), 18–27 (2007)
Steiner, J., Huhn, M., Mücke, 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–60. IEEE Computer Society, Budapest (2006)
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)
DeMarco, T.: Structured analysis and system specification. Prentice-Hall software series. Yourdon Press, New York (1978)
Diethers, K., Goltz, U., Huhn, M.: Model checking uml statecharts with time. In: Workshop on Critical Systems Development with UML (CSDUML 2002), pp. 35–52 (2002)
Diethers, K., Huhn, M.: Vooduu: verification of object-oriented designs using uppaal. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 139–143. Springer, Heidelberg (2004)
Diethers, K.: Werkzeuggestützte formale Analyse von Echtzeitsystemen. Ph.D. thesis, Technical University of Braunschweig, Germany (2006)
Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a nutshell. International Journal on Software Tools for Technology Transfer 1(1+2), 134–152 (1997)
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)
Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)
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 152(2), 148–166 (2005)
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–125 (2008)
Steiner, J., Goltz, U., Maaß, J.: Self-Management within a Software Architecture for Parallel Kinematic Machines. In: Schütz, D., Wahl, F.M. (eds.) Robotic Systems for Handling and Assembly. STAR, vol. 67, pp. 355–371. Springer, Heidelberg (2010)
Steiner, J., Diethers, K., Mücke, 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. 9, pp. 137–151. Shaker Verlag, Aachen (2005)
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)
Mücke, T., Huhn, M.: Generation of optimized testsuites for uml statecharts with time. In: Groz, R., Hierons, R.M. (eds.) TestCom 2004. LNCS, vol. 2978, pp. 128–143. Springer, Heidelberg (2004)
Mücke, T., Huhn, M.: Minimizing test execution time during test generation. In: IFIP Working Conference on Software Engineering Techniques (SET 2006), Springer, Heidelberg (2006)
Huhn, M., Mücke, T.: Comparing heuristics for model based testsuite generation. In: Model-Based Development of Embedded Systems (MBEES 2006) (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Steiner, J., Diethers, K., Hagner, M., Goltz, U. (2010). Model Based Quality Assurance for a Robotic Software Architecture. In: Schütz, D., Wahl, F.M. (eds) Robotic Systems for Handling and Assembly. Springer Tracts in Advanced Robotics, vol 67. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16785-0_21
Download citation
DOI: https://doi.org/10.1007/978-3-642-16785-0_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16784-3
Online ISBN: 978-3-642-16785-0
eBook Packages: EngineeringEngineering (R0)