R-Check®

Learn more about our SCA compliance testing tool »

Blackspot: Using Tensor Decompositions to Guide Inspection of Source Code



Publication Source: Wireless Innovation Forum Conference on Wireless Communication Technologies and Software Defined Radio, Reston, VA, USA.

In this paper we introduce Blackspot, an extension to R-Check SCA that uses unsupervised machine learning based on tensor decompositions to organize and highlight sections of source code for more systematic inspection. Using markers identified by R-Check SCA’s Pitchfork rule language, multidimensional decompositions are used to cluster code so as to group similar structures for accelerated manual inspection and, when seeded with examples of known weaknesses, to prioritize code fragments for rigorous review based on similarity derived from latent features. We show how multidimensional analysis provides a precision advantage over matrix SVD-based approaches and enables both accelerated compliance testing and more directed discovery of potentially critical software weaknesses. Utilizing high-performance tensor decomposition techniques provided by Reservoir’s ENSIGN Tensor Toolbox, Blackspot scales to millions of lines of code, making it practical for application to complex, large-scale cyber-physical systems. Using an open SCA radio waveform as a first example, we illustrate how Blackspot can be applied to guide inspection for SCA compliance testing and weakness discovery in the software radio domain.
Google Scholar    Article

Cross-Format Analysis of Software Systems



Publication Source: Patent US9134976B1

In various implementations of a software analysis system, compliance checking is facilitated by analyzing different characteristics of a software system to be developed, and by comparing the information extracted from these analysis. Two or more characteristics may be expressed in different formats or languages, and the descriptions of one or more of these characteristic may be incomplete.
Google Scholar    Article

Optimizing the domain wall fermion Dirac operator using the R-Stream source-to-source compiler



Publication Source: The 33rd International Symposium on Lattice Field Theory, July 2015, Kobe International Conference Center, Kobe, Japan

The application of the Dirac operator on a spinor field, the Dslash operation, is the most computation-intensive part of the lattice QCD simulations. It is often the key kernel to optimize to achieve maximum performance on various platforms. Here we report on a project to optimize the domain wall fermion Dirac operator in Columbia Physics System (CPS) using the R-Stream source-to-source compiler. Our initial target platform is the Intel PC clusters. We discuss the optimization strategies involved before and after the automatic code generation with R-Stream and present some preliminary benchmark results.
Google Scholar    Article

Accelerating SCA Compliance Testing with Advanced Development Tools



Publication Source: The SDR-WInnComm Wireless Innovation Forum 2015

In this paper, we explore the potential for combining model-based development environments supporting automatic code generation with novel static testing technology to accelerate the SCA compliance testing process. Model-based development and automated testing yield higher regularity and predictability, reducing testing complexity and sidestepping some issues for software intended for deployment on multiple hardware platforms.
Google Scholar    Article

Bridging the Gap Between Specifications and Compliance Tests



Publication Source: The Wireless Innovation Forum Conference on Wireless Communication Technologies and Software Defined Radio, SDR-WInnComm, Washington, D.C., USA

This presentation was given at the 2013 Wireless Innovation Forum (WIF) annual meeting, describing how Reservoir's R-Check product meets needs of one of the top innovations needed for software radio, specifically that R-Check provides "the ability to certify software implementations of waveforms for use on various radio computing platforms promises to significantly reduce development costs and time to market of software based radio."
Article

1 2