Formal Techniques for Automatically Generating Marshalling Code from High-Level Specifications

Authors:
Paul Dietz;Thomas Weigert;Frank Weil
Affiliations:
-;-;-
Venue:
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Year:
1998

Citing 8
Cited 5

Architectural considerations for a new generation of protocols

SIGCOMM '90 Proceedings of the ACM symposium on Communications architectures & protocols
Gigabit networking

Gigabit networking
USC: a universal stub compiler

SIGCOMM '94 Proceedings of the conference on Communications architectures, protocols and applications
Computer networks: a systems approach

Computer networks: a systems approach
A software engineering experiment in software component generation

Proceedings of the 18th international conference on Software engineering
Practical Software Maintenance: Best Practices for Managing Your Software Investment

Practical Software Maintenance: Best Practices for Managing Your Software Investment
Software Engineering Economics

Software Engineering Economics
A Complexity Measure

IEEE Transactions on Software Engineering

Transferring Formal Methods Technology to Industry

WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Modeling real-time communication systems: Practices and experiences in Motorola

Journal of Visual Languages and Computing
Experience on knowledge-based software engineering: A logic-based requirements language and its industrial applications

Journal of Systems and Software
Guidelines for using SDL in product development

SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
Model-Driven engineering in a large industrial context — motorola case study

MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.