The company, Micrium, develops real-time operating systems that control tiny connected devices, like smart thermostats to industrial sensors.