JPL Technical Report Server

Deductive glue code synthesis for embedded software systems based on code patterns

Show simple item record Liu, Jian Zhang, Yansheng Bastani, Farokh Yen, I-Ling Tai, Ann Chau, Savio N. Fu, Jicheng 2007-02-22T16:16:38Z 2007-02-22T16:16:38Z 2006-06-14
dc.identifier.citation ACM Sig Plan/Sig Bed Conference on Languages, Compilers, and Tools for Embedded System, Ottawa, Canada, June 14, 2006. en
dc.identifier.clearanceno 06-0468
dc.description.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. en
dc.description.sponsorship NASA/JPL en
dc.format.extent 1297891 bytes
dc.format.mimetype application/pdf
dc.language.iso en_US en
dc.publisher Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2006. en
dc.subject real-time system en
dc.subject code patterns en
dc.subject automated code synthesis en
dc.subject deductive code synthesis en
dc.title Deductive glue code synthesis for embedded software systems based on code patterns en
dc.type Preprint en

Files in this item

This item appears in the following Collection(s)

Show simple item record



My Account