Title
Analysis of the use of declarative languages for enhanced embedded system software development
Abstract
With the increased demand for programmability in embedded applications, the pressure for producing high performance software in a timely fashion has grown over the years. For this reason, declarative languages, as they provide more abstraction than traditional languages like Java, could be used to code embedded system applications. In this paper we present comparative results of the use of declarative languages to describe embedded applications. We designed the MP3*, an embedded application containing the IMDCT algorithm (an essential part of an MP3 player) together with an Address Book and Sokoban and Tic-tac-toe games. We coded all applications in Ocaml and Prolog to analyze the resulting abstraction and performance, and then compared them to the Java equivalent codes. For some applications, a comparison with a language that is especially oriented for embedded systems was also provided. The main objective of this study is the analysis of the abstraction level achieved with the shift from the imperative programming paradigm to the declarative paradigm, considering its impact in terms of performance and memory in the embedded systems domain.
Year
DOI
Venue
2007
10.1145/1284480.1284565
SBCCI
Keywords
DocType
Citations 
declarative paradigm,enhanced embedded system software,high performance software,embedded systems domain,declarative language,resulting abstraction,embedded system application,java equivalent code,embedded application,abstraction level,embedded system,modeling languages,programming paradigm,software development,embedded software,modeling language
Conference
0
PageRank 
References 
Authors
0.34
14
6
Name
Order
Citations
PageRank
Emilena Specht191.29
Ricardo Miotto Redin2322.51
Luigi Carro31393166.42
Luís C. Lamb428050.02
Erika Fernandes Cota500.34
Flávio Rech Wagner638059.82