Source Code Optimization Techniques for Data Flow Dominated Embedded Software

Falk, Heiko; Marwedel, Peter

doi:10.1007/978-1-4020-2829-8

Cited by 28 publications

(18 citation statements)

References 27 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…This replacement procedure is done before applying optimization techniques to improve the quality of optimum while removing common expressions. First, we browse each statement in a basic block to determine expressions and subexpressions [7], [8]. Then, we identify equivalent expression from those.…”

Section: Develop the Optimization Methodsmentioning

confidence: 99%

A New Approach to Embedded Software Optimization Based on Reverse Engineering

Bình

Hưởng

Hai

2015

IEICE Trans. Inf. & Syst.

View full text Add to dashboard Cite

SUMMARYOptimizing embedded software is a problem having scientific and practical signification. Optimizing embedded software can be done in different phases of the software life cycle under different optimal conditions. Most studies of embedded software optimization are done in forward engineering and these studies have not given an overall model for the optimization problem of embedded software in both forward engineering and reverse engineering. Therefore, in this paper, we propose a new approach to embedded software optimization based on reverse engineering. First, we construct an overall model for the embedded software optimization in both forward engineering and reverse engineering and present a process of embedded software optimization in reverse engineering. The main idea of this approach is that decompiling executable code to source code, converting the source code to models and optimizing embedded software under different levels such as source code and model. Then, the optimal source code is recompiled. To develop this approach, we present two optimization techniques such as optimizing power consumption of assembly programs based on instruction schedule and optimizing performance based on alternating equivalent expressions.

show abstract

Section: Develop the Optimization Methodsmentioning

confidence: 99%

A New Approach to Embedded Software Optimization Based on Reverse Engineering

Bình

Hưởng

Hai

2015

IEICE Trans. Inf. & Syst.

View full text Add to dashboard Cite

show abstract

“…There is no need for a lexer, parser and type checker. However, the backend C code generator applies well-known optimization techniques described in [8] among others.…”

Section: Related Work a Compilation Methodsmentioning

confidence: 99%

“…* Main> eval powersOfTwo [1,2,4,8,16,32,64,128] In addition to the above constructs, the core language also contains quite a large number of primitive functions; for example, arithmetic functions ((+), ( * ), etc.) and relational operators ((==), (<), etc.…”

Section: A Core Languagementioning

confidence: 99%

Feldspar: A domain specific language for digital signal processing algorithms

Axelsson

Claessen

Dévai

et al. 2010

Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010)

View full text Add to dashboard Cite

Abstract-A new language, Feldspar, is presented, enabling high-level and platform-independent description of digital signal processing (DSP) algorithms. Feldspar is a pure functional language embedded in Haskell. It offers a high-level dataflow style of programming, as well as a more mathematical style based on vector indices. The key to generating efficient code from such descriptions is a high-level optimization technique called vector fusion. Feldspar is based on a low-level, functional core language which has a relatively small semantic gap to machine-oriented languages like C. The core language serves as the interface to the back-end code generator, which produces C. For very small examples, the generated code performs comparably to hand-written C code when run on a DSP target. While initial results are promising, to achieve good performance on larger examples, issues related to memory access patterns and array copying will have to be addressed.

show abstract

“…Для решения этих задач программная инженерия выработала множество средств: методо-логические [1,2], которые определяют основные и сопутствующие процес-сы разработки ПО, и формальные [3][4][5][6], являющиеся автоматизированными инструментами для поиска ошибок в программном коде. Необходимо отме-тить, что на сегодняшний день методологический аппарат, который является неформальным и во многом зависит от людей, которые его используют, спо-собствует раннему обнаружению ошибок в программном продукте и его стабилизации, но не о гарантии отсутствия ошибок в нем.…”

Section: введение и обзор литературыunclassified

Comparison of methods of program cycle transformation with using of the symbolic notation

Voevoda¹,

Romannikov²

2015

Transaction of Scientific Papers of the NSTU

View full text Add to dashboard Cite

Современные технические системы -это, возможно, одни из самых сложных технических систем во всей человеческой деятельности. На сегодняшний день такие системы чаще все-го состоят из интеграции программной и аппаратной частей. При этом рост сложности са-мой системы приводит к значительному увеличению сложности разработки и контроля за качеством программной системы. На сегодняшний день в индустрии разработки про-граммного обеспечения нет формальных средств, которые могли бы гарантировать отсут-ствие программных ошибок. Большое влияние на сложность программного анализа ока-зывает значительное увеличение программных путей, в особенности из-за наличия услов-ных операторов в циклах. В данной статье рассматривается подход уменьшения количе-ства программных путей, который основан на символьной нотации. Согласно данному подходу программный цикл должен быть представлен как символьное выражение, кото-рое определяет переменные и в котором условные операторы представлены в виде допол-нительных переменных. После этого программа должна быть представлена в виде дерева с вершинами в виде контекстов. Далее полученное дерево контекстов может быть проана-лизировано в любом состоянии путем вычисления выражения, в котором содержатся воз-можные значения переменных вместо их символьного представления. Статья завершается формулированием общего алгоритма анализа программы. Задача получения формального алгоритма преобразования цикла является темой отдельного исследования и будет рас-смотрена в последующих работах, так же как и представление математического аппарата для вычисления возможных значений символьных выражений при подстановке в него возможных значений переменных.Ключевые слова: программное обеспечение, тестирование, входные интервалы, фор-мальная верификация, динамическая верификация, верификация, проверка моделей, модели программного обеспечения, графы, тотальная корректность программ

show abstract

Source Code Optimization Techniques for Data Flow Dominated Embedded Software

Cited by 28 publications

References 27 publications

A New Approach to Embedded Software Optimization Based on Reverse Engineering

A New Approach to Embedded Software Optimization Based on Reverse Engineering

Feldspar: A domain specific language for digital signal processing algorithms

Comparison of methods of program cycle transformation with using of the symbolic notation

Contact Info

Product

Resources

About