Methodologies for Verifying Memory Requirements for Aero-Embedded Systems

Paper #:
  • 2012-01-2135

Published:
  • 2012-10-22
DOI:
  • 10.4271/2012-01-2135
Citation:
Raul, V. and Orpe, P., "Methodologies for Verifying Memory Requirements for Aero-Embedded Systems," SAE Technical Paper 2012-01-2135, 2012, https://doi.org/10.4271/2012-01-2135.
Affiliated:
Pages:
8
Abstract:
The quality of an embedded application depends not only on how well it satisfies functional requirements but also on performance efficiency of the system.In embedded systems, non-functional requirements like memory requirements, play a very important role, and often impact significantly the embedded system's performance and overall cost of implementation. Embedded Systems usually have constrained resources like memory. Hence, choosing a correct method of verifying memory requirements is extremely critical.This Paper will give an overview of methodologies for performing different Memory Analyses to determine the correctness and consistency of memory requirements for airborne software and verifying efficient memory usage as required by the RTCA DO-178B guidelines. Different memory analyses methodologies like Memory Map Analysis, Stack Analysis and Heap Analysis are explained with current technology involved.
Access
Now
SAE MOBILUS Subscriber? You may already have access.
Buy
Select
Price
List
Download
$27.00
Mail
$27.00
Members save up to 40% off list price.
Share
HTML for Linking to Page
Page URL

Related Items

Article
2016-12-08
Standard
2011-02-08
Training / Education
2016-03-07
Training / Education
2016-03-10
Standard
1996-06-01
Training / Education
2016-04-30
Technical Paper / Journal Article
2004-03-08