ماشین حالت ابزاری برای مدل‌سازی رفتار سطح بالای سیستم است. در اکثریت قریب به اتفاق نرم‌افزارهای نهفته، رفتار سطح بالا با ماشین حالت مدل‌سازی می‌شود و استفاده از این مفهوم اجتناب‌ناپذیر است. پیاده‌سازی تمام قابلیت‌های ماشین حالت، کاری پیچیده است. ابزارهای ساده‌ای مانند if else یا switch case، علیرغم آنکه مفهوم اولیه ماشین حالت را محقق می‌کنند، ولی پیاده‌سازی مفاهیمی مانند Entry, Exit, Transition با این ابزارها کاری دشوار است. در مورد ماشین حالت چند‌سطحی که مفاهیم پیچیده‌تری دارند، این روش‌ها  به هیچ‌وجه جوابگو نیستند. کتابخانه ماشین حالت ابزاری جامع برای پیاده‌سازی هر نوع ماشین حالتی است و تمام امکانات مورد نیاز در سیستم‌های نهفته را فراهم می‌کند.