Specification of hybrid components of control systems

摘要

Stepwise refinement design strategy for control systems is described and the need for uniform commitment structures of specifications is motivated. A conceptual framework for sensor specifications is defined in terms of a set of virtual inputs/outputs and abstraction functions on their value domains. Hybrid dynamics of sensors is characterized using a small set of generalized phases and phase transitions. Conceptual description is formalized using hybrid automata. For modeling the degradation of dependability and trustiness of sensors, an aging function is introduced. Applicability of this approach is demonstrated on a real specification example - temperature sensor AD59OKH.