Embedded software design and system integration for rotorcraft UAV using platforms

Horowitz B, Liebman J, Ma C, Koo TJ, Henzinger TA, Sangiovanni Vincentelli A, Sastry S. 2002. Embedded software design and system integration for rotorcraft UAV using platforms. Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control. IFAC: World Congress on Automatic Control vol. 15.

Download
No fulltext has been uploaded. References only!

Conference Paper | Published | English

Scopus indexed
Author
Horowitz, Benjamin; Liebman, Judith; Ma, Cedric; Koo, T John; Henzinger, Thomas AISTA ; Sangiovanni Vincentelli, Alberto; Sastry, Shankar
Abstract
Automation control systems typically incorporate legacy code and components that were originally designed to operate independently. Furthermore, they operate under stringent safety and timing constraints. Current design strategies deal with these requirements and characteristics with ad hoc approaches. In particular, when designing control laws, implementation constraints are often ignored or cursorily estimated. Indeed, costly redesigns are needed after a prototype of the control system is built due to missed timing constraints and subtle transient errors. In this paper, we use the concepts of platform-based design, and the Giotto programming language, to develop a methodology for the design of automation control systems that builds in modularity and correct-by-construction procedures. We illustrate our strategy by describing the (successful) application of the methodology to the design of a time-based control system for a rotorcraft Uninhabited Aerial Vehicle (UAV).
Publishing Year
Date Published
2002-07-01
Proceedings Title
Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control
Acknowledgement
Research supported in part by DARPA under contract no.F33615-98-C-3614, Software Enabled Control, administered by AFRL, Dayton OH.
Volume
15
Issue
1
Conference
IFAC: World Congress on Automatic Control
Conference Location
Barcelona, Spain
Conference Date
2002-07-21 – 2002-07-26
ISSN
IST-REx-ID

Cite this

Horowitz B, Liebman J, Ma C, et al. Embedded software design and system integration for rotorcraft UAV using platforms. In: Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control. Vol 15. Elsevier; 2002. doi:10.3182/20020721-6-ES-1901.01628
Horowitz, B., Liebman, J., Ma, C., Koo, T. J., Henzinger, T. A., Sangiovanni Vincentelli, A., & Sastry, S. (2002). Embedded software design and system integration for rotorcraft UAV using platforms. In Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control (Vol. 15). Barcelona, Spain: Elsevier. https://doi.org/10.3182/20020721-6-ES-1901.01628
Horowitz, Benjamin, Judith Liebman, Cedric Ma, T John Koo, Thomas A Henzinger, Alberto Sangiovanni Vincentelli, and Shankar Sastry. “Embedded Software Design and System Integration for Rotorcraft UAV Using Platforms.” In Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control, Vol. 15. Elsevier, 2002. https://doi.org/10.3182/20020721-6-ES-1901.01628.
B. Horowitz et al., “Embedded software design and system integration for rotorcraft UAV using platforms,” in Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control, Barcelona, Spain, 2002, vol. 15, no. 1.
Horowitz B, Liebman J, Ma C, Koo TJ, Henzinger TA, Sangiovanni Vincentelli A, Sastry S. 2002. Embedded software design and system integration for rotorcraft UAV using platforms. Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control. IFAC: World Congress on Automatic Control vol. 15.
Horowitz, Benjamin, et al. “Embedded Software Design and System Integration for Rotorcraft UAV Using Platforms.” Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control, vol. 15, no. 1, Elsevier, 2002, doi:10.3182/20020721-6-ES-1901.01628.

Export

Marked Publications

Open Data ISTA Research Explorer

Search this title in

Google Scholar