| כלי חלום כלי חלום הוא מסגרת גנרית שמטרתה לספק תחום סמנטי נפוץ. |
הורד עכשיו |
כלי חלום דירוג וסיכום
- שם המפרסם:
- DREAM Tool Team
- אתר האינטרנט של המוציא לאור:
כלי חלום תגים
כלי חלום תיאור
כלי חלום הוא מסגרת גנרית שמטרתה לספק תחום סמנטי נפוץ. כלי חלום הוא מסגרת גנרית שמטרתו לספק תחום סמנטי נפוץ אשר יכול להביע מספר (בזמן אמת, צריכת חשמל, משאבים). תחום סמנטי יש מודל C + + אשר כבר מעוגן סמנטית האוטומטי היברידית פורמליזם. למרות מודל החישוב מתאים אוטומטיות היברידית, עד כה אנחנו כבר מוצלחים בניתוח המודלים על ידי קירוב שמרני באמצעות timed automata על מערכות גודל מתון.כדי להתמודד עם דוגמאות בקנה מידה גדול למשתמש יש את היכולת להשתמש בממשק סימולציה / בדיקה על מודל C + + הפעלה לפני ביצוע המערכת. אנו מתכננים להרחיב את האלגוריתמים הגנטיים כדי לפתור מספר רב של בעיות. האם מסגרת סימולציה ואימות המספקת מודל רשמי וניתוח של המערכת שלך פחות מיום. מערכות בחלום מוגדרות באמצעות XML בדרך פשוטה. אני מקווה שתמצא אותו. ומיפוי המפרטים הפונקציונליים על פלטפורמת היעד. טכנולוגיות מבוססות מודל מסייעות לטפל בבעיות אלה על ידי הפעלת ניתוח זמן עיצוב ומספקת האמצעים להערכה מהירה של חלופות תכנון ביחס למאפייני QOS מקצה לקצה, אמצעי חיזוי וביצועים לפני ביצוע פלטפורמה מסוימת. -Time Embedded ניתוח שיטה חלום הוא כלי קוד פתוח ושיטה לייעל אופטימיזציה של איכות שירות (QoS) מאפיינים של מערכות מבוזרות בזמן אמת (DRE). הפרויקט מתמקד ביישום מעשי של שיטות ניתוח פורמלי בזמן אמת תווכה כדי להפוך את האימות, התפתחות, התצורה, אינטגרציה של מערכות Dreware מבוססי תווכה. מה חדש במהדורה זו: · גרסה זו מיושמת מספר אופטימיזציות לשיפור בדיקת מודל משופרת ביצועים, וכתוצאה מכך רווחי ביצועים מרשימים של לפחות 2-3 פעמים. · אין דליפות זיכרון ידוע הנוכחי בשחרור הנוכחי. · עצי AVL מאוזנים משמשים כיום, וכתוצאה מכך Speedups מעריכים במספר שלבים של שיטת בדיקת המודל. · אימות סכימת XML יושם. דיווח זמן אימות שודרג כדי לכלול נתונים במהירויות הסימולציה. · בדיקה אקראית מבוססת סימולציה מספקת כעת עקבות ביצוע כאשר המועד האחרון הוא החמיץ.
כלי חלום תוכנה קשורה