式计算网络（DCN）的研究小组开发出这样的软体系统，主要用来分析程式的正确性。而新的工具被命名为COVERS（Concurrent Verification and Simulation）。此系统是用图形化建模方式来标记系统的结构模型和行为。此工具后来被惠普应用于研究领域。在1998时，这项研究的成功，DCN实验室于是组织成一家公司，背负着开发新时代模拟软体的使命。其发展重点在于应用方法：模拟(仿真)，效能分析，随机系统行为，最佳化（优化）及视觉化。新软体在2000年发布，採用最新的资讯技术优势：物件导