A New Design and Verification Technique for Virtual Prototypes of  UAV Flight Controllers

YANG Zhong; SHEN Chun-lin; LIU Jiu-fu

YANG Zhong, SHEN Chun-lin, LIU Jiu-fu. A New Design and Verification Technique for Virtual Prototypes of UAV Flight Controllers[J]. INFORMATION AND CONTROL, 2005, 34(1): 81-85.

Citation:

YANG Zhong, SHEN Chun-lin, LIU Jiu-fu. A New Design and Verification Technique for Virtual Prototypes of UAV Flight Controllers[J]. INFORMATION AND CONTROL, 2005, 34(1): 81-85.

Citation:

YANG Zhong, SHEN Chun-lin, LIU Jiu-fu. A New Design and Verification Technique for Virtual Prototypes of UAV Flight Controllers[J]. INFORMATION AND CONTROL, 2005, 34(1): 81-85.

A New Design and Verification Technique for Virtual Prototypes of UAV Flight Controllers

Graphical Abstract

Graphical Abstract

Abstract

Abstract

A new design and verification technique based on Statemate for the virtual prototype (VP) of flight controllers(FC), namely FC-VP, is studied to meet the requirement of rapid and reliable development of FC. A hierarchical function model of FC is set up with Activity-charts. Following the detailed description of FC behaviors based on Statecharts are three verification and test methods for the FC-VP. The research opens a practical way for the engineering implementation of complex embedded systems (e.g. FC) and the application of VP in control systems, and is much worthy of applying and generalizing.

FullText(HTML)

References (10)

Cited By

A New Design and Verification Technique for Virtual Prototypes of UAV Flight Controllers

Graphical Abstract

Abstract

Catalog

Export File

Citation

Format

Content