针对嵌入式Internet环境的特定要求

提出了一个嵌入式的实时Java OS——WebitJOS。WebitJOS在资源受限的嵌入式:Internet环境下自身提供了对实时线程的调度、同步和异步处理的内部实现

消除了Garbage collection内存管理不确定性所产生的实时程序设计的障碍

并且提供了从Java代码直接访问物理内存、寄存器及内存映射I/O的能力。根据嵌入式Internet系统对实时性、确定性的要求

用形式化语言描述了WebitJOS中实时线程及相关内存区的状态转换关系

并结合实例对WebitJOS相关的实时性能进行了测量和评价。