Model checking embedded system designs

We survey the basic principles behind the application of model checking to controller verification and synthesis. A promising development is the area of guided model checking, in which the state space search strategy of the model checking algorithm can be influenced to visit more interesting sets of states first. In particular, we discuss how model checking can be combined with heuristic cost functions to guide search strategies. Finally, we list a number of current research developments, especially in the area of reachability analysis for optimal control and related issues

Model mount system for testing flutter

A wind tunnel model mount system is disclosed for effectively and accurately determining the effects of attack and airstream velocity on a model airfoil or aircraft. The model mount system includes a rigid model attached to a splitter plate which is supported away from the wind tunnel wall several of flexible rods. Conventional instrumentation is employed to effect model rotation through a turntable and to record model flutter data as a function of the angle of attack versus dynamic pressure

Metric half-span model support system

A model support system used to support a model in a wind tunnel test section is described. The model comprises a metric, or measured, half-span supported by a nonmetric, or nonmeasured half-span which is connected to a sting support. Moments and forces acting on the metric half-span are measured without interference from the support system during a wind tunnel test

Arbitrarily shaped model survey system Patent

Deformation measuring apparatus with feedback control for arbitrarily shaped structure