智能家庭网关，用于接收智能家电升级启动指令，所述智能家电升级启动指令中包括智能家电所在的网关地址；
Whether the home gateway of the intelligent home appliance registers is judged. If the gateway registers, an upgrade package sent by the upgrade server is received.
开发包括提供启动和使用集成方法环境的用户指令。
Development includes providing user instructions for launching and using the integrated methodology environment.
它是第一个能够从机制上验证以保证安全性的操作系统，其中包括的所有汇编语言指令都在启动时经过了静态验证，然后才会运行。
The first operating system mechanically verified to ensure type safety including each assembly language instruction that runs after booting which is statically verified.
应用推荐