Platform-based embedded software design and system integration for autonomous vehicles
Horowitz, B.
Liebman, J.
Ma, C.
Koo, T.J.
Sangiovanni-Vincentelli, A.
Sastry, S.S.
Dept. of Electr. Eng. & Comput. Sci., Univ. of California, Berkeley, CA, USA;
This paper appears in: Proceedings of the IEEE
Publication Date: Jan 2003
Volume: 91,
Issue: 1
On page(s): 198- 211
ISSN: 0018-9219
INSPEC Accession Number: 7521718
Digital Object Identifier: 10.1109/JPROC.2002.805827
Current Version Published: 2003-01-29
Abstract
Automatic 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 because of missed timing constraints and subtle transient errors. In this paper, we use the concepts of platform-based design to develop a methodology for the design of automatic 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 helicopter-based uninhabited aerial vehicle.
Index
Terms
Available to subscribers and IEEE members.
References
Available to subscribers and IEEE members.
Citing Documents
Available to subscribers and IEEE members.
Cart
