Application name:

Data Acquisition, Monitoring and Commanding of Space Equipment

Organisation:

Daimler-Benz Research and Technologyand an operating division of Daimler-Benz Aerospace

Method:

Z in combination with Structured Analysis (SA)

Tools:

ESZ (Typechecker for Z)

Domain:

Space systems

Period:

1996 - 1997

Size:

appr. 550 lines of Z (appr. 55 pages including detailed informal explanations)

Description:

The main function of the system component under consideration is to acquire, monitor and distribute data from and accept and distribute commands to data management equipment flying in space. The formal specification language Z was used to specify the functional requirements of the system component. The specification was written by three formal method experts.

Conclusions:

The formal specification confirmed the applicability of the chosen approach to essential parts of system level specifications.

Publications:

None.

Contact:

Name:	Andreas Fett
Organisation:	Daimler-Benz AG
Address:	Research and Technology Alt-Moabit 96a D-10559 Berlin
Country:	Germany
Phone number:	+49 (30) 39982209
Fax:	+49 (30) 39982107
E-mail:	Andreas.Fett@dbag.bln.DaimlerBenz.com

© copyright 2004 | Formal Methods Europe