הורדת פארוס ללינוקס

זוהי אפליקציית לינוקס בשם Pharos שניתן להוריד את המהדורה האחרונה שלה כ-pharos3.4.0.tar.gz. ניתן להפעיל אותו באופן מקוון בספק האירוח החינמי OnWorks עבור תחנות עבודה.

בצילומי מסך

פרוס

תיאור

Pharos הוא RTOS בקוד פתוח בחינם למערכות מאובטחות, בטוחות ובזמן אמת עם המאפיינים הבאים:

- זיכרון ומחיצות זמן משופרות (TSP)
- תמיכה מקורית בחוטים ספורדיים, תקופתיים וא-מחזוריים
- מתזמן מנע בעדיפות קבועה
- הגנה על זמן ביצוע (השרשורים נמנעים מלבצע במשך יותר זמן ממה שהם מוגדרים)
- גודל קטן (תמונה מלאה מכילה ~100 עד 300KiB טקסט, ~30KiB נתונים)
- דטרמיניזם קשה בזמן אמת
- קטעים קריטיים מהירים
- פסיקות מקוננות עם עדיפות
- תקשורת בין מחיצות עם מסננים כדי להגן על גישה לא רצויה
- תמיכה בריבוי ליבות (RMP)
- תומך ב-ARM9, Cortex-A/R/M ו-Aarch64, RISC-V64 (64 סיביות)
- TestSuite המלא (ראה מידע למטה) מופעל בהצלחה עבור כל פלטפורמה בכל מהדורה
- נבדק: יותר מ-170 KLOC של בדיקות מבוססות דרישות, שבוצעו עבור כל לוח בכל מהדורה
- זמין גם מדריך למשתמש מעודכן

עיין בדף הוויקי שלנו למידע נוסף.

תכונות

• סיומת RTOS
• כפית
• ביקורתיות מעורבת
• הגנת זיכרון
• הגנה בזמן
• מתזמן מנע בעדיפות קבועה
• מתזמן היררכי (למשל ARINC 653) - אופציונלי
• תצורה סטטית (ברירת מחדל ומומלצת)
• חוטים תקופתיים
• חוטים ספורדיים
• חוטים א-מחזוריים
• פסיקות עם עדיפות מקונן
• קטעים קריטיים מהירים
• מסננים בין מחיצות גמישים
• תמיכה מרובת ליבות (RMP)
• תקשורת בין ליבות מהירה וניתנת להרחבה
• תמיכת CPU הניתנת להתאמה אישית
• העברה אפסית עבור נתונים גדולים בין מחיצות (ערוצים)
• העברה אפסית עבור נתונים גדולים בתוך מחיצה (תור lw)
• סמפור תקרה/ספירה/מוטקס
• טיימרים של תוכנה
• הקצאת זיכרון דינמי - אופציונלי
• "מידה קטנה
• RTOS של 32 סיביות
• RTOS של 64 סיביות
• ARM9
• קורטקס-A
• קורטקס-ר
• קליפת המוח
• 64
• RISC-V (64 סיביות)

קהל

תעופה וחלל, מפתחים, אדריכלים, אנשי אבטחה, רכב

שפת תכנות

אסיפה, ג

זוהי אפליקציה שניתן להביא גם מ-https://sourceforge.net/projects/rtospharos/. הוא התארח ב-OnWorks על מנת להפעיל אותו באינטרנט בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.