Automated augmented model extension for robust system design

摘要

A method is provided for automatically generating an augmented model of a cyber-physical component. Cyber-physical components are built from or depend upon the synergy computational and physical components. The method includes: reading an input model (22) into a processor (10), the input model describing a nominal mode of operation for a physical component modeled by the input model; parsing with the processor the input model to generate a parse thereof; analyzing with the processor the parse of the input model; and automatically writing with the processor an augmented model (42) for the physical component from the input model based on the analysis, the augmented model describing the nominal mode of operation for the modeled physical component and at least one alternate mode of operation for the modeled physical component which is different from the nominal mode of operation. The augmented component models can be used to provide analyses of the behavior of faulted systems, including diagnosis, reliability, resiliency to faults and maintainability.