• POOSL targets discrete domains with a notion of time. It provides an intuitive syntax that matches well-spread approaches such as component-based software development. The semantics is based on formal techniques, which ensures unambiguous simulation of models, functional verification and performance analysis.

  • POOSL is accompanied with user-friendly industry-strength tools with strong focus on interactive model development and scalable analysis. Light-weight model development and validation is supported by an Integrated Development Environment in combination with a scalable simulator. The tools allow easy integration with external visualization and control tools via sockets and files. Various model libraries provide common data structures, stochastic distributions and observers for evaluation of, for example, worst/best case and average case performance properties.

  • The freely downloadable POOSL tools fill the gap between commercial modeling tools (like Simulink and Rhapsody), often requiring detailed modeling at code level, and plain drawing tools (such as Visio and UML drawing tools) that do not support simulation-based analysis. The POOSL tools have a proven track record with respect to successful application in several high-tech industries, notably ASML, Philips, Vanderlande Industries, Lucent Technologies, Alcatel Bell, IBM Research, Océ Technologies, NXP, Chess, Siemens VDO, and TNO.