AR Systems发布的visualState是基于UML状态机的建模工具，允许开发人员在状态机的层次上开发和调试，然后直接生成可用的C代码，尽量减少人工编码引进错误的可能。对于复杂的逻辑，如果不使用层次状态机来剖析它的复杂性，而试图靠大脑if…else…直接编码，错误是难免的。嵌入式系统很多用在涉及人身安全的领域，出现错误后果相当严重。 目前，visualState已经用在各种设备的开发中，包括取款机、红外夜视仪、阿帕奇直升机的部件等。IAR Systems还和SCIOPTA达成了合作协议，将IAR的工具和SCIOPTA RTOS结合起来，共同聚焦于安全苛求的应用，提供通过国际电工委员会