Sigurnost na uređajima sa Zephyr RTOS-om: sve što je važno

  • Zephyr kombinuje rad u realnom vremenu, modularnost i opsežne sigurnosne funkcije kao što su MPU i verifikovano pokretanje.
  • Kompletan mrežni paket: BLE/BT5, Thread, 6LoWPAN, CoAP, MQTT, Wi-Fi i Ethernet za više IoT scenarija.
  • Revizije su otkrile nedostatke u IPv4, MQTT i USB-u; postoje rješenja za ublažavanje i prioritetna rješenja.
  • Integracije sa Clea (Astarte/Edgehog) i Parasoft alatima ubrzavaju upravljanje, kvalitet i certifikaciju.

Sigurnost na uređajima sa Zephyr RTOS-om

U panorami Internet stvariTrend prema edge computingu mijenja pravila igre: uređaji obrađuju podatke lokalno, smanjujući ovisnost o oblaku, te moraju raditi pouzdano, predvidljivo i s ograničenim resursima. U tom kontekstu, Zephyr RTOS je postao vrlo jaka opcija zahvaljujući modularnom dizajnu, fokusu na stvarno vrijeme i zaista opsežnoj podršci za povezivanje.

Osim marketinga, zanimljivo je kako zefir Bavi se problemima iz stvarnog svijeta: determinističkim raspoređivanjem, finim podešavanjem korištenja memorije, modernim mrežnim stekom, konzistentnim modelom kontrolera, ugrađenim sigurnosnim mehanizmima (uključujući MPU i sigurno pokretanje) i aktivnom zajednicom koja promovira standarde i najbolje prakse. Ako tražite IoT platformu koja vas neće iznevjeriti u produkciji, vrijedi je detaljnije pogledati.

Zašto se Zephyr uklapa u rubni IoT

Sigurni IoT RTOS

Jedan od ključnih zahtjeva Edge-a je izvršenje u realnom vremenu sa predvidljivim latencijama. Zephyr uključuje preventivno raspoređivanje zasnovano na prioritetima i raspodjeli vremena među nitima jednakog prioriteta, što ga čini savršenim za industrijsku automatizaciju, automobilsku industriju ili medicinske uređaje, gdje je svaka milisekunda važna.

Ovaj deterministički pristup je poboljšan integracijom sa platformama za upravljanje uređajima kao što su Clea Edgehogkoji vam omogućavaju da posmatrate ponašanje na terenu, postavite vremenske okvire za kritične zadatke i orkestrirate ažuriranja bez gubitka kontrole nad rokovima aplikacije.

Upravljanje otiskom i resursima: modularnost je dobro shvaćena

Zephyrova arhitektura je veoma podesivotako da kompajlirate samo ono što vam je potrebno. Projekat promovira SASOS (jedinstveni adresni prostor) i generira monolitnu sliku prilagođenu aplikaciji: svi sistemski resursi se definiraju u vrijeme kompajliranja, smanjujući veličinu koda i poboljšavajući performanse.

Zahvaljujući ovoj modularnosti, isto stablo uređaja i Kconfig vam omogućavaju da smanjite broj drajvera, servisa i mrežnih stekova kako bi funkcionisalo od minimalnih senzora do... gateways moćan. Na primjer, u implementacijama pametnih gradova možete održavati kompaktne slike za čvorove niske potrošnje energije, a istovremeno omogućiti napredne funkcije na hub čvorovima.

Kada orkestracija podataka dođe do izražaja, kombinacija sa Clea Astarte Pomaže u efikasnom premještanju telemetrije i komandi između ruba mreže i oblaka, bez gubljenja memorije ili CPU ciklusa na uređaju.

Sveobuhvatna povezivost: od BLE do MQTT, uključujući Thread i CoAP

Zephyr standardno dolazi s modernom mrežnom baterijom s podrškom za Bluetooth (BLE i 5.0)Thread, 6LoWPAN, CoAP, MQTT, IPv4/IPv6, Wi-Fi, Ethernet, CANbus i USB/USB-C, plus opcije poput Zigbee ili LoRa, ovisno o platformi. Ova raznolikost vam omogućava da odaberete pravi standard bez promjene vašeg RTOS-a.

U praksi, možete sastaviti bilo šta, od jednostavnih senzorskih mreža do složenih industrijskih sistema, kombinovanjem MQTT Za telemetriju, CoAP u ograničenim okruženjima ili BLE za lokalno uparivanje. Interoperabilnost olakšava integraciju s postojećim infrastrukturama i ubrzava vrijeme izlaska na tržište.

  • IoT protokoli: CoAP, LwM2M, MQTT, OpenThread, 6LoWPAN.
  • Prijevoz/SredstvaBluetooth 5.0/BLE, Wi-Fi, Ethernet, CANbus, USB/USB-C.

Sloj apstrakcije hardvera i drajvera

Zephyrov HAL apstrahuje silikonske detalje tako da isti aplikacijski kod može raditi na različitim arhitekturama kao što su ARM Cortex-M, Intel x86, RISC-V (Na primjer, sigurnosni hardver kao što je Tilitis TKey) ili ARC. Model drajvera i paketi podrške za ploču pomažu u uključivanju novih perifernih uređaja bez ponovnog pisanja aplikacije.

Zajednica pruža kontinuiranu podršku za ploče, senzore i vozačiOvo se prevodi u manje trenja prilikom prenošenja vašeg projekta na novi mikrokontroler ili dodavanja mogućnosti, a istovremeno održavanje ostaje pod kontrolom.

Osnovna sigurnost: MPU, izolacija i verifikovano pokretanje

U IoT-u nije dovoljno samo funkcionisati; to morate raditi na način koji vam to omogućava. sigurnoZephyr uključuje podršku za MPU-ove (jedinice za zaštitu memorije), izolaciju niti i sigurne mehanizme pokretanja - poput onih koje pruža Opentitan— kako bi se osiguralo da se pokreće samo autentificirani firmver.

Projekat funkcioniše s načelom "sigurnost po dizajnu": testiranje fuzzingStatička analiza, testiranje na ranjivosti, pregled koda, analiza backdoor-a i modeliranje prijetnji dio su procesa razvoja, dopunjenog timom za odgovor na ranjivosti i odgovornim praksama otkrivanja informacija.

Što se tiče protokola, uzimaju se u obzir sljedeći: TLS/DTLS zaštititi komunikacijske i kriptografske biblioteke za šifriranje i upravljanje ključevimaOvo je ključno kada telemetrija prelazi preko nepouzdanih mreža ili se uređaj koristi u izloženim okruženjima.

Revizije i poznate ranjivosti: šta trebate znati

Transparentnost u sigurnosti je ključna. Revizija NCC Group Navedeno je 25 ranjivosti u Zephyru i 1 u MCUbootu, sa sljedećom distribucijom: 6 u mrežnom steku, 4 u kernelu, 2 u ljusci, 5 u drajverima sistemskih poziva, 5 u USB-u i 3 u mehanizmu ažuriranja firmvera.

Dva problema su klasifikovana kao kritično (utječući na IPv4 i MQTT parser), dva kao visoka, devet umjerena, devet niska i četiri "koje treba uzeti u obzir". U vrijeme objavljivanja, ispravke su bile pripremljene za 15 najkritičnijih, dok su ostale čekale na rješavanje kako bi se spriječili uslovi uskraćivanja usluge ili poboljšala odbrana kernela.

Među najrelevantnijim nalazima: ranjivost u IPv4 koja se može iskoristiti na daljinu, a koja je uzrokovala oštećenje pamćenja prilikom obrade manipuliranih ICMP paketa i greška u MQTT parseru zbog nedostatka validacije dužine koja je mogla dovesti do udaljenog izvršavanja koda. Manje ozbiljne DoS ranjivosti su također identificirane u IPv6 i u implementaciji COAP.

Na lokalnom nivou, nekoliko ranjivosti je omogućavalo DoS napade ili izvršavanje s privilegijom kernela zbog nedovoljne validacije argumenata u sistemskim pozivima (uključujući slučaj negativnog broja sistemskog poziva koji je uzrokovao prekoračenje cijelog broja). Slabosti su također uočene u implementaciji ASLR i pri upotrebi baterijskih kanarinaca, smanjujući njihovu efikasnost.

USB podsistem je predstavljao nekoliko problema: kod USB masovnog skladištenja bilo je moguće preliv međuspremnika i izvršavanje kernel koda prilikom povezivanja uređaja sa zlonamjernim hostom; u USB DFU-u, modificirani firmver mogao se učitati na fleš memoriju bez enkripcije, zaobilazeći siguran način pokretanja sa provjera potpisaU MCUbootu je otkriveno nekritično prekoračenje bafera pri korištenju SMP-a preko UART-a.

Osim toga, u BLE-u je dokumentiran specifičan problem: zlonamjerni uređaj mogao bi uzrokovati preliv slanje neispravnog adware paketa, s potencijalnim utjecajem DoS-a ili RCE-a na uređaj žrtve na kojem se pokreće Zephyr. Ove lekcije naglašavaju potrebu za ažuriranjem verzija, jačanjem validacija i proaktivnim aktiviranjem mjera ublažavanja.

Integracija sa Clea (SECO): orkestracija i upravljanje voznim parkom

SECO je objavio SDK-ove koji povezuju Zephyr sa svojim Clea paketom: SDK za Astarte uređaje za orkestraciju podataka i Edgehog Device Component za upravljanje uređajima. Ova integracija nudi sigurno uparivanje, sinhronizaciju podataka, komunikaciju zasnovanu na MQTT-u, generiranje definicija interfejsa i analitiku rubnih mreža.

U odjeljku za upravljanje, Edgehog omogućava izvještaje o statusu operativnog sistema i hardvera, OTA ažuriranjaPraćenje stanja i daljinsko upravljanje olakšavaju operacije u velikim razmjerima. Kompatibilnost sa širokim rasponom platformi smanjuje vrijeme izlaska na tržište i omogućava besprijekorno povezivanje čak i uređaja koji zahtijevaju manje resursa.

SECO-ova strategija uključuje otvorenu saradnju i doprinos Zephyr ekosistemu. Kompanija naglašava da ove komponente proširuju raspon podržanih aplikacija i otvaraju vrata novima. slučajevi upotrebe u edge AI/ML, orkestraciji podataka i upravljanju voznim parkom.

Kvalitet, usklađenost i certifikacija: uloga Parasofta

Projekt Zephyr radi na podizanju standarda za sigurnost i kvalitet koda. U tom smislu, Parasoft se pridružio odboru sigurnost projekta za promociju automatizacije testiranja i podršku sigurnosnoj certifikaciji.

Njihovi alati pokrivaju statičku analizu, jedinično testiranje i strukturnu pokrivenost, uz podršku za standarde kao što su MISRA C:2012 i CERT. Pored toga, oni pružaju rezultate koji pomažu u certifikaciji SIL 3 (SC3) prema IEC 61508 i analitičke panele za kontinuirano praćenje, podržavajući izdanja s dugoročnom podrškom (LTR).

Parasoftovo iskustvo u kritičnim okruženjima usklađeno je s ciljem projekta: kodnom bazom pouzdansa ponovljivim procesima, jasnim metrikama i dokazima o usklađenosti koji olakšavaju revizije i implementacije u reguliranim domenima.

Arhitektura sistema i slojevi

Zephyr je strukturiran u slojevima kako bi odgovornosti bile odvojene. U središtu je kernel u realnom vremenu, omogućavajući raspoređivanje, prekide i sinhronizaciju. Iznad ovoga su sistemske usluge (upravljanje memorijom, I/O, biblioteke), mrežni podsistem i sloj drajvera za periferne uređaje.

Sigurnosni slojevi pružaju izolaciju i kriptografiju, dok je djelomična usklađenost sa POSIX Olakšava prenosivost određenih komponenti. Iako je konačna binarna datoteka monolitna i specifična za aplikaciju, neki opisuju dizajn kao "mikro-kernel" zbog funkcionalne odvojenosti servisa i njegove modularnosti.

Primjeri upotrebe i podržani hardver

Zephyr je dizajniran za uređaje s ograničenim resursima: senzoriNosivi uređaji, kućna automatizacija i industrijska okruženja. Njegova niska potrošnja energije i odziv u realnom vremenu čine ga idealnim za proizvodne senzore, fabričke gateway-e ili medicinske uređaje sa strogim zahtjevima.

Javni primjeri proizvoda baziranih na Zephyru uključuju Proglove, Ruuvi Tag, PHYTEC Distanter, Keeb.io BDN9, Hati-ACE, Oticon More, Adhoc Smart Waste ili GNARBOX 2.0 SSD, demonstrirajući njegovu primjenu u vrlo različitim područjima.

Kompatibilnost pokriva ARM Cortex-M, Intel x86, RISC-VPodržane su ARC i druge arhitekture, a razvojno okruženje se može postaviti na Windows, Linux ili macOS. Vodič za početak rada i službena dokumentacija detaljno opisuju korak po korak kako pripremiti nizove alata, SDK-ove i radne procese izgradnje/flešovanja.

Resursi za programere i zajednicu

Zajednica održava opsežnu dokumentaciju, tutorijale i forum Aktivan s receptima koji se kreću od prvog "blinkija" do integracije senzora, uštede energije i napredne povezivosti. Ova podrška smanjuje krivulju učenja za Kconfig, Device Tree i model niti/ISR.

Tipičan tijek rada uključuje instaliranje Zephyr SDK-a, kloniranje repozitorija i konfiguriranje hardvera pomoću Stablo uređaja i Kconfig, kompajliranje i flešovanje. Ovaj lanac je konzistentan na više platformi, što pojednostavljuje stvari prilikom paralelnog upravljanja više ploča ili arhitektura.

RTOS kontekst i tržište

RTOS-ovi su nastali 60-ih i 70-ih godina za hitne primjene u odbrani i vazduhoplovstvoTokom 80-ih i 90-ih, komercijalna rješenja poput VxWorksa i QNX-a su se etablirala, sa standardizacijom putem POSIX-a u realnom vremenu. U 2000-ima, eksplozija IoT-a podstakla je lagane opcije poput FreeRTOS-a i, kasnije, Zephyra.

Danas mnogi RTOS-ovi uključuju AI/ML kako bi predvidjeli kvarove i optimizirali planiranje u zavisnosti od uslova sistema. Tržište RTOS-a procijenjeno je na 5,97 milijardi dolara u 2024. godini i predviđa se da će porasti sa 6,41 milijardi dolara u 2025. na 12,21 milijardi dolara u 2034. godini, sa složenom godišnjom stopom rasta (CAGR) od 7,41% tokom perioda 2025-2034.

U poređenju s drugim alternativama, Zephyr se ističe po svom modularnostNjegove snage leže u sigurnosti, širini protokola i kompatibilnosti sa više platformi. Njegovi izazovi leže u početnoj krivulji podešavanja, inherentnim ograničenjima ciljnog hardvera i dostupnosti određenih vrlo specifičnih drajvera.

Gledajući cjelokupnu sliku, Zephyr pruža robusnu osnovu za izgradnju povezanih uređaja s predvidljivim tajmingima, niskom potrošnjom energije i obrane integrirano. Ako dodate orkestraciju podataka (Astarte) i upravljanje voznim parkom (Edgehog), možete implementirati sve, od pilot projekata do masovnih operacija, sa sigurnom telemetrijom, pouzdanim OTA-ima i potpunim operativnim uvidom.

važnost ota ažuriranja u iot-1
Vezani članak:
Važnost OTA ažuriranja u IoT-u i kako ona utiču na sigurnost

Dodaj kao preferirani izvor