V-Model — Metodológia systémovýho inžinierstva
V-Model (Verifikacňa a validacňa model) je metodológia systémovýho inžinierstva, kde každý vývojová fáza na lavej strane �V” má priamo zodpovedajšcu testovaciu a verifikacňa fázu na pravej strane. Je štandardnám prístupom pre bezpecnostne kritická vývoj v letectve (DO-178C/DO-254), automobilovom priemysle (ISO 26262), obrane a priemyselnej automatizšcii.
štruktúra V-Modelu
Požiadavky -------------------- Akceptacňa testovanie
? ?
Systémový návrh ------------ Systémový testovanie
? ?
Návrh architektúry ---- Integracňa testovanie
? ?
Detailný návrh ---- Jednotkový testovanie
? ?
Implementácia
Fšzy V-Modelu
| Lavý strana (Vývoj) | Pravý strana (Verifikácia) | Sledovatelnost |
|---|
| Analýza požiadaviek | Akceptacňa testovanie | Každý požiadavka má pass/fail test |
| Systémový návrh | Systémový testovanie | Správanie validovaňa voci návrhu |
| Návrh architektúry | Integracňa testovanie | Overenie rozhranie modulov |
| Detailný návrh | Jednotkový testovanie | Každý komponent testovaňa izolovane |
| Implementácia | — (kódovanie / výroba) | — |
Preco V-Model pre hardvér?
- Zmeny sú drah� — Na rozdiel od softvéru, hardvérová chyby objaveňa neskoro má�u stšt milišny (respin ASIC, re-layout PCB, re-certifikácia).
- Sledovatelnost je povinná — Bezpecnostňa normy (DO-254, ISO 26262) vyžadujú úplný sledovatelnost od požiadaviek po dôkazy o verifikšcii.
- Vcasňa detekcia chšb — Každý fáza má explicitňa revýzne brány.
- Regulacňa súlad — Certifikacňa autority (EASA, FAA, TšV) akceptuj� dokumentáciu V-Modelu.
V-Model vo vývoji FPGA
| Fáza | Aktivity | Všstupy |
|---|
| Požiadavky | Zachytenie funkcňach a výkonnostňach požiadaviek | špecifikácia požiadaviek |
| Architektúra | Rozdelenie na IP bloky, definécia rozhranie | Dokument architektúry, ICD |
| Detailný návrh | RTL mikroarchitektúra, stavový automaty | Dokument detailnýho návrhu |
| Implementácia | VHDL kódovanie, syntéza, P&R | RTL zdrojový kód, bitstream |
| Jednotkový testy | Simulácia na úrovni blokov, pokrytie | Testovacie správy |
| Integracňa testy | Multi-blokový simulácia | Integracňa správa |
| Systémový testy | Hardware-in-the-loop, environmentšlne testy | Akceptacňa správa |
V-Model vs. Agile
| Faktor | V-Model | Agile |
|---|
| Nšklady na iteršciu | Vysoká (fyzická prototypy, certifikácia) | Nízke (softvérová deployment) |
| Regulacňa akceptovanie | Vyžadovaný DO-254, ISO 26262 | Neakceptovaňa pre certifikáciu |
| Najlepšie pre | Bezpecnostne kritická HW a FW | Aplikacňa softvér, UX iteršcia |
Moderňa tímy používaj� hybridňa prístup: V-Model pre hardvér a kritická firmvér, Agile pre aplikacňa softvér.
Normy vyžadujúce V-Model
| Norma | Domána |
|---|
| DO-254 | Letecký hardvér |
| DO-178C | Letecký softvér |
| ISO 26262 | Automobilový priemysel |
| IEC 61508 | Priemyselná funkcňa bezpecnost |
| IEC 62443 | Priemyselná kybernetická bezpecnost |
Súvisiace pojmy
- FPGA — Hardvérová zariadenia vyvýjaňa podla V-Modelu.
- RTL Design — Implementacňa fáza V-Modelu pre digitálne obvody.
- PCB Design — Návrh fyzického hardvéru podla revýznych bršn V-Modelu.
- DO-254 — Letecký norma vyžadujúca V-Model pre palubňa hardvér.
Inovasense aplikuje metodolšgiu V-Model napriec celým vývojom hardvéru — od návrhu FPGA s úplnou sledovatelnostou požiadaviek a pokrytím verifikácie po riadenie životného cyklu produktov, ktorý koordinuje multidisciplinérne tímy cez každý fšzový bršnu.
