Некоторые тезисы для того чтоб не забыть:

Библиотеки все есть в A2 (стабильно работают поверх XP, поверх Darwin, Linux, Unix, Solaris не так стабильно из за отсутствия разработчиков — это я строго про OS A2, про Блек Бокс скажут другие специалисты).

Актив оберон вам даст Обозримость кода всей операционной системы одним специалистом и то забытое чувство, которое люди испытывали, начиная делать драйвера под Linux в 1999 году. A2 даст вам мягкий реал тайм и все «новомодные» фишки GO, которые были взяты из Актив Оберона. Так же есть возможность построения проектной работы в лучших традициях САПР HDL языков (а это стоит многого). Точнее возможность быть первопроходцем в этом направлении. Как Линус 24 года назад примерно.

Правда до популяризации решений на основе Актив Оберона среди широких масс нужно подождать 5-10 лет, либо не ждать и быть пионером.


Попробуйте немного под другим углом взглянуть на известные факты:

http://bbos.org/xref/

Это относительно полный список библиотек (http://sage.com.ua/— несколько игр, пара хаков, визуальный редактор ДРАКОН и закрытые модули в нём отсутствуют, просто мантейнеры не спешат всё подряд в репозиторий пихать. Программы БПЛА и дронов, другие специальные проекты, виртуальная реальность, носимый комьютер, практически все протоколы IoT — конечно вне этого списка, но они существуют в природе в различных Оберон проектах).

https://www.ocp.inf.ethz.ch/svn/ocp/trunk/
Зеркало:
https://github.com/Ignat99/a2/tree/master/a2extra

В этом доступном репозитарии — Виртуальная клавиатура, FFT, Графический редактор, матрицы, библиотека обработки сигналов, База данных, JVM, Ещё один простой растровый редактор изображений, Бродилка, V4L2, образ дискетки-инсталятора.

Вообщем примерно как в 2000 году в Линукс (к тому времени Линуксу так же было около 10 лет). Не прошло и 10 лет и Линукс стал доминировать в сетевых установках

Новое оборудование требует нового класса операционных систем и A2 вполне вписывается и подходит для этих новых задач.

Вот пример задач такого типа — которые требуют HDL уровня описания.

http://geektimes.ru/post/254770/

Хорошая статья про физический смысл оператора AWAIT(goal < out) в Актив оберон.
И необходимость модификатора {EXCLUSIVE} для параллельных вычислений.

Всё что вы перечислили я использую для запуска на Mac нескольких версий Линукс.
Но то о чём вы говорите это просто другая — старая концепция (с точки зрения Оберонщиков).

Это всё равно что просить подключить перфоратор к вашему новому планшету для ввода и возмущаться тем что параллельный порт на вашем планшете для подключения построчной принтерной машины для вывода отсутствует. С виртуализацией и Xen в A2 всё в порядке (судя по слайдам из Швейцарии).  Эти слайды хорошо показывают для чего предназначена эта система A2 в сравнении с другими.

https://github.com/Ignat99/a2/blob/master/doc/OS09.pdf

Сохранения конфигураций и контейнеров действительно нет. Сейчас конфигурации хранятся в Tool файлах — по одному на каждую конфигурацию. Требуется перекомпиляция. Но так как модулей не много это занимает меньше 1 минуты.

Дело в том что эта OS для очень очень маленьких систем c очень очень большим количеством ядер — пока таких систем в природе нет, но на новых FPGA Ультра-Скале от Ксайлинскса можно сделать такую архитектуру.

ModBus:

https://github.com/Ignat99/a2/blob/mast ... ospekt.pdf

Всё что связано с IoT на A2 было реализовано в одном из первых проектов.

Я разбираюсь с языком очень не долго — может 1 неделю только.
Вот тут я высказал замечания по действиям сообщества Оберона в России.

viewtopic.php?f=26&t=5580&p=94156#p94104

Тут привёл мой взгляд на СI по этому языку с примером Юнит-Теста, так же обратите внимание на команды в самом конце модуля после завершения его тела — они по сути (при передаче параметров или без) и являются Юнит-тестами.

viewtopic.php?f=140&t=5581&p=94150#p94117

Так же добавил на Википедию в статью A2 информацию и в частности про построение графа вызова модулей (как одного из методов быстрого вхождения в проект, чтоб начать быстро делать модификации кода):

https://lists.inf.ethz.ch/pipermail/obe ... 08415.html

Профайлер есть и кой какие другие инспекторы (TCP, Производительность, Объекты, Репозитарии, Компоненты, USB, События).

Как вариант использовать что то наподобие визуального редактора LabView или аналогов для программирования машины состояний и получать код с верификацией со встроенными проверками номеров состояний (+20% max от С) прямо на ASM (-20% min от С)? На джава и других языках то же конечно можно (perl, python, oberon, etc).

Из вашего семейства языков IEC 61131-3 — этот

https://ru.wikipedia.org/wiki/Structured_Text

чем то да же напоминает Актив Оберон. То есть да же переучиваться не надо специалистам. Для каждого языка своя ниша, где он более эффективный.

Я не Оберонщик совсем, просто стараюсь взглянуть на мир их глазами. Я в основном различные (каждый год они меняются) передовые скриптовые языки предпочитаю. С 1996 года сменились — Basic, Lisp, Bash, Perl, Python, JS, GO. На всех их я делал различные проекты. Ну и ещё на паре десятков других языковне скриптовых.

Вот язык на основе Актив Оберона на подходе, видимо.

Самые крутые и уважаемые хакеры перешли на этой неделе на менеджер окон i3 - очень Оберонная концепция плиточного оконного интерфейса с древовидными структурами окон.

Но надо отдать должное - Оберон становится pop-сой. Истинные ценители undergraund, носители истинного духа и alt подходв пилят Forth.