The MathWorks on Tuesday released
Simulink Verification and Validation, a new add-on for the Simulink simulation environment that enables continuous testing and verification of model-based designs during the development cycle. It also allows engineers to link their requirements to such formal systems as Telelogic’s DOORS or even Microsoft Word or Excel or files in HTML format. Pricing starts at US$1,000. Mac OS X v10.3.2, a G4 processor, 256MB RAM (512MB recommended) and 300MB hard drive space, along with the technical computing problem-solving environment MATLab and Simulink, are required to run this tool.