That is a propriety product; it is probably VERY expensive, and I doubt you are going to find much help with that here. You should check out this page: CMX Systems, Inc
3V0 had a tutorial on a task switching routine or RTOS of some type (IIRC) but his site is not working now... http://www.rocklore.com/3v0
There are loads of open source / free systems out there, and I don't think you have tried google, have you?