BEACON eSpace at Jet Propulsion Laboratory >
JPL Technical Report Server >
JPL TRS 1992+ >
Please use this identifier to cite or link to this item:
|Title: ||Deductive glue code synthesis for embedded software systems based on code patterns|
|Authors: ||Liu, Jian|
Chau, Savio N.
|Keywords: ||real-time system|
automated code synthesis
deductive code synthesis
|Issue Date: ||14-Jun-2006 |
|Publisher: ||Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2006.|
|Citation: ||ACM Sig Plan/Sig Bed Conference on Languages, Compilers, and Tools for Embedded System, Ottawa, Canada, June 14, 2006.|
|Abstract: ||Automated code synthesis is a constructive process that can be used to generate programs from specifications. It can, thus, greatly reduce the software development cost and time. The use of formal code synthesis approach for software generation further increases the dependability of the system. Though code synthesis has many potential benefits, the synthesis techniques are still limited. Meanwhile, components are widely used in embedded system development. Applying code synthesis to component based software development (CBSD) process can greatly enhance the capability of code synthesis while reducing the component composition efforts. In this paper, we discuss the issues and techniques for applying deductive code synthesis techniques to CBSD. For deductive synthesis in CBSD, a rule base is the key for inferring appropriate component composition. We use the code patterns to guide the development of rules. Code patterns have been proposed to capture the typical usages of the components. Several general composition operations have been identified to facilitate systematic composition. We present the technique for rule development and automated generation of new patterns from existing code patterns. A case study of using this method in building a real-time control system is also presented.|
|Appears in Collections:||JPL TRS 1992+|
Items in DSpace are protected by copyright, but are furnished with U.S. government purpose use rights.