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

הוסרו 4 בתים ,  לפני 12 שנים
מ
בוט החלפות: לעתים;
מ
מ (בוט החלפות: לעתים;)
 
== פיתוח מערכות זמן אמת בגישה פורמלית ==
לעיתיםלעתים קרובות מערכות זמן אמת הן מערכות שתיקנותן חיונית ועלולה להשפיע על חיי אדם. מערכות כאלו הן למשל מערכות ניווט, מערכות טייס אוטומטי, מערכות להסטת מסילות רכבת, מערכות רמזורים וכו'. כדי לוודא תקינות של מערכות כאלו משתמשים לעיתיםלעתים ב[[מערכת הוכחה אוטומטית|מערכות הוכחה אוטומטיות]], כאשר כל פיתוח המערכת מבוצע תוך שימוש ב[[מודל מתמטי|מודלים מתמטיים]], וזה להבדיל מתהליך [[אימות תוכנה]] סטנדרטי של הרצת תרחישים שונים על ידי בודקי תוכנה אנושיים.
מערכות ההוכחה אוטומטיות למערכות זמן אמת עושות שימוש נרחבת ב[[לוגיקת זמן]] (לוגיקה טמפורלית).
 
271,876

עריכות