NEWS

(5-02-2005) SVM beta version 0.08.13 posted.
(1-25-2005) SVM beta version 0.08.11 posted.
(9-21-2004) SVM beta version 0.07.00 posted.
(8-13-2004) SVM beta version 0.06.00 posted.
(6-24-2004) SVM beta version 0.05.00 posted.
(6-17-2004) SVM beta version 0.02.05 posted.
(6-02-2004) SVM beta version 0.02.04 posted.
(4-02-2004) SVM beta version 0.02.01 posted for download.

DESCRIPTION

SVM supports embedded system development teams in production environments advocating model-based methods. It is a single portal into interconnected views of

• system requirements
• system architecture
• system models
• application of verification methods
• results of verification activities

Built within the widely used Matlab® Simulink-Stateflow environment, the System Verification Manager will incorporate the following features.

• Requirement traceability
  • Associates requirements and system architecture with multiple external model representations
• Verification activity management
  • Identifies verification activities that need to be re-executed when changes are made
• Verification result management
  • access to the status and results of requirements-driven verification activities
• Extensible, open framework
  • Flexible definition and reuse of models and verification methods