Model-based software tools for integrated vehicle health management

Present day IVHM systems are often constructed using hand-written code that is hard to produce and difficult to verify and maintain. In this paper we introduce a suite of model-based tools that allow for the construction of embeddable IVHM applications using a model-based approach. Reusable (and potentially validated) reasoners are used in conjunction with executable code that is generated from models, thus allowing the integration of the reasoner as, a component into a larger on-board system. This paper describes the toolsuite, the modeling approach used, the runtime environment, and some of the applications where the tools were used.