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.