Skip to main content
Log in

Model-Based Design, Development and Validation for UAS Critical Software

  • Published:
Journal of Intelligent & Robotic Systems Aims and scope Submit manuscript

Abstract

This paper focuses on the major phases present in the development of critical software for UAS: design, development, testing and validation with flying experiments. A model-based approach is the backbone of all these development phases. The presented approach enables the researchers or engineers to work over the whole development cycle with the same tools, and produces an improvement over the classical design cycle. The model-based approach is illustrated with the development of guidance, navigation and control algorithms applied to rotary-wing UAVs. The paper discusses several implementation issues, including the integration of a hardware in the loop (HWIL) test environment within the model-based development cycle. Finally, several simulations and experimental results for this application are shown.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Bhatt, D., Hall, B., Dajani-Brown, S., Hickman, S., Paulitsch, M.: Model-based development and implications to design assurance and certification. In: The Proceedings of the Digital Avionics Systems Conference (2005)

  2. Kirby, B., Kang, H.: Model based design for power systems protection relays, using matlab & simulink. In: The Proceedings of the IET 9th International Conference on Developments in Power System Protectio (2008)

  3. Ahmadian, M., Nazari, Z.J., Nakbaeet, N., Kostic, Z.: Model based design and SDR. In: The Proceedings of the lEEE/EURASIP Conference on DSPenbaleRadio (2005)

  4. Orehek, M., Robl, C.: Model-based design of an ECU with data- and event-driven parts using auto code generation. In: The Proceedings of the International Conference on Robotics and Automation (ICRA) (2001)

  5. Kalman, R.E.: A new approach to linear filtering and prediction problems. J. Basic Eng. 82, 35–45 (1960)

    Article  Google Scholar 

  6. Musial, M., Deeg, C., Remuss, V., Hommel, G.: Orientation sensing for helicopter UAVs under strict resource constraints. In: The First European Micro Air Vehicle Conference and Flight Competition (2004)

  7. Kondak, K., Bernard, M., Losse, N., Hommel, G.: Elaborated modeling and control for autonomous small size helicopters. ISR/ROBOTIK (2006)

  8. Kondak, K., Deeg, C., Hommel, G., Musial, M., Remuss, V.: Mechanical model and control of an autonomous small size helicopter with a stiff main rotor. In: The Proceedings of the International Coference on Intelligent Robots and Systems (IROS) (2004)

  9. Millar, M.P.: An accurate method of measuring the moments of inertia of airplanes. Langley Memorial Aeronautical Laboratory, naca-tn-35 (1930)

  10. Béjar, M.: Methodology and techniques for designing control systems of autonomous helicopters. Ph.D. thesis, University of Seville (2009)

  11. Object Management Group, Inc., The Unified Modeling Language™ (UML), Needham, MA. http://www.uml.org/

  12. The MathWorks MATLAB® and Simulink®. http://www.mathworks.com

  13. SCADE Suite™, Esterel Technologies France. http://www.esterel-technologies.com/

  14. Maza, I., Caballero, F., Capitan, J., Martines-de-Dios, J., Ollero, A.: A distributed architecture for a robotic platform with aerial sensor transportation and self-deployment capabilities. J. Field Robot. 28, 303–328 (2011)

    Article  Google Scholar 

  15. Maza, I., Kondak, K., Bernard, M., Ollero, A.: Multi-UAV cooperation and control for load transportation and deployment. J. Intell. Robot. Syst. 57, 417–449 (2010)

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Antidio Viguria.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Santamaría, D., Alarcón, F., Jiménez, A. et al. Model-Based Design, Development and Validation for UAS Critical Software. J Intell Robot Syst 65, 103–114 (2012). https://doi.org/10.1007/s10846-011-9618-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10846-011-9618-9

Keywords

Navigation