Применения

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

Организация: Oberon Microsystems

Инструментарий: BlackBox Component Builder

Список проектов: http://www.oberon.ch/references.html (перевод)

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

Инструментарий: ОС реального времени 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
• http://www.onbass.org/
• 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

Стефан Метцелер – программист-предприниматель со стажем. С 1986 г. его компания, Amadeus IT Solutions, обеспечивает качественными решениями массу клиентов (включая таких гигантов как DuPont, Royal Bank of Canada, Deutsche Bank, IBM…). Стефан был одним из самых активных участников совещания День Оберона в ЦЕРНе (Oberon Day @ CERN).

Свои деловые успехи Стефан объясняет теми преимуществами, которые дает Оберон для программирования. Стефан использует новосибирскую реализацию Оберона-2 (XDS Oberon), с помощью которого им разработана собственная библиотека поддержки быстрой разработки бизнес-приложений Amadeus. Название системы отражает любовь Стефана к классической музыке (в тот момент, когда надо было выбрать имя для системы, Стефан был под впечатлением одного из величайших произведений Вольфганга Амадея Моцарта – Реквиема).

Выдержка из сопроводительной документации к библиотеке Amadeus-3.

« The following applications were all developed with Amadeus-3. This should demonstrate that there is little that cannot be done with this development system and that Oberon-2 code can fit all kinds of demands and environments:

AMADEUS CONFIDENTIAL (AC): a CRM (Customer Relationship Management) written for the Royal Bank of Canada. The first version was implemented under Amadeus-2 and Modula-2 from 1990 to 1993. Since then a new, Windows-based version under Amadeus-3 and Oberon-2 has been in use, handling the highly sensitive data of numbered, private banking accounts in Switzerland.

AMADEUS PORTFOLIO (AP): A full portfolio management system, supporting customers with multiple bank relations, multiple currencies, able to instantly calculate and display the exact status of a portfolio or a combination of portfolios for any date of the present or the past. May be combined with AC, sharing some data, but keeping personal and financial data clearly separate.

EXPERT SPIDER®: A graphical quality control system developed for Du Pont de Nemours, to encourge internal and external customers and suppliers to use scientific methods for measuring the properties of various products. Fully configurable, the system is able to display data in the form of various charts – escpecially spider- or radar-charts – of a whole set of parameters. The acquisition of parameters can be documented with various tools, including videos and full descriptions.

SKIP, ALTM, REALM: Applications for airborne laser topography, developed by TopScan GmbH, a German company, in cooperation with Optech Inc. from Canada. This is real high-tech software, that performs the data analysis and presentation. The user interface remains very useable, despite a huge number of parameters that need to be set for GPS data, Laser configuration, geographic parameters etc. The software is in worldwide use, from Europe to the USA, from South Africa to Japan.

BMAN®: Software used by Du Pont de Nemours in it’s Ballistic Laboratory in Geneva, to test ballistic protection equipment made of Kevlar and other fibers. Police, Military and other exposed personnel throughout the world who need body armor are very likely to use products that were tested with the help of Amadeus Software since 1993.

HP Telecom ’95 Scheduling System: Telecom’95 was the 1995 edition of the biggest telecommunication related trade fair in the world, taking place every 4 years in Geneva. This application was used by Hewlett Packard to schedule the entire event: meeting agendas for their top managers, conferences, presentations, room occupation and staff organisation. During preparation, up to 80 people were entering data over the internal network and during the event, 14 terminals were permanently active on the HP stand.

TM: Complete Intellectual Property Management for Trademarks, Models and Patents. Used to track all intellectual property for companies and individual owners, with national and international registration and a complete calendar for tracking deadlines for payments, renewals and other required administrative procedures. A smaller utility, TM AGENDA allows simplified tracking of deadlines.

KSTOCK: Stock management and European distribution system operated for DuPont, then Invista, for their marketing and technical documentation for LYCRA® and other famous brands. »

Стефан Метцелер имеет давние связи в России, в том числе с компанией Excelsior, авторами XDS Oberon. В ноябре 2007 года Стефан приезжал в Томск на неделю для знакомства и установления деловых контактов с местными разработчиками.

См. http://www.inr.ac.ru/~info21/Amadeus/welcome.html

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

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

Инструментарий: BlackBox Component Builder

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

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

Организация: University of Helsinki, Department of Mathematics and Statistics

Инструментарий: BlackBox Component Builder

См. http://www.openbugs.info/w/

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

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

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

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

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

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

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

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

Публикации:

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

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

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

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

Инструментарий: Компонентный Паскаль в среде 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 век"

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

Инструментарий: кросскомпиляторы Паскаль, Оберон

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

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

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

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

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

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

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

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

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

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

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

Инструментарий: BlackBox Component Builder и др.

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

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

Организация: Компания 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 часов утра.

Разработчик: Ильин А.С.

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

По заказу ООО «Конто-сервис» в мае-июне 2011 года мною была написана программа для калибровки счётчиков воды, разработанных этой фирмой. Работа со счётчиками ведётся через COM-порт, в том числе через переходники типа USB2COM, по протоколу M-Bus (европейский стандарт EN 13757-2, EN 13757-3). Поддержка протокола реализована на языке Oberon-2, без использования сторонних библиотек. Программа позволяет изменять сетевой адрес и заводской номер устройства, отображать текущие данные в режиме опроса, выполнять последовательность команд для калибровки, а также, при необходимости, вручную редактировать калибровочную таблицу. Осуществлена интеграция с ПО управления проливочным стендом, позволившая оператору работать только с FlowCnt. Поскольку нет нужды переключаться между программами, исключена погрешность, связанная с задержкой между стартом/стопом стенда и запуском/завершением калибровки в счётчиках.

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

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

Инструментарий: BlackBox Component Builder

На 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 Component Builder

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

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