Model-based diagnosis support for satellite-based instruments

An accurate understanding of the current health status is an essential part of the central of highly autonomous systems. This health information is delivered by what is normally known as diagnosis systems. Due to the complexity of systems, the construction of diagnosis systems is hard. The so-called model-based approach simplifies this task as only a behavioral specification of each of the system's components is needed. In this paper we describe UpTime, a tool supporting the construction of component-based models of device behavior and the generation of diagnostic algorithms. The main features of UpTime are: (i) declarative and component-based description of system behavior to ease the modeling phase; (ii) support for automatic hierarchical abstraction generation; and (iii) generation of test vectors that take safety conditions into account.