The Mathworks heeft Simulink Design Verifier gelanceerd. De uitbreiding van het modelgebaseerde simulatieplatform genereert tests en geeft wiskundig bewijs over de eigenschappen van modellen uit Simulink en Stateflow. De toolbouwer baseerde het pakket op de Prover Plug-In-methode van het Zweedse Prover Technology.
Simulink Design Verifier is beschikbaar voor Linux en Windows.
The Mathworks besloot formele methodes in het ontwerpgereedschap op te nemen om ontwikkelaars van missiekritische toepassingen voldoende testdekking te geven. Het bedrijf verwacht dat vooral embedded-software-engineers de nieuwe feature zullen gebruiken, maar ook andere hardware- en softwareontwerpers kunnen ervan profiteren. Hoewel er in theorie geen technische hindernissen zijn, is de nieuwe tool bedoeld voor een systeem met een ’redelijk aantal blokken‘ en geen duizenden.
This article is exclusively available to premium members of Bits&Chips. Already a premium member? Please log in. Not yet a premium member? Become one for just €20 for the first year and enjoy all the benefits.
