Company URL:
Main Product URL:
Company Overview: Software Professionals associated with StateSoft have been actively involved in the development of: State Machine Tools, Software Architectures, Standards, and Training Materials since 1989. Our areas of expertise include: •Telecommunication Systems •M2M Communication •Process Control Systems •Medical Systems •Military Systems •General Behavior Modeling •Computer Systems Architecture
Product/Service Description: StateSoft's LIBERATIONTM set of tools fully embraces Model Driven Architecture's (MDA) principle of PIM/PSM class partition, as a foundation for the systematic engineering of: components, patterns, services and applications. LIBERATIONTM frees software professionals and engineers from systems behavior programming and manual system validation. This leads to shortening of the overall project development interval while reducing development and maintenance cost. VeUML based MDA Platform Independent Models (PIM) are truly independent from programming language, database, and the operating system platform used. The LIBERATIONTM set of tools for the first time allows generation from VeUML models system behavior executable representation identical in C, C++, and Java environments. Applications and services built using VeUML models can be validated automatically for important systems properties like security and safety. VeUML uses unique patented Virtual Finite State Machines (VFSM) for intuitive behavior modeling allowing to create and validate top reliability software systems in orders of magnitude more complex than with any other modeling approach.
Sales Contact: Janusz Dobrowolski
Sales Contact Email:
Sales Contact Phone: +1 630 747 8989
OMG Member:
OMG Membership Level: None
I am a MDA Qualified Service Provider:


Copyright© 2022 Object Management Group, Inc. All Rights Reserved. For questions about the WEBSITE, please contact For TECHNICAL questions, please contact