Girdeji:
- AI bilen mikrokontrol programma üpjünçiliginiň skeletini, sürüjisini we döwlet maşynlaryny çaltlaşdyrmak ukyby
- AI goldawy bilen arakesmäni, wagty, gözegçilik gözegçiligini we pes güýçli logikany gözden geçirmek ukyby
- Statiki derňew, enjamda synag we howpsuzlyk talaplary arkaly AI tarapyndan döredilen programma üpjünçiliginiň koduny barlamak ukyby
Içerki ulgam, belli bir işi ýerine ýetirmek üçin niýetlenen mikrokontrolaryň (prosessor, ýat we periferiýa enjamlaryny ýerleşdirýän kiçijik kompýuter) töwereginde gurlan elektron enjamdyr: termostat, modem, datçik düwmesi, motor sürüjisi. Programma üpjünçiligi, bu enjamyň enjamlaryny gönüden-göni işleýän programma üpjünçiligi. Bu bölümde programma üpjünçiligini işläp düzmekde tizlendiriji hökmünde AI-ni nädip ulanmalydygyny görersiňiz (sürüjiniň ýazuwy, döwlet enjamy, arakesme we wagt logikasy, pes güýji dolandyrmak). AI kodlaşdyrmakda hakykatdanam güýçlidir; Theöne ornaşdyrylan dünýäde kod apparat, hakyky wagt we köplenç howpsuzlyk bilen birleşdirilýär. Şonuň üçin AI öndürýän her setir statiki derňewden, hasaba alyş / maglumat tablisasyndan we enjamda hakyky synagdan geçmeli.
AI programma üpjünçiliginde nirede güýçli, nirede töwekgelçilikli
AI programma üpjünçiliginiň "skelet" we "ölmek" böleginde gaty güýçlidir: I2C / SPI sürüjisiniň gurluşy, döwlet maşynynyň çarçuwasy (enjamyň ýagdaýlaryny we geçişini kesgitleýän logika), halka buferiniň ýerine ýetirilişi, görkezme derňewi, synag skeleti. Hasaba alyş tablisasyny çylşyrymly maglumat tablisasynda okap we başlangyç koduny döredip biler. Erroralňyşlygy düşündirip, düzüjiniň duýduryşyny düşündirip biler.
Töwekgelçilikli ýerde oturdylan ulgamyň özeni:
- Salgy salgylary we bit meýdanlary: AI çipiň registr kartasyny ýalňyş goýup biler; Her bir salgy we bit maglumat tablisasyndan tassyklanmalydyr.
- Wagty we hakyky wagty: Amal näçe mikrosekunt alýar, näçe gezek arakesme gelýär, enjamlara bagly; AI çaklaýar, ölçersiň.
- Gabat geliş: Arakesme hyzmaty (ISR) bilen esasy aýlawyň arasynda paýlaşylýan üýtgeýjiler üýtgäp durýan we atom girişi bilen goralmasa, sessiz, gaýtalanmaýan ýalňyşlyklar ýüze çykýar.
- Çeşmeleriň çäkleri: ackygy-ýygydan aşmagy, ýadyň syzmagy, gözegçilik wagtynyň gutarmagy, içindäki çökmegi aňladýar.
Arakesme, wagt we gözegçilik gözegçiligi
Arakesme, bir waka ýüze çykanda (maglumatlar geldi, taýmeriň möhleti gutardy), prosessor esasy işini taşlap, hyzmat tertibine geçýär (ISR: Service Interrupt Service Routine). ISR-ler oturdylan ulgamdaky iň duýgur kod bölekleridir. Esasy düzgünler: ISR gysga bolmaly (uzyn iş esasy aýlawda galýar), hiç hili blokirleme amallary bolmaly däl (garaşyň, çap ediň), umumy üýtgeýänler goralmalydyr.
Gözegçilik programmasy, programma üpjünçiligi ýykylsa, enjamy awtomatiki açýan howpsuzlyk mehanizmidir; Programma üpjünçiligi ony yzygiderli "iýmitlendirýär", ýok bolsa ulgam täzeden düzülýär. AI bu gurluşlary taýýarlaýar, ýöne gözegçilik gözegçiliginiň dowamlylygy, ileri tutulýan ugurlary we meýilnama býudjetini ulgamyňyzdaky hakyky ýük bilen tassyklamaly.
Maslahat: ISR-i AI-e çap edeniňizde, "ISR-i gysga saklamaly, hiç hili petiklemeli däl, üýtgäp durýan we atom ygtyýary bilen umumy üýtgeýänleri belläň, uzyn işi baýdak bilen esasy aýlawlara tabşyryň". Soňra bu düzgünleriň hakykatdanam ulanylýandygyny öndürýän kodda setir boýunça barlaň.
Pes güýç we howpsuzlyk
Batareýa bilen işleýän enjamlarda pes güýji dolandyrmak möhümdir: prosessory uklamak, periferiýa enjamlaryny öçürmek, bir waka bilen oýanmak. AI uky re modeiminiň geçişlerini we oýanma logikasyny eskizleýär, ýöne hakyky häzirki sarp edilişi diňe ölçeg bilen bilinýär (mikroampere derejesinde häzirki metr); AI "bu re inimde ~ 2 µA çekýär" diýmek çaklama.
Howpsuzlyk nukdaýnazaryndan oturdylan enjamlar barha köpelýär we programma üpjünçiliginiň gowşak taraplary (buferiň aşmagy, tassyklanmadyk giriş, gowşak kriptografiýa, açyk düzediş interfeýsi) çynlakaý töwekgelçilikdir. AI ygtybarly kodlaşdyrma ýörelgelerini ýatladyp biler, ýöne döredilen koduň howpsuzlygy statiki derňew gurallary, kod gözden geçirmek we zerur bolanda howpsuzlyk synagy bilen barlanýar. Howpsuzlyk kritiki ulgamlarynda (lukmançylyk, awtoulag, senagat) AI önümi hiç wagt başarnykly inereneriň tassyklamagy we degişli howpsuzlyk standarty (meselem, IEC 61508, ISO 26262) talap edilýän amallary çalyşmaly däldir.
üç sany kiçi halat
1-nji waka - Goragsyz paýlaşylýan üýtgeýji. Inerener, UART-dan AI-den kod almagyny haýyş edýär. Kod ISR-de hasaplaýjy artdyrýar we esasy aýlaw bu hasaplaýjyny okaýar; emma hasaplaýjy üýtgewsiz däl we köp okalýan atom däl. Enjam köplenç işleýär, ýöne käwagt maglumatlar sanyny ýalňyş düşünýär we ýalňyşlyk gaýtalanmaýar. Statik derňew we kody gözden geçirmek üýtgäp durýanlary tutýar; Hasap goralanda säwlik ýitýär. Sapak: ylalaşyk ýalňyşlyklary AI kodunda ýygy-ýygydan we mekir; Okamak we barlamak zerur.
2-nji hadysa - registr ýalňyş. Tejribeli AI tarapyndan döredilen ADC başlangyç koduny ýükleýär; ADC garaşylmadyk bahalary okaýar. Maglumatlar bazasy bilen deňeşdireniňde, AI nädogry ýerde konfigurasiýa bitini düzen ýaly (çipiň başga bir görnüşi üçin karta). Biraz düzedilenden soň, ADC dogry işleýär. Sapak: maglumat tablisasynyň dogry wariantyna garşy her registr ýazuwyny barlaň.
3-nji hadysa - Dogry ulanmak. Inerener AI-den çylşyrymly datçik protokoly üçin döwlet maşyn skeletini soraýar; ýagdaýlary, geçişleri we wagt gutarýan şahalary suratlandyrýar. AI arassa, okalýan çarçuwany öndürýär. Inerener bu çarçuwany alýar, her bir registr maglumat bazasy bilen barlanyşyny barlaýar, wagtlaryny ossiloskop bilen ölçýär we enjamda synagdan geçirýär. Ösüş birnäçe günüň ýerine birnäçe sagadyň içinde tamamlanýar. Sapak: AI skeleti çaltlaşdyrýar; Inerener barlaýar.
Göçürip bolýan gyssagly şablonlar
Sürüji SKELETON TEMPLATY
ISR HOWPSUZLYK MESELE "Aşakdaky waka üçin arakesme hyzmaty (ISR) taslamasyny ýazyň.
DÖWLET MASHINASYNYEM TEMPLATY "Aşakdaky protokol / amal üçin döwlet maşyn skeletini ýazyň: [ştatlary, wakalary, geçişleri we möhletleri beýan ediň]. Her ştat üçin giriş / çykyş hereketlerini we ýalňyşlyk / wagt bölümini kesgitläň.
KOD DÖWRÜNIEM TEMPLATY "Aşakdaky programma üpjünçiliginiň koduny içerki nukdaýnazardan we baýdak töwekgelçiliginden gözden geçiriň: goralmadyk umumy üýtgeýän (üýtgäp durýan / atom), ISR-de uzak / blokirleme amallary, üstaşyr geçmek howpy, wagt gutarmazdan garaşmak, ýalňyşlyklary hasaba almak, gözegçilik gözegçiligi. Her tapyndy üçin nädip barlamalydygyny / barlamalydygyny maslahat beriň:
Gowşak haýyş / Güýçli haýyş
WEAK PROMPT: "Maňa UART sürüjisini ýazyň."
Güýçli teklip: "[mikrokontrol] üçin arakesme esasly UART kabul ediji çarçuwasyny ýazyň. Üzük buferini ulanyň; ISR-i gysga saklaň we esasy aýlawda gaýtadan işleýän bufere ýazyň. Paýlaşylan indeksleri üýtgewsiz we atom ediň. Hasaba alyş salgylaryny ýer eýelerinde goýuň, maglumat tablisasyndan nämäni talap etmelidigimi belläň."
Gowşak haýyş, enjam we birmeňzeş kör bolan kod öndürýär; Güýçli teklip içerki düzgünleri girizýär we barlamak sanawyny teklip edýär.
Programma üpjünçiligini barlamak gatlaklary
gatlak
näme tutýar
AI-iň roly
Maglumat tablisasyny barlamak
Registralňyş registr / bit
Placeer eýesi we gözegçilik belligi döredýär
Statik derňew (linter)
üýtgäp durýan, görnüşi, araçäk ýalňyşlyklary
Düzgünleriň sanawy we düşündiriş
Kompýuter duýduryşlary
Gümürtik öwrülişik, ulanylmadyk baha
Duýduryş düşündiriş
Enjamda synag
Wagty, hakyky özüni alyp barşy
Synag ssenariý teklibi
Osiloskop / analizator
Signal we protokolyň takyklygy
Ölçeg nokady we garaşylýan tolkun
Üns beriň: Diňe bir programma üpjünçiliginiň "düzýändigi" we "köplenç işleýändigi" onuň dogrydygyny aňlatmaýar. Ulanyş we wagt ýalňyşlyklary diňe belli şertlerde ýüze çykýar; Şonuň üçin statiki derňew we enjamlarda hakyky synag zerurdyr.
Adaty ýalňyşlyklar
- Umumy üýtgeýänleri goramazlyk. ISR bilen esasy aýlawyň arasyndaky maglumatlar üýtgäp durýan we atom bolmaly.
- Hasaba alyş salgysyny / maglumat tablisasy bilen barlamok. AI nädogry warianty karta edip biler.
- ISR-i uzak saklamak ýa-da onuň içinde petiklemek. Ulgam jogap berip bilmeýär, arakesmeler sypdyrylýar.
- Ölçemän wagty göz öňünde tutmak. Hakyky wagt enjamlara baglydyr; ossiloskop bilen barlandy.
- AI tassyklamak üçin howpsuzlyk / howpsuzlyk kritiki koduny goýmak. Ygtyýarly inerener we degişli standart proses zerurdyr.
Gysgaça
Bu bölümde programma üpjünçiliginiň skeletini, sürüjisini, döwlet maşynyny we ISR eskizini döretmekde AI-ni güýçli tizlendiriji hökmünde ulandyňyz. Theöne ornaşdyrylan dünýäde kod apparat, hakyky wagt we howpsuzlyk bilen baglanyşdyrylýar: registr / bit bahalary maglumat tablisasyndan barlanýar, yzygiderlilik statiki derňewden, wagt osiloskopdan barlanýar, özüni alyp barş enjamda hakyky synagdan barlanýar. AI skeleti birnäçe minutda eltýär; Inerener, programma üpjünçiliginiň dogry, ygtybarly we wagtynda işleýändigini barlaýar. Howpsuzlyk kritiki ulgamlarynda AI çykarylyşy degişli howpsuzlyk standartlarynyň amallaryny we başarnykly inerener tassyklamasynyň ýerini tutmaýar.
Programma meselesi
Periferiýa saýlaň (meselem, I2C datçigi). “Sürüji skeleti” şablony bilen, AI-den ýer eýelerinde registrleri galdyrýan sürüji skeletini soraň. Soňra "ISR howpsuzlygy" şablony bilen bu datçikden maglumatlary taýýar kesmek üçin ISR eskizini dörediň. Netijede, içerki töwekgelçilikler üçin "Kod gözden geçirmek" şablony bilen öndürýän koduny skanirläň we azyndan üç barlamak / synag ädimini ýazyň.
gözegçilik sanawy
- [] Her registr salgysyny we dogry maglumat tablisasynyň görnüşinden barladym.
- [] ISR bilen esasy aýlawyň üýtgäp durýan we atom arasynda umumy üýtgeýänleri etdim.
- [] ISR-i gysga sakladym, petiklemedim, uzyn işi esasy aýlawa tabşyrdym.
- [] Wagty we hakyky özüni alyp barşyny apparat we osiloskop bilen barlamagy meýilleşdirdim.
- [] Kody statiki derňew we düzüjiniň duýduryşlary bilen gözden geçirdim.
- [] Howpsuzlyk / howpsuzlyk üçin möhüm bölekleri başarnykly inereneriň we degişli standart amalyň tassyklamasyna goýdum.