The Pachinko Framework for analysis of fault management systems
Steven Guerrini · ProQuest Demo Repository · 2012
Fault management systems (FMS) are critical to an electromechanical system's ability to perform as intended even in the presence of failures and degradation. An FMS is designed to detect the presence of an off-nominal condition, isolate the root cause, and identify and perform a protective or corrective action. Complex systems, such as satellites, require complex fault management systems that are extremely difficult to analyze, validate, and test. This thesis proposes and documents a proof of concept software framework to assist analysis and verification of such fault management systems. Rather than emulate processing of a specific FMS, the Pachinko Framework defines building blocks and logic inherent to fault management systems and interconnects them with the simple and scalable Observer design pattern. This simple, portable, flexible, and scalable framework is designed to provide additional insight into flaws designed into an FMS, helping the analyst identify and mitigate risk.