זוהי אפליקציית לינוקס בשם autoCode4 שניתן להוריד את המהדורה האחרונה שלה בתור autoCode4_v1.0.0.zip. ניתן להפעיל אותו באופן מקוון בספק האירוח החינמי OnWorks עבור תחנות עבודה.
הורד והפעל באינטרנט את האפליקציה הזו בשם autoCode4 עם 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
קוד אוטומטי4
תיאור
autoCode4 הוא מנוע המסנתז בקרים ממפרטים פורמליים המתוארים תחת תת-קבוצה של לוגיקה זמנית ליניארית (LTL).חשוב לציין, הוא מסנתז בקרי זרימת נתונים סינכרוניים (בצורת Luster או Ptolemy II) ושומר על מעקב אחר דרישה לקוד. תכונה כזו נחוצה בפיתוח מערכות קריטיות לבטיחות והיא נחשבת חיונית לאימות מפרט או לשילוב יישום ידני כגון קוד מדור קודם.
מפרט LTL לוכד את ההתנהגות הרצויה של בקר שבו הסביבה עושה את המהלך הראשון (כלומר, חישה/קלט ואז תגיב/פלט), כך שניתן לראות את הבקר המסונתז כמכונת Mealy.
מדריך שלב אחר שלב זמין בחבילת התוכנה.
תכונות
- שליטה בסינתזה ממפרט רשמי
- הפקת דוח עקיבות מדרישה למודול
קהל
תעופה וחלל, טכנולוגיית מידע, מדע/מחקר, ייצור, מפתחים
ממשק משתמש
קונסולה/מסוף, שורת פקודה
שפת תכנות
Java
זוהי אפליקציה שניתן להביא גם מ-https://sourceforge.net/projects/autocode4/. זה התארח ב-OnWorks על מנת להפעיל אותו באינטרנט בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.
