Mbed OS itself doesn’t comply to any safety standards or certifications. If you opt to use Compiler 5 or Compiler 6 then you do gain the benefit of using a tool that meets the following certifications:
Mbed is targeted at specific Arm boards more than actual Arm processors. The universe of processors covers almost every Cortex-M: Cortex-M0, M0+, M3, M4, M7, M23, M33. There are also a few boards based on the Cortex-A9. The full board list is available here:
Thanks for pinging me directly - somehow I missed your response perhaps when I was out-of-office. Here are responses to your questions:
The minimal footprint depends on the features that are needed. Mbed OS v5.12 will have a “bare metal” build option to facilitate reducing the footprint, and you will soon see some public collateral discussing this. A good article to read about customizing the build is here - where a build is brought down to 8KB of flash and less than 1KB of RAM: Reducing memory usage by tuning RTOS configuration | Mbed
Mbed is built on RTX v5 which utilizes a preemptive scheduler which is round-robin for threads with the same priority. You can read about RTX v5 on the Keil site: RTX v5 Implementation
Is there some data relating to reliability (context switch, interrupt latency etc) ?
We’re sorry but we don’t have this information.