Model-Based Programming of Intelligent Embedded Systems Through Offline Compilation
Many recent and future space missions point to the need for increased autonomy in spacecraft with an emphasis on more capable fault diagnostic systems. The most widely used fault diagnostic systems are rule-based. Rule-based systems have quick response to events and clearly present to engineers the predefined reactions to events. These systems, however, require engineers to manually generate all necessary rules and these do not convey the assumed model the engineers used to generate the rules. Contrarily, model-based systems eliminate the need to manually generate the rules. Programming complex embedded systems involves reasoning through intricate system interactions along lengthy paths between sensors, actuators, and control processors.