Применения

См. также: Сообщество, Проекты

Направление: система контроля за дорожным движением

Инструментарий: ОС реального времени XO/2

XO/2 — промышленная RTOS на основе языка Оберон-2. Швейцарским федеральным правительством сертифицирована и принята к развертыванию автоматизированная система контроля за дорожным движением на основе XO/2.

Направление: управляющие системы реального времени в гражданской авиации

Организация: международный консорциум ONBASS

Инcтрументарий: языки Оберон-семейства

Разработчики: Лаборатория языков программирования и систем времени выполнения ETH

ONBASS = ON Board Active Safety System

Первый международный консорциум, спонсируемый Еврокомиссией по рубрике «Аэро- и космонавтика», направлен на повышение надежности общей (коммерческой пассажирской) авиации, провозгласил применение Оберона в системах управления реального времени по причине надежности ПО.

• http://www.oberon-industry.ethz.ch/projects/onbass
• ONBASS project
• Kaegi-Trachsel T., Gutknecht J. Minos—The design and implementation of an embedded real-time operating system with a perspective of fault tolerance
• http://www.robinsons.co.uk/research.html
• http://www.jg.inf.ethz.ch/wiki/Group/Research
• http://www.jg.inf.ethz.ch/docs/jg/OberonDay04.pdf

Направление: 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.

Направление: управляющие системы беспилотных летательных аппаратов

Организация: weControl AG

Инструментарий: язык Oberon-SA и компилятор под процессоры ARM, собственная HelyOS

См. также Chapuis J. Oberon based Autopilots for Unmanned Aerial Vehicles

«Where Academia meets Industry» - под таким девизом прошёл Oberon Day-07. Подробности см. http://www.oberon-industry.ethz.ch/

Направление: Разработка ПК для сложных задач управления в приложениях, критичных по надёжности

Организация: ETH Zurich, Colortronic Systems AG

Инструментарий: Active Oberon, BlueBottle и др.

• http://www.oberon-industry.ethz.ch/projects/a2doc

Направление: программные решения для бизнеса

Организация: Amadeus IT Solutions

Руководитель: Стефан Метцелер

Инструментарий: XDS Oberon-2

Направление: техническое моделирование

Организация: BAE Systems

Инструментарий: Инструментальный комплекс «BlackBox»

Моделирование (расчёты и визуализация) фазированных решёток прецизионных радаров для истребителя Eurofighter. Проект объёмом более 1 млн. строк исходного текста.

OpenBUGS

Направление: разработка ПО и др.

Организация: Software Templ OG

Инструментарий: Инструментальный комплекс «BlackBox» и др.

См. http://www.software-templ.com/projects.html

• The Large Underground Xenon (LUX) Experiment
  

«The DDC-8DSPs and TB are controlled via a USB 2.0 interface, using a dedicated host computer. The host PC control software is written in BlackBox Component Builder (developed by Oberon microsystems [29]) and is the component-based development environment for the programming language Component Pascal. Combined with LibUSB, an open-source USB driver [27], and DevC++ [28], BlackBox has become a successful tool for controlling the trigger.»

• Ильин А.С.

Направление: бортовое ПО российских спутников связи, проект ГЛОНАСС

Организация: НПО Прикладной Механики им. М.Ф. Решетнева, г. Железногорск, Красноярский край, http://www.npopm.ru/

Руководитель направления: А.А. Колташев, нач. сектора бортового ПО

Инструментарий: Модула-2, Оберон-2

Основной инструментарий — уникальная мобильная кросс-система программирования на основе виртовской Модулы-2. Как сообщает А.А.Колташев, «с Обероном идет конкретная работа в контексте создания бортового ПО российских спутников, что и не удивительно: ведь компактность и легкость Оберона делает его исключительно удобным для разработки встроенных систем».

Участие в разработке инструментария принимала новосибирская компания Excelsior (XDS).

А.А. Колташев — ученик школ А.П.Ершова, И.В.Поттосина и В.В.Липаева. Оказавшись у истоков появления бортовых ЦВМ на спутниках связи, разработал принципы и технологии построения бортового ПО, руководил созданием ОС для первого советского стационарного спутника с БЦВМ (1981). Руководил созданием действующей технологии разработки БПО для данного приложения.

На Модула-2 написано ПО для российской глобальной навигационной системы ГЛОНАСС.

Публикации:

• Интеллект и душа спутника
• Модула-2 в российском космосе
• Особенности переноса бортовых программ

Направление: вычислительные методы и информационные технологии в физике высоких энергий

Организация: Институт ядерных исследований РАН

Руководитель направления: Ф.В. Ткачёв, д.ф.-м.н., ведущий научный сотрудник

Инструментарий: Компонентный Паскаль в среде Инструментальный комплекс «BlackBox»

В рамках направления идут разработки:

• 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 век"

Руководитель направления: главный конструктор Н.Н. Чистяков

Инструментарий: кросскомпиляторы Паскаль, Технологическое направление Oberon

НПКЦ «Новик - XXI век» выпускает комплексы дистанционно пилотируемых летательных аппаратов (ДПЛА):

• комплекс Строй-П с ДПЛА "Пчела", известный по антитеррористическим кампаниям,
• комплексы ГрАНТ, БРАТ,
• и другие.

Программное обеспечение системы управления, воплощающее в себе весь опыт и знания конструкторского коллектива, – это мозг беспилотного летательного аппарата. Долгое время разработки велись на специальной версии Паскаля для встроенных систем. Недавно, после встречи с Н.Виртом осенью 2005 года, было принято решение о переходе на Оберон.

Направление: технология социомониторинга

Организация: ООО «Софт-Мониторинг», Ярославль

Директор: И.А.Кузьмицкий

Инструментарий: Компонентный Паскаль в среде Инструментальный комплекс «BlackBox»

Причин смены системы программирования (СП) Clarion на BlackBox в качестве платформы для всех проектов ООО «Софт-Мониторинг» несколько.

• Кадровый вопрос. Научить новичка разрабатывать на Кларионе гораздо тяжелее, чем на Обероне. Считается, что «начального уровня освоения» в Clarion не существует, т.к. необходимо иметь детальное представление практически о всех элементах технологии. Генерация проекта за три минуты – это фантик, внутри которого лежат глюки и глубоко упрятанные проблемы. В результате развивать и поддерживать проекты становится довольно трудоёмким делом.
• BlackBox распространяется в открытых исходных кодах.
• BlackBox избежал болезни избыточной сложности, характерной для большинства современных средств разработки.
• Среда является прозрачным и предсказуемым инструментом. Полное понимание того, что «происходит под капотом», является залогом стабильного цикла разработки, отсутствия неожиданно возникающих «подводных камней».

Направление: Разработка программного обеспечения

Организация: ООО "Метасистемы", г. Орёл

Инструментарий: Инструментальный комплекс «BlackBox» и др.

Компания выполняет разработку программного обеспечения на заказ и консультирует в этой области.

Направление: моделирующие системы и объектные СУБД

Организация: Компания High Tech Technologies, Ltd.

Инструментарий: Интерпретатор языка Оберон-2 как внутреннего языка СУБД

http://www.htt-ums.ru/Products.html UMSTM (Universal Modeling System) - универсальная моделирующая система компании High Tech Technologies Ltd., построенная на платформе FADTM и использующая расширенный язык Оберон Н. Вирта в качестве языковой платформы.

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

Направление: управляющее ПО

Организация: Laser Lab, University of Rochester

Инструментарий: Инструментальный комплекс «BlackBox»

На BlackBox разрабатывается система управления лазерными установками (на данный момент мощнейшими в мире).

• http://www.lle.rochester.edu/
• http://www.pas.rochester.edu/~skulski/
• Skulski W. BlackBox Component Builder For Scientists and Engineers

Направление: промышленные применения

Организация: Verizon Communications Inc.

Инструментарий: Инструментальный комплекс «BlackBox»

Система промышленного тестирования с графическим интерфейсом. С 1997 выдержала 21 релиз. В ежедневном использовании.

Автор: Ермаков. И.Е. Правки: Ильин А.С., PGR, Ткачёв Ф.В., Рюмшин Б.В.