Abstract
Integrating robotic systems into our everyday life needs that we prove that they will not endanger people, i.e. that they will behave correctly with respect to some safety rules. In this paper, we propose a validation toolchain based on a Domain Specific Language. This DSL allows to model the software architecture of a robot using a component-based approach. From these models, we provide tools to generate deployable components, as well as a two-step validation phase. This validation first performs a real-time analysis of the component architecture, leading to an evaluation of the software architecture schedulability. Then we can check the validity of some behavioral property on the components.
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
Alonso, D., Vicente-chicote, C., Ortiz, F., Pastor, J., Alvarez, B.: V3CMM: a 3-View Component Meta-Model for Model-Driven Robotic Software Development. Journal of Software Engineering for Robotics (JOSER) 1, 3–17 (2010)
Basu, A., Gallien, M., Lesire, C., Nguyen, T.H., Bensalem, S., Ingrand, F., Sifakis, J.: Incremental Component-Based Construction and Verification of a Robotic System. In: ECAI, Patras, Greece (2008)
Berthomieu, B., Bodeveix, J., Farail, P., Filali, M., Garavel, H., Gaufillet, P., Lang, F., Vernadat, F.: Fiacre: an intermediate language for model verification in the TOPCASED environment. In: Embedded Real Time Software and Systems (ERTSS), Toulouse, France (2008)
Berthomieu, B., Vernadat, F.: Time Petri Nets Analysis with TINA. In: Int. Conf. on Quantitative Evaluation of Systems (QEST), Riverside, CA, USA (2006)
Brugali, D., Scandurra, P.: Component-Based Robotic Engineering. Part I: Reusable Building Blocks. IEEE Robotics and Automation Magazine 16(4) (2009)
Brugali, D., Shakhimardanov, A.: Component-Based Robotic Engineering. Part II: Systems and Models. IEEE Robotics and Automation Magazine 17(1) (2010)
Brunel, J., Doligez, D., Hansen, R.R., Lawall, J.L., Muller, G.: A foundation for flow-based program matching using temporal logic and model checking. In: ACM Symposium on Principles of Programming Languages, Savannah, GA, USA (2009)
Cuoq, P., Kirchner, F., Kosmatov, N., Prevosto, V., Signoles, J., Yakobowski, B.: Frama-C, A Software Analysis Perspective. In: Eleftherakis, G., Hinchey, M., Holcombe, M. (eds.) SEFM 2012. LNCS, vol. 7504, pp. 233–247. Springer, Heidelberg (2012)
DeCastro, J.A., Kress-Gazit, H.: Guaranteeing reactive high-level behaviors for robots with complex dynamics. In: IROS, Tokyo, Japan (2013)
Dhouib, S., Kchir, S., Stinckwich, S., Ziadi, T., Ziane, M.: RobotML, a Domain-Specific Language to Design, Simulate and Deploy Robotic Applications. In: Noda, I., Ando, N., Brugali, D., Kuffner, J.J. (eds.) SIMPAR 2012. LNCS, vol. 7628, pp. 149–160. Springer, Heidelberg (2012)
Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Software Engineering, Los Angeles, CA, USA (1999)
Gobillot, N., Lesire, C., Doose, D.: A Component-Based Navigation-Guidance-Control Architecture for Mobile Robots. In: ICRA – SDIR Workshop, Karlsruhe, Germany (2013)
Haddadin, S., Khoury, A., Rokahr, T., Parusel, S., Burgkart, R., Bicchi, A., Albu-Schaffer, A.: A truly safely moving robot has to know what injury it may cause. In: IROS, Vila Moura, Portugal (2012)
Hochgeschwender, N., Gherardi, L., Shakhirmardanov, A., Kraetzschmar, G.K., Brugali, D., Bruyninckx, H.: A model-based approach to software deployment in robotics. In: IROS, Tokyo, Japan (2013)
Jiang, H., Elbaum, S., Detweiler, C.: Reducing failure rates of robotic systems though inferred invariants monitoring. In: IROS, Tokyo, Japan (2013)
Lens, T., von Stryk, O.: Investigation of safety in human-robot-interaction for a series elastic, tendon-driven robot arm. In: IROS, Vila Moura, Portugal (2012)
Lesire, C., Doose, D., Cassé, H.: MAUVE: a Component-based Modeling Framework for Real-time Analysis of Robotic Applications. In: ICRA – SDIR Workshop, Saint-Paul, MN, USA (2012)
Mallet, A., Pasteur, C., Herrb, M.: GenoM3: Building middleware-independent robotic components. In: ICRA, Anchorage, AK, USA (2010)
Nakamura, A., Nagata, K., Harada, K., Yamanobe, N., Tsuji, T., Foissotte, T., Kawai, Y.: Error recovery using task stratification and error classification for manipulation robots in various fields. In: IROS, Tokyo, Japan (2013)
Pathak, S., Pulina, L., Metta, G., Tacchella, A.: Ensuring safety of policies learned by reinforcement: Reaching objects in the presence of obstacles with the iCub. In: IROS, Tokyo, Japan (2013)
Quigley, M., Conley, K., Gerkey, B., Faust, J., Foote, T., Leibs, J., Wheeler, R., Ng, A.: ROS: an open-source Robot Operating System. In: ICRA Workshop on Open Source Software, Kobe, Japan (2009)
Rochange, C., Sainrat, P.: OTAWA: An Open Toolbox for Adaptive WCET Analysis. In: IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS), Waidhofen, Austria, pp. 35–46 (2010)
Rybski, P., Anderson-Sprecher, P., Huber, D., Niessl, C., Simmons, R.: Sensor fusion for human safety in industrial workcells. In: IROS, Vila Moura, Portugal (2012)
Schlegel, C.: Communication Patterns as Key Towards Component-Based Robotics. International Journal of Advanced Robotic Systems 3(1) (2006)
Schlegel, C., Steck, A., Brugali, D., Knoll, A.: Design Abstraction and Processes in Robotics: From Code-Driven to Model-Driven Engineering. In: Ando, N., Balakirsky, S., Hemker, T., Reggiani, M., von Stryk, O. (eds.) SIMPAR 2010. LNCS, vol. 6472, pp. 324–335. Springer, Heidelberg (2010)
Singhoff, F., Legrand, J., Nana, L., Marcé, L.: Cheddar: a flexible real time scheduling framework. ACM SIGAda Ada Letters 24, 1–8 (2004)
Soetens, P., Bruyninckx, H.: Realtime hybrid task-based control for robots and machine tools. In: ICRA, Barcelona, Spain (2005)
Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley, Reading (2002)
Tamura, Y., Le, P.D., Hitomi, K., Chandrasiri, N.P., Bando, T., Yamashita, A., Asama, H.: Development of pedestrian behavior model taking account of intention. In: IROS, Vila Moura, Portugal (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Gobillot, N., Lesire, C., Doose, D. (2014). A Modeling Framework for Software Architecture Specification and Validation. In: Brugali, D., Broenink, J.F., Kroeger, T., MacDonald, B.A. (eds) Simulation, Modeling, and Programming for Autonomous Robots. SIMPAR 2014. Lecture Notes in Computer Science(), vol 8810. Springer, Cham. https://doi.org/10.1007/978-3-319-11900-7_26
Download citation
DOI: https://doi.org/10.1007/978-3-319-11900-7_26
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11899-4
Online ISBN: 978-3-319-11900-7
eBook Packages: Computer ScienceComputer Science (R0)