This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Methodologies for Verifying Memory Requirements for Aero-Embedded Systems
Technical Paper
2012-01-2135
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
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.
Recommended Content
Authors
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.Also In
References
- DO-178B - Guidelines for Software Consideration in Airborne Systems & Equipment Certification
- www.absint.com
- Stack Size Analysis for Interrupt-driven Programs Chatterjee, Krishnendu Majumdar, Rupak Zhao, Tian Henzinger, Thomas A. Palsberg, Jens
- Memory Overflow Protection for Embedded Systems using Runtime Checks, Reuse and Compression Biswas, Surupa Simpson, Matthew Barua, Rajeev
- Pareto, L. Types for Crash Prevention PhD thesis Chalmers University of Technology 2000