זוהי אפליקציית לינוקס בשם VeriSiMPL שניתן להוריד את המהדורה האחרונה שלה בתור VeriSiMPL_Version3-0.tar.gz. ניתן להפעיל אותו באופן מקוון בספק האירוח החינמי OnWorks עבור תחנות עבודה.
הורד והפעל באינטרנט את האפליקציה הזו בשם VeriSiMPL עם OnWorks בחינם.
בצע את ההוראות הבאות כדי להפעיל את האפליקציה הזו:
- 1. הורד את היישום הזה למחשב שלך.
- 2. הזן במנהל הקבצים שלנו https://www.onworks.net/myfiles.php?username=XXXXX עם שם המשתמש שאתה רוצה.
- 3. העלה את היישום הזה במנהל קבצים כזה.
- 4. הפעל את האמולטור המקוון של OnWorks Linux או Windows מקוון או אמולטור מקוון של MACOS מאתר זה.
- 5. ממערכת ההפעלה OnWorks Linux שזה עתה התחלת, עבור אל מנהל הקבצים שלנו https://www.onworks.net/myfiles.php?username=XXXXX עם שם המשתמש הרצוי.
- 6. הורד את האפליקציה, התקן אותה והפעל אותה.
בצילומי מסך
Ad
VeriSiMPL
תיאור
ארגז כלים זה משמש ליצירת הפשטות סופיות של מערכות אוטונומיות מקס פלוס-לינאריות (MPL) על פני R^n. הפשטות מאופיינות כמערכות מעבר מתויגות במצב סופי (LTS). ההפשטות הסופיות של LTS מוצגות כדי לדמות או לבי-סימולציה של מערכת ה-MPL המקורית. מודלים של LTS צריכים להיות מאומתים מול מפרטים נתונים המבוטאים כנוסחאות בלוגיקה זמנית ליניארית (LTL) ולוגיקת עץ חישובית (CTL). ארגז הכלים מתכוון למנף את בודק המודלים של NuSMV. המודלים צריכים לבוא לידי ביטוי בשפת C++. הליך ההפשטה פועל ב-C++. ה-LTS שנוצר מיוצא לשפת NuSMV. ככזה, ניתן להזין אותו, יחד עם מפרט עניין, לבודק הדגמים של NuSMV.
אם אתה מכיר יותר את שפת JAVA, אנו מציעים לך לנסות את VeriSiMPL גרסה 2.0 המבוססת במלואה על JAVA.
אם אתה מכיר יותר את שפת MATLAB, אנו מציעים לך לנסות את VeriSiMPL גרסה 1.4 המבוססת במלואה על MATLAB.
תכונות
- צור הפשטה של LTS במצב סופי ממערכת MPL באמצעות מבנה נתוני רשימה ועץ
- צור ייצוג Affine לפי חלק ממערכת MPL
- אמת מערכת MPL מול נוסחת LTL או CTL
- דמיינו את ה-TS ב-Graphviz (גרסה 1.4)
- ייצוא מודל אוטונומי למערכת PWA במבנה MPT (גרסה 1.4)
- ניתוח נגישות של מערכות MPL (גרסה 1.4)
- GUI להפשטה ואימות של מערכות MPL אוטונומיות (גרסה 1.4)
- GUI עבור נגישות קדימה של מערכות MPL אוטונומיות (גרסה 1.4)
קהל
מדע/מחקר, חינוך, הנדסה
שפת תכנות
MATLAB, Java
כל הקטגוריות
זוהי אפליקציה שניתן להביא גם מ-https://sourceforge.net/projects/verisimpl/. הוא התארח ב-OnWorks על מנת להפעיל אותו באינטרנט בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.
