Toestandsautomaten

In Visualstate 5.4 heeft IAR Systems een nauwere koppeling met zijn pakket Embedded Workbench geïmplementeerd. Door het realiseren van eindige-toestandsautomaten te integreren met de C/C++-vertaler en foutzoekhulpmiddelen kan het programma deel uitmaken van het totale ontwikkeltraject, inclusief verificatie, validatie en controleren van de hardware. Het ontwerpen gebeurt aan de hand van een geformaliseerde aanpak die is gebaseerd op een deelverzameling van de UML-definitie. Elk systeem kan bestaan uit een onbeperkt aantal gelijktijdige en hiërarchische toestandsautomaten. Een speciale invoegtoepassing, C-Spy genaamd, zorgt voor de koppeling met de ontwikkelingomgeving door de bijbehorende modelinformatie door te geven aan de vertaler en het foutzoekprogramma.