Це програма для Linux під назвою Pharos, останню версію якої можна завантажити як pharos3.4.0.tar.gz. Його можна запустити в режимі онлайн за допомогою безкоштовного хостинг-провайдера OnWorks для робочих станцій.
Завантажте та запустіть онлайн цю програму під назвою Pharos з 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
Фарос
ОПИС
Pharos — це безкоштовна ОСРВ з відкритим вихідним кодом для безпечних, безпечних систем у режимі реального часу з наступними характеристиками:
- Пам'ять і покращений розподіл часу (TSP)
- Вбудована підтримка спорадичних, періодичних та аперіодичних потоків
- Випереджувальний планувальник з фіксованим пріоритетом
- Захист часу виконання (потокам заборонено виконувати більше часу, ніж вони налаштовані)
- Невеликий розмір (повне зображення має від ~100 до 300 КБ тексту, ~30 КБ даних)
- Жорсткий детермінізм у реальному часі
- Швидкі критичні ділянки
- Пріоритетні вкладені переривання
- зв'язок між розділами з фільтрами для захисту від небажаного доступу
- Багатоядерна підтримка (RMP)
- Підтримує ARM9, Cortex-A/R/M і Aarch64, RISC-V64 (64 біт)
- Повний TestSuite (див. інформацію нижче) успішно запущено для кожної платформи в кожному випуску
- Перевірено: понад 170 KLOC тестів на основі вимог, виконаних для кожної плати під час кожного випуску
- Також доступний сучасний посібник користувача
Перегляньте нашу вікі-сторінку для отримання додаткової інформації.
Функції
- ОСРВ
- TSP
- Змішана критичність
- Захист пам'яті
- Захист часу
- Випереджувальний планувальник з фіксованим пріоритетом
- Ієрархічний планувальник (наприклад, ARINC 653) - необов'язково
- Статична конфігурація (за замовчуванням і рекомендована)
- Періодичні нитки
- Спорадичні нитки
- Аперіодичні нитки
- Вкладені пріоритетні переривання
- Швидкі критичні ділянки
- Гнучкі фільтри між розділами
- Багатоядерна підтримка (RMP)
- Швидкий і масштабований міжядерний зв'язок
- Настроювана підтримка ЦП
- Передача з нульовою копією для великих даних між розділами (каналами)
- Передача нульової копії для великих даних всередині розділу (черга lw)
- Семафори для стелі/підрахунку/мьютекса
- Програмні таймери
- Динамічне виділення пам'яті - необов'язково
- "Малий розмір
- 32-розрядна ОСРВ
- 64-розрядна ОСРВ
- ARM9
- Кора-А
- Кортекс-Р
- Кортекс-М
- Архів64
- RISC-V (64 біти)
Аудиторія
Аерокосмічна промисловість, розробники, архітектори, спеціалісти з безпеки, автомобільна промисловість
Мова програмування
Збірка, C
Це додаток, який також можна отримати з https://sourceforge.net/projects/rtospharos/. Його розміщено в OnWorks, щоб його можна було запустити в Інтернеті найпростішим способом з однієї з наших безкоштовних операційних систем.
