DDC-I - DDC-I

DDC-I, Inc.
Частная
Промышленностькритически важный для безопасности встроенное программное обеспечение
Основан1985; 35 лет назад (1985) в Kongens Lyngby, Дания
Штаб-квартираФеникс, Аризона
Ключевые люди
Боб Моррис, президент / генеральный директор
Оле Н. Ост, основатель / технический директор
ТоварыОперационные системы реального времени: Deos, HeartOS
Компилятор системы: Ада
Интернет сайтwww.ddci.com

DDC-I, Inc. это частная компания обеспечение разработки программного обеспечения операционные системы реального времени, инструменты разработки программного обеспечения, и программные услуги для критически важный для безопасности встроенные приложения со штаб-квартирой в Феникс, Аризона. Впервые она была создана в 1985 году как датская фирма. DDC International A / S (также известный как DDC-I A / S), коммерческий продукт Данск Датаматик Центр, датская организация по исследованиям и разработке программного обеспечения 1980-х годов. Американское дочернее предприятие было создано в 1986 году. На протяжении многих лет фирма специализировалась на компиляторы языков для язык программирования Ада.

В 2003 году датский офис был закрыт, и все операции были перенесены в офис в Фениксе.

Происхождение

Истоки DDC International A / S лежат в Данск Датаматик Центр, датская организация по исследованиям и разработке программного обеспечения, которая была основана в 1979 году для демонстрации ценности использования современных методов, особенно тех, которые включают формальные методы, в проектировании и разработке программного обеспечения. Среди нескольких его проектов было создание системы компилятора для языка программирования. Ада. Ада был сложным для реализации языком, и первые проекты компиляторов для него часто приводили к разочарованию.[1] Но дизайн компилятора DDC был правильным и сначала прошел Министерство обороны США -спонсируемые тесты возможности проверки компилятора Ada (ACVC) на VAX /VMS система в сентябре 1984 г.[2] Таким образом, это был первый европейский компилятор Ada, соответствующий этому стандарту.[3][4]

Успех проекта Ada привел к тому, что в 1985 году была образована отдельная компания, названная DDC International A / S, с целью коммерциализации продукта системы компилятора Ada.[5] Как и его создатель, он был основан в Lyngby, Дания. Оле Н. Ост был назначен управляющим директором DDC International.[6] В 1986 году была основана DDC-I, Inc. как дочерняя компания в США.[7] Находится в Феникс, Аризона, он сосредоточился на продажах, поддержке клиентов и инженерно-консультационной деятельности в США.[8]

Компилятор Ada

DDC International A / S размещалась в переоборудованном текстильном комбинате в Люнгбю, Дания, в 1990 году.

DDC-I открыла бизнес по продаже продукта системы компилятора Ada, названного DACS, напрямую фирмам, как в качестве программного обеспечения для разработки проектов на Ada, так и в качестве исходный код производителям компьютеров и другим лицам, которые будут размещать или перенаправлять их другим процессоры и операционные системы.[9][10]

Первый бизнес продавал как собственные компиляторы, так и кросс-компиляторы, причем последний более распространен, поскольку Ада в основном использовалась в встроенные системы область. Одним из первых кросс-компиляторов, разработанных DDC-I, был VAX / VMS на Intel 8086 и Intel 80286; к началу 1985 года работа уже велась.[9] Он начинался как совместное предприятие с итальянской компанией оборонной электроники. Селения которые будут нацелены как на их мультипроцессорные компьютеры MARA-860 и MARA-286, основанные на архитектурах 8086 и 80286, так и на обычные встроенные системы и системы 8086 и 80286, на которых размещена ОС.[11] Эта работа была началом того, что стало самой продаваемой линейкой продуктов для фирмы. DDC-I заработал репутацию производителя качественных кросс-компиляторов Ada и исполняющих систем для Intel 80x86 процессоры.[8]

Вторая компания использовала то, что стало называться OEM-компилятором DDC,[10] кто может использовать интерфейс Ada для компиляторов для других хостов или целей или для других инструментов, таких как СБИС. На встрече в сентябре 1985 г. Лунд, Швеция, несколько клиентов OEM Kit сформировали группу DDC Ada Compiler Retargeter's Group.[12] В течение 1985 и 1986 годов было проведено не менее трех встреч. Среди первых OEM-клиентов были Лундский университет, Управление материальных средств обороны, и Радиосистемы Эрикссон в Швеции; Softplan и Информационные системы Nokia в Финляндии; Селения и Olivetti в Италии; ICL Defense Systems и ООО "СТЛ" в Соединенном Королевстве; Разработка программного обеспечения Aitech в Израиле; и Продвинутые компьютерные технологии, Роквелл Коллинз, Корпорация Control Data, и Группа General Systems В Соединенных Штатах.[13]

Несколько разработчиков компилятора Ada в DDC International в Люнгби в 1990 году.

Более поздние разработчики часто хуже разбирались в формальных методах и не использовали их в своей работе над компилятором.[14] Тем более это было в случае перенацеливания компилятора на компании, многие из которых были незнакомы с языком Ada.[15][16]

DDC-I был на том же рынке, что и несколько других фирм по компиляции Ada, в том числе Алсис, TeleSoft, Verdix, Tartan Laboratories, и Системы TLD.[4] (DDC-Я бы продолжал оставаться в бизнесе дольше, чем любой из этих других.[14]Как и в случае с другими поставщиками компиляторов Ada, большая часть времени инженеров DDC-I была потрачена на согласование с большим и сложным стандартизированным языком Ada Compiler Validation Capability (ACVC) и набором тестов среды выполнения.[17][18]

Начиная с 1988 г. и на протяжении нескольких лет консультанты DDC-I сотрудничали с Системы воздушного транспорта Honeywell перенацелить и оптимизировать компилятор DDC-I Ada для 29050 драм процессор.[19][20] Эта система кросс-компилятора на основе DDC-I использовалась для разработки основного полетного программного обеспечения для Боинг 777 авиалайнер.[8][20] Это программное обеспечение, названное Система управления информацией о самолетах, станет, пожалуй, самым известным из всех проектов Ады, гражданских или военных.[21] Около 550 разработчиков в Honeywell работали над системой полета, и это было объявлено большой историей успеха Ada.[20]

Офис развития DDC-I в Нью-Йорке находился на 31-м этаже этого здания.

В октябре 1991 года было объявлено, что DDC-I приобрела Ada и Веселый язык встроенных систем бизнес InterACT, которая превратилась в предприятие Advanced Computer Techniques.[22] Это 100-процентное предприятие со штаб-квартирой в Нью-Йорке было кратко называлось DDC-Inter.[22] до включения в собственно DDC-I. Это принесло кросс-компиляторы Ada для MIL-STD-1750A и MIPS R3000 процессоры и кросс-компиляторы языка JOVIAL для MIL-STD-1750A и Зилог Z8002 в продуктовую линейку. Продукт MIPS был одним из тех, что подчеркивал DDC-I, с инженерными усилиями, которые включали автоматическое распознавание определенных оптимизаций задач,[23] и работа в рамках проекта Common Ada Runtime System (CARTS), спонсируемого ВВС США, по обеспечению стандартных интерфейсов в среде выполнения Ada.[24][25]

В конце 1993 года офис в Нью-Йорке был закрыт, и его работа была переведена в офис в Фениксе.

К началу 1990-х годов DDC-I предлагал собственные компиляторы Ada для VAX / VMS, Вс-3 и SPARC под SunOS, и Intel 80386 под Система UNIX V и OS / 2, и предложил кросс-компиляторы для Motorola 680x0 и Intel i860 в дополнение к вышеупомянутым целям.[26][27]

Ada 95 и исследования других продуктовых линеек

Офис DDC International в Люнгбю продемонстрировал датские элементы дизайна, представленные здесь в 1992 году.

В начале 1990-х DDC-I работал над переработкой системы компиляции для широкой версии языкового стандарта Ada 95. Они использовали новый объектно-ориентированное программирование дизайн и по-прежнему придерживались подхода формальных методов, используя VDM-SL.[28] Работа выполнена при спонсорской поддержке Европейского сообщества. Инициатива открытого микропроцессора проект Global Language and Uniform Environment (OMI / GLUE), в котором роль DDC-I заключалась в создании компилятора, ориентированного на Нейтральный формат распределения архитектуры (ANDF) промежуточная форма с намерением быстро перенести Ada 95 на другие платформы.[28][29] В рамках этой работы DDC-I сотрудничал с Агентство оборонной оценки и исследований в расширении некоторых возможностей ANDF для выражения семантики Ada и быстрорастущего языка программирования C ++.[30] Работайте в областях, специфичных для Ada, таких как исключение проверки границ, было сделано для достижения оптимальной производительности во время выполнения.[31]

Программная среда Ada изначально считалась многообещающим рынком.[32]Но бизнес компиляторов Ada оказался трудным.[33] В то время, с 1987 по 1997 год, действовал правительственный мандат США на использование Ada, хотя и с некоторыми предоставленными исключениями.[34] Многие преимущества языка для программирования общего назначения не рассматривались как таковые ни сообществом разработчиков программного обеспечения, ни преподавателями.[35] Ситуация с продажами была сложной с периодическими небольшими увольнениями. Несмотря на консолидацию среди других поставщиков инструментов Ada, DDC-I оставалась независимой компанией.[36]

В любом случае, DDC-I был ярым сторонником языка Ада для использования в компании.[37] и внешне. В статье, опубликованной одним из ее инженеров в 1993 году, объектно-ориентированные функции Ada 95 оцениваются по сравнению с C ++ и привлекают некоторое внимание.[38]

Вид на пальмы из офиса DDC-I в Фениксе, 1993 год.

В то же время фирма пыталась расширять и дополнять ассортимент своей продукции. Был доступен набор инструментов RAISE, а также Cedar, инструмент для проектирования систем реального времени. Также было предложено Beologic, инструмент для разработки и запуска частей состояния / событий приложений, лицензированный у Bang & Olufsen и интегрирован с системой компиляции Ada.[39]Наибольшие усилия были предприняты в направлении C ++. DDC-I начала предлагать 1st Object Exec, основанный на C ++ операционная система реального времени предназначен для прямой поддержки встроенных приложений на объектном уровне.[40] Несмотря на значительные усилия в 1993–94 годах, 1st Object Exec не удалось завоевать популярность на рынке.

Единственная область, в которой Ada действительно прочно закрепилась, - это приложения реального времени с высокой надежностью, высокой степенью целостности и критичные для безопасности приложения, такие как аэрокосмическая промышленность.[41][34][42] Основываясь на своем опыте работы с Honeywell и другими клиентами, DDC-I приобрела опыт в сопоставлении языка Ada и функций времени выполнения с требованиями критически важных для безопасности сертификатов, в частности, для DO-178B (Соображения программного обеспечения при сертификации бортовых систем и оборудования) и предоставил инструменты для этого процесса.[43]Такие заявки продолжались даже после того, как мандат Ады был отменен в 1997 году.[34]Например, в 1997 г. фирма заключила совместный контракт с Сикорский Самолет и Boeing Defense & Space Group вертолетов, чтобы разработать программное обеспечение, которое будет использоваться в Boeing / Sikorsky RAH-66 Comanche.[44]

В марте 1998 г. компания DDC-I приобрела у Инструменты Техаса права на разработку, продажу и маркетинг компиляторов Tartan Ada для Intel i960, Motorola 680x0 и MIL-STD-1750A.[45]

Поддержка смешанной языковой разработки была добавлена ​​в 2000 году с добавлением языка программирования. C как часть многоязычной интегрированной среды разработки DDC-I для SCORE (для критически важных для безопасности, объектно-ориентированных, встроенных в реальном времени).[46] Используя формат ANDF, DWARF Благодаря стандартизированному формату отладки и протоколу OMI для связи с мониторами отладки целевой платы SCORE смогла предоставить разработчикам приложений в реальном времени общую среду построения и отладки.[46] Поддержка для Встроенный C ++ был добавлен в SCORE в 2003 году, и к тому времени он мог интегрироваться с различными сценариями целевых плат на Intel x86 и Питание ПК процессоры.[47] Компиляторы C и Embedded C ++ для ANDF были получены в результате лицензионного соглашения для Компилятор TenDRA (позже разработчиком этих компиляторов стал DDC-I). Впоследствии Ada 95 поддержала старые 1750A и TMS320C4x процессоров был добавлен в SCORE.[48]

Штаб-квартира в США и операционные системы реального времени

К апрелю 2003 года промышленность отошла от Ada, и упадок авиационной промышленности сказался на нем, и DDC-I понесла значительные финансовые потери. DDC-I решила закрыть свой датский офис в Люнгби и перенести все операции в Феникс.[49]

В сентябре 2005 года компания по имени Боб Моррис, ранее занимавшая LynuxWorks, как его президент и главный исполнительный директор.[50] Ост стал техническим директором.[51] В апреле 2006 года DDC-I переехала в новый офис на севере Феникса, заявив, что она расширяется и ожидает роста доходов на 40–50 процентов по сравнению с предыдущим годом.[52]

С 2006 года компания вносит свой вклад в Группа экспертов по Java для критически важной для безопасности Java.[53] Эта работа, в которой используется Спецификация в реальном времени для Java в качестве основы, а затем определяет языковые и библиотечные подмножества и правила кодирования для использования для обеспечения достаточного детерминизма, представители фирмы считают, что Java может быть равен или превосходит Ada или C ++ в качестве языка для критически важных для безопасности приложений.[54] Компания рассматривала критически важный для безопасности профиль Java как один, который может помочь оборонной промышленности справиться с проблемой устаревания программного обеспечения и аппаратных приложений.[55] К 2008 году DDC-I называл Аду наследие язык и предлагает полуавтоматические инструменты и профессиональные услуги, чтобы помочь клиентам перейти на новые решения.[51]

В ноябре 2008 года компания вошла во встроенную операционная система реального времени (RTOS) с двумя продуктами, Deos и HeartOS.[56][57][58] Оба были основаны на базовой технологии программного обеспечения, созданной в Honeywell International и уже используется на многих коммерческих и военных самолетах.[56] В рамках этой акции DDC-I наняла нескольких ключевых инженеров Honeywell, которые разработали Deos.[56]Другие фирмы в том же сегменте рынка RTOS, что и DDC-I, включают LynuxWorks, Системы Wind River, SYSGO, и Экспресс-логика.[59]

Товары

  • Deos - это операционная система реального времени с разделами по времени и пространству (RTOS), которая была впервые сертифицирована для DO-178B уровень A в 1998 году. Deos содержит несколько запатентованных архитектурных особенностей, включая улучшения для использования процессора, повторное использование двоичного программного обеспечения и безопасное планирование для многоядерных процессоров. Пользователи Deos имеют возможность добавлять дополнительные ARINC 653 индивидуальные модули, разработанные для удовлетворения различных потребностей приложений. Deos поддерживает процессоры РУКА, MIPS, PowerPC, и x86, и поддерживается популярными SSL / TLS библиотеки, такие как wolfSSL.[60][61] Он был включен в список 100 самых популярных электронных продуктов 2009 года. EDN журнал.[62]
  • HeartOS - это POSIX - операционная система жесткого реального времени, предназначенная для малых и средних встроенных приложений, включая типы, критичные к безопасности. Поддерживает ARM, PowerPC, x86[63] и другие 16-битные и 32-битные процессоры. Его можно настроить без уровня интерфейса POSIX для систем с ограничением памяти.
  • OpenArbor - это Затмение -основан интегрированная среда развития для разработки приложений C, Embedded C ++ и Ada. Об этом было объявлено в 2007 году.[64]
  • SCORE - это многоязычный набор интегрированных инструментов для критически важных для безопасности объектно-ориентированных встраиваемых приложений реального времени, поддерживающих приложения Ada, C и Embedded C ++ для различных встроенных архитектур.[65]
  • Также продолжает поддерживаться устаревшая система компиляторов Ada 83 и JOVIAL.[66]

Библиография

  • Бьёрнер, Дайнс; Грамм, Кристиан; Oest, Ole N .; Rystrøm, Лейф (2011). "Данск Датаматик Центр". В Impagliazzo, Джон; Лундин, Пер; Wangler, Benkt (ред.). История Nordic Computing 3: достижения IFIP в области информационных и коммуникационных технологий. Springer. С. 350–359. Немного расширенная версия этой главы доступна в Интернете по адресу https://www.researchgate.net/publication/221271386_Dansk_Datamatik_Center. Дальнейшая расширенная версия является частью онлайн-мемуаров Бьёрнера по адресу http://www.imm.dtu.dk/~dibj/trivia/node5.html. Слайд-презентация Грэма на основе статьи доступна в Интернете как Почему Данск Датаматик Центр?
  • Бьёрнер, Дайнс; Хавелунд, Клаус. «40 лет формальных методов: некоторые препятствия и некоторые возможности?». FM 2014: формальные методы: 19-й международный симпозиум, Сингапур, 12–16 мая 2014 г. Протоколы. Springer. С. 42–61.
  • Бундгаард, Йорген (май 1985 г.). «Разработка интерфейса Ada для малых компьютеров». SIGAda '85: Материалы ежегодной международной конференции ACM SIGAda 1985 года по Аде. Ассоциация вычислительной техники. С. 321–328.
  • Бундгаард, Йорген. "Система компиляции Ada 95 на основе ANDF". Материалы конференции по TRI-Ada '95, 5–10 ноября 1995 г.. Ассоциация вычислительной техники. С. 436–445.
  • Clemmensen, Geert B .; Ост, Оле Н. (март 1984). «Формальная спецификация и разработка компилятора Ada - пример VDM». ICSE '84 Материалы 7-й международной конференции по программной инженерии. IEEE Press. С. 430–440.
  • Клемменсен, Герт Б. (январь 1986 г.). «Ретаргетинг и повторный хостинг системы компиляции DDC Ada: пример - Honeywell DPS 6». ACM SIGAda Письма Ада. 6 (1): 22–28. Дои:10.1145/382256.382794.
  • Новостная рассылка. Группа дистрибьюторов DDC Ada Compiler. 1. Ноябрь 1985 г.
  • Новостная рассылка. DDC Ada Compiler Retargeter's Group. 2. Август 1986 г.
  • Новостная рассылка. Группа дистрибьюторов DDC Ada Compiler. 3. Декабрь 1986 г.
  • Ферганы, Адель; Северенко, Леланд; Рабиновиц, Моше; Соломон, Элиэзер Н .; Питарис, Марк; Бенджамин, Клайв Л. «Реализация асинхронных входных вызовов на двух разных архитектурах». NAECON 1993: Материалы Национальной конференции по аэрокосмической и электронной электронике IEEE 1993, 24–28 мая 1993 г.. С. 486–495.
  • Фитцджеральд, Джон С .; Ларсен, Питер Горм; Верхоф, Марсель (2009). «Венский метод развития». In Wah, Бенджамин В. (ред.). Энциклопедия компьютерных наук и инженерии Wiley. Вайли. С. 2971–2982.
  • Фрост, Джейкоб. «Решение Ada95 для сертификации встроенных приложений, важных для безопасности». Надежные программные технологии - Ada-Europe '99. С. 52–63.
  • Джордж, Крис. «Язык спецификации RAISE: Учебное пособие». VDM '91: формальные методы разработки программного обеспечения: 4-й международный симпозиум VDM в Европе, Нордвейкерхаут, Нидерланды, октябрь 1991 г., Труды. 2. Springer-Verlag. С. 238–319.
  • Ибсен, Лейф (январь 1984 г.). «Портативная виртуальная машина для Ады». Программное обеспечение: практика и опыт. 14 (1): 17–29. Дои:10.1002 / spe.4380140104.
  • Йоргенсен, Джеспер. «Сравнение объектно-ориентированных функций Ada 9X и C ++». Ада-Европа '93: 12-я Международная конференция Ада-Европа, Париж, Франция, 14–18 июня 1993 г. Труды. С. 125–141.
  • Манкузи, Ричард; Tokar, Joyce L .; Рабиновиц, Моше; Соломон, Элиэзер Н .; Питарис, Марк; Бенджамин, Клайв Л. «Поддержка реальных и виртуальных прерываний: отображение функции CARTS в двух разных архитектурах». Ада-Европа '93: 12-я Международная конференция Ада-Европа, Париж, Франция, 14–18 июня 1993 г. Труды. С. 314–329.
  • Мёллер, Петер Лютцен. «Устранение проверки времени выполнения для Ada 9X». Материалы конференции по TRI-Ada '94, 6–11 ноября 1994 г.. Ассоциация вычислительной техники. С. 122–128.
  • Ремер, Карл (2009). «Команда HADS». В Stellman, Эндрю; Грин, Дженнифер (ред.). Красивые команды: вдохновляющие и поучительные истории от опытных руководителей команд. Севастополь, Калифорния: О'Рейли. С. 299–312.
  • Розен, Жан-Пьер (сентябрь 2009 г.). «Парадокс Ады». Письма SIGAda Ada. 29 (2): 28–35. Дои:10.1145/1620593.1620597.
  • «Интервью с Оскаром Шахтером» (Опрос). Беседовал Томас Хей. Институт Чарльза Бэббиджа, Университет Миннесоты. 7 мая 2004 г.Запись WorldCat
  • Шиллинг, Джонатан Л. "Использование Ada в коммерческой среде малых компаний". WADAS '93 Материалы десятого ежегодного симпозиума Вашингтонской Ады по Аде: 28 июня - 1 июля 1993 г.. ACM. С. 89–94.
  • Шиллинг, Джонатан Л .; Нильсен, Йохан Ольмютц (май – июнь 1994 г.). «Автоматическое распознавание компилятором задач монитора». Письма SIGAda Ada. 14 (3): 91–104. Дои:10.1145/181468.181474.
  • Суорд, Рики Э. (ноябрь 2010 г.). «Взлет, падение и упорство Ады». SIGAda '10: Материалы ежегодной международной конференции ACM SIGAda, посвященной SIGAda. С. 71–74.
  • Уитакер, Уильям А. (1996). "Ада - Проект: Рабочая группа по высокому уровню языка Министерства обороны". В Бергине, Томас Дж .; Гибсон, Ричард Г. (ред.). История языков программирования - II. Эддисон-Уэсли Профессионал. С. 173–232.

Рекомендации

  1. ^ Уитакер, «Ада - Проект», стр. 217–218.
  2. ^ Bundgaard, "Разработка внешнего интерфейса Ada для малых компьютеров", стр. 322.
  3. ^ Клемменсен, «Перенацеливание и повторный хостинг системы компиляции DDC Ada», стр. 22.
  4. ^ а б Акли, Эд (25 марта 1985 г.). "Си, Ада и Лисп: История трех языков". Computerworld. п. ID-1.
  5. ^ Бьёрнер, Грам, Ост и Ристрем, "Dansk Datamatik Center", стр. 351.
  6. ^ Бьёрнер, Грам, Ост и Ристром, "Dansk Datamatik Center", расширенная версия, стр. 11.
  7. ^ "DDC-I, INC". OpenCorporates. Получено 20 сентября, 2015.
  8. ^ а б c Ремер, "Команда HADS", стр. 300.
  9. ^ а б Bundgaard, "Разработка внешнего интерфейса Ada для малых компьютеров", стр. 328.
  10. ^ а б Бьёрнер, Грам, Ост и Ристрем, "Dansk Datamatik Center", стр. 354.
  11. ^ DDC Ada Compiler Retargeter's Group, Новостная рассылка № 2, с. 35–36.
  12. ^ "Товары". Журнал Паскаля, Ады и Модулы-2. 5. Март – апрель 1986 г. с. 70.
  13. ^ DDC Ada Compiler Retargeter's Group, Новостная рассылка № 1, стр. 7–8; № 2, стр. 5–7; № 3, стр. 13–15а.
  14. ^ а б Бьёрнер и Хавелунд, «40 лет формальных методов», стр. 48.
  15. ^ Ремер, "Команда HADS", стр. 306.
  16. ^ Шиллинг, «Использование Ada в коммерческой среде малых компаний», стр. 89–91.
  17. ^ Ремер, «Команда HADS», стр. 305, 306, 307.
  18. ^ Розен, "Парадоксы Ады", стр. 29.
  19. ^ Ремер, «Команда HADS», стр. 299, 302.
  20. ^ а б c "Боинг летает на 99% Аде". Информационный центр Ada. Архивировано из оригинал 5 ноября 2015 г.. Получено 24 октября, 2015.
  21. ^ Вулф, Александр (октябрь 2004 г.). "В Аде еще осталось немного жизни". Очередь ACM. Также на http://delivery.acm.org/10.1145/1040000/1035608/p28-wolfe.pdf[постоянная мертвая ссылка ]
  22. ^ а б «DDC International приобретает бизнес InterACT по производству кросс-инструментальных средств; создает новое бизнес-подразделение» (пресс-релиз). DDC-I. 4 октября 1991 г.
  23. ^ Шиллинг и Нильсен, "Автоматическое распознавание компилятором задач монитора", стр. 91, 100–102.
  24. ^ Манкузи и др., «Поддержка реальных и виртуальных прерываний: отображение функции CARTS в двух разных архитектурах».
  25. ^ Фергани и др., «Реализация асинхронных вызовов входа на двух разных архитектурах».
  26. ^ "DDC International News". DDC International A / S. Лето 1992 года.
  27. ^ «Список проверенных компиляторов Ada». Информационный центр Ada. 1 июля 1992 г. С. 8–10.
  28. ^ а б Бундгаард, Йорген (17 ноября 1992 г.). Практический подход к применению объектной модели для построения системы компиляции Ada 9X (отчет). DDC-I.
  29. ^ Bundgaard, "Система компиляции Ada 95 на основе ANDF", стр. 436.
  30. ^ «Диагностическая спецификация TDF». Агентство оборонной оценки и исследований. 30 июля 1998 г. Архивировано с оригинал 11 апреля 2016 г.. Получено 17 января, 2016.
  31. ^ Мёллер, «Устранение проверок времени выполнения для Ada 9X», стр. 122, 126–128.
  32. ^ «Малые фирмы извлекают выгоду из программного обеспечения Пентагона». Лос-Анджелес Таймс. Рейтер. 25 ноября 1985 г.
  33. ^ Розен, "Парадоксы Ады", стр. 34.
  34. ^ а б c Суорд, "Взлет, падение и упорство Ады", стр. 71.
  35. ^ Розен, «Парадоксы Ады», стр. 32–33.
  36. ^ Ada and Beyond: Политика в отношении программного обеспечения для Министерства обороны. Комитет по прошлым и нынешним условиям использования Ada в Министерстве обороны, Совет по информатике и телекоммуникациям, Национальный исследовательский совет. 1997. стр. 11.
  37. ^ Шиллинг, "Использование Ada в коммерческой среде малых компаний", стр. 89, 93.
  38. ^ Йоргенсен, "Сравнение объектно-ориентированных функций Ada 9X и C ++", стр. 140–141.
  39. ^ «Продукты и инструменты Ada: Часть 2». Офис совместной программы Ada. 20 ноября 1998 г.
  40. ^ «DDC International A / S представляет 1st Object Exec». Журнал доктора Добба. Март 1994 г.
  41. ^ Розен, "Парадокс (ы) Ады", стр. 33–34.
  42. ^ Фельдман, Майкл Б. (ноябрь 2014 г.). «Кто использует Ada? Реальные проекты на языке программирования Ada». Университет Джорджа Вашингтона. Получено 7 октября, 2015.
  43. ^ Фрост, "Решение Ada95 для сертификации встроенных приложений, важных для безопасности", стр. 52–53.
  44. ^ «Контракт на высокотехнологичный самолет». Феникс Бизнес Журнал. 23 мая 1997 г.
  45. ^ «Texas Instruments назначает эксклюзивного дистрибьютора DDC-I для трех продуктов Ada» (пресс-релиз). DDC-I, Texas Instruments. 13 марта 1998 г.
  46. ^ а б "Новая система SCORE Ada DDC-I использует открытые стандарты". Анонсы конференции. SIGAda. 2 марта 2000 г.. Получено 17 января, 2016.
  47. ^ «Технология SCORE DDC-I - включая интеграцию с OSE RTOS». DDC-I. Получено 11 января, 2016.
  48. ^ «DDC-I объявляет о доступности интегрированной среды разработки SCORE для DSP TMS320C40» (Пресс-релиз). DDC-I. 4 декабря 2006 г. Архивировано с оригинал на 2016-03-04.
  49. ^ Бьёрнер, Грам, Ост и Ристром, "Dansk Datamatik Center", расширенная версия, стр. 2.
  50. ^ «DDC-I назначает Боба Морриса президентом и главным исполнительным директором» (Пресс-релиз). DDC-I. 1 сентября 2005 г. Архивировано с оригинал на 16.02.2016.
  51. ^ а б Ост, Оле Н. (24 июня 2008 г.). «Миграция сложных встроенных систем». Военные встроенные системы.
  52. ^ «DDC-I Inc. переезжает в штаб-квартиру» (Пресс-релиз). BusinessWire. 24 апреля 2006 г.
  53. ^ «DDC-I присоединяется к группе экспертов по Java, критически важной для безопасности». Бесплатная библиотека. 17 ноября 2006 г.
  54. ^ Nielsen, Johan O .; Планы, Алекс Дж. (Март 2008 г.). «Компьютерный язык Java рассматривает критически важные для безопасности приложения реального времени». Военная и аэрокосмическая электроника.
  55. ^ Ост, Оле Н. (2 апреля 2008 г.). «Слияние устаревшего программного обеспечения с современным системным дизайном». Военные встроенные системы.
  56. ^ а б c Коул, Бернард (17 ноября 2008 г.). «Новости: DDC-I выходит на рынок встроенных ОСРВ с Deos и HeartOS». EE Times.
  57. ^ «DDC-I выходит на рынок встроенных ОСРВ». Проектирование встроенных вычислений (Пресс-релиз). 17 ноября 2008 г. Архивировано с оригинал на 2011-07-10.
  58. ^ «DDC-I объявляет о высочайшей производительности и наиболее готовой к сертификации критически важной для безопасности ОСРВ». Военные встроенные системы (Пресс-релиз). 17 ноября 2008 г.
  59. ^ Маккенна, Эд (апрель 2014 г.). «Операционные системы реального времени, решающие дилеммы сертификации, безопасности и стандартов». Авионика.
  60. ^ Чунг, Кен. «DDC-I Deos RTOS поддерживает Freescale e300 и e500 Core». Embeddedstar. Архивировано из оригинал на 2010-06-20. Получено 2010-08-30.
  61. ^ Коул, Бернард (22 сентября 2009 г.). «Критически важная для безопасности ОСРВ DDC-I теперь доступна для процессоров Intel Atom». EETimes.
  62. ^ «100 самых популярных электронных продуктов 2009 года». EDN. 15 декабря 2009 г. Архивировано с оригинал 3 апреля 2012 г.
  63. ^ «Поддержка HeartOS RTOS для процессора ARM». Доктор Доббс. 19 марта 2010 г.
  64. ^ «DDC-I объявляет о выпуске пакета для разработки смешанных языков на основе Eclipse для разработки встраиваемых систем в реальном времени» (Пресс-релиз). Деловой провод. 15 октября 2007 г.
  65. ^ "SCORE (Критически важный для безопасности, объектно-ориентированный, встроенный в реальном времени) смешанная среда разработки на разных языках". DDC-I. Получено 10 января, 2016.
  66. ^ «Зрелые системы разработки, проверенные на практике в сотнях приложений». DDC-I. Получено 10 января, 2016.

внешняя ссылка

Кружка DDC-I из 1990-х