By embedding Virtual Mornitor and Control Unit (VMCU) into the system prototype,RTOS,IPC,and external tools and console implemented using JAVA,ICOS provide good observability and control.

• ICOS在保证验证准确性的同时，通过在系统原型中嵌入虚拟监视控制单元(VMCU)，同时结合实时操作系统、进程间通信和JAVA实现的外部工具与数据库，ICOS提供了良好的可观测性和可控制性并且可以在ICOS中方便地进行系统地性能评估。