Abstract: Software designed to run on memory-limited embedded platforms must not violate peak memory requirements. This article proposes a memory usage estimation technique in a model-based software ...