Skip to main content
SpringerLink
Log in

Formal Methods for Robotics: RoboChart, RoboSim, and More

  • Conference paper
  • First Online:
Formal Methods: Foundations and Applications (SBMF 2017)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 10623))

Included in the following conference series:

Abstract

A report from 2014 indicates that “The UK Government has identified ‘eight great technologies’ which will propel the UK to future growth”; one of them is robotics and autonomous systems. Currently, robotics is at the heart of the UK economic plans (www.tinyurl.com/mtut23s). A 13 billion pounds global market is predicted for 2025 (www.tinyurl.com/nyf64av). A limiting factor, however, is safety. The UK Technology Strategy Board reports that we are sitting on a “robotics goldmine” (www.tinyurl.com/o2u2ts7), but “Regulation and certification will also be a vital part of RAS deployment...”.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

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 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.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

Institutional subscriptions

References

  1. Abdellatif, T., Bensalem, S., Combaz, J., de Silva, L., Ingrand, F.: Rigorous design of robot software: a formal component-based approach. Robot. Auton. Syst. 60(12), 1563–1578 (2012)

    Article  Google Scholar 

  2. Brunner, S.G., Steinmetz, F., Belder, R., Domel, A.: Rafcon: a graphical tool for engineering complex, robotic tasks. In: IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 3283–3290 (2016)

    Google Scholar 

  3. 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 (LNAI), vol. 7628, pp. 149–160. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-34327-8_16

    Chapter  Google Scholar 

  4. Fleurey, F., Solberg, A.: A domain specific modeling language supporting specification, simulation and execution of dynamic adaptive systems. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 606–621. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-04425-0_47

    Chapter  Google Scholar 

  5. Foughali, M., Berthomieu, B., Dal Zilio, S., Ingrand, F., Mallet, A.: Model checking real-time properties on the functional layer of autonomous robots. In: Ogata, K., Lawford, M., Liu, S. (eds.) ICFEM 2016. LNCS, vol. 10009, pp. 383–399. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-47846-3_24

    Chapter  Google Scholar 

  6. Gibson-Robinson, T., Armstrong, P., Boulgakov, A., Roscoe, A.W.: FDR3 - a modern refinement checker for CSP. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 187–201 (2014)

    Google Scholar 

  7. Kapellos, K., Simon, D., Jourdant, M., Espiau, B.: Task level specification and formal verification of robotics control systems: State of the art and case study. Int. J. Syst. Sci. 30(11), 1227–1245 (1999)

    Article  MATH  Google Scholar 

  8. Miyazawa, A., Ribeiro, P., Li, W., Cavalcanti, A.L.C., Timmis, J.: Automatic property checking of robotic applications. In: The International Conference on Intelligent Robots and Systems (2017)

    Google Scholar 

  9. Nordmann, A., Hochgeschwender, N., Wigand, D., Wrede, S.: A survey on domain-specific modeling and languages in robotics. J. Softw. Eng. Robot. 7(1), 75–99 (2016)

    Google Scholar 

  10. Pembeci, I., Nilsson, H., Hager, G.: Functional reactive robotics: an exercise in principled integration of domain-specific languages. In: 4th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, pp. 168–179. ACM (2002)

    Google Scholar 

  11. Roscoe, A.W.: Understanding Concurrent Systems. Texts in Computer Science. Springer, London (2011)

    MATH  Google Scholar 

  12. Wachter, M., Ottenhaus, S., Krohnert, M., Vahrenkamp, N., Asfour, T.: The armarx statechart concept: graphical programing of robot behavior. Front. Robot. AI 3, 33 (2016)

    Article  Google Scholar 

  13. Woodcock, J.C.P., Larsen, P.G., Bicarregui, J., Fitzgerald, J.S.: Formal methods: practice and experience. ACM Comput. Surv. 41(4), 1–36 (2009)

    Article  Google Scholar 

Download references

Acknowledgements

The work mentioned is a collaboration with colleagues at the University of York and Universidade Federal de Pernambuco: André Didier, Wei Li, Alvaro Miyazawa, Alexandre Mota, Pedro Ribeiro, Augusto Sampaio, Jon Timmis, and Jim Woodcock. Work on testing has been extensively discussed with Rob Hierons. The author’s work is funded by the EPSRC grant EP/M025756/1, and INES, grants CNPq/465614/2014-0 and FACEPE/APQ/0388-1.03/14. No new primary data was created as part of the study reported here.

Author information

Authors and Affiliations

  1. Department of Computer Science, University of York, York, YO105GH, UK

    Ana Cavalcanti

Authors
  1. Ana Cavalcanti
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ana Cavalcanti .

Editor information

Editors and Affiliations

  1. Universidade Federal de Pelotas, Pelotas, Brazil

    Simone Cavalheiro

  2. Royal Holloway, University of London, Egham, United Kingdom

    José Fiadeiro

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Cavalcanti, A. (2017). Formal Methods for Robotics: RoboChart, RoboSim, and More. In: Cavalheiro, S., Fiadeiro, J. (eds) Formal Methods: Foundations and Applications. SBMF 2017. Lecture Notes in Computer Science(), vol 10623. Springer, Cham. https://doi.org/10.1007/978-3-319-70848-5_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-70848-5_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-70847-8

  • Online ISBN: 978-3-319-70848-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation