Accession Number : ADP006476

Title :   Formal Specification of Satellite Telemetry: A Practical Experience,

Corporate Author : OFFICE NATIONAL D'ETUDES ET DE RECHERCHES AEROSPATIALES CHATILLON-SOUS-BAGNEUX (FRANCE)

Personal Author(s) : Hufflen, Jean-Michel ; Lemoine, Michel

Report Date : SEP 1991

Pagination or Media Count : 9

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.

Descriptors :   *AERONAUTICS, *TELEMETER SYSTEMS, *SOFTWARE ENGINEERING, CORES, INDUSTRIES, PAPER, PROCESSING, REQUIREMENTS, SPECIFICATIONS, SURVEYS, REUSABLE EQUIPMENT.

Subject Categories : Telemetry
      Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE