|
Направление: бортовое ПО российских спутников связи, проект ГЛОНАС
Организация: НПО Прикладной Механики им. М.Ф. Решетнева, г. Железногорск, Красноярский край, http://www.npopm.ru/
Руководитель направления: А.А. Колташев, нач. сектора бортового ПО
Инструментарий: Модула-2, Оберон-2
Основной инструментарий - уникальная мобильная кросс-система программирования на основе виртовской Модулы-2. Как сообщает А.А.Колташев, «с Обероном идет конкретная работа в контексте создания бортового ПО российских спутников, что и не удивительно: ведь компактность и легкость Оберона делает его исключительно удобным для разработки встроенных систем».
Участие в разработке инструментария принимала новосибирская компания Excelsior (XDS).
А.А. Колташев - ученик школ А.П.Ершова, И.В.Поттосина и В.В.Липаева. Оказавшись у истоков появления бортовых ЦВМ на спутниках связи, разработал принципы и технологии построения бортового ПО, руководил созданием ОС для первого советского стационарного спутника с БЦВМ (1981). Руководил созданием действующей технологии разработки БПО для данного приложения.
На Модула-2 написано ПО для российской глобальной навигационной системы ГЛОНАСС.
Публикации:
Направление: вычислительные методы и информационные технологии в физике высоких энергий
Организация: http://www.inr.ac.ru Институт ядерных исследований РАН
Руководитель направления: Ф.В. Ткачёв, д.ф.-м.н., ведущий научный сотрудник
Инструментарий: Компонентный паскаль в среде BlackBox Component Builder
В рамках направления идут разработки:
off-line обработка данных для эксперимента по прямому измерению массы нейтрино в бета-распаде трития. Предполагаемый spin-off - реализация нового метода, представляющего собой оптимальную замену методу наименьших квадратов для негауссовских распределений ошибок (например, все типы редких распадов);
другие методы обработки экспериментальных данных (оптимальный «определитель» адронных струй, оптимальные наблюдаемые);
методы многомерного интегрирования (как адаптивное Монте Карло, так и методы типа коробовских; в сотрудничестве с математиками школы Коробова);
крупномасштабные аналитические расчеты для теоретических вычислений (например, пакет BEAR = Basic Extensible Algebra Resource).
Оберон в версии CP и BlackBox выбран в качестве инструментария для всех проектов на основе ~25-летнего опыта использования в данном направлении самых разных подходов и анализа ошибок. (Руководитель начал когда-то программировать почти одновременно в трех парадигмах: процедурной (фортран/PL1), марковской (симв. алгебра – schoonschip) и функциональной (симв. алгебра – reduce-2/lisp)). Побочный результат глубоких размышлений и вспомогательный проект – Информатика-21, а также (первый) День Оберона.
Направление: Оптимизирующий компилятор Java и инструментарий (пакет JET). Кросс-компиляторы.
Организация: Компания Excelsior, Новосибирск
Директор-основатель: А. Хапугин
Интструментарий: XDS Modula-2&Oberon
На протяжении многих лет основной разработкой компании Excelsior (тогда xTech Ltd.) была система XDS - среда разработки для Оберон-2 - Модула-2, позволяющая использовать одновременно оба этих языка. На базе XDS была разработана система кросс-компиляции, позволяющая подключать модули кодогенерации и оптимизации для различных платформ, в том числе встроенных. В настоящий момент система XDS используется в НПО Прикладной Механики им. Решетнева для встроенных бортовых систем российских спутников в качестве основного инструментария. Версии XDS для Windows и Linux находятся в свободном доступе.
Команда Excelsior имеет давний опыт разработки уникального системного ПО. Начало было положено в 1984 году созданием 32-разрядной рабочей станции «Кронос» соригинальной операционной системой, написанной на Модула-2.
Направление: создание бортового ПО для беспилотных самолетов-разведчиков
Организация: Научно-производственный конструкторский центр "Новик - XXI век"
Руководитель направления: главный конструктор Н.Н. Чистяков
Инструментарий: кросскомпиляторы Pascal, Оберон
НПКЦ «Новик - XXI век» выпускает комплексы дистанционно пилотируемых летательных аппаратов (ДПЛА):
Программное обеспечение системы управления, воплощающее в себе весь опыт и знания конструкторского коллектива, – это мозг беспилотного летательного аппарата. Долгое время разработки велись на специальной версии Паскаля для встроенных систем. Недавно, после встречи с Н.Виртом осенью 2005 года,
было принято решение о переходе на Оберон.
Направление: технология социомониторинга
Организация: ООО «Софт-Мониторинг», Ярославль
Директор: И.А.Кузьмицкий
Инструментарий: Компонентный паскаль в среде BlackBox Component Builder
Причин смены системы программирования (СП) Clarion на BlackBox Component Builder в качестве платформы для
всех проектов ООО «Софт-Мониторинг» несколько.
Кадровый вопрос. Научить новичка разрабатывать на Кларионе гораздо тяжелее, чем на Обероне. Считается, что «начального уровня освоения» в Clarion не существует, т.к. необходимо иметь детальное представление практически о всех элементах технологии. Генерация проекта за три минуты – это фантик, внутри которого лежат глюки и глубоко упрятанные проблемы. В результате развивать и поддерживать проекты становится довольно трудоёмким делом.
BlackBox распространяется в открытых исходных кодах.
BlackBox избежал болезни избыточной сложности, характерной для большинства современных средств разработки.
Среда является прозрачным и предсказуемым инструментом. Полное понимание того, что «происходит под капотом», является залогом стабильного цикла разработки, отсутствия неожиданно возникающих «подводных камней».
Направление: Разработка программного обеспечения
Организация: ООО «Метасистемы», г. Орёл (http://metasystems.ru)
Генеральный директор: Ермаков И.Е.
Инструментарий: BlackBox Component Builder
Компания выполняет заказные разработки в области системного, инструментального и прикладного ПО; ведёт научно-исследовательскую и образовательную деятельность; поддерживает систему BlackBox на территории России и стран бывшего СССР.
Подробная информация - на сайте http://metasystems.ru
Направление: моделирующие системы и объектные СУБД
Организация: Компания High Tech Technologies, Ltd.
Инструментарий: Интерпретатор языка Оберон-2 как внутреннего языка СУБД
http://www.htt-ums.ru/Products.html UMSTM (Universal Modeling System) - универсальная моделирующая система компании High Tech Technologies Ltd., построенная на платформе FADTM и использующая расширенный язык Оберон Н. Вирта в качестве языковой платформы.
UMSTM позволяет организовывать векторно-динамические модели сложных систем учета и управления экономикой предприятия, мониторинга производственных и технологических процессов, прогнозирования и проектирования в самых различных областях бизнеса, науки, производства. Расширяемая библиотека прикладных программ UMSTM на основе языка Оберон и его расширений позволяет строить эффективные системы совместного взаимодействия большого числа пользователей с UMSTM по сложным алгоритмам.
Система отопления разработана и изготовлена: ООО «Провансаль-РИО», Ильин С.Н.
Разработчик ПО для мониторинга: Ильин А.С.
Инструментарий: BlackBox 1.5
Автоматизированная система отопления отвечает за поддержание заданной температуры на трёх этажах жилого дома и в прилегающих постройках. Ноутбук с BlackBox получает данные в реальном времени по COM-порту, отображает их на экране в специальных вьюшках и периодически сохраняет в виде текста на диск для последующего анализа и оптимизации параметров управления. Анализ осуществляется в Excel. Возможность задать параметры реализована в BlackBox через те же вьюшки.
Разработчик: Ильин А.С.
Инструментарий: BlackBox 1.5 в пакетном режиме (без GUI)
Томский сегмент интернета является особым в том смысле, что все местные провайдеры, выросшие в своё время из домовых сетей и fidonet'a, имеют соглашения о бесплатном пиринге. У любого провайдера есть базовое подключение, при котором за абонентскую плату у клиента будет доступ только по городу Томску и области, и дополнительные тарифы за доступ в глобальную внешнюю сеть («внешку»). Часто внешку выгодно покупать не у основного провайдера, который берёт «за удобство» с неграмотных пользователей втридорога, а у сторонних фирм через подключение по VPN. При этом, естественно, лучше «томский» трафик пускать напрямую в сеть провайдера, в обход VPN, чтобы не перегружать канал и не заплатить ненароком за тот трафик, который мог бы быть бесплатным. Для этого необходимо настроить роутинг, перечислив, какие подсети считаются «местными». Для этого с сайта провайдера необходимо скачать список томских подсетей, и списки эти время от времени обновляются. Ситуацию осложняет ещё и то, что у разных провайдеров бывают нестыковки, поэтому окончательный список нужно составлять объединением нескольких. Для автоматизации решения последней задачи я использовал BlackBox. В пакетном режиме с помощью wget скачиваются списки, затем BlackBox выполняет объединение и сортировку с удалением дубликатов, а diff показывает, произошли ли изменения. Эта задача выполняется по расписанию каждый день в 6 часов утра.
Направление: система контроля за дорожным движением
Инструментарий: ОС реального времени XO/2
XO/2 — промышленная RTOS на основе языка Оберон-2. Швейцарским федеральным правительством сертифицирована и принята к развертыванию автоматизированная система контроля за дорожным движением на основе XO/2.
Направление: управляющие системы реального времени в гражданской авиации
Организация: международный консорциум ONBASS
Инcтрументарий: языки Оберон-семейства
Разработчики: Лаборатория языков программирования и систем времени выполнения ETH
ONBASS = ON Board Active Safety System
Первый международный консорциум, спонсируемый Еврокомиссией по рубрике «Аэро- и космонавтика», направлен на повышение надежности общей (коммерческой пассажирской) авиации, провозгласил применение Оберона в системах управления реального времени по причине надежности ПО.
Ссылки
Направление: Providing innovative software system solutions across industry sectors such as Transport, Insurance, Banking and Manufacturing.
Организация: Robinson Associates, UK.
Инструментарий: Активный оберон и A2, Zonnon
Since 1976 Robinson Associates has established a reputation for providing innovative software system solutions across industry sectors such as Transport, Insurance, Banking and Manufacturing.
In the Commercial Sector we develop high integrity systems for Banking, Insurance and Care Management, especially the design of workflow for Internet based business support systems. In the Industrial Sector we develop process management and control systems using highly intuitive graphic interfaces. Our experience also includes the design and development of Safety Related systems in the Rail Sector where we develop to BS EN 50128 SIL 0 to 4, and also in the Avionics Sector. All our work is guided by our fully certified ISO9001:2000 (TickIT) Business Management System.
Robinsons has been active in IT and Computer Systems research for over 2 decades. Our interests are in five overlapping areas:
Design of large concurrent systems (Soudronic and De La Rue)
Highly dependable and safe systems (Westinghouse and ONBASS)
Organisation of information for fast and flexible access (MOD and ETH)
Computer Languages for improving productivity (ETH and Linz Universities)
Automation tools for verification and validation of systems (Robinsons in-house)
At Robinsons we invest in research e.g. the Zonnon Project, to improve the services we offer and the software systems that we help to specify, design, produce and deploy. We also offer contract research services for our Clients e.g. the ONBASS Project.
ONBASS is a European Community partially funded project; Robinson's roles are:
Project management as Work Package Leader
Clarification of the Theory of PASS
Development of PASS systems engineering techniques
Validation of the theoretical models and their implementation
Организация: University Hospital of Basel, Швейцария
Инструментарий: Native Oberon, A2
См. http://www.computational.ch/
Computational Methods have evolved to an indispensable tool to improvements in medicine:
Understand disease processes («computational pathophysiology»)
Study new treatments before using them in patients («computational simulation of devices and drug effects»)
Analyse medical images in an objective, quantitative manner («image processing, computer vision»)
Assess the validity of study findings, create tools for risk prediction in individuals («medical statistics»)
Study genes, gene expression, protein structures, metabolic pathways («computational biology»)
Examine the importance and the interaction of multiple biosignals arising from the body («medical signal processing/analysis»)
Направление: high-end mechatronic products control
Организация: Институт робототехники ETH
Инструментарий: ОС жёсткого реального времени XOberon
XOberon - ОС жесткого реального времени для PowerPC, написана на Oberon-2. Разработка Швейцарского Института Робототехники EHTZ.
Направление: Разработка ПК для сложных задач управления в приложениях, критичных по надёжности
Организация: ETH Zurich, Colortronic Systems AG
Инструментарий: Active Oberon, BlueBottle и др.
Направление: программные решения для бизнеса
Организация: Amadeus IT Solutions
Руководитель: Стефан Метцелер
Инструментарий: XDS Oberon-2
Стефан Метцелер – программист-предприниматель со стажем. С 1986 г. его компания, Amadeus IT Solutions, обеспечивает качественными решениями массу клиентов (включая таких гигантов как DuPont, Royal Bank of Canada, Deutsche Bank, IBM…). Стефан был одним из самых активных участников совещания День Оберона в ЦЕРНе (Oberon Day @ CERN).
Свои деловые успехи Стефан объясняет теми преимуществами, которые дает Оберон для программирования. Стефан использует новосибирскую реализацию Оберона-2 (XDS Oberon), с помощью которого им разработана собственная библиотека поддержки быстрой разработки бизнес-приложений Amadeus. Название системы отражает любовь Стефана к классической музыке (в тот момент, когда надо было выбрать имя для системы, Стефан был под впечатлением одного из величайших произведений Вольфганга Амадея Моцарта – Реквиема).
Стефан Метцелер имеет давние связи в России, в том числе с компанией Excelsior, авторами XDS Oberon. В ноябре 2007 года Стефан приезжал в Томск на неделю для знакомства и установления деловых контактов с местными разработчиками.
См. http://www.inr.ac.ru/~info21/Amadeus/welcome.html
Направление: техническое моделирование
Организация: BAE Systems
Инструментарий: BlackBox Component Builder
Моделирование (расчёты и визуализация) фазированных решёток прецизионных радаров для истребителя Eurofighter. Проект объёмом более 1 млн. строк исходного текста.
Направление: управляющее ПО
Организация: Laser Lab, University of Rochester
Инструментарий: BlackBox Component Builder
На BlackBox разрабатывается система управления лазерными установками (на данный момент мощнейшими в мире).
Направление: промышленные применения
Организация: Verizon Communications Inc.
Инструментарий: BlackBox Component Builder
Система промышленного тестирования с графическим интерфейсом. С 1997 выдержала 21 релиз. В ежедневном использовании.
Автор*: Ермаков. И.Е. Правки: Ильин А.С., PGR, Ткачёв Ф.В., Рюмшин Б.В.
|
