Abstract

In designing software on an embedded hardware platform with limited memory size, it is critical to guarantee that the peak memory requirement does not exceed the memory capacity. We propose a memory usage estimation technique in a model-based software development methodology where the application code is synthesized from a dataflow model-based specification. To minimize the degree of overestimation without running the synthesized software, the proposed technique analyzes the binary file and shared library dependencies of dataflow tasks. We verify the proposed technique in developing real-life applications on Linux and bare-metal systems.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call