This demo shows our ongoing work on the co-simulation of co-operative Unmanned Aerial Vehicles (UAVs). The work is based on the INTO-CPS co-simulation engine, which adopts the widely accepted Functional Mockup Interface (FMI) standard for co-simulation, and the PVSioweb prototyping tool, that extends a system simulator based on the PVS logic language with a web-based graphical interface. Simple scenarios of Quadcopters with assigned different tasks, such as rendez-vous and space coverage, are shown. We assumed a linearized dynamic model for Quadcopters formalized in OpenModelica, and a linearized set of equations for the flight control module written in C language. The co-ordination algorithm is modeled in PVS, while PVSio-web is used for graphical rendering of the co-simulation.

Palmieri, M., Bernardeschi, C., Domenici, A., Fagiolini, A. (2018). Demo: Co-simulation of UAVs with INTO-CPS and PVSio-web. In Software Technologies: Applications and Foundations: STAF 2018 Collocated Workshops (pp. 52-57). Heidelberg : Springer Verlag [10.1007/978-3-030-04771-9_5].

Demo: Co-simulation of UAVs with INTO-CPS and PVSio-web

Fagiolini, Adriano
2018

Abstract

This demo shows our ongoing work on the co-simulation of co-operative Unmanned Aerial Vehicles (UAVs). The work is based on the INTO-CPS co-simulation engine, which adopts the widely accepted Functional Mockup Interface (FMI) standard for co-simulation, and the PVSioweb prototyping tool, that extends a system simulator based on the PVS logic language with a web-based graphical interface. Simple scenarios of Quadcopters with assigned different tasks, such as rendez-vous and space coverage, are shown. We assumed a linearized dynamic model for Quadcopters formalized in OpenModelica, and a linearized set of equations for the flight control module written in C language. The co-ordination algorithm is modeled in PVS, while PVSio-web is used for graphical rendering of the co-simulation.
9783030047702
Palmieri, M., Bernardeschi, C., Domenici, A., Fagiolini, A. (2018). Demo: Co-simulation of UAVs with INTO-CPS and PVSio-web. In Software Technologies: Applications and Foundations: STAF 2018 Collocated Workshops (pp. 52-57). Heidelberg : Springer Verlag [10.1007/978-3-030-04771-9_5].
File in questo prodotto:
File Dimensione Formato  
Demo_Co_simulation.pdf

Solo gestori archvio

Tipologia: Versione Editoriale
Dimensione 388.04 kB
Formato Adobe PDF
388.04 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/10447/357673
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact