תכנון מערכות הפעלה עבור הנדסה גבוהה מכשירים

תכנון מערכות הפעלה עבור High-Precision Engineering

מכשירים הנדסיים בעלי ביצועים גבוהים - כגון מכשירים למדידה אוויר, מערכות הדמיה רפואיות, מיקרוסקופים כוח אטומי, ו מאיץ חלקיקים - מערכות הפעלה דרישה מעבר ליכולות של מערכת ההפעלה של צרכנים כיתה .מכשירים אלה דורשים תשובות בזמן אמתיות אטומית, דיוק תזמון ברמה מיקרו-שנית, וזמן הנדסי מתמשך שיכול לארוך חודשים או שנים.

בניגוד למערכות הפעלה כלליות (GPOS) כמו Windows או לינוקס, אשר אופטימיזציה עבור דרךput ואינטראקציה משתמשים, מערכת ההפעלה עבור מכשירים מדויקים חייב לאשר מראש FLT:0: ⁇ , עצלות נמוכה, ובודדות אשמה 1 מאמר זה בוחן את דרישות המפתח, אתגרים עיצוב, אפשרויות טכנולוגיה, אסטרטגיות שילוב חומרה, הסמכה בטיחות, ומגמות מתפתחות המגדירים שדה מיוחד זה.

דרישות ליבה של מערכות הפעלה בעלות פרופיל גבוה

התנהגות אמיתית בזמן

הדרישה העיקרית היא (FLT:0) לקבוע את ה- 1: מערכת ההפעלה חייבת להבטיח כי אירוע מסוים (כגון חיישן קריאה או שליטה פיקוד) מעובד בתוך חלון זמן ידוע, מוגבל, מושג באמצעות מערכת הפעלה בזמן אמת (RTOS) גרעין המשתמש בתזמון טרום-מספקי, עיכובים קבועים או ניתוח נטוטוני, מינימלי ומינימום, וניתן להפריע לתהליכים חד-פעמיים, בשל תקלות, עלולים להפרעות חד-פעמיים, או להפרעות במקרים של רקע.

לדוגמה, ב- אולטרסאונד רפואי beamformer, מערכת ההפעלה חייבת ליצור דופקים גבוהים לרכיבים אדזואלקטריים כל כמה מיקרו-שניות.כל שרטוטים בתזמון גורמים לדימויים.הלוח הזמנים חייב להיות צפוי, ו להפריע שגרות שירות (ISRs) חייבים להשלים בתוך מיקרו-שניות.

אמינות ואינטגריטי נתונים

(המכשירים בעלי חשיבות גבוהה רוכשים בדרך כלל נתונים בשיעורים מעל 100 MS /s (megasamples לשנייה) מערכת ההפעלה חייבת לנהל גישה ישירה לזיכרון (DMA) העברות, ניהול חיפר, וזמני שיבוש עם מהירויות ננו-שניות.

יציבות ומבצע מתמשך

(המכונה לווייני מזג אוויר, בקרים של תהליכים תעשייתיים, או מכונות MRI חייבות לרוץ שנים ללא תגמול.המערכת חייבת לכלול:0watchdog timersphFLT:1,FLT:2 יחידות הגנה מפנים (MPUs)FLT 3: כדי לבודד משימות, ו-FLT:4cegraful DisductionFLT:5 מנגנונים למניעת זיכרון או גרעין הם לעתים קרובות יותר מ-160 שעות).

סובלנות ו Redundancy

מערכות קריטיות מעסיקות ריצוף ברמת מערכת ההפעלה.לדוגמה, מחשב בקרת טיסה עשוי להפעיל שלושה עותקים של אותו אלגוריתם שליטה על ליבות נפרדות או לוחות, עם חומרה רוב המצביעים המבטיחה קונצנזוס.המערכת חייבת לתמוך ב multiprocessiving סימטרי (AMP) על פני הערוצים האלו, עם מסונכרוניזציה של מנעול וניהול המדינה ללא בטיחות.

אתגרים עיצוב

חומרה-Software Co-design

בניגוד למערכות מטרות כלליות שבהן התוכנה מפשטת פרטים חומרה, עיצוב מערכת ההפעלה המדויק דורש ידע אינטימי של פלטפורמת החומרה.מערכת ההפעלה חייבת להיות מותאמים חיישן ספציפי, הפעלה, ואוטובוס תקשורת (למשל, PCIe, SPI, JESD204B) מעצבי לעתים קרובות לכתוב חבילות תמיכה מותאמות אישית של לוח (BSPs) ונהגים המכשיר כי על ידי העקפישת הגנרית של הקרנל למקסימום.

שקיפות ושקיפות

(ב) ,הזמן ממתי שחומרה מפריעה למתי ה-ISR מתחילה לבצע – יש למזער את שיטות הפעולה (FLT:0nested stopsFLT:1,FLT:2 אפס-latency להפריע למקרים קריטיים של תפוצה 3, ו-FLT:4 מבססת את I/OLT:5 כאשר מוסיפים כמה חומרים רגישים מדי ל-RT.

ניהול זיכרון ונפיחות

הקצאת זיכרון דינמי אסורה לעיתים קרובות או נשלטת באופן מוחלט במערכות דיוק בשל פיזור וזמני הקצאה לא קבועים.במקום, מעצבים משתמשים ב-FLT:0static memory PoolsFLT:1,FLT:2stack-הקצאת הקצאה מבוססת 3, או FLT:4real-time Memory ManagerFLT:5 עם הקצאת זיכרון וירטואלית O(1) - וכתוצאה מכך, את העמודים המבוססים על ידי RTISTFLT - בדרך כלל נמנע ממודל אוטומטי; הוא נמנע מ-RT.

Power Constraints in Portable Instruments

(למשל, סורקים אולטרסאונד ידני) או חיישנים מרוחקים (למשל, צגים סיסמיים) חייבים לאזן את הביצועים עם יעילות אנרגיה.המערכת חייבת לתמוך ב-FLT:0 דינמי מתח ותדירות (DVFS)uaFLT:1, FLT:2 Sleep StatesFLT 3, ו-FLT:4-apowereration (DVFware) להאריך את החיים ללא תזמון:

הסמכה ו Compliance

מכשירים מדויקים רבים חייבים לעמוד בסטנדרטים של בטיחות מחמירים: IEC 62304 עבור תוכנה רפואית, DO-178C עבור avionics, IEC 61508 עבור בטיחות תעשייתית, ו- ISO 26262 עבור רכב.המערכת הלבנל עצמו חייב להיות מוסמך לרמה נאותה של Integrity רמה (SIL). זה מטיל דרישות קפדניות על תיעוד, בדיקות, וביקורת קוד, מה שהופך את התהליך הרבה יותר יקר יותר ויותר.

טכנולוגיות וגישות

מערכות הפעלה בזמן אמת (RTOS)

הבסיס של רוב מערכות הדיוק הוא RTOS בנוי מטרה, בעוד שיש עשרות אפשרויות RTOS, שלושה שולטים הנוף הנדסה גבוהה.

• (ב) [13] ⁇ :0 ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇
• (ב) [13] ⁇ :0 ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇
• (FLT:0) ,FLT:1 ,RTLinuxFLT:2IRLT 3:2IRLT 3: (כולל PREEMPT RT) - הרחבה בזמן אמת של הקרנל לינוקס.הוא מציע גישה למערכת אקולוגית עצומה של נהגים ופרוטוקולים, אבל הערבויות בזמן אמת הן פחות הדוקות מ RTOS מסחריים, בדרך כלל בעשרות מיקרו-שניות.

מיקרו-קרבות מול מונוליטי קרנלים

ארכיטקטורות מיקרונל (למשל, QNX, LSL4) מספקות בידוד טוב יותר כי רק לוח הזמנים חיוני ו- IPC פועל בחלל הקרנל.זה חשוב במיוחד עבור מכשירים שבהם התרסקות הנהג לא חייבת להפיל את המערכת כולה. kernelic kernels (למשל, VxWorks, PREPT RT) מציעים שקיפות נמוכה יותר, אך סיכון גבוה יותר של כישלון מוחלט.

Hypervisors ו-Criticality Systems

מכשירים מדויקים מודרניים צריכים לעתים קרובות להפעיל הן משימות בקרה בזמן אמת ויישומים שאינם אמיתיים (למשל ממשק משתמש, ערימה רשת, מסד נתונים) AFLT:0Type 1 HypervisorphFLT:1 (כמו גבעות ירוקות INTEGRITY, Xen עבור ARM, או לוח זמנים מופץ) מאפשר מספר לינוקס כדי ל coexist על אותו מעבד, עם תזמון נוקשה עבור מערכת יחסים של GPS, ו-זמנית ללא מדידה.

מודעות ומסגרת

יצרניות כלי רכב רבות לפתח מודעות קניינית לחומרה מופשטת ולפשט את שילוב המערכת.לדוגמה, שירות הפצת נתונים (DDS) ,DIRFLT:1 הוא פרוטוקול של פרסום-subscribe בשימוש נרחב במערכות הדמיה רפואית ורדאר עבור שיתוף נתונים בעל שקיפות נמוכה.

אינטגרציה קשה

חיישנים וממשקי Actuator

מערכת ההפעלה חייבת לספק ממשק API ברמה נמוכה עבור ADCs במהירות גבוהה (ממירים אנלוג-ל-דיגיטליים), DACs ו- FPGAs. במערכות רבות, נתונים מופקים ישירות מ-FPGA לבקר DMA לתוך bu טבעת בזיכרון DDR, עם מערכת ההפעלה רק מעורבת בהגדרה ופיקוח תקופתי.

תזמון SynSyncization

(הדגשה על זמן) היא חיונית עבור מכשירים כגון מערכות LIDAR או מכ"מים של קרינת בשלב זה, מערכת ההפעלה תומכת לעתים קרובות FLT:0IEEE 1588 Precision Time Protocol (PTP)FLT:1 כדי לסנכרן מכשירים מרובים בתוך ננו השניות.

FPGA ו- ASIC Accelerators

כדי לענות על דרישות בזמן אמת קפדניות, עיצובים מדויקים רבים ממעבדים עיבוד ל-FPGA או ASIC.מערכת ההפעלה חייבת לנהל את ערוץ התקשורת (למשל, PCIe, AXI אוטובוס) ולתאם העברת נתונים בין מאיץ חומרה ו- CPU.זה נעשה בדרך כלל באמצעות FLT:0memory-maped I/OFLT:1 ו-FLT2:

בטיחות וביטחון

תקני בטיחות והסמכת מערכת ההפעלה

פיתוח מערכת ההפעלה עבור כלי קריטי בטיחות דורש דבקות בסטנדרטים כגון FLT:0 (IEC 61508 (SIL 3/4)FLT:1,FLT:2DO-178C (DAL A)3LT 3, או FLT:4 ISO 26262 (ASD)FLT:5 יש לאמת את הקרנל באמצעות שיטות ניתוח פורמליות, סיקור סימטרי של מערכת ההפעלה היא באופן רשמי עבור דלקת ריאות, רק 1L.

מאובטח Boot ושורש האמון

כדי להגן מפני הטמפרינג ותוכנות זדוניות, מכשירים מדויקים לעתים קרובות ליישם שורש חומרה של אמון עם מגף מאובטח.המערכת חייבת לאמת כל שלב שלחול (מטען לגרעין) באמצעות חתימה קריפטוגרפית.

אבטחת סייבר ב- Connected Instruments

ככל שהמכשירים הרפואיים והתעשייתיים הופכים להיות מחוברים יותר ויותר (IoT), מערכת ההפעלה חייבת לכלול ערימה של FLT:0network ערימהFLT:1 עם חומת אש ממשלתית, IPsec/TLS, וגילוי חדירה.עם זאת, תכונות אלה לא צריכות להפריע לערבויות בזמן אמת.

מקרה מחקרים

מערכות MRI רפואיות

סורק MRI דורש שליטה מדויקת של סלילים ו הדופק RF כדי ליצור תמונות.המערכת חייבת לזמר רצף הדופק עם תזמון מיקרו-שני, לנהל 100 + MB /s של רכישת נתונים גולמיים, ולהפעיל ממשקי משתמש עבור רדיולוגים.מרבית מערכות ה-MRI המודרניות משתמשות ב-FLT:1 או FLT:2QNXF:3 על גישה אמיתית-Ricial (Ricial) עם מערכת הפעלה בנפרד (Ricial) או R.

בקרת טיסה אווירית

מערכות Fly-by-wire במטוסים מסחריים דורשות מערכת ההפעלה שיכולה להבטיח את השקיפות מקצה לקצה של מתחת ל-10 מ"מ עבור פקודות שליטה.A380 של Airbus משתמש ב-FLT:0ARINC 653FLT:1 חלוקת אדריכלות, עם מספר רב של ערוצי RTOS (לעיתים קרובות VxWorks או Integrity) מפעילת אבטחה ביקורתית ותוכנות קריטיות על LT2, מעבדים של מערכת הגנה חלקית (VS)

חלקיקים מדעיים

ב- CERN הגדול Hadron Collider, מערכת הבקרה בנויה על אדריכלות מבוזרת בזמן אמת באמצעות:0RTAIIRFLT:1 (Real-Time Application Interface) על פני לינוקס עבור תת-מערכות מסוימות, ו-FLT:2VxWorksFLT 3 עבור אחרים.

מגמות עתידיות

AI/ML ב- Edge

אינטליגנציה מלאכותית ולמידה של מכונה משולבים בכלי דיוק עבור אבחון בזמן אמת, בקרה הסתגלות ותחזוקה חיזוי.המערכת חייבת לתמוך ב- GPU ו- NPU תוך שמירה על הדטרמיניזם.FLT:0Time-predictable neural inferenceveFLT:1 הוא אזור מחקר פעיל, עם כמה ספקי RTOS המספקים לוח זמנים ייעודי עבור עומסי עבודה של AI.

קוד פתוח RTOS ו- Formal Verification

(ה) , ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇

Soft Real-Time andמעורבות-Criticality Networking

מכשירים מדויקים עתידיים ייהנו מהנתונים של זמן:0Time-Sensitive Networking (TSN)igtureFLT:1 כדי למזג נתונים של שליטה בזמן אמת עם נתונים לא קריטיים על קישור Ethernet יחיד.המערכת חייבת לתמוך בסטנדרטים TSN (802.1Qbv, 802.1AS) ושילוב עם לוח הזמנים כדי להבטיח ניתוק מקצה לקצה ברשת - קריטי עבור מערכות כגון צינורות רפואיים או הדמיה.

בקרת הקוונטים והנוירומורפית

מחשבים קוונטיים מתעוררים דורשים מערכות בקרה עם תזמון פיקו השני ודיוק קיצוני.המערכת של מכשירים כאלה - הנקראת לעתים קרובות FLT:0quantum הפעלה מערכת ההפעלה של ®FLT:1 - חייב לתזמורת דופקי מיקרוגל, קוראי חיישן Cryogenic, ותיקון שגיאות בזמן אמת.

מסקנה

תכנון מערכת הפעלה עבור מכשירים הנדסיים גבוהים הוא אתגר רב תחומי הדורש מומחיות בתזמון בזמן אמת, חומרה מפונה, הסמכה בטיחות, וסובלנות תקלות.מערכת ההפעלה אינה רק שכבת מופשטת - זה משתתף פעיל בהבטחת דיוק מדידה, אמינות מערכת, ובטיחות תפעולית.מ הקרנלים הדארקטיאליים של VxWorks ו- QNX ועד ל-SateL אימות רשמי, 4 וטכניקות AI מתקדמות יותר כדי לפתח סטנדרטים מדויקים יותר.