Integrated Model Development Environment Data Flow Diagram State Transition Diagram MiniSpec Procedural Specification Interactive Simulator and Model Debugger

The Foresight System Design Suite

FORESIGHT is a proven toolset for modeling and validating complex systems such as those for command and control, communications, real-time systems, and avionics.

Foresight Modeler

An integrated systems modeling and simulation environment which includes:

Editing - Graphical & textual model editors for construction of executable system models using our proven and robust graphical modeling language. The modeling language utilizes hierarchical data flow diagrams, hierarchical state diagrams, procedural descriptions, and a data dictionary. Includes a collection of 100+ pre-built library elements (such as queues, filters, resources, etc.) as well as the capability for the user to create their own reusable library elements. A static model analyzer enforces connection and syntactic rules to ensure model integrity.

Simulation - A highly interactive, high performance discrete event simulation engine for executing system models and performing a wide variety of analysis including functional verification, performance analysis, behavioral correctness. The simulator includes a rich set of debugging, data monitoring/collection, and execution features.

Visualization - A data visualizer for displaying simulation results in a variety of ways, including x-y plots, strip charts, timelines, and histograms.

Document Generation - Automatic generation of documents from your system model.

Foresight Co-Design

All of the above capabalities of Foresight Modeler plus co-simulation with Mentor Graphics Seamless CVE and ModelSim as well as co-simulation APIs for co-simulation with other common modeling and simulation environments. Mixed level analysis enables detailed HW and SW models to be run with the full system model.

FS/CoderC++

Automatic Foresight model compilation (via C++.) FS/CoderC++ can be used to create fast, batch simulations of your models and standalone prototypes of your system.

FS/RQIF

Requirements traceability interfaces to third-party requirements management tools including Telelogic DOORS.

FS/Bridgeway

Cosimulation backplane and SDK, for linking other simulations or applications to your Foresight simulations over TCP/IP. FS/Bridgeway can be used to create powerful co-simulations and implementation-in-the-loop simulations for system verification.

CHIEF BENEFITS INCLUDE:

MAJOR CAPABILITIES INCLUDE: