англійськафранцузькаіспанська

Ad


Значок OnWorks

Pharos завантажити для Linux

Безкоштовно завантажте програму Pharos Linux, щоб працювати онлайн в Ubuntu онлайн, Fedora онлайн або Debian онлайн

Це програма для 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, щоб його можна було запустити в Інтернеті найпростішим способом з однієї з наших безкоштовних операційних систем.


Безкоштовні сервери та робочі станції

Завантажте програми для Windows і Linux

  • 1
    Phaser
    Phaser
    Phaser — це швидке, безкоштовне та веселе відкриття
    вихідний ігровий фреймворк HTML5, який пропонує
    Взаємовідображення WebGL і Canvas
    настільні та мобільні веб-браузери. Ігри
    можна спільно...
    Завантажити Phaser
  • 2
    Двигун ВАССАЛ
    Двигун ВАССАЛ
    VASSAL — ігровий движок для створення
    електронні версії традиційної дошки
    і карткові ігри. Він забезпечує підтримку для
    рендеринг і взаємодія ігрових елементів,
    і ...
    Завантажити VASSAL Engine
  • 3
    OpenPDF - форк iText
    OpenPDF - форк iText
    OpenPDF - це бібліотека Java для створення
    і редагування файлів PDF за допомогою LGPL і
    Ліцензія з відкритим кодом MPL. OpenPDF - це
    LGPL/MPL з відкритим кодом наступник iText,
    має ...
    Завантажте OpenPDF - Fork of iText
  • 4
    SAGA GIS
    SAGA GIS
    SAGA - Система для автоматизації
    Географічні аналізи - це географічні
    Програмне забезпечення інформаційної системи (ГІС) с
    величезні можливості для геоданих
    обробка та ана...
    Завантажити SAGA GIS
  • 5
    Панель інструментів для Java/JTOpen
    Панель інструментів для Java/JTOpen
    IBM Toolbox для Java / JTOpen є a
    бібліотека класів Java, що підтримують
    програмування клієнт/сервер та Інтернет
    моделі до системи під керуванням OS/400,
    i5/OS, o...
    Завантажте Toolbox для Java/JTOpen
  • 6
    D3.js
    D3.js
    D3.js (або D3 для документів, керованих даними)
    це бібліотека JavaScript, яка дозволяє вам
    створювати динамічні інтерактивні дані
    візуалізації у веб-браузерах. З D3
    ти ...
    Завантажити D3.js
  • Детальніше »

Команди Linux

  • 1
    abidiff
    abidiff
    abidiff - порівняння ABI файлів ELF
    abidiff порівнює двійковий файл програми
    Інтерфейси (ABI) двох спільних бібліотек
    у форматі ELF. Воно випромінює змістовне
    звіт...
    Запустіть abidiff
  • 2
    abidw
    abidw
    abidw - серіалізує ABI ELF
    файл abidw читає спільну бібліотеку в ELF
    форматує та створює представлення XML
    свого ABI до стандартного виводу. The
    випущений ...
    Запустіть abidw
  • 3
    copac2xml
    copac2xml
    bibutils - перетворення бібліографії
    комунальні послуги ...
    Запустіть copac2xml
  • 4
    копт
    копт
    copt - оптимізатор вічка SYSNOPIS:
    файл copt.. ОПИС: copt - це a
    оптимізатор вічко загального призначення. Це
    читає код зі свого стандартного вводу та
    пише...
    Біг копт
  • 5
    gather_stx_titles
    gather_stx_titles
    gather_stx_titles - заголовок збірки
    декларації з документів Stx ...
    Запустіть gather_stx_titles
  • 6
    гатлінг-бенч
    гатлінг-бенч
    bench - http benchmark ...
    Лава для бігу Гатлінга
  • Детальніше »

Ad