Verifika awtomatika tar-rekwiżiti tat-TOR waqt simulazzjoni dinamika

Tkompli t-tema "X'inhi l-evidenza tiegħek?", ejja nħarsu lejn il-problema tal-immudellar matematiku min-naħa l-oħra. Wara li nkunu konvinti li l-mudell jikkorrispondi għall-verità tal-ħajja mnaqqsa mid-dar, nistgħu nwieġbu l-mistoqsija ewlenija: "X'għandna, eżattament, hawn?" Meta noħolqu mudell ta 'oġġett tekniku, ġeneralment irridu niżguraw li dan l-oġġett jilħaq l-aspettattivi tagħna. Għal dan il-għan, isiru kalkoli dinamiċi tal-proċessi u r-riżultat jitqabbel mar-rekwiżiti. Dan huwa tewmin diġitali, prototip virtwali, eċċ. guys żgħar tal-moda li, fl-istadju tad-disinn, isolvu l-problema ta 'kif niżguraw li nġibu dak li ppjanajna.

Kif nistgħu malajr niżguraw li s-sistema tagħna hija eżattament dak li niddisinjaw, id-disinn tagħna se jtir jew iżomm f'wiċċ l-ilma? U jekk itir, kemm għoli? U jekk floats, kemm fil-fond?

Dan l-artikolu jiddiskuti l-awtomazzjoni tal-verifika tal-konformità mar-rekwiżiti ta 'bini tekniku meta jinħolqu mudelli dinamiċi ta' sistemi tekniċi. Bħala eżempju, ejja nħarsu lejn element tal-ispeċifikazzjoni teknika għal sistema tat-tkessiħ tal-arja tal-inġenju tal-ajru.

Aħna nqisu dawk ir-rekwiżiti li jistgħu jiġu espressi numerikament u verifikati matematikament ibbażati fuq mudell ta 'kalkolu speċifiku. Huwa ċar li din hija biss parti mir-rekwiżiti ġenerali għal kwalunkwe sistema teknika, iżda huwa meta niċċekkjawhom li nqattgħu ħin, nervi u flus biex noħolqu mudelli dinamiċi tal-oġġett.

Meta tiddeskrivi r-rekwiżiti tekniċi fil-forma ta 'dokument, jistgħu jiġu distinti diversi tipi ta' rekwiżiti differenti, li kull wieħed minnhom jeħtieġ approċċi differenti għall-formazzjoni ta 'verifika awtomatika tat-twettiq tar-rekwiżiti.

Pereżempju, ikkunsidra dan is-sett żgħir iżda realistiku ta’ rekwiżiti:

1. Temperatura tal-arja atmosferika fid-daħla tas-sistema tat-trattament tal-ilma:
   fil-parkeġġ - minn minus 35 sa 35 ºС,
   waqt it-titjira - minn minus 35 sa 39 ºС.
2. Il-pressjoni statika tal-arja atmosferika waqt it-titjira hija minn 700 sa 1013 GPa (minn 526 sa 760 mm Hg).
3. Il-pressjoni totali tal-arja fid-daħla tad-dħul tal-arja SVO waqt it-titjira hija minn 754 sa 1200 GPa (minn 566 sa 1050 mm Hg).
4. Temperatura tal-arja li tkessaħ:
   fil-parkeġġ - mhux aktar minn 27 ºС, għal blokki tekniċi - mhux aktar minn 29 ºС,
   waqt it-titjira - mhux aktar minn 25 ºС, għal blokki tekniċi - mhux aktar minn 27 ºС.
5. Fluss tal-arja li jkessaħ:
   meta pparkjat - mill-inqas 708 kg/h,
   waqt it-titjira - mhux inqas minn 660 kg/h.
6. It-temperatura ta 'l-arja fil-kompartimenti ta' l-istrumenti mhijiex aktar minn 60 ºС.
7. L-ammont ta 'umdità ħielsa fina fl-arja li tkessaħ mhux aktar minn 2 g/kg ta' arja niexfa.

Anke f'dan is-sett limitat ta' rekwiżiti, hemm mill-inqas żewġ kategoriji li jeħtieġ li jiġu ttrattati b'mod differenti fis-sistema:

• rekwiżiti għall-kundizzjonijiet operattivi tas-sistema (klawżoli 1-3);
• rekwiżiti parametriċi għas-sistema (klawżoli 3-7).

Rekwiżiti tal-kundizzjonijiet tat-tħaddim tas-sistema
Il-kundizzjonijiet esterni għas-sistema li qed tiġi żviluppata waqt l-immudellar jistgħu jiġu speċifikati bħala kundizzjonijiet tal-konfini jew bħala riżultat tat-tħaddim tas-sistema ġenerali.
F'simulazzjoni dinamika, huwa meħtieġ li jiġi żgurat li l-kundizzjonijiet operattivi speċifikati jkunu koperti mill-proċess ta 'simulazzjoni.

Rekwiżiti tas-sistema parametrika
Dawn ir-rekwiżiti huma parametri pprovduti mis-sistema nnifisha. Matul il-proċess tal-immudellar, nistgħu niksbu dawn il-parametri bħala riżultati tal-kalkolu u niżguraw li r-rekwiżiti jintlaħqu f'kull kalkolu speċifiku.

Identifikazzjoni u kodifikazzjoni tar-rekwiżiti

Għal faċilità ta 'ħidma mar-rekwiżiti, standards eżistenti jirrakkomandaw li jiġi assenjat identifikatur għal kull rekwiżit. Meta jiġu assenjati identifikaturi, huwa ferm mixtieq li tintuża sistema ta 'kodifikazzjoni unifikata.

Il-kodiċi tar-rekwiżit jista’ jkun sempliċiment numru li jirrappreżenta n-numru tal-ordni tar-rekwiżit, jew jista’ jkun fih kodiċi għat-tip ta’ rekwiżit, kodiċi għas-sistema jew l-unità li tapplika għaliha, kodiċi tal-parametru, kodiċi tal-post, u kull ħaġa oħra li l-inġinier jista 'jimmaġina. (ara l-artiklu għall-użu tal-kodifikazzjoni)

It-Tabella 1 tipprovdi eżempju sempliċi ta' kodifikazzjoni ta' rekwiżiti.

1. kodiċi tas-sors tar-rekwiżiti R-rekwiżiti TK;
2. kodiċi tip ta 'rekwiżiti E - rekwiżiti - parametri ambjentali, jew kundizzjonijiet operattivi
   S - rekwiżiti pprovduti mis-sistema;
3. kodiċi tal-istatus tal-inġenju tal-ajru 0 – kwalunkwe, G – ipparkjat, F – waqt it-titjira;
4. kodiċi tat-tip tal-parametru fiżiku T – temperatura, P – pressjoni, G – rata tal-fluss, umdità H;
5. numru tas-serje tar-rekwiżit.

ID Rekwiżiti	Deskrizzjoni	Parametru
REGT01	Temperatura tal-arja ambjentali fid-daħla tas-sistema tat-tkessiħ tal-ilma: fil-lott tal-parkeġġ - minn minus 35ºС. sa 35 ºС.
REFT01	Temperatura ta 'l-arja atmosferika fid-daħla tas-sistema ta' difiża ta 'l-arja: waqt it-titjira - minn minus 35 ºС sa 39 ºС.
REFP01	Il-pressjoni tal-arja atmosferika statika waqt it-titjira hija minn 700 sa 1013 hPa (minn 526 sa 760 mm Hg).
REFP02	Il-pressjoni totali tal-arja fid-daħla tad-dħul tal-arja SVO waqt it-titjira hija minn 754 sa 1200 hPa (minn 566 sa 1050 mm Hg).
RSGT01	Temperatura ta 'l-arja li tkessaħ: meta pparkjata mhux aktar minn 27 ºС
RSGT02	Temperatura tal-arja li tkessaħ: fil-parkeġġ, għal unitajiet tekniċi mhux aktar minn 29 ºС
RSFT01	It-temperatura tal-arja li tkessaħ waqt it-titjira mhux aktar minn 25 ºС
RSFT02	Temperatura ta 'l-arja li tkessaħ: waqt it-titjira, għal unitajiet tekniċi mhux aktar minn 27 ºС
RSGG01	Fluss ta 'arja li jkessaħ: meta pparkjata mhux inqas minn 708 kg/h
RSFG01	Fluss ta 'arja li jkessaħ: waqt it-titjira mhux inqas minn 660 kg/h
RS0T01	It-temperatura tal-arja fil-kompartimenti tal-istrumenti mhux aktar minn 60 ºС
RSH01	L-ammont ta 'umdità ħielsa fina fl-arja li tkessaħ mhux aktar minn 2 g/kg ta' arja niexfa

Disinn tas-sistema tal-verifika tar-rekwiżiti.

Għal kull rekwiżit tad-disinn hemm algoritmu għall-valutazzjoni tal-korrispondenza tal-parametri tad-disinn u l-parametri speċifikati fir-rekwiżit. B'mod ġenerali, kwalunkwe sistema ta 'kontroll dejjem fiha algoritmi għall-iċċekkjar tar-rekwiżiti sempliċiment awtomatikament. U anke kull regolatur fihhom. Jekk it-temperatura tmur barra mil-limiti, l-arja kondizzjonata tixgħel. Għalhekk, l-ewwel stadju ta 'kwalunkwe regolament huwa li jiċċekkja jekk il-parametri jissodisfawx ir-rekwiżiti.

U peress li l-verifika hija algoritmu, allura nistgħu nużaw l-istess għodod u għodod li nużaw biex noħolqu programmi ta 'kontroll. Pereżempju, l-ambjent SimInTech jippermettilek toħloq pakketti ta 'proġetti li fihom diversi partijiet tal-mudell, eżegwiti fil-forma ta' proġetti separati (mudell tal-oġġett, mudell tas-sistema ta 'kontroll, mudell tal-ambjent, eċċ.).

Il-proġett ta 'verifika tar-rekwiżiti f'dan il-każ isir l-istess proġett ta' algoritmu u huwa konness mal-pakkett tal-mudell. U fil-mod ta 'mudellar dinamiku twettaq analiżi għall-konformità mar-rekwiżiti tal-ispeċifikazzjonijiet tekniċi.

Eżempju possibbli ta’ disinn ta’ sistema jidher fil-Figura 1.

Figura 1. Eżempju ta' disinn ta' proġett ta' verifika.

Eżatt bħal għall-algoritmi ta 'kontroll, ir-rekwiżiti jistgħu jitfasslu bħala sett ta' folji. Għall-konvenjenza ta 'ħidma ma' algoritmi f'ambjenti ta 'mudellar strutturali bħal SimInTech, Simulink, AmeSim, tintuża l-abbiltà li jinħolqu strutturi f'ħafna livelli fil-forma ta' sottomudelli. Din l-organizzazzjoni tagħmilha possibbli li jiġu miġbura diversi rekwiżiti f'settijiet biex tissimplifika x-xogħol b'firxa ta 'rekwiżiti, kif isir għall-algoritmi ta' kontroll (ara Fig. 2).

Figura 2. Struttura ġerarkika tal-mudell tal-verifika tar-rekwiżiti.

Per eżempju, fil-każ taħt konsiderazzjoni, żewġ gruppi huma distinti: rekwiżiti għall-ambjent u rekwiżiti direttament għas-sistema. Għalhekk, tintuża struttura tad-dejta fuq żewġ livelli: żewġ gruppi, li kull wieħed minnhom huwa werqa tal-algoritmu.

Biex tikkonnettja d-data mal-mudell, tintuża skema standard għall-ġenerazzjoni ta 'database tas-sinjali, li taħżen data għall-iskambju bejn partijiet tal-proġett.

Meta toħloq u tittestja s-softwer, il-qari tas-sensuri (analogi ta 'sensors tas-sistema reali) li jintużaw mis-sistema ta' kontroll jitqiegħdu f'din id-database.
Għal proġett tat-test, kwalunkwe parametru kkalkulat fil-mudell dinamiku jista 'jinħażen fl-istess database u għalhekk jintuża biex jiċċekkja jekk ir-rekwiżiti humiex sodisfatti.

F'dan il-każ, il-mudell dinamiku innifsu jista 'jiġi eżegwit fi kwalunkwe sistema ta' mmudellar matematiku jew saħansitra fil-forma ta 'programm eżekutibbli. L-uniku rekwiżit huwa l-preżenza ta 'interfaces tas-softwer għall-ħruġ ta' data ta 'mudellar għall-ambjent estern.

Figura 3. Konnessjoni tal-proġett ta 'verifika mal-mudell kumpless.

Eżempju ta 'folja ta' verifika tar-rekwiżiti bażiċi huwa ppreżentat fil-Figura 4. Mill-aspett tal-iżviluppatur, hija dijagramma ta 'kalkolu konvenzjonali li fuqha l-algoritmu ta' verifika tar-rekwiżiti huwa ppreżentat grafikament.

Figura 4. Folja ta' kontroll tar-rekwiżiti.

Il-partijiet ewlenin tal-folja tal-kontroll huma deskritti fil-Figura 5. L-algoritmu tal-kontroll huwa ffurmat b'mod simili għad-dijagrammi tad-disinn tal-algoritmi tal-kontroll. Fuq in-naħa tal-lemin hemm blokka għall-qari tas-sinjali mid-database. Din il-blokka taċċessa d-database tas-sinjali waqt is-simulazzjoni.

Is-sinjali riċevuti huma analizzati biex jiġu kkalkulati l-kundizzjonijiet tal-verifika tar-rekwiżiti. F'dan il-każ, titwettaq analiżi tal-altitudni biex tiddetermina l-pożizzjoni tal-inġenju tal-ajru (kemm jekk huwiex ipparkjat jew waqt it-titjira). Għal dan il-għan, tista 'tuża sinjali oħra u parametri kkalkulati tal-mudell.

Il-kundizzjonijiet ta' verifika u l-parametri li qed jiġu ċċekkjati huma trasferiti għal blokki ta' verifika standard, li fihom dawn il-parametri huma analizzati għall-konformità mar-rekwiżiti speċifikati. Ir-riżultati huma rreġistrati fid-database tas-sinjali b'tali mod li jistgħu jintużaw biex awtomatikament jiġġeneraw lista ta 'kontroll.

Figura 5. Struttura tal-folja tal-kalkolu tal-verifika tar-rekwiżiti.

Il-parametri li għandhom jiġu ttestjati mhux bilfors jużaw sinjali li jinsabu fid-database, li huma kkontrollati minn parametri kkalkulati matul il-proċess ta 'simulazzjoni. Xejn ma jżommna milli nwettqu kalkoli addizzjonali fil-qafas tal-abbozzi ta' rekwiżiti, bħalma nikkalkulaw il-kundizzjonijiet tal-verifika.

Pereżempju, dan ir-rekwiżit:

In-numru ta 'attivazzjonijiet tas-sistema ta' korrezzjoni matul it-titjira lejn il-mira m'għandux jaqbeż il-5, u l-ħin operattiv totali tas-sistema ta 'korrezzjoni m'għandux jaqbeż it-30 sekonda.

F'dan il-każ, algoritmu biex jiġġieled in-numru ta 'startijiet u l-ħin totali tat-tħaddim huwa miżjud mad-dijagramma tad-disinn tar-rekwiżiti.

Blokk ta' verifika tar-rekwiżiti tipiċi.

Kull kaxxa ta 'kontroll ta' rekwiżit standard hija mfassla biex tikkalkula t-twettiq ta 'rekwiżit ta' ċertu tip. Pereżempju, ir-rekwiżiti ambjentali jinkludu firxa ta 'temperaturi operattivi ambjentali meta pparkjati u waqt it-titjira. Din il-blokka trid tirċievi t-temperatura tal-arja fil-mudell bħala parametru u tiddetermina jekk dan il-parametru jkoprix il-firxa tat-temperatura speċifikata./p>

Il-blokk fih żewġ portijiet ta 'input, param u kundizzjoni.

L-ewwel wieħed jiġi mitmugħ bil-parametru jiġi ċċekkjat. F'dan il-każ, "Temperatura esterna".

Varjabbli Boolean huwa fornut lit-tieni port - il-kundizzjoni għat-twettiq tal-verifika.

Jekk VERU (1) jiġi riċevut fit-tieni input, allura l-blokka twettaq kalkolu tal-verifika tar-rekwiżit.

Jekk it-tieni input jirċievi FALZ (0), allura l-kundizzjonijiet tat-test ma jiġux sodisfatti. Dan huwa meħtieġ sabiex il-kundizzjonijiet tal-kalkolu jkunu jistgħu jitqiesu. Fil-każ tagħna, dan l-input jintuża biex jippermetti jew jiskonnettja l-kontroll skont l-istat tal-mudell. Jekk l-inġenju tal-ajru jkun fuq l-art waqt is-simulazzjoni, allura r-rekwiżiti relatati mat-titjira ma jiġux iċċekkjati, u viċi versa - jekk l-inġenju tal-ajru jkun fit-titjira, allura r-rekwiżiti relatati mal-operat fuq l-istand ma jiġux iċċekkjati.

Dan l-input jista 'jintuża wkoll meta jiġi stabbilit il-mudell, pereżempju fl-istadju inizjali tal-kalkolu. Meta l-mudell jinġieb fl-istat meħtieġ, il-blokki tal-kontroll huma diżattivati, iżda hekk kif is-sistema tilħaq il-mod ta 'tħaddim meħtieġ, il-blokki tal-kontroll huma mixgħula.

Il-parametri ta’ dan il-blokk huma:

• kundizzjonijiet tal-konfini: limiti ta’ medda ta’ fuq (UpLimit) u ta’ isfel (Limita ta’ isfel) li jridu jiġu kkontrollati;
• il-ħin meħtieġ ta' espożizzjoni tas-sistema fil-firxiet tal-konfini (TimeInterval) f'sekondi;
• ID talba ReqName;
• il-permessibbiltà li tinqabeż il-medda Out_range hija varjabbli Boolean li tiddetermina jekk valur li jaqbeż il-medda kkontrollata huwiex ksur tar-rekwiżit.

F'xi każijiet, l-output tal-valur tat-test jindika li s-sistema għandha xi marġni u tista 'topera barra l-firxa operattiva tagħha. F'każijiet oħra, output ifisser li s-sistema ma tistax iżżomm is-setpoints fil-medda.

Figura 6. Blokk ta 'kontroll tal-proprjetà tipiku fid-dijagramma u l-parametri tagħha.

Bħala riżultat tal-kalkolu ta 'dan il-blokk, il-varjabbli Riżultat hija ffurmata fl-output, li tieħu l-valuri li ġejjin:

• 0 – rXejn, valur mhux definit;
• 1 – rMagħmul, ir-rekwiżit huwa sodisfatt;
• 2 – rFault, ir-rekwiżit ma jintlaħaqx.

L-immaġni tal-blokk fiha:

• test ta' l-identifikatur;
• wirjiet diġitali tal-parametri tal-limiti tal-kejl;
• identifikatur tal-kulur tal-istatus tal-parametru.

Ġewwa l-blokka jista 'jkun hemm ċirkwit ta' inferenza loġika pjuttost kumplessa.

Pereżempju, biex tiċċekkja l-firxa tat-temperatura operattiva tal-unità murija fil-Figura 6, iċ-ċirkwit intern jidher fil-Figura 7.

Figura 7. Dijagramma interna tal-unità tad-determinazzjoni tal-firxa tat-temperatura.

Ġewwa l-blokka taċ-ċirkwit, jintużaw il-proprjetajiet speċifikati fil-parametri tal-blokk.
Minbarra l-analiżi tal-konformità mar-rekwiżiti, id-dijagramma interna tal-blokka fiha graff meħtieġ għall-wiri tar-riżultati tas-simulazzjoni. Din il-grafika tista' tintuża kemm għall-wiri waqt il-kalkolu kif ukoll għall-analiżi tar-riżultati wara l-kalkolu.

Ir-riżultati tal-kalkolu huma trażmessi lill-output tal-blokk u huma simultanjament irreġistrati f'fajl ta 'rapport ġenerali, li jinħoloq ibbażat fuq ir-riżultati għall-proġett kollu. (ara Fig. 8)

Eżempju ta' rapport maħluq ibbażat fuq ir-riżultati tas-simulazzjoni huwa fajl html maħluq skont format partikolari. Il-format jista 'jiġi kkonfigurat b'mod arbitrarju għall-format aċċettat minn organizzazzjoni partikolari.

Ġewwa l-blokka taċ-ċirkwit, jintużaw il-proprjetajiet speċifikati fil-parametri tal-blokk.
Minbarra l-analiżi tal-konformità mar-rekwiżiti, id-dijagramma interna tal-blokka fiha graff meħtieġ għall-wiri tar-riżultati tas-simulazzjoni. Din il-grafika tista' tintuża kemm għall-wiri waqt il-kalkolu kif ukoll għall-analiżi tar-riżultati wara l-kalkolu.

Ir-riżultati tal-kalkolu huma trażmessi lill-output tal-blokk u huma simultanjament irreġistrati f'fajl ta 'rapport ġenerali, li jinħoloq ibbażat fuq ir-riżultati għall-proġett kollu. (ara Fig. 8)

Eżempju ta' rapport maħluq ibbażat fuq ir-riżultati tas-simulazzjoni huwa fajl html maħluq skont format partikolari. Il-format jista 'jiġi kkonfigurat b'mod arbitrarju għall-format aċċettat minn organizzazzjoni partikolari.

Figura 8. Eżempju ta' fajl ta' rapport ibbażat fuq riżultati ta' simulazzjoni.

F'dan l-eżempju, il-formola tar-rapport hija kkonfigurata direttament fil-proprjetajiet tal-proġett, u l-format fit-tabella huwa stabbilit bħala sinjali globali tal-proġett. F'dan il-każ, SimInTech innifsu jsolvi l-problema tat-twaqqif tar-rapport, u l-blokk għall-kitba tar-riżultati f'fajl juża dawn il-linji biex jikteb fil-fajl tar-rapport.

Figura 9. L-issettjar tal-format tar-rapport f'sinjali tal-proġett globali

L-użu ta 'database tas-sinjali għar-rekwiżiti.

Biex awtomat ix-xogħol b'settings tal-proprjetà, tinħoloq struttura standard fid-database tas-sinjali għal kull blokka tipika. (ara Fig. 10)

Figura 10. Eżempju ta' l-istruttura ta' blokk ta' kontroll ta' rekwiżiti f'database tas-sinjali.

Id-database tas-sinjali tipprovdi:

• Il-ħażna tal-parametri kollha meħtieġa tas-sistema.
• Wiri konvenjenti tar-rekwiżiti eżistenti tal-proġett minn parametri speċifikati u r-riżultati tal-immudellar attwali.
• Twaqqif ta' blokka waħda jew grupp ta' blokki bl-użu ta' lingwa ta' programmar ta' scripting. Bidliet fid-database tas-sinjali jwasslu għal bidliet fil-valuri tal-proprjetà tal-blokk fid-dijagramma.
• Il-ħażna ta' deskrizzjonijiet tat-test, links għal oġġetti ta' speċifikazzjonijiet tekniċi jew identifikaturi fis-sistema ta' ġestjoni tar-rekwiżiti.

L-istrutturi tad-database tas-sinjali għar-rekwiżiti jistgħu jiġu kkonfigurati faċilment biex jaħdmu ma 'sistema ta' ġestjoni tar-rekwiżiti ta 'parti terza.Dijagramma ġenerali tal-interazzjoni mas-sistemi ta' ġestjoni tar-rekwiżiti hija ppreżentata fil-Figura 11.

Figura 11. Dijagramma ta' interazzjoni mas-sistema ta' ġestjoni tar-rekwiżiti.

Is-sekwenza ta' interazzjoni bejn il-proġett tat-test SimInTech u s-sistema ta' kontroll tar-rekwiżiti hija kif ġej:

1. It-termini ta' referenza huma mqassma f'rekwiżiti.
2. Ir-rekwiżiti tal-ispeċifikazzjonijiet tekniċi huma identifikati li jistgħu jiġu vverifikati permezz ta' mudellar matematiku ta' proċessi tekniċi.
3. Attributi tar-rekwiżiti magħżula huma trasferiti għad-database tas-sinjali SimInTech fl-istruttura ta 'blokki standard (per eżempju, temperatura massima u minima).
4. Matul il-proċess ta 'kalkolu, id-dejta tal-istruttura tiġi trasferita għal dijagrammi tad-disinn tal-blokki, titwettaq analiżi u r-riżultati jinħażnu f'database tas-sinjali.
5. Ladarba l-kalkolu jitlesta, ir-riżultati tal-analiżi jiġu trasferiti għas-sistema tal-ġestjoni tar-rekwiżiti.

Il-passi 3 sa 5 tar-rekwiżiti jistgħu jiġu ripetuti matul il-proċess tad-disinn meta jseħħu bidliet fid-disinn u/jew ir-rekwiżiti u l-impatt tal-bidliet jeħtieġ li jiġi ttestjat mill-ġdid.

Konklużjonijiet.

• Il-prototip maħluq tas-sistema jipprovdi tnaqqis sinifikanti fil-ħin tal-analiżi tal-mudelli eżistenti għall-konformità mar-rekwiżiti tal-ispeċifikazzjonijiet tekniċi.
• It-teknoloġija tal-ittestjar proposta tuża mudelli dinamiċi diġà eżistenti u tista 'tintuża anke għal kwalunkwe mudelli dinamiċi, inklużi dawk mhux imwettqa fl-ambjent SimInTech.
• L-użu ta 'organizzazzjoni tad-dejta tal-lott jippermettilek toħloq pakketti ta' verifika tar-rekwiżiti b'mod parallel mal-iżvilupp tal-mudell, jew saħansitra tuża dawn il-pakketti bħala speċifikazzjonijiet tekniċi għall-iżvilupp tal-mudell.
• It-teknoloġija tista 'tiġi integrata ma' sistemi eżistenti ta 'ġestjoni tar-rekwiżiti mingħajr spejjeż sinifikanti.

Għal dawk li jaqraw sal-aħħar, link għal vidjo li juri kif jaħdem il-prototip.

Sors: www.habr.com