CrossCheck ^® Dynamic Checking System

Increasingly, the time to deploy complex systems is being dominated by the need to generate, manage, reason about, and ultimately validate immense amounts of information about system design and performance. Lengthy prose specifications impose high-level constraints which may transcend reasoning about a single component. Components developed in isolation, to shifting design requirements, must interoperate. Rigorous validation requirements mandate documented proof of comprehensive test coverage. Even after deployment, there remains a need for logging and analysis of nominal use and the ability to maintain system confidence in the face of random failures and variable environmental factors.

To address these needs, Reservoir Labs has developed CrossCheck, a versatile system for dynamic property evaluation. CrossCheck is intended to replace suites of overlapping tools and technologies by providing an efficient, unified framework for rule-based event-driven monitoring applications. CrossCheck builds upon Reservoir Labs expertise in network intrusion detection technology to provide a system analysis capability that scales to commercial application event flows. From formal specifications, which can be partial or complete, CrossCheck can monitor fine-grained temporal event sequences from hardware or software applications developed in any choice of source language. By using CrossCheck's feedback mechanism, property matches can be used to initiate precise error case injection during testing, or recovery operations in the field. Property matches can also trigger logging that documents precise test case coverage or abnormal behavior. All of these capabilities are enabled from a single rule language and robust rule evaluation engine.

CrossCheck ^® Key Benefits

• Fast: Technology transfer from network IDS implementations allows CrossCheck to evaluate tens of thousands of simultaneous rules over multi-source information flows
• Productive: CrossCheck makes it easier to automate repetitive, detailed testing tasks, reducing both error rate and completion time of those tasks
• Versatile: Information drivers can be developed for almost any hardware or software implementation platform
• Easy to Use: CrossCheck leverages familiar concepts and comes with supporting tools to ease the transition process for existing code bases
• Sound: CrossCheck is based on the Quad property specification language which has a rigorously well-defined formal semantics
• Scalable: Applicable to single components or whole systems, CrossCheck can be adapted to the processing needs of the application
• Expressive: CrossCheck properties are written in Quad, which leverages the full power of ANSI C - with Quad, simple properties remain simple, but even the most complex properties are expressible

Request a White Paper

Evaluation versions of CrossCheck are available now for all major platforms. For more information about CrossCheck, including licensing terms, please contact us.