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

Adriano Fagiolini, Cinzia Bernardeschi, Maurizio Palmieri, Andrea Domenici

Risultato della ricerca: Conference contribution

1 Citazioni (Scopus)


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.
Lingua originaleEnglish
Titolo della pubblicazione ospiteSoftware Technologies: Applications and Foundations: STAF 2018 Collocated Workshops
Numero di pagine6
Stato di pubblicazionePublished - 2018

All Science Journal Classification (ASJC) codes

  • ???subjectarea.asjc.2600.2614???
  • ???subjectarea.asjc.1700.1700???


Entra nei temi di ricerca di 'Demo: Co-simulation of UAVs with INTO-CPS and PVSio-web'. Insieme formano una fingerprint unica.

Cita questo