鈦思科技總代理原廠The MathWorks宣布推出Simulink驗證及確認模塊組；這項Simulink的新產品使系統設計者及測試工程師能夠在發展過程中，可執行不間斷的測試及驗證步驟。使用Simulink驗證及確認模塊組後，工程師可以模組化基礎設計(Model-Based Design)來產生正確且可執行的規格。在建立模組與模擬階段，經由正式系統與演算法的測試，可以在早期發現錯誤，並減低事後修正的成本。

The Mathworks的控制設計自動化行銷部經理，Paul Barnard提到：『模組化基礎設計已被驗證過在使用圖像化系統設計、建模及模擬工具在軟體發展及測試技術的收斂性。而現在，隨著另外開發出的驗證及確認功能，MathWorks在Simulink環境下提供了嚴格的測試及分析環境。如今，工程師能夠在系統需求、設計、實現、及系統整合過程中，發展並重覆使用測試系統。』