embOS is a real time operating system for embedded applications designed to offer the benefits of a fully featured multitasking system, even for hard real time applications using minimal resources.
IAR visualSTATE is a UML-compliant graphical state machine design tool for embedded systems. It provides advanced verification and validation tools and generates very compact C code that is 100% consistent with your system design.
IAR visualSTATE is an ideal design, test and code generation tool for real-time systems with many concurrent and interrelated processes or execution threads.