Timing aspects in verification of aerospace embedded software | HCL Technologies

Timing Aspects in Verification of Aerospace Embedded Software

Real-time aerospace-embedded systems involve complex control systems and time-bound functions with stringent performance/timing response needs. The aerospace-embedded units are closed-loop systems of dynamic transfer functions often modeled with multiple feedback loops to achieve the required performance and stability. Critical software for such systems must meet stringent execution time requirements, requiring analysis of the software’s timing behavior. Hence, testing these timing aspects is a key factor in functional safety both at the system and software levels. The purpose of this article is to bring out the good practices to achieve the test environment and design that enables accurate timing verification.

Download the whitepaper