loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06)
Deductive Glue Code Synthesis for Embedded Software Systems Based on Code Patterns
Gyeongju, Korea
April 24-April 26
ISBN: 0-7695-2561-X
Jian Liu, University of Texas at Dallas, USA
Jicheng Fu, University of Texas at Dallas, USA
Yansheng Zhang, University of Texas at Dallas, USA
Farokh Bastani, Univesity of Texas at Dallas, USA
I-Ling Yen, University of Texas at Dallas, USA
Ann Tai, IA Tech, Inc., Los Angeles, CA
Savio Chau, Jet Propulsion Laboratory, Pasadena, CA
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.
Index Terms:
Real-time system, Code patterns, Automated code synthesis, Deductive code synthesis
Citation:
Jian Liu, Jicheng Fu, Yansheng Zhang, Farokh Bastani, I-Ling Yen, Ann Tai, Savio Chau, "Deductive Glue Code Synthesis for Embedded Software Systems Based on Code Patterns," isorc, pp.109-116, Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.