Fault Modeling Tools (FMT) from ICS

Population of toolsets has long been a problem for development of sophisticated command and control applications.  Interface & Control Systems has recognized this and responded to customers needs using Rational Rose Modeler, the industry standard tool for software process modeling.   With the advanced visual editing features of Rose Modeler, and the web based publication capabilities, self-documenting, collaborative engineering is a reality.  

Experience has proven that a quality tool such as Rose is necessary to scale up to the needs of a significant project.  The ICS Rose implementation is our 2nd generation tool, having learned from scalability problems with other toolsets.

With the ICS Fault Modeling Tools, best of breed products can be integrated in a seamless manner....removing the need for an engineer to know the intricacies of each toolset.  Case in point: ICS delivered the Fault Modeling Tool on the TechSat-21 project.  This project included the integration of SCL, Livingstone (model based reasoner from Ames), and CASPER (planner from JPL).   These three tools were populated using the FMT system.  In addition, the FMT toolset include Validation and Verification (V&V) capabilities using tools from Carnegie Mellon University.  The CMU V&V tools check for: Consistency, Completeness, Reachability, and Disjointness, and even Custom Specifications.

The ICS FMT also has reliability factors built in.  Using reliability factors, a model can be iteratively improved and measured for the effectiveness of the changes.  All these components insure the quality and integrity of your control system implementation.

The Fault Modeling Tools from ICS offer a structured, industry standard methodology to perform Fault Detection Isolation and Recover (FDIR) as well as Anomaly Detection and Resolution (ADR).  So when it comes time to choose a flexible, scalable, extensible tool to build powerful command and control systems....look to ICS. 

Components of the Fault Modeling Toolset

• Rational Rose Modeler

• UML compliant implementation

• Web Based collaboration  

• SCL - Expert System and Script Interpreter from ICS. Executive for monitor and control applications 

• Livingstone - model based reasoner from Ames Research Center (optional)

• NuSMV - is cooperating with ICS to integrate the model verification and validation capabilities provided by NuSMV within the SCL Visual Modeler developed by ICS.

Related Links

• SCL Overview 
• SCL Total Solutions 
• SCL on the FUSE mission