Skip to main content
SpringerLink
Log in
Book cover

International Conference on Simulation, Modeling, and Programming for Autonomous Robots

SIMPAR 2014: Simulation, Modeling, and Programming for Autonomous Robots pp 303–314Cite as

A Modeling Framework for Software Architecture Specification and Validation

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 8810))

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.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)

    Google Scholar 

  2. 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)

    Google Scholar 

  3. 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)

    Google Scholar 

  4. Berthomieu, B., Vernadat, F.: Time Petri Nets Analysis with TINA. In: Int. Conf. on Quantitative Evaluation of Systems (QEST), Riverside, CA, USA (2006)

    Google Scholar 

  5. Brugali, D., Scandurra, P.: Component-Based Robotic Engineering. Part I: Reusable Building Blocks. IEEE Robotics and Automation Magazine 16(4) (2009)

    Google Scholar 

  6. Brugali, D., Shakhimardanov, A.: Component-Based Robotic Engineering. Part II: Systems and Models. IEEE Robotics and Automation Magazine 17(1) (2010)

    Google Scholar 

  7. 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)

    Google Scholar 

  8. 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)

    Chapter  Google Scholar 

  9. DeCastro, J.A., Kress-Gazit, H.: Guaranteeing reactive high-level behaviors for robots with complex dynamics. In: IROS, Tokyo, Japan (2013)

    Google Scholar 

  10. 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)

    Chapter  Google Scholar 

  11. 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)

    Google Scholar 

  12. Gobillot, N., Lesire, C., Doose, D.: A Component-Based Navigation-Guidance-Control Architecture for Mobile Robots. In: ICRA – SDIR Workshop, Karlsruhe, Germany (2013)

    Google Scholar 

  13. 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)

    Google Scholar 

  14. 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)

    Google Scholar 

  15. Jiang, H., Elbaum, S., Detweiler, C.: Reducing failure rates of robotic systems though inferred invariants monitoring. In: IROS, Tokyo, Japan (2013)

    Google Scholar 

  16. 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)

    Google Scholar 

  17. 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)

    Google Scholar 

  18. Mallet, A., Pasteur, C., Herrb, M.: GenoM3: Building middleware-independent robotic components. In: ICRA, Anchorage, AK, USA (2010)

    Google Scholar 

  19. 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)

    Google Scholar 

  20. 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)

    Google Scholar 

  21. 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)

    Google Scholar 

  22. 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)

    Google Scholar 

  23. 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)

    Google Scholar 

  24. Schlegel, C.: Communication Patterns as Key Towards Component-Based Robotics. International Journal of Advanced Robotic Systems 3(1) (2006)

    Google Scholar 

  25. 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)

    Chapter  Google Scholar 

  26. Singhoff, F., Legrand, J., Nana, L., Marcé, L.: Cheddar: a flexible real time scheduling framework. ACM SIGAda Ada Letters 24, 1–8 (2004)

    Article  Google Scholar 

  27. Soetens, P., Bruyninckx, H.: Realtime hybrid task-based control for robots and machine tools. In: ICRA, Barcelona, Spain (2005)

    Google Scholar 

  28. Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley, Reading (2002)

    Google Scholar 

  29. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ONERA, The French Aerospace Lab., 2 Avenue Edouard Belin, 31055, Toulouse, France

    Nicolas Gobillot, Charles Lesire & David Doose

Authors
  1. Nicolas Gobillot
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Charles Lesire
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. David Doose
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Engineering, Università degli Studi di Bergamo, Viale Marconi 5, 24044, Dalmine, Italy

    Davide Brugali

  2. Faculty EE-Math-CS, CTIT Institute, Robotics and Mechatronics Group, University of Twente, Room Carre 3437, P.O. Box 217, 7500 AE, Enschede, The Netherlands

    Jan F. Broenink

  3. Artificial Intelligence Laboratory, Stanford University, 94305-9010, Stanford, CA, USA

    Torsten Kroeger

  4. Faculty of Engineering, Electrical and Computer Engineering, Science Centre - Mathphysic, Level 2, University of Auckland, Room 303-249, 38 Princess Street, 1010, Auckland, New Zealand

    Bruce A. MacDonald

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation