Gouda - 16 maart 2005 - The MathWorks annonceert Simulink Verification and Validation, een nieuw product voor Simulink® dat systeemontwerpers en testingenieurs in staat stelt om tijdens het ontwikkelingsproces doorlopend tests en verificaties uit te voeren. Met Simulink Verification and Validation kunnen de ingenieurs nu aan de hand van Model-Based Design een gevalideerde uitvoerbare specificatie maken. Door systemen en algoritmen in de modelleer- en simulatiefase te testen, kan men fouten sneller opsporen en deze dus gemakkelijker en tegen lagere kosten verbeteren.
"Model-Based Design combineert beproefde technieken voor het ontwikkelen en testen van software met tools voor grafisch systeemontwerp, modellering en simulatie," zegt Paul Barnard, Control Design Automation Marketing Director bij The MathWorks. "Met de toevoeging van Simulink Verification and Validation biedt The MathWorks nu een krachtige test- en analyseomgeving. Hiermee kunnen ingenieurs tests ontwikkelen en keer op keer hergebruiken voor de requirements, het design, de implementatie en de systeemintegratie."
Simulink Verification and Validation vereenvoudigt de workflow van de systeemontwikkeling doordat gebruikers de mogelijkheid hebben om requirements snel te koppelen aan ontwerpen en testcases en om dekkingsanalyses uit te voeren op Simulink-modellen. Tijdens het ontwikkelingsproces kunnen de ingenieurs ontwerpen sneller valideren, door onjuiste requirements te identificeren en overbodige constructies en designfouten op modelniveau op te sporen. Dit vermogen is vooral belangrijk naarmate de complexiteit van de ontwerpen toeneemt en de ingenieurs meer test- en documentatiemethoden moeten gebruiken om de veiligheid van de toepassingen te waarborgen.
Simulink Verification and Validation biedt ingenieurs bovendien de mogelijkheid om hun requirements te koppelen aan formele systemen voor het beheer ervan, zoals DOORS van Telelogic, of aan bestanden in Microsoft Word-, Microsoft Excel- of HTML-formaat, en vervolgens te navigeren tussen de requirements en het model. Verder kunnen de gebruikers dekkingsrapporten aanmaken om ongeteste designelementen op te sporen. Deze rapporten leveren metingen volgens de industrienormen, zoals RTCA/DO-178B modified condition/decision coverage (MC/DC). Ze zijn volledig geïntegreerd met Simulink. Men kan de metingen ook in het model weergeven, zodat de gebruikers snel door het model kunnen gaan om ontbrekende dekking op te sporen en naar de bijbehorende requirements te navigeren.
Simulink Verification and Validation maakt niet alleen een op requirements gebaseerd ontwerp- en testproces van modellen mogelijk, maar laat gebruikers ook tijdens het volledige ontwikkelingsproces de ontwerpen verifiëren. Met behulp van Real-Time Workshop® Embedded Coder kunnen de ingenieurs beschrijvingen van de requirements als commentaren opnemen in de embedded code die van het gevalideerde model wordt gemaakt. Dit levert een volledig traceringstraject op, vanaf de requirements tot aan het model. Het automatiseert de moeizame handmatige traceerbaarheid die vaak vereist is voor de ontwikkeling van software.
Beschikbaarheid
Simulink Verification and Validation is per direct beschikbaar voor Microsoft Windows-, UNIX/Linux- en Macintosh-platformen.
------------
Over The Mathworks
The MathWorks is toonaangevend op het gebied van technical computing software. Wereldwijd zijn er ruim één miljoen gebruikers in de industrie, de overheid, onderzoekslaboratoria, financiële instellingen en universiteiten. Deze professionals zijn werkzaam binnen vele industrieën waaronder de aerospace, automobielindustrie, telecom, machinebouw, procesindustrie, elektronica, biotechnologie en de farmaceutische industrie. Zij, en een nieuwe generatie engineers en wetenschappers in opleiding, rekenen op The MathWorks omdat MATLAB en Simulink de meest fundamentele tools zijn voor hun engineering- en onderzoekswerkzaamheden. Op deze basisproducten is een groot aantal uitbreidingen beschikbaar voor diverse applicatiegebieden zoals beeld- en signaalverwerking, processimulatie en optimalisatie. Daarnaast levert The MathWorks aanvullende diensten, zoals technische ondersteuning, (on-site) trainingen en consultancy. Het Benelux kantoor van The MathWorks is gevestigd in Gouda. Meer informatie is te vinden op www.mathworks.nl.
-- ### --
MATLAB, Simulink, Stateflow, Handle Graphics, en Real-Time Workshop zijn gedeponeerde handelsmerken en TargetBox is een handelsmerk van The MathWorks, Inc. Andere product- of merknamen zijn handelsmerken of gedeponeerde handelsmerken van hun respectieve eigenaren.
Voor aanvullende informatie kunt u contact opnemen met:
Marcommit
Purdey Horbach
Tel. 035-5822730
mathworks@marcommit.nl