By Topic

Formal techniques for automatically generating marshalling code from high-level specifications

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Dietz, P. ; Software & Syst. Eng. Res. Lab., Motorola Inc., Schaumburg, IL, USA ; Weigert, T. ; Weil, F.

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 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

Published in:

Industrial Strength Formal Specification Techniques, 1998. Proceedings. 2nd IEEE Workshop on

Date of Conference:

1998