Tool homepage: http://www.rsoftdesign.com
Tool availability: Commercial (discounts for academic institutions)
Artifex is ideal for the design and simulation of:
RSoft Design Group, Inc. 200 Executive Blvd. Ossining, NY 10510 USA Phone: +1 (914) 923-2164 Fax: +1 (914) 923-2169 E-mail: info@rsoftdesign.com
-- 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.