Yüksek çözünürlükli Mühendislik Aletleri için İşletim Sistemleri Tasarımı

Yüksek çözünürlükte mühendislik aletleri – havacılık ölçüm cihazları, tıbbi görüntüleme sistemleri, atomik-gücü mikroskopları ve parçacık hızlandırıcıları gibi – tüketici sınıfı AG'lerin yeteneklerinin ötesine geçen işletim sistemleri veya bu cihazlar, bir uçuş kontrol yüzeyi gerektirir. Bu tür ortamlar için bir OS tasarlayın, gerçek zamanlı bir donanım teorisi, çok zamanlı bir donanım ve titiz bir güvenlik.

Windows veya Linux gibi genel amaçlı işletim sistemlerinin aksine, bu makale, bağlantı stratejileri ve kullanıcı etkileşimleri için optimize edilmiş olan temel gereksinimleri, güvenlik sertifikaları ve bu özel alanı tanımlayan eğilimleri inceler.

Yüksek çözünürlükte İşletim Sistemleri için Temel Gereksinimler

Deterministic Real-Time Davranış

En önemli ihtiyaç, önceden belirlenmiş bir zaman penceresi içinde işlenir.Bu, önbellekli bir önyükleme, sabit-priority veya oran-monotonik analizin ve en az kesinti süresiz bir süre içinde yapılır.GPOS, sayfa hataları nedeniyle sınırsız gecikmeler ile elde edilir, önbellekleme işlemleri yapar.

Örneğin, tıbbi bir ultrason kirişinde, OS, her birkaç mikrosaniyede yüksek gerilimli puls üretmelidir. zamanlamadaki herhangi bir fark görüntü eserlere neden olur. zamanlamada zamanlamada herhangi bir eksiklik öngörülebilir ve kesintiye uğramalı hizmet rutinleri (ISRs) mikrosaniye altında tamamlamak zorundadır.

Doğruluk ve Veri Bütünlüğü

Yüksek çözünürlük aletleri genellikle 100 MS /'yi aşıyor (İkinci başınamegasamples) AG doğrudan hafıza erişimini (DMA) transferleri, tampon yönetim ve nanosaniyelik ile dolu ring tamponları [Dönlendirmek için veri yolsuzlukları, karizsiz yüksek çözünürlükte veri bütünlüğü sağlamak için).

İstikrar ve Sürekli Operasyon

Hava uyduları, endüstriyel süreç kontrolörleri veya MRG makineleri yeniden başlatmadan yıllarca koşmalıdır. [FONTD:0] Gözlemci zamanlayıcılar).

Hatalı Hoşgörü ve Red dışı

Örneğin, OS seviyesindeki büyük sistemden tasarruf sağlar. Örneğin, bir uçuş kontrol bilgisayarı, ayrı temeller veya kurullar üzerinde aynı kontrol algoritmasının üç kopyasını çalıştırabilir ve konsensüle edilebilir. OS, bu kırmızı kanallarda asimetrik olarak desteklenmelidir.

Tasarım Challenges

Donanım-Software Co-Design

Yazılım soyutlarının donanım detaylarını nereden aldığınız genel amaçlı sistemlerden farklı olarak, hassas OS tasarımı, donanım platformunu samimi bir şekilde bilgi gerektirir. OS, belirli sensör, hareketleyici ve iletişim otobüsüne (örneğin, PCIe, SPI, JESD204B) sahiptir.

Ayrılma ve Latency

Geçim gecikmiş geç saatler - bir donanımın ISR'nin infaz başladığında yangınları kesme zamanı - en aza indirmek için minimuma indirmez. Teknikler, [[0)) Bazı RTOSes, kullanıcıların kritik bölümler için kesintiye uğramasına izin verir, ancak bu zaman hassas olaylardan kaçınmak için sparing yapılmalıdır.

Memory Management ve Fragmentation

Dinamik hafıza dağılımı genellikle hassas sistemlerde parçalanma ve non-deterministic tahsis süreleri nedeniyle yasaktır. yerine, tasarımcılar TANITIM'i kullanır:0) Negatif bellek havuzları )., [[Döneticiler|Döneticiler|Döneticiler|Döneticiler|Döneticileri [Döneticileri/Döneticileri/veya hesaplayıcılar) ile çalışır.

Power Constraints in Portatif Instruments

Portre tıbbi cihazlar (örneğin, el ultrason tarayıcıları) veya uzaktan sensörler (örneğin, sismik monitörler) enerji verimliliği ile dengelenmelidir. OS, KAYNAK:0)dinamik gerilim ve frekans ölçeklendirme (DVFS)))[Düzücük devletler[DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD)[DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD)

Sertifika ve Uyum

Birçok hassas cihaz sıkı güvenlik standartlarını karşılamalıdır: tıbbi yazılım için IEC 62304, DO-178C, endüstriyel güvenlik için IEC 61508 ve ISO 26262'yi otomotiv için uygun güvenlik bütünleme seviyesine teslim etmelidir (SIL). Bu, dokümantasyon, test kapsamı ve kodu inceleme konusunda katı gereklilikleri uygular ve tasarım sürecini önemli ölçüde daha pahalı hale getirir.

Teknolojiler ve Yaklaşımlar

Gerçek Zamanlı İşletim Sistemleri (RTOS)

En hassas sistemlerin temeli bir amaç inşa edilmiş RTOS. onlarca RTOS seçeneği olsa da, üç yüksek çözünürlük mühendisliği alanına hükmedmiştir:

  • [FONT:0] VxWorks [DDD:2] [Dışkanlık Nehri'nden (Mars rovers) kullanılır, tıbbi cihazlar ve endüstriyel otomasyon.
  • [FONT:0]QNX) - Hata izolasyonu için bilinen bir mikrokertaş RTOS. Her sürücü ve hizmet kendi korumalı adres alanında çalışır, güvenlik-kırklı otomotiv ve tıbbi sistemler için idealdir.
  • [FONT:0]RTLinux) (GÜNCÜT:0)[FONT RT) dahil - Linux çekirdeğinin gerçek zamanlı bir uzantısı. büyük bir cihaz sürücüleri ve protokollerine erişim sağlar, ancak gerçek zamanlı garantiler ticari RTOS'lerden daha sıkıdır, tipik olarak on iki mikrosaniye aralığındadır.

Mikrokernels vs. Monolithiceleks

Mikrokernel mimariler (örneğin, QNX, seL4) daha iyi bir hata izolasyonu sağlar çünkü sadece temel zamanlama ve IPC, bir sürücü kazasından vazgeçmediği araçlar için özellikle önemlidir. Monolithic çekirdeği (e.g., VxWorks, PREEMPT RT) daha düşük gecikmeli ama toplam başarısızlık riski.

Hipervizörler ve Karma-Criticality Systems

Modern hassas cihazlar genellikle gerçek zamanlı kontrol görevlerini ve gerçek zamanlı olmayan uygulamaları (örneğin, kullanıcı arayüzü, ağ yığını, veritabanı) AİLFLT:0)Type 1 hipervizör) (PPOS gibi) için Linux bağlantı için veya bir bölümsüz programlayıcı) aynı CPU'da aynı CPU'da ortaklığa izin verir, katı zaman ve uzaysal ayrım ile.

Özel Ortaware ve Frameworks

Birçok enstrüman üreticisi, düşük ücretli veri paylaşımı için özel bir orta dikkat geliştirir. Örneğin, [[DDS))[DDS veya ZeroMQ kullanarak gerçek zamanlı bir ağ katmanında yaygın olarak kullanılan bir yayın-subscribe protokolüdir.

Donanım Entegrasyonu Donanım Entegrasyonu

Sensör ve Akıcı Interfaces

OS, yüksek hızlı ADCs (analog-dijital dönüştürücüler) için düşük seviyeli API'ler sağlamalıdır ve FPGA'lar, diğer kesintiler ile doğrudan FPGA'dan bir ring tampona doğru ilerlerler.

Timing Youhronization

Hassas zaman koruma, LIDAR sistemleri veya fazlı-array radarları gibi cihazlar için gereklidir. OS genellikle ağ sürücülerinde kullanılmaktadır:0)IEEE 1588 Hassas Zaman Protokolü (PTP)), nanosaniyeler içinde birden fazla cihaz senkronize etmek için.

FPGA ve ASIC Hızlandırıcılar

Katı gerçek zamanlı taleplerle karşılaştırıldığında, birçok hassas tasarım bir FPGA veya ASIC'ye işlem yapılır. OS iletişim kanalını yönetmek zorundadır (örneğin, PCIe, AXI otobüs) ve CPU'nun bu işlemleri yönetmek için CPU kanallarını koordine etmelidir.

Güvenlik ve Güvenlik

Güvenlik Standartları ve OS Sertifikaları

Bir güvenlik-kahkalama aracı için bir OS geliştirmek, ESFLT:0)IEC 61508 (SIL 3))DO-178C (DAL A)) veya [[D) [FONTL)[TRNTD)[D)[D)[D)[D) [FONTD) [FONTD) [D) [D)) [D)) [FONTD) [FONTD) [FONTD) [FONTD) [FONTD) [FONT=D) [FONT=D))))) [ÜSTRNT=TRNT=TRNT=TRNT=TR][FONT=TR][FONT=TR][FONT=TR][FONT=TR][FONT=TR][FONT=TR][FONT=TR][FONT=TRNT=TR][FONT=TR][FONT=TR][FONT=TR][FONT=TR][FONT=TR][FONT=TR][FONT=TR][FONT=TR][FONT=TR][FONT=TR][FONT=TR][FONT=TR][

Güvenli Çığ ve Güvenin Kökü

Tampering ve yazılımlara karşı korumak için, hassas araçlar genellikle güvenli bir boot ile bir donanım kökü uygular. [FONTD3][FONT][FONT][FONT][FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=FONT=TR][/FONT=TR][/FONT=FONT=TR][/FONT=FONT=FONT=FONT=FONT=FONT=STR][/FONT=STRNT=STRNT=S=STRNT=STRNT=S=S][/FONT=STRNT=S][/FONT=STRNT=S=S=S=S=S][/FONT=S=S=S=S=STRNT=STRNT=STRNT=S=STRNT=STRNT=STRNT=S=S][FONT=STRNT=S=STRNT=FONT=STRNT=S][FONT=S=S=S][FONT=S=S][FONT=S][FONT=S][FONT=STRNT

Connected Instruments Cybersecurity

Tıbbi ve endüstriyel araçlar giderek daha fazla bağlantılı hale gelir (IoT), OS, sınırlı CPU bütçesi ile ayrı bir VM'de ağ yığınının kesintisine neden olmamalıdır.

Vaka Çalışmaları

Tıbbi MR Sistemleri

Bir MR tarayıcı, radyologları için kesin bir kontrol gerektirir. Çoğu modern MRG sistemleri kullanım kolaylığı için afızdır.[Dönetici:2).QNX gerçek zamanlı bir temel üzerinde, ayrı bir Linux ev sahibi olan bir kullanıcı arayüzü ile.In modern MRG sistemleri kullanır.In hipervizör yaklaşımı (e.

Havacılık Uçuş Kontrolü

Ticari uçaklardaki uçuşlar, kontrol komutları için 10 m'lik gecikme süresi garanti edebilecek bir OS gerektirir.A380 kullanım süresine göre yüksek çözünürlükte bulunur[Dönetici:0)ARINC 653) bölümlü mimariye sahip, birden fazla RTOS bölümlerini (often VxWorks veya Integrity) kontrol altındaki güvenlik-kritik ve görev-kritik ortamlara karşı korumayı garanti eder.

Bilimsel Parçacık Hızlandırıcıları

CERN'in Büyük Hadron Collider'inde, kontrol sistemi, diğerleri için gerçek zamanlı dağıtılmış bir mimari üzerine inşa edilmiştir:0)RTAI) (Real-Time Application Interface) belirli alt sistemler için Linux ağı üzerinden (Real-Time Application Interface) ve )VxWorks) için, diğerlerinden dolayı. OS milyon kanal veri satın almalı, kilometre boyunca eşitleme ve zaman çizelgesine kadar sıkı tarihler uygulayın.

Future Trendleri

AI/ML at the Edge

Yapay zeka ve makine öğrenimi gerçek zamanlı tanılar, uyarlayıcı kontrol ve tahmin edilebilir bakım için hassas cihazlara entegre edilir. OS, GPU ve NPU ivmesini, determinism. ”İLFLT:0)Time-predictable sinir ağı inference), bazı RTOS satıcılar AI iş yükleri için özel bir programlayıcılar sağlar.

Açık kaynak RTOS ve Formal Verification

Özel RTOSes güvenlik-köpek domainlerine hükmedirken, açık kaynak alternatifleri wwwFLT:0)FreeRTOS[[Dönetici:2)Zephyr) ve |D[Döneticileri) gerçek zamanlı görevler için özel ISAV genişletir ve açık kaynak kodlu kartchainleri büyük ölçüde kabul edilebilir.

Yumuşak Gerçek Zaman ve Karma-Criticality Networking

Future hassas araçlar, tek bir Ethernet bağlantısına sahip gerçek zamanlı kontrol verileri birleştirmek için zaman alıcı Networking (TSN)[FONT=0)Time-Sensitive Networking (TSN)) tarafından, tek bir Ethernet bağlantısı üzerinden gerçek zamanlı kontrol verileri birleştirin. OS TSN standartlarını desteklemeli ve 802.1Qbv, 802.1AS) ve bir ağdaki gecikme gecikme gecikmeli latencieslarını garanti etmek için programlayıcı ile entegre edilmelidir.

Kuantum ve Sinir Kontrol

Gelişen kuantum bilgisayarları, fotoosaniye zamanlaması ve aşırı hassasiyetle kontrol sistemleri gerektirir. Bu tür cihazlar için OS - KAYIT:0) kuantum işletim sistemi) – donanmış mikrodalga puls, krigen sensörü okumaları ve gerçek zamanlı olarak hata düzeltmeleri.

Sonuç Sonuç Sonuç Sonuç Sonuç Sonuç Sonuç Sonuç

Yüksek çözünürlükte mühendislik aletleri için bir işletim sistemi tasarlamak, gerçek zamanlı planlama, donanım arastırma, güvenlik sertifikasyonu ve hata toleransı gerektiren çok disiplinli bir meydan okumadır. OS sadece bir soyutlama katmanı değildir - bir sonraki hassas OSes üretimi, AI, ve operasyonel güvenlik sağlar.