research-article

Model-based software in-the-loop-test of autonomous systems

Authors:

Andreas Bayha,

Franziska Grüneis,

Bernhard SchätzAuthors Info & Claims

TMS/DEVS '12: Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium

Article No.: 30, Pages 1 - 6

Published: 26 March 2012 Publication History

Get Access

Abstract

Software for autonomous systems is hard to test, given their complex reactions as well as safety-critical behavior. Here simulation-based testing of the control software using a simulation of the environment and the platform of the system supports verification without threat to system and environment. A model-based construction of the simulated environment enables an effective verification by systematically assessing reliability issues and robustness aspects while improving its efficiency by simplifying the reuse of virtual environment. We demonstrate such a systematic approach for the verification of the control software of an autonomous unmanned arial vehicle, using Simulink as simulation environment.

References

[1]

"FALTER project website," 2010, http://www.fortiss.org/de/forschung/projekte/falter.html.

Google Scholar

[2]

H. Chao, Y. Cao, and Y. Chen, "Autopilots for Small Unmanned Aerial Vehicles: A Survey," International Journal of Control, Automation, and Systems, vol. 8, 2010.

Google Scholar

[3]

E. N. Johnson, D. P. Schrage, J. Prasad, and G. J. Vachtsevanos, "UAV Flight Test Programs at Georgia Tech," Georgia Institute of Technology, Tech. Rep., 2004.

Google Scholar

[4]

R. D. Garcia, "Designing an Autonomous Helicopter Testbed: From Conception Through Implementation," Ph.D. dissertation, University of South Florida, 2008.

Digital Library

Google Scholar

[5]

D. Albuquerque, J. Vieira, S. Lopes, C. Bastos, and P. Ferreira, "Indoor ultrasonic simulator for moving objects using fractional delay filters," 2011.

Google Scholar

[6]

F. Mutter, S. Gareis, B. Schätz, A. Bayha, F. Grüneis, M. Kanis, and D. Koss, "Model-Driven In-the-Loop Validation: Simulation-Based Testing of UAV Software Using Virtual Environments," in Engineering of Computer-Based Systems, ECBS 2011, 2011.

Digital Library

Google Scholar

[7]

F. Mutter, "FALTER - Flight unit for Autonomous Location and Terrain Exploration: Virtual Integration," Bachelor's thesis, Technische Universität München, 2010.

Google Scholar

Cited By

View all

Hentze MPett TSundermann CKrieter SThüm TSchaefer IScholz BKameyama Y(2022)Generic Solution-Space Sampling for Multi-domain Product LinesProceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences10.1145/3564719.3568695(135-147)Online publication date: 29-Nov-2022
https://dl.acm.org/doi/10.1145/3564719.3568695
Chen YChen SXiao TZhang SHou QZheng N(2020)Mixed Test Environment-based Vehicle-in-the-loop Validation - A New Testing Approach for Autonomous Vehicles2020 IEEE Intelligent Vehicles Symposium (IV)10.1109/IV47402.2020.9304658(1283-1289)Online publication date: 19-Oct-2020
https://dl.acm.org/doi/10.1109/IV47402.2020.9304658
Buzdalov D(2017)Simulation of AADL models with software-in-the-loop executionACM SIGAda Ada Letters10.1145/3092893.309290236:2(49-53)Online publication date: 10-May-2017
https://dl.acm.org/doi/10.1145/3092893.3092902

Recommendations

Model-Driven In-the-Loop Validation: Simulation-Based Testing of UAV Software Using Virtual Environments
ECBS '11: Proceedings of the 2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems

With the availability of the off-the-shelf quadrocopter platforms, the implementation of autonomous unmanned aerial vehicle (UAV) has substantially been simplified. Such UAVs can explore unaccessible terrain and provide information about the local ...
Towards Autonomous Autorotation Landing for Small Size Unmanned Helicopters

The consideration of safety issues in the operation of helicopters involves the capability to perform emergency descending maneuvers through the autorotation principle when the engine is no longer supplying power. When comparing manned and unmanned ...
Model based UAV autopilot tuning
FM'11/HMT'11: Proceedings of the 8th WSEAS international conference on fluid mechanics, 8th WSEAS international conference on Heat and mass transfer

The paper presents the role of Autopilots in Unmanned Aerial Vehicles (UAVs) and the process of their configuration before flying can occur. The common autopilot architecture, emphasising the control module, is given shortly and the functionality of the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

TMS/DEVS '12: Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium

March 2012

394 pages

ISBN:9781618397867

General Chairs:
Gabriel Wainer
Carleton University
,
Pieter Mosterman
MathWorks

In-Cooperation

SIGSIM: ACM Special Interest Group on Simulation and Modeling

Publisher

Society for Computer Simulation International

San Diego, CA, United States

Publication History

Published: 26 March 2012

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SpringSim '12

Sponsor:

SpringSim '12: 2012 Spring Simulation Multiconference

March 26 - 30, 2012

Florida, Orlando

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
223
Total Downloads

Downloads (Last 12 months)11
Downloads (Last 6 weeks)1

Reflects downloads up to 26 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Hentze MPett TSundermann CKrieter SThüm TSchaefer IScholz BKameyama Y(2022)Generic Solution-Space Sampling for Multi-domain Product LinesProceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences10.1145/3564719.3568695(135-147)Online publication date: 29-Nov-2022
https://dl.acm.org/doi/10.1145/3564719.3568695
Chen YChen SXiao TZhang SHou QZheng N(2020)Mixed Test Environment-based Vehicle-in-the-loop Validation - A New Testing Approach for Autonomous Vehicles2020 IEEE Intelligent Vehicles Symposium (IV)10.1109/IV47402.2020.9304658(1283-1289)Online publication date: 19-Oct-2020
https://dl.acm.org/doi/10.1109/IV47402.2020.9304658
Buzdalov D(2017)Simulation of AADL models with software-in-the-loop executionACM SIGAda Ada Letters10.1145/3092893.309290236:2(49-53)Online publication date: 10-May-2017
https://dl.acm.org/doi/10.1145/3092893.3092902

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Recommendations

Model-Driven In-the-Loop Validation: Simulation-Based Testing of UAV Software Using Virtual Environments

Towards Autonomous Autorotation Landing for Small Size Unmanned Helicopters

Model based UAV autopilot tuning