This paper introduces a domain model for use in diagnostic problem solving. It emphasizes functional decomposition, rather than behavior, cause-effect, or spatial structure, and represents explicitly the faults of a system together with its possible explanations. Various possible problem solving actions that operate over a function-fault model are introduced.