הבית > תערוכה > תוכן

אמינות מערכת משובצת

Mar 08, 2019

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


בעיות אמינות ספציפיות עשויות לכלול:


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

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

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

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


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

עיצוב עם ארכיטקטורת בסיס מחשוב אמין (TCB) מבטיח סביבת מערכת מאובטחת ואמינה ביותר

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

חסינות תכנות מודע