Send til en ven   Udskriv7/4 2010 kl. 14:21
Send til en ven

The Mathworks og Mentor Graphics samarbejder om modelbaseret design

The Mathworks og Mentor Graphcis lancerer integreret DO-254 compliant workflow for modelbaseret design.

The MathWorks og Mentor Graphics annoncerer et fælles rådgivningssamarbejde vedrørende et integreret workflow, som sikrer DO-254 compliance via modelbaseret design.

Tilgangen kombinerer værktøj fra The MathWorks og Mentor Graphics, der understøtter modelbaseret design i alle udviklingsprocessens faser, herunder definition og styring af kravspecifikation, konceptuelt og detaljeret design, implementering og test.

Via det integrerede workflow, kan specielt aerospaceingeniører på et tidligere stadie verificere designs, hurtigere implementere i HDL, opnå større grad af genbrug af design og verificering og lettere styre krav og testcases gennem hele udviklingsforløbet.

I det nye DO-254-workflow kan ingeniører begynde at indsamle og styre krav via ReqTracer fra Mentor Graphics. Baseret på kravene anvendes en eksekverbar Simulink-model til at udvikle og undersøge et konceptuelt design med implementeringsoplysninger som f.eks. fikspunkteffekter. Modelblokke kan henføres direkte til kravene i ReqTracer for at sikre sporbarhed.

Ved hjælp af verificerings- og valideringsværktøj fra The MathWorks, kan ingeniørerne derefter udføre en funktionstest og en formel analyse på konceptmodelniveau. Design- og verificeringsmulighederne lader ingeniørerne sikre sig, at det konceptuelle design er fuldt testet med sporbarhed til kravene, og at det overholder alle nødvendige krav. Ud fra den fuldt testede model, kan der automatisk genereres et detaljeret design i HDL med Simulink HDL Coder.

Fra dette trin og fremad, er Mentor Graphics HDL Designer det primære miljø til yderligere HDL-udvikling, kodekontrol, kodevisualisering og evalueringer. Yderligere verificering af det detaljerede HDL-design kan udføres i Mentor Graphics’ verificeringsmiljø, der drager nytte af de testvektorer, der blev oprettet på modelniveau, via værktøj som ModelSim og Questa.

Formel analyse understøttes af 0-In Formal Verification, til HDL-modelkontrol, og FormalPro til kontrol af logisk ækvivalens. FPGA-syntese og integration med FPGA-leverandørens placerings- og routingsværktøj opnås med PrecisionRTL Plus. Alle verificeringsresultater og indstillinger for syntesebegrænsninger, der genereres under hele flowet, kan spores tilbage til design- og verificeringskravene med ReqTracer.

Anvendelsen af modelbaseret design til DO-254-certificering med MathWorks-værktøj er forklaret yderligere på www.mathworks.com/do-254 , og Mentor Graphics DO-254-tilgangen er uddybet på www.mentor.com/go/do-254. Der eksisterer også et whitepaper, der kan ses på: http://www.mathworks.com/aerospace-defense/standards/do-254.html

Relaterede nyheder

Forrige1234Næste

Elektronik & Data • Odsgard A/S • Stationsparken 25 • 2600 Glostrup • Tlf: +45 4345 1063