Paġna ewlenija

Inġinerija u IA fl-iżvilupp embedded

L-IA ġenerattiva tibdel parti mill-iżvilupp embedded — iżda mhux il-parti deċiżiva. X'inhu mbiegħed, x'inhu intensifikat, u x'tirċievi bħala klijent.

Sitwazzjoni inizjali

L-IA ġenerattiva llum tista' tipproduċi drivers standard, awtomati ta' stat sempliċi u kodiċi boilerplate f'SystemVerilog, VHDL, C jew Python. Dan huwa reali, utli, u naqqas l-isforz għal ċerti kompiti ta' rutina.

Minn hawn tqum mistoqsija leġittima: x'għadu jġib żviluppatur b'esperjenza ta' embedded u FPGA f'dan l-ambjent?

It-tweġiba hija konkreta.

L-ispeċifikazzjoni hija l-vera xogħol

L-IA hija eżekutur veloċi. Tipproduċi dak li jingħadlielha — mhux dak li hu meħtieġ. Titlob lill-IA «iktebli driver UART» tagħtik driver UART. Imma mhux dak li jaħdem verament b'dan id-dominju tal-arloġġ, b'din l-allokazzjoni tal-pinns, b'dan l-imġiba tal-ħin u b'dan l-immaniġġjar tal-iżbalji fl-ambjent fil-mira.

Il-vera xogħol tal-inġinier mhuwiex il-ġenerazzjoni tal-kodiċi. Huwa l-kitba ta' speċifikazzjoni preċiża: x'għandu eżatt jiġri, taħt liema kundizzjonijiet, b'liema tolleranzi, b'liema imġiba f'każ ta' żball, f'liema firxa ta' temperatura, fuq liema ħajja utli.

IA aħjar ma tibdel xejn minn dan. Anzi: aktar ma għodod isiru qawwijin, aktar deċiżiv issir l-istruzzjoni korretta tagħhom.

Speċifikazzjoni mwielda mill-esperjenza teskludi t-trabokki

L-IA ma żżidx rekwiżiti li l-klijent ma ħasebx fihom. Ma toħloqx każijiet speċjali. Tipprovdi eżatt dak li hu fl-ispeċifikazzjoni — u xejn aktar. Dak li mhuwiex speċifikat, jonqos fir-riżultat.

B'hekk ir-riskju jinbidel kompletament fuq l-ispeċifikazzjoni nnifisha. Speċifikazzjoni bla esperjenza tiddeskrivi b'mod korrett dak li l-klijent talab u tinjora dak kollu li min ikun qed jiktibha qatt ma esperjenza: il-ħsara rari ta' sensor f'ċerti gradjenti tat-temperatura, l-imġiba waqt brown-out simultanju u serratura tal-bus I²C, watchdog reset matul sekwenza ta' kitba flash, l-koppjament elettromanjetiku fuq kejbils twal tas-sensors, l-imġiba mar-restart wara reset mhux intenzjonat matul operazzjoni kritika ta' kitba.

Tali punti mhumiex rekwiżiti tal-klijent. Huma rekwiżiti li żviluppatur b'esperjenza iżżid, billi jaf li inkella ma jkunu mkien. Speċifikazzjoni hija għalhekk dejjem ukoll katalgu ta' riskji — u l-fond tagħha huwa proporzjonali għall-esperjenza ta' min jiktibha.

Mill-prattika

Apparat ta' infużjoni

F'investigazzjoni tas-sigurtà ta' apparat ta' infużjoni, li għaliha ġejt imsejjaħ minn manifattur ta' apparati mediċi, dehret ħsara rilevanti għas-sigurtà li nibtet mill-okkorrenza simultanja ta' żewġ żbalji individwali: il-ħsara fil-hardware ta' ċipp tal-memorja u rutina ta' verifika żbaljata għal eżatt dik iċ-ċipp. Kull żball waħdu kien immaniġġjabbli. Biss il-kombinazzjoni pproduċiet l-istat ta' żball mhux misjub.

Hija eżatt din l-analiżi kombinata li trid tiżdied attivament fi speċifikazzjoni. Mir-rekwiżit «iċċekkja l-memorja» għodda tiġġenera rutina ta' verifika. Mill-esperjenza joħroġ ir-rekwiżit addizzjonali li anke l-falliment tar-rutina ta' verifika nnifisha m'għandux iwassal għal stat ta' żball siekjet. Ebda għodda ma tifformula dan it-tieni rekwiżit waħedha.

Ma' dan jiżdiedu t-trabokki qrib il-hardware li mhumiex fid-data sheets, iżda f'rashom tal-iżviluppaturi li diġà kellhom jaħarbu warajhom darba:

  • Li primittiv carry-chain partikolari jiżvija bit-temperatura u l-vultaġġ tal-provvista u mingħajr kalibrazzjoni ma jagħtix riżoluzzjoni stabbli.
  • Li bus QSPI isir instabbli f'50 MHz jekk it-traċċar tal-art mhuwiex stilla.
  • Li mutex tal-FreeRTOS u semafru t-tnejn isolvu problema tar-riżorsi, imma wieħed biss minnhom jevita l-inverżjoni tal-prijorità.
Għall-funzjonijiet kritiċi għas-sigurtà, dan mhuwiex tlestija kwalitattiva. Hija d-differenza bejn «jaħdem» u «jaħdem ukoll meta dak li ma għandux jiġri jiġri xorta».

Għażla tat-triq sikura minn ħafna

Għall-biċċa l-kbira tal-kompiti hemm diversi soluzzjonijiet li fundamentalment jaħdmu. Imma ftit minnhom biss jissodisfaw ir-rekwiżiti ta' sigurtà, affidabbiltà u ħajja utli li l-prodott konkret jeħtieġ.

Sistema IA tagħżel dak li kien frekwenti fid-data tat-taħriġ tagħha. Żviluppatur b'esperjenza jagħżel dak li f'sistema rilevanti għas-sigurtà ma jwassalx għal katastrofi. Din id-deċiżjoni tal-għażla mhijiex dettal ta' implimentazzjoni. Hija l-vera inġinerija.

L-istat tat-teknika bħala kejl ġuridiku

F'każ ta' ħsara, il-leġiżlatur jeżiġi prova li l-prodott fil-mument tat-tqegħid fis-suq kien jikkorrispondi mal-istat tat-teknika. Hija l-kundizzjoni ċentrali biex manifattur ikun jista' jargumenta lilu nnifsu barra mir-responsabbiltà tal-prodott. Bid-Direttiva Ewropea l-ġdida dwar ir-responsabbiltà ta' prodotti difettużi u l-liġi nazzjonali tat-trasponiment li ssegwi minnha, dan il-piż tal-prova jiġi mwebbes b'mod espliċitu għal softwer u prodotti integrati bis-softwer.

L-istat tat-teknika mhuwiex stat statiku. Huwa dak li bejn esperti jitqies bħala soltu — u attwalment jinbidel b'mod aċċellerat għax għodod u metodi ġodda f'ċikli qosra jgħollu l-istandard tas-suq.

Minn hawn jiġi: min illum jiżviluppa sistema embedded irid ikun jaf u juża l-metodi attwalment iktar qawwijin. Min ma jagħmilx hekk, joħloq għall-klijent tiegħu riskju konkret ta' responsabbiltà. Dan jippresupponi eżatt żviluppatur li jirrispetta kemm l-għodod stabbiliti kif ukoll dawk il-ġodda u jista' jagħmel l-għażla t-tajba.

Kif naħdem

Nuża għodod tal-IA fejn jiffrankaw ħin imkejjel mingħajr ma joħolqu riskji: l-ewwel abbozz ta' boilerplate, ġenerazzjoni ta' testbenches, dokumentazzjoni, verifika tal-leġibbiltà.

Ma nużahomx bħala sostitut għal:

  • Deċiżjonijiet tal-arkitettura
  • Speċifikazzjoni mill-esperjenza tal-applikazzjoni
  • Għażla bejn toroq ta' soluzzjoni taħt aspetti ta' sigurtà u affidabbiltà
  • Analiżi tal-ħin fuq hardware reali
  • Verifika tas-sistema kompluta kontra l-ispeċifikazzjoni

Ir-riżultat: anqas xogħol għax-xogħol ta' rutina, kwalità għolja kostanti fil-kompiti li verament iġorru l-proġett, u proċess ta' żvilupp dokumentat li jikkorrispondi mal-istat attwali tat-teknika.

X'tirċievi bħala klijent

Tinkariga żviluppatur b'aktar minn 35 sena ta' esperjenza f'FPGA u embedded, li jaf l-għodod attwali u jista' jiġġudika l-limiti tagħhom. Ma tirċievix la «proġett iġġenerat mill-IA» u lanqas «proġett mingħajr IA». Tirċievi sistema li taħdem, li għaliha persuna konkreta tieħu r-responsabbiltà — u li f'każ ta' ħsara tista' tintwera bħala żviluppata skont l-istat tat-teknika.

Jekk għandek proġett embedded li jeħtieġ eżatt din il-fond, nitkellmu fuqu direttament. L-ewwel diskussjoni u stima ġenerali huma bla ħlas u mingħajr obbligu.

Skema tal-kuluri

Lingwa