Abstract
Designing critical embedded systems, like UAVs is not a trivial task because it brings the challenge of dealing with the uncertainty that is inherent to this type of systems, e.g., winds, GPS uncertainty, etc. Simulation and verification tools that provide a level of confidence can help design such systems and increase the safety of specified cyber-physical systems before deployment. This paper presents a framework for evaluating flight strategies of UAVs. Our framework is constructed by integrating, using high-level architecture, Ptolemy, a high level specification tool, and SITL/Ardupilot, a domain specific UAV simulator. It allows to evaluate flight strategies under the presence of uncertainty, such as winds, with a level of confidence by constructing a sufficiently large number of simulations. Its effectiveness is demonstrated by testing two different flight strategies in two scenarios under different wind intensities. We measure the flight quality providing quantitative information about the quality of the tested flight strategy, such as distance traveled, with a confidence of 95% and error of 8%.









Similar content being viewed by others
References
Luo C, McClean S, Parr G, Teacy L, De Nardi R (2013) UAV position estimation and collision avoidance using the extended Kalman filter. IEEE Trans Veh Technol 62(6):2749–2762
Lam T, Boschloo H, Mulder M, van Paassen M (2009) Artificial force field for haptic feedback in UAV teleoperation. IEEE Trans Syst Man Cybern Part A Syst Hum 39(6):1316–1330
Teacy W, Nie J, McClean S, Parr G (2010) Maintaining connectivity in UAV swarm sensing. In: IEEE GLOBECOM Workshops (GC Wkshps), December 2010, pp 1771–1776
Ptolemaeus C (ed) (2014) System design, modeling, and simulation using Ptolemy II. Ptolemy.org. [Online]. http://ptolemy.org/books/Systems
de Sousa Barros J, Oliveira T, Nigam V, Brito AV (2016) A framework for the analysis of UAV strategies using co-simulation. In: VI Brazilian symposium on computing systems engineering (SBESC), November 2016, pp 9–15
IEEE standard for modeling and simulation (M&S) high level architecture (HLA)—framework and rules. In: IEEE Std 1516–2010 (Revision of IEEE Std 1516–2000)
ArduPilot Dev Team (2016) SITL/Ardupilot Simulator (Software in the Loop). http://ardupilot.org/dev/docs/sitl-simulator-software-in-the-loop.html
Forin A, Neekzad B, Lynch NL (2006) Giano: the two-headed system simulator. Microsoft Research, Tech. Rep. MSR-TR-2006-130, September 2006. http://research.microsoft.com/apps/pubs/default.aspx?id=70343
Accellera, The language for system-level modeling, design and verification. Accellera, Tech. Rep., October 2015. http://accellera.org/community/systemc/about-systemc
Cheung PH, Hao K, Xie F (2007) Component-based hardware/software co-simulation. In: Digital system design architectures, methods and tools. 10th Euromicro Conference on DSD 2007, August 2007, pp 265–270
Ren C, Huang Y, Chen H, Tian G (2014) Control software development of drive motor for electric vehicles. In: Transportation electrification Asia-Pacific (ITEC Asia-Pacific), 2014 IEEE Conference and Expo, August 2014, pp 1–6
Hsu Y-T, Wen Y-J, Wang S-D (2007) Embedded hardware, software design and cosimulation using user mode linux and systemc. In: Parallel processing workshops, International Conference on ICPPW 2007, September 2007, pp 17–17
Fitzgerald J, Pierce K, Larsen P (2014) Co-modelling and co-simulation in the engineering of systems of cyber-physical systems. In: 2014 9th International conference on system of systems engineering (SOSE), June 2014, pp 67–72
Brito AV, Bucher H, Oliveira H, Costa LFS, Sander O, Melcher EUK, Becker J (2015) A distributed simulation platform using HLA for complex embedded systems design. In: 2015 IEEE/ACM 19th international symposium on distributed simulation and real time applications (DS-RT), October 2015, pp 195–202
Lasnier G, Cardoso J, Siron P, Pagetti C, Derler P (2013) Distributed simulation of heterogeneous and real-time systems. In: 2013 IEEE/ACM 17th international symposium on distributed simulation and real time applications, October 2013, pp 55–62
Kanduri A, Rahmani AM, Liljeberg P, Wan K, Man KL, Plosila J (2013) A multicore approach to model-based analysis and design of cyber-physical systems. In: 2013 International SoC design conference (ISOCC), November 2013, pp 278–281
Brito AV, Negreiros AV, Roth C, Sander O, Becker J (2013) Development and evaluation of distributed simulation of embedded systems using ptolemy and HLA. In: Proceedings of the 2013 IEEE/ACM 17th international symposium on distributed simulation and real time applications. IEEE Computer Society, pp 189–196
IEEE standard for modeling and simulation (M&S) high level architecture (HLA)—federate interface specification. IEEE Std 1516.1-2010 (Revision of IEEE Std 1516.1-2000), pp 1–378, August 2010
IEEE standard for modeling and simulation (M&S) high level architecture (HLA)—object model template (OMT) specification. IEEE Std 1516.2-2010 (Revision of IEEE Std 1516.2-2000)
Negreiros ALV, Brito AV (2012) The development of a methodology with a tool support to the distributed simulation of heterogeneous and complexes embedded systems. In: Brazilian symposium on computing system engineering (SBESC), November 2012, pp 37–42
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
de Sousa Barros, J., Oliveira Freitas, T., Nigam, V. et al. Analysis of design strategies for unmanned aerial vehicles using co-simulation. Des Autom Embed Syst 21, 157–172 (2017). https://doi.org/10.1007/s10617-017-9190-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10617-017-9190-z