Formal Specification of Satellite Telemetry: A Practical Experience,
Jean-Michel Hufflen, Michel Lemoine · STIN · 1991
Abstract : We expose an experience of using formal algebraic specifications, conducted in collaboration with an aeronautic industry. The objective is to provide a reusable specification of processing telemetry results. This family of spatial applications is described by means of generic formal specifications, and each telemetry could be built from them. Reuse possibilities are supported by our framework. In this paper, we give a general survey of this experience, including its story, the method followed for establishing the generic specifications which are the system core, and reuse aspects provided. formal specification, telemetry decommutation, design and software reuse, fast prototyping, requirements elaboration.