NASA Jet Propulsion Laboratory California Institute of Technology Follow this link to skip to the main content

BEACON eSpace at Jet Propulsion Laboratory >
JPL Technical Report Server >
JPL TRS 1992+ >

Please use this identifier to cite or link to this item: http://hdl.handle.net/2014/40116

Title: Deductive glue code synthesis for embedded software systems based on code patterns
Authors: Liu, Jian
Zhang, Yansheng
Bastani, Farokh
Yen, I-Ling
Tai, Ann
Chau, Savio N.
Fu, Jicheng
Keywords: real-time system
code patterns
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.
URI: http://hdl.handle.net/2014/40116
Appears in Collections:JPL TRS 1992+

Files in This Item:

File Description SizeFormat
06-0468.pdf1.27 MBAdobe PDFView/Open

Items in DSpace are protected by copyright, but are furnished with U.S. government purpose use rights.

 

Privacy/Copyright Image Policy Beacon Home Contact Us
NASA Home Page + Div 27
+ JPL Space
Site last updated on December 5, 2014.
If you have any comments or suggestions for this web site, please e-mail Robert Powers.