System Verification Manager (SVM) is a tool developed with funding from the Defense Advanced Research Projects Agency (DARPA). SVM can manage Requirements, Models and Tests and relationships among them. SVM facilitates model-based verification of embedded control system software and provides guidance to engineers for performing Verification and Validation (V&V). SVM provides an extensible environment designed to support the use of multiple modeling, simulation, and verification tools without imposing constraints on the Models or methods used for design and implementation. SVM can support different system design processes using multiple views. Engineers may create Requirements and Tests and then create new Models which can be verified against the Requirements or they may use legacy Models (which may undergo change) and the properties (Requirements) of the model can be checked using Tests. Emmeskay can provide consulting services to support the customization of SVM for V&V.

Core Features of SVM

• Requirements Management
• Create and organize Requirements and Tests
  
• Traceability between Requirements, Models and Tests
• Filtered views
  
• Verification Methods and Activities
• Define, parameterize, and instantiate Verification Methods
  
• Perform simulations, formal verifications, test case generation, compilation, and regression testing
  
• Clone Tests over parameter ranges or for several data sets
• Reuse Tests and verification criteria across development cycle
  
• Results Management
• Automatically updates the status of verifications after Completion
  
• Provides methods to log and access text, plots, files, etc. generated by verification activities
• Guides the user to pass results of verification methods to processing algorithms
  
• Change Management
• Detect changes in Test inputs, Models, Requirements or Verification Methods and reset verification status
  
• External Interfaces
• Import / export Requirements with MS Excel
• Generate reports of verifications in MS Excel
  

SVM Use Scenarios in Product Development

• Structural verification of work products from a distributed team
• Functional verification of work products from a distributed team
• Regression Testing (Minimum Acceptance Testing) before release
• Batch Mode Testing
• Testing on multiple platforms (desktop and real-time)
• Management of System Models, Requirements and Test information
  

References

• Development of an Automated Verification and Validation Platform Using Hardware-In-the-Loop Simulation for a Solid Oxide Fuel Cell Control System

  J. Absmeier, T. Das, S. Gopalswamy, R. Paike, 4th International ASME Conference on Fuel Cell Science, Engineering and Technology, June 2006, Irvine, CA. (Coauthored with Delphi)

• Managing Verification Activities Using SVM

  B.Aldrich, A. Fehnker, P. H. Feiler, Z. Han, B. H. Krogh, E Lim and S. Sivashankar, Sixth International Conference on Formal Engineering Methods (ICFEM), Seattle, November 8-12, 2004. (Coauthored with Carnegie Mellon University, SEI and The MathWorks)