Challenges in validating safety critical embedded systems

This has increased the complexity of software running on powerful airborne hardware/systems.

plant control systems), to smart resilient components for ubiquitous networks (e.g., biometrics monitoring applications).

Mostly platform software is written in the C Programing Language.

Here, we are presenting basics of different types of Platform Software Verification Framework Solutions to support C Language-based Platform Software and Platform Software Component Verification.

In few programs, we have come across architecture that has multiple operating systems running on a hypervisor.

It is a proven technology in the other industries, however, as we often deal with exteremly safety-critical systems in aero / auto, it is more important to verify it robustly using different techniques.