nach oben

Erschienen in:

2018 | OriginalPaper | Buchkapitel

Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study

verfasst von : Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci

Erschienen in: Software Engineering and Formal Methods

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Semi-autonomous systems are capable of sensing their environment and perform their tasks autonomously, but they may also be supervised by humans. The shared manual/automatic control makes the dynamics of such systems more complex, and undesirable and hardly predictable behaviours can arise from human-machine interaction. When these systems are used in critical applications, such as autonomous driving or robotic surgery, the identification of conditions that may lead the system to violate safety requirements is of main concern, since people actually entrust their life on them. In this paper, we extend an FMI-based co-simulation framework for cyber-physical systems with the possibility of modelling semi-autonomous robots. Co-simulation can be used to gain more insights on the system under analysis at early stages of system development, and to highlight the impact of human interaction on safety. This approach is applied to the Line Follower Robot case study, available in the INTO-CPS project.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel A Framework for Analyzing Adaptive Autonomous Aerial Vehicles

Nächstes Kapitel A Framework for the Co-simulation of Engine Controls and Task Scheduling

http://www.mathworks.com/products/simulink.

https://github.com/into-cps/case-study_line_follower_robot.

https://www.websocket.org.

https://github.com/PaoloMasci/pvsioweb-fmi-extensions.

https://github.com/gimbo/d3-gauge-plus.

Bernardeschi, C., Domenici, A.: Verifying safety properties of a nonlinear control by interactive theorem proving with the Prototype Verification System. Inf. Process. Lett. 116(6), 409–415 (2016)MathSciNetCrossRefMATH

Bernardeschi, C., Domenici, A., Masci, P.: A PVS-simulink integrated environment for model-based analysis of cyber-physical systems. IEEE Trans. Softw. Eng. PP(99), 1 (2017)

Blochwitz, T., Otter, M., Arnold, M., Bausch, C., Clauß, C., Elmqvist, H., Junghanns, A., Mauß, J., Monteiro, M., Neidhold, T., Neumerkel, D., Olsson, H., Peetz, J.-V., Wolf, S.: The Functional Mockup Interface for tool independent exchange of simulation models. In: Proceedings of the 8th International Modelica Conference, pp. 105–114. Linköping University Electronic Press (2011)

Blochwitz, T., Otter, M., Åkesson, J., Arnold, M., Clauß, C., Elmqvist, H., Friedrich, M., Junghanns, A., Mauß, J., Neumerkel, D., Olsson, H., Viel, A.: Functional Mockup Interface 2.0: the standard for tool independent exchange of simulation models. In: Proceedings of the 9th International Modelica Conference, pp. 173–184. The Modelica Association (2012)

Broenink, J.F.: Modelling, simulation and analysis with 20-sim. J. A 38(3), 22–25 (1997)

Cremona, F., Lohstroh, M., Broman, D., Tripakis, S., Lee, E.A., Masin, M.: Hybrid co-simulation: it’s about time. Technical report UCB/EECS-2017-6, University of California, Berkeley, April 2017

Fitzgerald, J., Larsen, P.G., Pierce, K., Verhoef, M., Wolff, S.: Collaborative modelling and co-simulation in the development of dependable embedded systems. In: Méry, D., Merz, S. (eds.) IFM 2010. LNCS, vol. 6396, pp. 12–26. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-16265-7_2 CrossRef

Fitzgerald, J.S., Larsen, P.G., Verhoef, M.: Vienna Development Method. Wiley, Hoboken (2007)

Franchetti, F., Low, T.M., Mitsch, S., Mendoza, J.P., Gui, L., Phaosawasdi, A., Padua, D., Kar, S., Moura, J.M.F., Franusich, M., Johnson, J., Platzer, A., Veloso, M.M.: High-assurance spiral: end-to-end guarantees for robot and car control. IEEE Control Syst. 37(2), 82–103 (2017)MathSciNetCrossRef

10.

Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: state of the art. arXiv:1702.00686 (2017)

11.

Harrison, M.D., Masci, P., Campos, J.C., Curzon, P.: Verification of user interface software: the example of use-related safety requirements and programmable medical devices. IEEE Trans. Hum.-Mach. Syst. (2017, to appear)

12.

Hooman, J., Mulyar, N., Posta, L.: Coupling simulink and UML models. In: Schnieder, B., Tarnai, G. (eds.) Proceedings of Symposium FORMS/FORMATS, Formal Methods for Automation and Safety in Railway and Automotive Systems, pp. 304–311 (2004)

13.

INTO-CPS: Integrated Tool Chain for Model-based Design of Cyber-Physical Systems\(^{\textregistered }\), Horizon H2020 project. Grant #644047 (2015)

14.

Karnopp, D., Rosenberg, R.: Analysis and Simulation of Multiport Systems; the Bond Graph Approach to Physical System Dynamics. M.I.T. Press, Cambridge (1968)

15.

Larsen, P.G., Fitzgerald, J., Woodcock, J., Fritzson, P., Brauer, J., Kleijn, C., Lecomte, T., Pfeil, M., Green, O., Basagiannis, S., Sadovykh, A.: Integrated tool chain for model-based design of cyber-physical systems: the INTO-CPS project. In: 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data), pp. 1–6 (2016)

16.

Larsen, P.G., Battle, N., Ferreira, M., Fitzgerald, J., Lausdahl, K., Verhoef, M.: The overture initiative integrating tools for VDM. SIGSOFT Softw. Eng. Notes 35(1), 1–6 (2010)

17.

Larsen, P.G., Gamble, C., Pierce, K., Ribeiro, A., Lausdahl, K.: Support for co-modelling and co-simulation: the Crescendo tool. In: Fitzgerald, J., Larsen, P.G., Verhoef, M. (eds.) Collaborative Design for Embedded Systems, pp. 97–114. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-642-54118-6_5 CrossRef

18.

Lee, E.A., Sangiovanni-Vincentelli, A.: A framework for comparing models of computation. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 17(12), 1217–1229 (1998)CrossRef

19.

Masci, P., Oladimeji, P., Zhang, Y., Jones, P., Curzon, P., Thimbleby, H.: PVSio-web 2.0: joining PVS to HCI. In: Kroening, D., Păsăreanu, C.S. (eds.) CAV 2015. LNCS, vol. 9206, pp. 470–478. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-21690-4_30 CrossRef

20.

Masci, P., Rukšenas, R., Oladimeji, P., Cauchi, A., Gimblett, A., Li, Y., Curzon, P., Thimbleby, H.: The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps. Innov. Syst. Softw. Eng. 11(2), 73–93 (2015)CrossRef

21.

Masci, P., Zhang, Y., Jones, P., Curzon, P., Thimbleby, H.: Formal verification of medical device user interfaces using PVS. In: Gnesi, S., Rensink, A. (eds.) FASE 2014. LNCS, vol. 8411, pp. 200–214. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-642-54804-8_14 CrossRef

22.

Muñoz, C., Rapid prototyping in PVS. Technical report NIA 2003–03, NASA/CR-2003-212418, National Institute of Aerospace, Hampton, VA, USA (2003)

23.

Attarzadeh Niaki, S.H., Sander, I.: Co-simulation of embedded systems in a heterogeneous MoC-based modeling framework. In: 2011 6th IEEE International Symposium on Industrial and Embedded Systems, pp. 238–247, June 2011

24.

Owre, S., Rushby, J.M., Shankar, N.: PVS: a prototype verification system. In: Kapur, D. (ed.) CADE 1992. LNCS, vol. 607, pp. 748–752. Springer, Heidelberg (1992). https://doi.org/10.1007/3-540-55602-8_217

25.

Sander, I., Jantsch, A.: System modeling and transformational design refinement in ForSyDe. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 23(1), 17–32 (2004)CrossRef

26.

Sjöstedt, C.-J., Törngren, M., Shi, J., Chen, D.-J., Ahlsten, V.: Mapping simulink to UML in the design of embedded systems: investigating scenarios and transformations. In: OMER4 Post-proceedings, pp. 137–160 (2008). QC 20100810

27.

Wang, B., Baras, J.S.: HybridSim: a modeling and co-simulation toolchain for cyber-physical systems. In: 2013 IEEE/ACM 17th International Symposium on Distributed Simulation and Real Time Applications (DS-RT), pp. 33–40 (2013)

Titel: Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study
verfasst von: Maurizio Palmieri
Cinzia Bernardeschi
Paolo Masci
Verlag: Springer International Publishing
Buch: Software Engineering and Formal Methods
Print ISBN: 978-3-319-74780-4

Electronic ISBN: 978-3-319-74781-1

Copyright-Jahr: 2018
DOI: https://doi.org/10.1007/978-3-319-74781-1_29

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"