Refinement of mixed-signals systems with affine arithmetic
Christoph Grimm, Wilhelm Heupke, Klaus Waldschmidt · 2004
This paper describes a framework for the refinement of control and signal processing functions. The design starts with an executable specification, and allowed deviations thereof. Refinement steps introduce models of analog or digital implementations, and augment the 'ideal' behavior with different sources of uncertainty. The framework verifies and analyzes the influence of these uncertainties on system properties using affine arithmetic.