מערכות מוטמעות זמן-אמת: ההבדל בין הצלחה לכישלון

This post is also available in: English (אנגלית)

חברת איטק נמנית על המשתתפות בכנס IAMD ב-31 במרס הקרוב

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

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

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

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

הירשמו לאתר הישראלי לביטחון המולדת

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

מי שמבקש לקצר לא רק את תהליכי הרישוי, אלא גם את תהליך הפיתוח, פונה אל אייטק, שמציעה לחסוך 80% מזמן המהנדס באמצעות SCADE Suite. "מהנדס למעשה בונה מערכת באמצעות קוד כמו שבונים בניין מאבני לגו," אומר סאג'קו. "אנחנו למעשה מציעים בית נייד, הקירות כבר עומדים ומשם אפשר כבר להוסיף אלמנטים פרטיקולריים. כשעושים לזה אינטגרציה עם Open GL, זה תהליך שמקצר את זמן העבודה והמערכת יודעת לתרגם לקודC בלחיצת כפתור." מכיוון שהמוצר הזה בעל רישיון, הוא גם מקצר את זמן הרישוי ב-50%.

כמייצגת של חברת DDC-I, מספקת אייטק גם את DEOS, מערכת ההפעלה הוותיקה ביותר בעולם, בעלת יכולת תפקוד למאות ואלפי שעות טיסה בעשרות אלפי מטוסים. "מערכת מסוג כזה צריכה לפעול בטווחי הזמן שהוגדרו לה בתנאי גובה וטמפרטורה קיצוניים," מציין סאג'קו. "היא כוללת פונקציות של דאטה, קוקפיט וידאו, מערכות ניהול טיסה, מערכות תחזוקה, מערכות חלוקת חשמל ומערכות למניעת התנגשות מטוסים."

חברת איטק נמנית על המשתתפות בכנס IAMD ב-31 במרס הקרוב