The Mathworks en Mentor Graphics slaan de handen ineen voor het modelgebaseerd ontwikkelen van DO-254-conforme hardware. Deze aanpak kan daardoor doorgetrokken worden in alle fases van het ontwikkelproces, van het definiëren en beheren van requirements tot aan het testen van de implementatie.
De workflow begint met het verzamelen van requirements via Mentors Reqtracer. Op basis daarvan wordt in Simulink een executeerbaar model gemaakt, met de nodige implementatiedetails zoals vaste-kommarekenen. De modelblokken zijn rechtstreeks aan de vereisten in Reqtracer te koppelen. De volgende stap is verificatie en validatie met Mathworks-tools. Uiteindelijk kan dit volledig geteste model vertaald worden in HDL-implementatie met Simulink HDL Coder. Deze code kan eventueel nog worden doorontwikkeld in Mentors HDL Designer. Ook kunnen de verificatietools van Mentor worden losgelaten op het ontwerp, met koppeling naar Reqtracer.
Via deze geïntegreerde workflow kunnen lucht- en ruimtevaartengineers ontwerpen in een vroegtijdig stadium verifiëren en sneller in HDL implementeren, denken de bedrijven. Bovendien kunnen ontwerp- en verificatieresultaten beter worden hergebruikt.
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.