Stagnant Memory and Timing Investigation of Embedded Systems Code

Static program analysis by abstract interpretation is an efficient method to determine properties of embedded software. One example is value analysis, which determines the values stored in the processor registers. Therefore, utmost carefulness and state-of-the-art machinery have to be applied to make sure that an application meets all requirements. To do so lays in the responsibility of the system designer(s). As more software and embedded code saw use in safety-critical and avionics applications, an industry standard group developed the RTCA/DO-178B: Software Considerations in Airborne Systems and Equipment Certification.

Provided by: International Journal of Computer Science and Information Technologies Topic: Hardware Date Added: Jan 2012 Format: PDF

Find By Topic