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