כלי חלום הוא מסגרת כללית שמטרתו לספק תחום סמנטי משותף אשר יכול להביע כמה אילוצים (בזמן אמת, צריכת חשמל, משאבים).
יש תחום הסמנטי מודל C ++ הפעלה שכבר מעוגן סמנטי לפורמליזם האוטומטים ההיברידי. למרות שהמודל של חישוב מקביל לאוטומטים היברידיים, עד כה היה מוצלח בניתוח המודלים על ידי קירוב שמרני באמצעות אוטומטים מתוזמן על מערכות גודל בינוניות.
יש להתמודד עם דוגמאות בקנה מידה גדולה למשתמש את היכולת להשתמש בממשק סימולציה / בדיקות במודל C ++ ההפעלה לפני יישום המערכת. אנו מתכננים להרחיב את האלגוריתמים הגנטיים כדי לפתור מספר רב של בעיות.
חלום הוא מסגרת סימולציה ואימות המספקת מודל וניתוח רשמי של המערכת שלך בפחות מיום. מערכות בחלום מצוינות באמצעות XML בצורה פשוטה. אני מקווה שתמצא את זה שימושי.
תווך בזמן אמת מספק פלטפורמות אמינות ויעילים התומכות הצרכים פונקציונליים ואיכות השירות (QoS) מפתח של זמן אמת מופץ מערכות משובצות (DRE).
אתגרים מרכזיים בהתפתחויות מערכת DRE כוללים הרכב בטוח של רכיבי מערכת ומיפוי המפרט הפונקציונלי על גבי פלטפורמת היעד. טכנולוגיות מבוססות-מודל לעזור לטפל בבעיות אלה על ידי המאפשרים ניתוח עיצוב בזמן ומתן האמצעים להערכה המהירה של חלופות תכנון ביחס לקצה לקצה תכונות QoS, יכולת חיזוי ומדדי ביצוע לפני שנתחייב לפלטפורמה ספציפית.
בזמן אמת Distributed משובץ שיטת ניתוח חלום הוא כלי קוד פתוח ושיטה לייעול איכות מרובה של השירות (QoS) מאפיינים של זמן אמת מופץ מערכות משובצות (DRE). הפרויקט מתמקד ביישום המעשי של שיטות ניתוח פורמאליות לתווך בזמן אמת כדי להפוך את האימות, הפיתוח, התצורה, והאינטגרציה של מערכות DRE מבוסס תווך.
מה חדש במהדורה זו:
· גרסה זו מיושמת כמה אופטימיזציות לביצועי בדיקת מודל משופרים, וכתוצאה מכך שיפור בביצועים מרשימים של לפחות 2-3 פעמים.
· אין דליפות זיכרון ידועות כיום במהדורה הנוכחית.
· עצי AVL מאוזן עכשיו משמשים, וכתוצאה מכך speedups מעריכי בכמה שלבים של שיטת בדיקת מודל.
· אימות סכימת XML יושמה.
· דיווח בזמן אימות שודרג לכולל נתונים על מהירויות סימולציה.
· בדיקה מבוסס סימולציה אקראית מספקת כעת עקבות ביצוע כאשר מועד אחרון הוא החמיץ.
תגובות לא נמצא