P. Pandurang Nayak, Leo Joskowicz, Sanjaya Addanki
Effective reasoning about complex engineered devices requires device models that are both adequate for the task and computationally efficient. This paper presents a method for constructing simple and adequate device models by selecting appropriate models for each of the device’s components. Appropriate component models are determined by the context in which the device operates. We introduce context-dependent behaviors (CDBS), a component behavior model representation for encapsulating contextual modeling constraints. We show how CDBs are used in the model selection process by exploiting constraints from three sources: the structural and behavioral contexts of the components, and the expected behavior of the device. We describe an implemented program for selecting a simplest adequate model. The inputs are the structure of the device, the expected device behavior, and a library of CDBs. The output is a set of component CDBs forming a structurally and behaviorally consistent device model that achieves the expected behavior.