It should be noted, however, that the typical QNX system is (IIRC) a specialized, embedded system running known software. Now, that involves solving some very hard problems, but they're not necessarily the same problems encountered in a general-purpose OS or even a smart phone.