מערכת זמן אמת – הבדלי גרסאות

נוספו 2,164 בתים ,  לפני 12 שנים
הרחבה
מ
(הרחבה)
'''מערכת זמן אמת''' היא מערכת מחשב שלה יש דרישות לביצועים במגבלות זמן מסוימות שנקבעו מראש. מערכת זו יכולה להיות תוכנה או חומרה. מערכות זמן-אמת אמת נחלקות לשני סוגים:
=== Hard real-time ===
* '''Hard real-time''': במערכות כאלה מובטח כי זמן המענה ל[[פסיקה (מחשב)|פסיקה]] לא יעלה על זמן מסוים. בשל האיטיות היחסית של אחסון הזיכרון המשני, במערכות Hard real-time, שטח הזיכרון המשני מוגבל או שלא נעשה בו כלל שימוש והמידע מאוחסן בזיכרון קצר טווח או ב[[ROM|זיכרון לקריאה בלבד]] (ROM). קיים קונפליקט בין דרישות אלו לדרישות של time-sharing systems, ולכן שילוב כזה לא נתמך על ידי [[מערכות הפעלה]] שנועדו למגוון מטרות (להבדיל ממערכות הפעלה ייעודיות).
במערכות כאלה מובטח כי זמן העיבוד של קלט ל'''עולם''' לא יעלה על זמן מסוים.
* '''Soft real-time:''' במערכות כאלה המשתמש מרוצה יותר כאשר המערכת מגיבה בצורה אופטימלית, אך בו בזמן המשתמש לא יראה תגובה איטית יותר כ"כישלון". סוג זה שימושי ביישומים כגון [[מולטימדיה]] ו[[מציאות מדומה]] (virtual reality).
 
על אלגוריתמים שימומשו במערכות מסוג זה לעבוד ב[[סיבוכיות זמן]] [[אסימפטוטה|אסימפטוטית]] [[פונקציה לינארית|לינארית]], כלומר <math>\,O(n)</math>. כך מובטח שעבור כל גודל קלט - מהירות העיבוד של המערכת תשאר קבועה ביחס לגודל הקלט ולכן לעולם לא תבוצע חריגה מפרק הזמן שהובטח לעיבוד. במידה וזמן העיבוד גבוה מלינארי - הרי שככל שהקלט גדול יותר, כך כמות הקלט הממתינה לעיבוד גדלה עוד יותר - ובהכרח לבסוף תבוצע חריגה מפרק הזמן המותר שנקבע לעיבוד.
{{קצרמר|מחשבים}}
 
* '''Hard real-time''': במערכות כאלה מובטח כי זמן המענה ל[[פסיקה (מחשב)|פסיקה]] לא יעלה על זמן מסוים. בשל האיטיות היחסית של אחסון הזיכרון המשני, במערכות Hard real-time, שטח הזיכרון המשני מוגבל או שלא נעשה בו כלל שימוש והמידע מאוחסן בזיכרון קצר טווח או ב[[ROM|זיכרון לקריאה בלבד]] (ROM). קיים קונפליקט בין דרישות אלו לדרישות של time-sharing systems, ולכן שילוב כזה לא נתמך על ידי [[מערכות הפעלה]] שנועדו למגוון מטרות (להבדיל ממערכות הפעלה ייעודיות).
 
=== Soft real-time ===
במערכות כאלה מובטח כי זמן המענה ה'''ממוצע''' לא יעלה על פרק זמן מסוים שנקבע מראש, ולכן זו דרישה מתירנית יותר. סוג זה שימושי ביישומים כגון [[מולטימדיה]] ו[[מציאות מדומה]] (virtual reality).
 
== פיתוח מערכות זמן אמת בגישה פורמלית ==
לעיתים קרובות מערכות זמן אמת הן מערכות שתיקנותן חיונית ועלולה להשפיע על חיי אדם. מערכות כאלו הן למשל מערכות ניווט, מערכות טייס אוטומטי, מערכות להסטת מסילות רכבת, מערכות רמזורים וכו'. כדי לוודא תקינות של מערכות כאלו משתמשים לעיתים ב[[מערכת הוכחה אוטומטית|מערכות הוכחה אוטומטיות]], כאשר כל פיתוח המערכת מבוצע תוך שימוש ב[[מודל מתמטי|מודלים מתמטיים]], וזה להבדיל מתהליך [[אימות תוכנה]] סטנדרטי של הרצת תרחישים שונים על ידי בודקי תוכנה אנושיים.
מערכות ההוכחה אוטומטיות למערכות זמן אמת עושות שימוש נרחבת ב[[לוגיקת זמן]] (לוגיקה טמפורלית).
 
== ראו גם ==
* [[סיבוכיות זמן]]
* [[אימות תוכנה]]
* [[מתודולוגיית פיתוח תוכנה]]
* [[הבטחת איכות תוכנה]]
 
[[קטגוריה:הנדסת תוכנה]]
 
[[en:Real-time computing]]
[[de:Echtzeit-VerarbeitungEchtzeitsystem]]
[[es:Computación en tiempo real]]
[[fr:Système temps réel]]
[[id:Real-time]]
[[ja:リアルタイム]]
[[nl:Real-time]]
[[ja:リアルタイムシステム]]
[[pl:System czasu rzeczywistego]]
[[pt:Tempo real]]
[[ru:Системы реального времени]]
[[vi:Hệ_thống_thời_gian_thực]]
317

עריכות