HN-ni göstər: Pilotsuz tunellərdə AM yayımı üçün rəsmi təsdiqlənmiş FPGA nəzarətçisi

\u003ch2\u003eHN-ni göstər: Pilotsuz tunellərdə yayımlanan AM üçün rəsmi təsdiqlənmiş FPGA nəzarətçisi\u003c/h2\u003e \u003cp\u003eBu Hacker Xəbərləri "Show HN" yazısı tərtibatçılar tərəfindən cəmiyyət üçün yaradılmış innovativ layihə və ya aləti təqdim edir. Təqdimat texniki yeniliyi və fəaliyyətdə problemlərin həllini təmsil edir.\u003c/p\u003e \u003ch3\u003e Layihənin əsas məqamları\u003c/h3\u003e \u003cp\u003eBu layihəni diqqətəlayiq edən əsas cəhətlər:\u003c/p\u003e \u003cul\u003e \u003cli\u003eƏməkdaşlığı təşviq edən açıq mənbəli yanaşma\u003c/li\u003e \u003cli\u003e Real dünya problemlərinin praktik həlli\u003c/li\u003e \u003cli\u003e Proqram təminatının hazırlanmasında texniki yenilik\u003c/li\u003e \u003cli\u003eİcma ilə əlaqə və rəy əsasında təkmilləşdirmə\u003c/li\u003e \u003c/ul\u003e \u003ch3\u003eTexniki Əhəmiyyət\u003c/h3\u003e \u003cp\u003eBu tip layihə icma tərəfindən idarə olunan inkişafın gücünü və birgə səylər vasitəsilə texniki həllərin davamlı təkamülünü nümayiş etdirir.\u003c/p\u003e

Tez-tez verilən suallar

Rəsmi olaraq təsdiqlənmiş FPGA nəzarətçisi nədir və bunun AM yayımı üçün nə üçün əhəmiyyəti var?

Rəsmi olaraq təsdiqlənmiş FPGA nəzarətçisi düzgün davranışı rəsmi yoxlama alətlərindən istifadə etməklə riyazi olaraq sübut edilmiş, təkbaşına sınaq zamanı tuta bilməyən bütün səhv siniflərini aradan qaldıran aparat dövrəsidir. Pilotsuz tunellərdə yayımlanan AM üçün bu çox əhəmiyyətlidir - nəzarətçi uğursuz olarsa, yayım sistemi müdaxilə etmək üçün heç bir insan olmadan bağlana bilər. Rəsmi doğrulama nəzarətçi itin müəyyən edilmiş nasazlıq şəraitində sistemi həmişə sıfırlayacağına zəmanət verir ki, bu da onu təhlükəsizlik baxımından kritik, nəzarətsiz yerləşdirmələr üçün uyğun edir.

Niyə bu növ gözətçi iti üçün mikrokontroller əvəzinə FPGA istifadə edin?

FPGA-lar heç bir əməliyyat sistemi yükü olmadan deterministik, paralel aparat icrası təklif edir, bu da onları nəzarətçi tətbiqlər üçün daha etibarlı edir. Mikro nəzarətçilərdən fərqli olaraq, FPGA nəzarətçisi proqram xətaları, yığın daşması və ya qaçaq proseslərlə zədələnə bilməz - məntiq səviyyəsində işləyir. Texniki xidmətə girişin çətin olduğu tunellərdə uzunmüddətli nəzarətsiz AM yayımı üçün bu aparat səviyyəsində etibarlılıq vacibdir. Dizaynın rəsmi yoxlanması FPGA məntiqinin bütün daxiletmə şərtlərində tam olaraq göstərildiyi kimi davrandığına inamı daha da gücləndirir.

Bu layihə daha geniş yayım və ya infrastrukturun idarə edilməsi iş axınına necə uyğun gəlir?

Bu FPGA nəzarətçisi daha yüksək səviyyəli monitorinq və idarəetmə sistemləri ilə inteqrasiya edən aşağı səviyyəli etibarlılıq primitivi kimi xidmət edir. Yayım infrastrukturunu digər əməliyyat alətləri ilə birlikdə idarə edən komandalar üçün ayda $19 qiymətinə 207 inteqrasiya olunmuş modul təklif edən Mewayz kimi platformalar, bu cür aparat sistemlərinin yenidən yığılması və saytda mövcudluğu olmadan xəbərdarlıqların, qeydlərin və uzaqdan diaqnostikanın həyata keçirilə biləcəyi mərkəzləşdirilmiş iş axını və avtomatlaşdırma səviyyəsini təmin edir.

Formal yoxlama kiçik aparat layihələri üçün praktikdir, yoxsa yalnız böyük təşkilatlar üçün?

SymbiYosys kimi açıq mənbəli alətlər və standart HDL kodu ilə işləyən model yoxlayıcıları sayəsində formal doğrulama fərdi tərtibatçılar və kiçik komandalar üçün getdikcə daha əlçatan olub. Bu layihə göstərir ki, hətta diqqətli, açıq mənbəli aparat səyləri də sübut oluna bilən düzgün dizaynlar yaratmaq üçün formal metodlardan istifadə edə bilər. Əlverişli alətlərin artan ekosistemi proqram təminatının trendini əks etdirir, burada Mewayz kimi platformalar korporativ səviyyəli imkanlar - ayda $19-dan başlayan 207 modul - müstəqil inşaatçılar və kiçik komandalar üçün əlçatandır.

-dəki trendi əks etdirir