Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Formal Techniques for Automatically Generating Marshalling Code from High-Level Specifications
Boca Raton, Florida
October 20-October 23
ISBN: 0-7695-0081-1
This paper presents the application of automated code generation to the development of marshalling code (also known as presentation conversion code). The techniques and automated tools as well as the results of an industrial application are described. Marshalling code amounts to approximately half of the signalling software in a subscriber radio, and as such constitutes approximately 20% of the total software in a radio. Development of marshalling code is considered to be a difficult, error-prone, and labor-intensive task. We have successfully developed significant portions of the infrastructure and subscriber software for the TETRA (Terrestrial Trunked Radio) protocol standard through automated code generation techniques using the process outlined in this paper.
Citation:
Paul Dietz, Thomas Weigert, Frank Weil, "Formal Techniques for Automatically Generating Marshalling Code from High-Level Specifications," wift, pp.40, Second IEEE Workshop on Industrial Strength Formal Specification Techniques, 1998