Entry last updated: 2003/3/11
Entry last validated: 2002/5/8

Tool homepage:

Tool availability: Commercial (discounts for academic institutions)

Tool Features

Petri Nets Supported (see also help on terminology) Components (see also help on terminology)


Tool Description

Artifex is a powerful modeling and simulation environment supporting the design of discrete event systems. Artifex has an intuitive graphical language that visually describes the system dynamic behavior, supported by a comprehensive design environment for both discrete event simulation and real time software development.

Artifex is ideal for the design and simulation of:

and for exploration and validation of a wide variety of schemes for buffering, packet classification, congestion control, protection and restoration, scheduling algorithms and policies, ASIC architectures, optical networks and more.

Contact Information

RSoft Design Group, Inc.
200 Executive Blvd.
Ossining, NY 10510

Phone:  +1 (914) 923-2164
Fax:    +1 (914) 923-2169

Other Remarks

Artifex modeling and simulation environment supports all four key activities of the iterative model development cycle:

-- Model
Express complex system architectures by drawing and connecting components to define message-flows. Visually describe the dynamic behavior of each component with a high-level Petri Net language that allows inclusion of C or C++ data definitions and algorithms. Radical improvements and changes to models can be made quickly and on a safe ground at each modeling step.

-- Validate
Control full system behavior, by checking the multi-window visual animation of the model and steering the simulation with conditional breakpoints and step-by-step execution. Sample data for further analysis or inspect and modify it to test alternative scenarios. Unveil logical flaws and eliminate system hidden pitfalls.

-- Measure
Review simulation results to get quantitative information on system behavior and to assess its performance. Represent pre-calculated or user-defined custom metrics thus allowing great flexibility. Export recorded data for external tool analysis. Perform coverage analysis to ensure the test has been exhaustive.

-- Report
Add comments anywhere in the model/design. Generate automatic on-line HTML documentation to check system behavior, to track changes and to provide consistent report updates throughout the whole design process. Facilitate knowledge flow and exchange, as well as design maintenance, thanks to an intuitive understanding of the system behavior.

Artifex offers 2 additional tools that enable system designers to generate stand-alone software and handle complex data structures:

-- Deploy
Implement simulators, stand-alone or multi-process distributed applications. Map objects on one or more processes and generate software without any additional effort. Manage automatic inter-process communication. Use local IPC mechanisms to communicate with local processes through TCP, UPD or DCOM. Customize communication layers to generate code compliant with specific requirements like Corba or other IPC protocols.

-- Data
Describe complex data structures of the system and their relationships with Entity-Relationship diagrams. Perform attribute definition in C or C++ to fully exploit the easy and powerful high-level query language, allowing dynamic data manipulation in any part of the model.

[PN Home][*]
The maintainers of this page