Skip to main content
SpringerLink
Log in

Towards Formal Modelling of Autonomous Systems

  • Conference paper
  • First Online:
Book cover Intelligent Interactive Multimedia Systems and Services

Part of the book series: Smart Innovation, Systems and Technologies ((SIST,volume 40))

Abstract

Autonomous systems perform decision making without human intervention. They collect the data from the environment, process it to build the awareness and perform the actions. Consequently, the adaptivity functions can be seen as the core parts of these systems. In this paper we introduce a formal framework for modelling and analysis of autonomous systems and their compositions, especially focusing on the adaptivity modelling aspects and reasoning about adaptive behaviour.

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 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover 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

Notes

  1. 1.

    We distinguish here the terms user (human being) and environment (environment exempt humans) to have a clear separation between autonomous and non-autonomous systems.

References

  1. Bauer, V., Broy, M., Irlbeck, M., Leuxner, C., Spichkova, M., Dahlweid, M., Santen, T.: Survey of modeling and engineering aspects of self-adapting & self-optimizing systems. Technical Report TUM-I1324, TU München (2011)

    Google Scholar 

  2. Blanchette, J.C., Böhme, S., Paulson, L.C.: Extending Sledgehammer with SMT solvers. In: Børner, N., Sofronie-Stokkermans, V.: Automated Deduction, vol. 6803, pp. 116–130. LNCS. Springer (2011)

    Google Scholar 

  3. Bonczek, R.H., Holsapple, C.W., Whinston, A.B.: Foundations of Decision Support Systems. Academic Press, Oakland (1981)

    Google Scholar 

  4. Broy, M., Leuxner, C., Sitou, W., Spanfelner, B., Winter, S.: Formalizing the notion of adaptive system behavior. In: Proceedings of the 2009 ACM Symposium on Applied Computing, pp. 1029–1033. ACM (2009)

    Google Scholar 

  5. Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, New York (2001)

    Google Scholar 

  6. Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J.: Software Engineering for Self-Adaptive Systems: A Research Roadmap. LNCS (2009)

    Google Scholar 

  7. Elbanhawai, M., Simic, M.: Continuous-curvature bounded trajectory planning Uusing parametric splines. Frontiers in Artificial Intelligence and Applications (2014)

    Google Scholar 

  8. Elbanhawai, M., Simic, M.: Examining the use of B-splines in parking assist systems. Applied Mechanics and Materials 490491, 1025–1029 (2014)

    Google Scholar 

  9. Elbanhawai, M., Simic, M.: Randomised kinodynamic motion planning for an autonomous vehicle in semi-structured agricultural areas. Biosystems Engineering (2014)

    Google Scholar 

  10. Elbanhawai, M., Simic, M.: Sampling-based robot motion planning: a review. IEEE Access 30(99), (2014)

    Google Scholar 

  11. Elbanhawai, M., Simic, M., Jazar, R.N.: Continuous path smoothing for car-like robots using B-spline curves. J. Intell. Robotic Syste. 77, (2015)

    Google Scholar 

  12. Elbanhawi, M., Simic, M.: Sampling-based robot motion planning: a review. IEEE Access 2, 56–77 (2014)

    Article  Google Scholar 

  13. Feilkas, M., Hölzl, F., Pfaller, C., Rittmann, S., Schätz, B., Schwitzer, W., Sitou, W., Spichkova, M., Trachtenherz, D.: A refined top-down methodology for the development of automotive software systems - The Keyless Entry System Case Study. Technical Report TUM-I1103, TU München (2011)

    Google Scholar 

  14. Fick, G., Sprague, R.H.: Decision Support Systems: Issues and Challenges. Pergamon Press, Oxford (1980)

    Google Scholar 

  15. Kühnel, C., Spichkova, M.: Upcoming automotive standards for fault-tolerant communication: FlexRay and OSEKtime FTCom. In: Proceedings of EFTS (2006)

    Google Scholar 

  16. Kühnel, C., Spichkova, M.: Fault-tolerant communication for distributed embedded systems. In: Software Engineering and Fault Tolerance, Series on Software Engineering and Knowledge Engineering (2007)

    Google Scholar 

  17. Lu, K., Li, Q., Cheng, N.: An autonomous carrier landing system design and simulation for unmanned aerial vehicle. In: IEEE Chinese on Guidance, Navigation and Control Conference (CGNCC), pp. 1352–1356 (2014)

    Google Scholar 

  18. Marakas, G.M.: Decision Support Systems, 2nd edn. Prentice-Hall, Upper Saddle River (2003)

    Google Scholar 

  19. Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle/HOL—a proof assistant for higher-order logic, vol. 2283. LNCS, Springer (2002)

    Google Scholar 

  20. Redmill, F., Rajan, J.: Human Factors in Safety-Critical Systems. Butterworth-Heinemann, Oxford (1997)

    Google Scholar 

  21. Simic, M.: Vehicle and public safety through driver assistance applications. In: Proceedings of the 2nd International Conference Sustainable Automotive Technologies (ICSAT 2010), vol. 490491, pp. 281–288 (2010)

    Google Scholar 

  22. Simic, M.N.: Vehicular ad hoc networks. In: 11th International Conference on Telecommunication in Modern Satellite, Cable and Broadcasting Services (TELSIKS), vol. 02, pp. 613–618 (2013)

    Google Scholar 

  23. Spichkova, M.: FlexRay: verification of the FOCUS specification in Isabelle/HOL. A Case Study. Technical Report TUM-I0602, TU München (2006)

    Google Scholar 

  24. Spichkova, M.: Specification and seamless verification of embedded real-time systems: FOCUS on Isabelle. PhD thesis, TU München (2007)

    Google Scholar 

  25. Spichkova, M.: Focus on processes. Technical Report TUM-I1115, TU München (2011)

    Google Scholar 

  26. Spichkova, M.: Human factors of formal methods. In: In IADIS Interfaces and Human Computer Interaction 2012, IHCI 2012 (2012)

    Google Scholar 

  27. Spichkova, M.: Design of formal languages and interfaces: “Formal” does not mean “unreadable”. IGI Global (2013)

    Google Scholar 

  28. Spichkova, M.: Stream processing components: Isabelle/HOL formalisation and case studies. Archive of Formal Proofs, 2013. Formal proof development

    Google Scholar 

  29. Spichkova, M., Blech, J., Herrmann, P., Schmidt, H.: Modeling spatial aspects of safety-critical systems with focus ST. In: 11th Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa) (2014)

    Google Scholar 

  30. Spichkova, M., Schmidt, H.: Towards logical architecture and formal analysis of dependencies between services. In: APSCC’14: Proceedings of the 2014 IEEE Asia-Pacific Services Computing Conference, CPS (2014)

    Google Scholar 

  31. Spichkova, M., Zhu, X., Mou, D.: Do we really need to write documentation for a system? In: International Conference on Model-Driven Engineering and Software Development (MODELSWARD’13) (2013)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science and Information Technology, RMIT University, Melbourne, Australia

    Maria Spichkova

  2. School of Aerospace, Mechanical and Manufacturing Engineering, RMIT University, Melbourne, Australia

    Milan Simic

Authors
  1. Maria Spichkova
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Milan Simic
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Maria Spichkova .

Editor information

Editors and Affiliations

  1. Department of Information Technology, University of Milan, Crema, Italy

    Ernesto Damiani

  2. KES International, Shoreham-by-sea, United Kingdom

    Robert J. Howlett

  3. Faculty of Education, Science, Technology and Mathematics, University of Canberra, Canberra, Australia

    Lakhmi C. Jain

  4. Institute for High-Performance Computing and Networking (CNR-ICAR), National Research Council of Italy, Naples, Italy

    Luigi Gallo

  5. Institute for High-Performance Computing and Networking (CNR-ICAR), National Research Council of Italy, Naples, Italy

    Giuseppe De Pietro

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Spichkova, M., Simic, M. (2015). Towards Formal Modelling of Autonomous Systems. In: Damiani, E., Howlett, R., Jain, L., Gallo, L., De Pietro, G. (eds) Intelligent Interactive Multimedia Systems and Services. Smart Innovation, Systems and Technologies, vol 40. Springer, Cham. https://doi.org/10.1007/978-3-319-19830-9_25

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-19830-9_25

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-19829-3

  • Online ISBN: 978-3-319-19830-9

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation