Automated source code annotation for timing analysis of embedded software

Joy, Mabel Mary; Becker, Markus; Mueller, Wolfgang; Mathews, Emi

doi:10.1109/adcom.2012.6563578

Cited by 7 publications

(6 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For example, Tan et al propose an approach for achieving uniform performance across multiple platforms by identifying algebraic expressions in user-annotated code and replacing them with vendor-specific optimum library calls. 47 Bolla et al study a smart cloud infrastructure management tool that exploits user annotations along with performance profiling to estimate the resources required for the components of a system. PAL executes annotated methods in parallel and uses the meta information from its annotations to efficiently tailor the parallelized code for the distributed platform that it runs on.…”

Section: Projects Utilizing Java Annotationsmentioning

confidence: 99%

“…The annotations are identified by a custom scheduler, and used for accurate timing analysis and task scheduling. 47 Bolla et al study a smart cloud infrastructure management tool that exploits user annotations along with performance profiling to estimate the resources required for the components of a system. 48 Annotations have received significance in communicating information across development teams as well.…”

Section: Projects Utilizing Java Annotationsmentioning

confidence: 99%

See 1 more Smart Citation

@PT: Unobtrusive parallel programming with Java annotations

Mehrabi

Giacaman

Sinnen

2018

Concurrency and Computation

View full text Add to dashboard Cite

Parallel computing techniques have been supported by programming languages in two major ways: either library-based APIs or extended language constructs. Library-based features are portable and offer fine-grained control on parallelization details. However, they rely on individual programmer skills; thus, they may lead to inconsistent implementations and considerable code restructurings. On the contrary, language constructs promote environments that largely conceal the details of parallel programming techniques. However, they normally reduce programmer control over the granularity of parallelization and impose additional development concepts and compilation requirements that may sacrifice ease of use and portability. Therefore, approaches that balance between programmer control on parallelization details, intuitiveness of concepts, and portability can gain priority over other paradigms. In this paper, we discuss @PT (Annotation Parallel Task), a parallel computing framework that proposes Java annotations, standard Java components, as its language constructs. @PT takes an object-oriented approach on efficient execution and management of asynchronous tasks, with a special focus on GUI-responsive applications.This paper presents the annotation-based programming interface of the framework and its fundamental parallelization concepts. Furthermore, it studies the usability and performance of @PT by comparisons with other Java parallelization approaches in a set of standard benchmarks. The observations suggest that @PT maintains a simple programming interface, whereas it performs efficiently in different parallel computing domains. INTRODUCTIONThe proliferation of multi-core systems has encouraged support for parallel computing in shared-memory systems. The support is often offered in the form of libraries (eg, TPL and PLINQ in C# 1 ) or language constructs (eg, OpenMP 2 ). The majority of library-based approaches provide APIs that cover a wide range of fine-grained functions that can be combined to form flexible and efficient implementations for different parallel computing domains. Assembling and combining these functions for building a working system remains the responsibility of individual programmers. Here, the quality of software design depends on the programming approaches that are practiced by individuals. Reliance on the technical abilities and coding styles of individuals leads to inconsistent implementation and performance standards, some of which can be inefficient and complex to modify.In order to overcome the risks mentioned above, approaches such as Microsoft, PPL, 3 Java Streams, 4 SKePU, 5 and FastFlow 6 offer library APIs that implement frequent parallel processing patterns. Examples of these patterns are: map, reduce, farm, pipeline, asynchronous tasks, and so on. 5The pre-built components of these APIs improve consistency and efficiency across different implementations. In addition, these patterns can be composed to form bigger parallel applications. However, one needs to know what pattern to choose f...

show abstract

Section: Projects Utilizing Java Annotationsmentioning

confidence: 99%

Section: Projects Utilizing Java Annotationsmentioning

confidence: 99%

@PT: Unobtrusive parallel programming with Java annotations

Mehrabi

Giacaman

Sinnen

2018

Concurrency and Computation

View full text Add to dashboard Cite

show abstract

“…Inserted control flow points are the nodes and the flow between them is represented as edges. The explanation of control flow graph creation and its compaction is explained in the paper (Joy et al, 2012). Figure 2 shows an example of original and compacted control flow graphs for a sample program.…”

Section: Control Flow Graph Generationmentioning

confidence: 99%

A hybrid methodology to detect memory leaks in soft real-time embedded systems software

Joy

Rammig

2017

IJES

Self Cite

View full text Add to dashboard Cite

Abstract:As embedded software becomes complex and time to production needs to be minimized, early fixing of flaws in a software design is important. Memory leaks are the most important memory-related problems commonly occurring in embedded software development. We propose a novel hybrid automated memory leak detection approach for soft real-time embedded system software. Our approach combines static and dynamic methodologies to overcome their individual limitations. The static phase generates potential memory leak warnings with the help of source code annotation and control flow graphs. The dynamic phase involves simulation of abstracted memory behaviour with data collected in an abstract memory model (AMM). Actual leaks are determined from the potential leak warnings generated in the static phase. The dynamic simulation phase makes our approach faster and enables early phase leak detection. Our approach is platform independent and evaluation shows that it is more accurate than existing tools.Keywords: hybrid memory leak detection; soft real-time system; abstract memory model; AMM; simulation; source code annotation; control flow graph; data dependency; memory leak rank; memory leak density. This paper is a revised and expanded version of a paper entitled 'Source code annotated memory leak detection for soft real time embedded systems with resource constraints' presented at

show abstract

“…For this reason, we see potential in automated or semi-automated concern annotation. Joy et al [15] presented an approach of automatic C source code back-annotation using information obtained at runtime. However, they collected only timing and power information, which is later used in embedded software simulation.…”

Section: Annotationsmentioning

confidence: 99%

Exposing Runtime Information through Source Code Annotations

SulĂr¹,

Porubãn²

2017

AEI

View full text Add to dashboard Cite

Many tools support exploration and analysis of various run-time properties of programs. However, the results produced by these tools are often discarded or stored in custom external files. We discuss an approach where data obtained when executing the program are written as Java annotations over program elements. First, the viability of this approach is demonstrated by a feature annotator, which assigns features to corresponding methods. Second, we describe other types of run-time information that we consider suitable for inclusion in the source code. We also suggest two possible workflows how generated annotations can be used in the development process.

show abstract

Automated source code annotation for timing analysis of embedded software

Cited by 7 publications

References 18 publications

@PT: Unobtrusive parallel programming with Java annotations

@PT: Unobtrusive parallel programming with Java annotations

A hybrid methodology to detect memory leaks in soft real-time embedded systems software

Exposing Runtime Information through Source Code Annotations

Contact Info

Product

Resources

About