Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Computer-Aided Recoding to Create Structured and Analyzable System Models

Computer-Aided Recoding to Create Structured and Analyzable System Models Computer-Aided Recoding to Create Structured and Analyzable System Models PRAMOD CHANDRAIAH and RAINER DOMER, University of California, Irvine In embedded system design, the quality of the input model has a direct bearing on the effectiveness of the system exploration and synthesis tools. Given a well-written system model, tools today are effective in generating working implementations. However, readily available C reference code is not conducive for immediate system synthesis as it lacks needed features for automatic analysis and synthesis. Among others, the lack of proper structure and the presence of intractable pointers in the reference code are factors that seriously hamper the effectiveness of system design tools. To overcome these de ciencies, we aim to automate the conversion of ‚at C code into a well-structured system model by applying automated source code transformations. We present a set of computer-aided recoding operations that enable the system designer to mitigate pointer problems and quickly create the necessary structural hierarchy so that the design model becomes easily analyzable and synthesizable. Utilizing the designer ™s knowledge, our interactive recoding transformations aid the designer in ef ciently creating well-structured system models for rapid design space exploration and successful synthesis. Our estimated and measured experimental http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png ACM Transactions on Embedded Computing Systems (TECS) Association for Computing Machinery

Computer-Aided Recoding to Create Structured and Analyzable System Models

Loading next page...
 
/lp/association-for-computing-machinery/computer-aided-recoding-to-create-structured-and-analyzable-system-bbHeqKMOgo

References (42)

Publisher
Association for Computing Machinery
Copyright
Copyright © 2012 by ACM Inc.
ISSN
1539-9087
DOI
10.1145/2180887.2180900
Publisher site
See Article on Publisher Site

Abstract

Computer-Aided Recoding to Create Structured and Analyzable System Models PRAMOD CHANDRAIAH and RAINER DOMER, University of California, Irvine In embedded system design, the quality of the input model has a direct bearing on the effectiveness of the system exploration and synthesis tools. Given a well-written system model, tools today are effective in generating working implementations. However, readily available C reference code is not conducive for immediate system synthesis as it lacks needed features for automatic analysis and synthesis. Among others, the lack of proper structure and the presence of intractable pointers in the reference code are factors that seriously hamper the effectiveness of system design tools. To overcome these de ciencies, we aim to automate the conversion of ‚at C code into a well-structured system model by applying automated source code transformations. We present a set of computer-aided recoding operations that enable the system designer to mitigate pointer problems and quickly create the necessary structural hierarchy so that the design model becomes easily analyzable and synthesizable. Utilizing the designer ™s knowledge, our interactive recoding transformations aid the designer in ef ciently creating well-structured system models for rapid design space exploration and successful synthesis. Our estimated and measured experimental

Journal

ACM Transactions on Embedded Computing Systems (TECS)Association for Computing Machinery

Published: Jun 1, 2012

There are no references for this article.