DDC-I, Inc. - это частная компания, занимающаяся разработкой программного обеспечения для операционных систем реального времени , инструментов разработки программного обеспечения и программных услуг для критически важных для безопасности встроенных приложений со штаб-квартирой в Фениксе, штат Аризона . Впервые он был создан в 1985 году как датская фирма DDC International A / S (также известная как DDC-I A / S ), коммерческое развитие Dansk Datamatik Center , датской организации по исследованиям и разработке программного обеспечения 1980-х годов. Американская дочерняя компания была создана в 1986 году. В течение многих лет фирма специализировалась на языковых компиляторах для языка программирования. Ада .
Тип | Частная |
---|---|
Промышленность | критически важное для безопасности встроенное программное обеспечение |
Основан | 1985 Kongens Lyngby , Дания | в
Штаб-квартира | Феникс, Аризона |
Ключевые люди | Боб Моррис, президент / генеральный директор Оле Н. Ост, основатель / технический директор |
Продукты | Операционные системы реального времени : Deos, HeartOS. Компиляторные системы: Ada. |
Веб-сайт | www |
В 2003 году датский офис был закрыт, и все операции были перенесены в офис в Фениксе.
Происхождение
Истоки DDC International A / S лежат в Dansk Datamatik Center , датской организации по исследованиям и разработке программного обеспечения, которая была основана в 1979 году для демонстрации ценности использования современных методов, особенно тех, которые включают формальные методы , при проектировании и разработке программного обеспечения. Среди нескольких его проектов было создание системы компиляции для языка программирования Ada . Ада был сложным для реализации языком, и первые проекты компиляторов для него часто приводили к разочарованию. [1] Но дизайн компилятора DDC был надежным, и он впервые прошел тесты на проверку возможностей компилятора Ada (ACVC), спонсируемые Министерством обороны США, на системе VAX / VMS в сентябре 1984 года. [2] Таким образом, он был первым. Европейский компилятор Ada, соответствующий этому стандарту. [3] [4]
Успех проекта Ada привел к тому, что в 1985 году была образована отдельная компания, названная DDC International A / S, с целью коммерциализации продукта системы компилятора Ada. [5] Как и его создатель, он базировался в Люнгбю , Дания . Оле Н. Ост был назначен управляющим директором DDC International. [6] В 1986 году была основана американская дочерняя компания DDC-I, Inc. [7] Расположенный в Фениксе, штат Аризона , он занимался продажами, поддержкой клиентов и инженерно-консультационной деятельностью в США. [8]
Компилятор Ada
DDC-I открыла бизнес по продаже системного продукта компилятора Ada, названного DACS, напрямую фирмам, как в качестве программного обеспечения для разработки проектов на Ada, так и в качестве исходного кода для производителей компьютеров и других лиц, которые будут повторно размещать или перенаправлять его на другие процессоры. и операционные системы . [9] [10]
Первый бизнес продавал как собственные компиляторы, так и кросс-компиляторы , причем последний был более распространенным, поскольку Ada в основном использовалась в сфере встроенных систем . Одним из первых кросс-компиляторов, разработанных DDC-I, был VAX / VMS для Intel 8086 и Intel 80286 ; к началу 1985 года эта работа уже велась. [9] Она начиналась как совместное предприятие с итальянской компанией Selenia по производству оборонной электроники , которое нацелено на их мультипроцессорные компьютеры MARA-860 и MARA-286, основанные на архитектурах 8086 и 80286, и общие встроенные системы и системы 8086 и 80286, на которых размещена ОС. [11] Эта работа была началом того, что стало самой продаваемой линейкой продуктов для фирмы. DDC-I заработал репутацию производителя качественных кросс-компиляторов Ada и исполняющих систем для процессоров Intel 80x86 . [8]
Второй бизнес использовал то, что стало называться DDC OEM Compiler Kit [10], который мог использовать интерфейс Ada для компиляторов для других хостов или целей или для других инструментов, таких как VLSI . На встрече в сентябре 1985 года в Лунде, Швеция , несколько клиентов OEM Kit сформировали DDC Ada Compiler Retargeter's Group. [12] В течение 1985 и 1986 годов было проведено не менее трех встреч. Среди первых OEM-заказчиков были Университет Лунда , Управление материально-технического снабжения и Ericsson Radio Systems в Швеции; Softplan и Nokia Information Systems в Финляндии; Селения и Оливетти в Италии; ICL Defense Systems и STL Ltd в Соединенном Королевстве; Aitech Software Engineering в Израиле; и Advanced Computer Techniques , Rockwell Collins , Control Data Corporation и General Systems Group в США. [13]
Более поздние разработчики часто хуже разбирались в формальных методах и не использовали их в своей работе над компилятором. [14] Это было тем более в случае перенацеливания компилятора на компании, многие из которых были незнакомы с языком Ада. [15] [16]
DDC-I работала на том же рынке, что и несколько других фирм по разработке компиляторов Ada, включая Alsys , TeleSoft , Verdix , Tartan Laboratories и TLD Systems . [4] (DDC-I продолжал бы работать в бизнесе дольше, чем любой из этих других. [14] ) Как и в случае с другими поставщиками компиляторов Ada, большая часть времени инженеров DDC-I тратилась на выполнение больших и сложных задач. Стандартизованный язык и набор тестов среды выполнения для проверки возможности компилятора Ada (ACVC). [17] [18]
Начиная с 1988 года и продолжаясь в течение нескольких лет, консультанты DDC-I сотрудничали с Honeywell Air Transport Systems, чтобы перенастроить и оптимизировать компилятор DDC-I Ada для процессора AMD 29050 . [19] [20] Эта система кросс-компилятора на основе DDC-I использовалась для разработки основного программного обеспечения для полета для авиалайнера Boeing 777 . [8] [20] Это программное обеспечение, получившее название « Система управления информацией о самолетах» , возможно, станет самым известным из всех используемых проектов Ada, гражданских или военных. [21] Около 550 разработчиков в Honeywell работали над системой полетов, и это было разрекламировано как крупная история успеха Ada. [20]
В октябре 1991 года было объявлено, что DDC-I приобрела подразделение InterACT , подразделение встроенных систем на языках Ada и JOVIAL , которое превратилось в предприятие Advanced Computer Techniques. [22] Эта находящаяся в полной собственности нью-йоркская компания была кратко названа DDC-Inter [22], прежде чем была включена в собственно DDC-I. Это позволило включить в линейку продуктов кросс-компиляторы Ada для процессоров MIL-STD-1750A и MIPS R3000 , а также кросс-компиляторы языка JOVIAL для MIL-STD-1750A и Zilog Z8002 . Продукт MIPS был тем, что подчеркивал DDC-I, с инженерными усилиями, которые включали автоматическое распознавание определенных оптимизаций задач, [23] и работу в спонсируемом ВВС США проекте Common Ada Runtime System (CARTS) по обеспечению стандартных интерфейсов в среде выполнения Ada. среды. [24] [25]
В конце 1993 года офис в Нью-Йорке был закрыт, и его работа была передана в офис в Фениксе.
К началу 1990-х годов DDC-I предлагал собственные компиляторы Ada для VAX / VMS, Sun-3 и SPARC под SunOS и Intel 80386 под UNIX System V и OS / 2 , а также предлагал кросс-компиляторы для Motorola 680x0 и Intel i860 в дополнение. к вышеуказанным целям. [26] [27]
Ada 95 и исследования других продуктовых линеек
В начале 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 был ярым сторонником языка Ada для использования в компании [37] и за ее пределами. В статье, опубликованной одним из ее инженеров в 1993 году, объектно-ориентированные функции Ada 95 оцениваются по сравнению с C ++ и привлекают некоторое внимание. [38]
В то же время фирма пыталась расширять и дополнять свою продуктовую линейку. Был доступен набор инструментов RAISE, а также Cedar, инструмент для проектирования систем реального времени. Также был предложен Beologic - инструмент для разработки и выполнения частей приложений, связанных с состоянием / событием, который был лицензирован Bang & Olufsen и интегрирован с системой компиляции Ada. [39] Наибольшие усилия были предприняты в направлении C ++. DDC-I начала предлагать 1st Object Exec, операционную систему реального времени на основе C ++, предназначенную для прямой поддержки встроенных приложений на объектном уровне. [40] Несмотря на значительные усилия в 1993–94 годах, 1st Object Exec не удалось завоевать популярность на рынке.
Единственная область, в которой Ада действительно прочно закрепилась, - это приложения реального времени, высоконадежные, с высокой степенью целостности и критически важные для безопасности приложения, такие как аэрокосмическая промышленность. [41] [34] [42] Основываясь на своем опыте работы с Honeywell и другими клиентами, DDC-I приобрела опыт в сопоставлении языка Ada и функций времени выполнения с требованиями критически важных для безопасности сертификатов, в частности, для DO-178B. (Соображения по программному обеспечению при сертификации бортовых систем и оборудования) и предоставил инструменты для этого процесса. [43] Такие приложения продолжались даже после того, как в 1997 году был отменен мандат Ada. [34] Например, в 1997 году фирма заключила совместный контракт с Sikorsky Aircraft и подразделением вертолетов Boeing Defense & Space Group на разработку программного обеспечения, которое будет использоваться. в самолете Boeing / Sikorsky RAH-66 Comanche . [44]
В марте 1998 года DDC-I приобрела у Texas Instruments права на разработку, продажу и маркетинг компиляторов Tartan Ada для целей Intel i960 , Motorola 680x0 и MIL-STD-1750A. [45]
Поддержка смешанной языковой разработки была добавлена в 2000 году с добавлением языка программирования C как части смешанной среды разработки DDC-I для SCORE (для критически важных для безопасности, объектно-ориентированных, встроенных в реальном времени). [46] Используя формат ANDF, стандартизированный формат отладки DWARF и протокол OMI для связи с мониторами отладки целевой платы, SCORE смогла предоставить разработчикам приложений в реальном времени общую среду построения и отладки. [46] Поддержка Embedded C ++ была добавлена в SCORE в 2003 году, и к тому времени он мог интегрироваться с различными сценариями целевых плат на процессорах Intel x86 и Power PC . [47] Компиляторы C и Embedded C ++ для ANDF были получены в результате лицензионного соглашения с компилятором TenDRA (позже DDC-I стал сопровождать эти компиляторы). Впоследствии в SCORE была добавлена поддержка Ada 95 для старых процессоров 1750A и TMS320C4x . [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 называл Ada устаревшим языком и предлагал полуавтоматические инструменты и профессиональные услуги, чтобы помочь клиентам перейти на новые решения. [51]
В ноябре 2008 года компания вышла на рынок встроенных операционных систем реального времени (RTOS) с двумя продуктами: Deos и HeartOS. [56] [57] [58] Оба были основаны на базовой технологии программного обеспечения, разработанной в Honeywell International и уже развернутой на многих коммерческих и военных самолетах. [56] В рамках акции DDC-I наняла нескольких ключевых инженеров Honeywell, которые разработали Deos. [56] Другие фирмы в том же сегменте рынка ОСРВ, что и DDC-I, включают LynuxWorks , Wind River Systems , SYSGO и Express Logic . [59]
Продукты
- Deos - это операционная система реального времени (ОСРВ) с разделением по времени и пространству, которая была впервые сертифицирована по DO-178B уровня A в 1998 году. Deos содержит несколько запатентованных архитектурных функций, включая улучшения для использования процессора, повторное использование двоичного программного обеспечения и безопасное планирование для многоядерных процессоров. процессоры. Пользователи Deos могут добавлять дополнительные индивидуальные модули ARINC 653, разработанные для удовлетворения различных потребностей приложений. Deos поддерживает процессоры ARM , MIPS , PowerPC и x86 , а также популярные библиотеки SSL / TLS, такие как wolfSSL . [60] [61] Он был включен в список 100 самых популярных электронных продуктов 2009 года по версии журнала EDN . [62]
- HeartOS - это операционная система жесткого реального времени на основе POSIX , разработанная для малых и средних встраиваемых приложений, в том числе критически важных для безопасности типов. Он поддерживает ARM, PowerPC, x86 [63] и другие 16-битные и 32-битные процессоры. Его можно настроить без уровня интерфейса POSIX для систем с ограниченным объемом памяти.
- OpenArbor - это интегрированная среда разработки на основе Eclipse для разработки приложений 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 . Слайд-презентация Gram на основе статьи доступна в Интернете как Почему Dansk Datamatik Center?
- Бьёрнер, Дайнс; Хавелунд, Клаус. «40 лет формальных методов: некоторые препятствия и некоторые возможности?». FM 2014: формальные методы: 19-й международный симпозиум, Сингапур, 12–16 мая 2014 г. Материалы . Springer. С. 42–61.
- Бундгаард, Йорген (май 1985 г.). «Разработка интерфейса Ada для малых компьютеров». SIGAda '85: Материалы ежегодной международной конференции ACM SIGAda 1985 года по Аде . Ассоциация вычислительной техники. С. 321–328.
- Бундгаард, Йорген. "Система компиляции Ada 95 на основе ANDF". Труды конференции по TRI-Ад '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 Ada Letters . 6 (1): 22–28. DOI : 10.1145 / 382256.382794 .
- Информационный бюллетень . Группа дистрибьюторов DDC Ada Compiler. 1 . Ноябрь 1985 г.
- Информационный бюллетень . Группа дистрибьюторов DDC Ada Compiler. 2 . Август 1986 г.
- Информационный бюллетень . Группа дистрибьюторов DDC Ada Compiler. 3 . Декабрь 1986 г.
- Ферганы, Адель; Северенко, Леланд; Рабиновиц, Моше; Соломон, Элиэзер Н .; Питарис, Марк; Бенджамин, Клайв Л. «Реализация вызовов асинхронной записи на двух разных архитектурах». NAECON 1993: Труды IEEE 1993 Национальная конференция Электроника Aerospace и 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. DOI : 10.1002 / spe.4380140104 .
- Йоргенсен, Джеспер. «Сравнение объектно-ориентированных функций Ada 9X и C ++». Ада-Европа '93: 12-я Международная конференция Ада-Европа, Париж, Франция, 14–18 июня 1993 г. Материалы . С. 125–141.
- Манкузи, Ричард; Токар, Джойс Л .; Рабиновиц, Моше; Соломон, Элиэзер Н .; Питарис, Марк; Бенджамин, Клайв Л. «Поддержка реальных и виртуальных прерываний: отображение функции CARTS в двух разных архитектурах». Ада-Европа '93: 12-я Международная конференция Ада-Европа, Париж, Франция, 14–18 июня 1993 г. Материалы . С. 314–329.
- Мёллер, Петер Лютцен. «Устранение проверки во время выполнения для Ada 9X». Труды конференции по TRI-Ад '94, 6-11 ноября 1994 года . Ассоциация вычислительной техники. С. 122–128.
- Ремер, Карл (2009). «Команда HADS». В Stellman, Эндрю; Грин, Дженнифер (ред.). Красивые команды: вдохновляющие и поучительные истории от опытных руководителей команд . Севастополь, Калифорния: О'Рейли. С. 299–312.
- Розен, Жан-Пьер (сентябрь 2009 г.). «Парадокс Ады». Письма SIGAda Ada . 29 (2): 28–35. DOI : 10.1145 / 1620593.1620597 .
- «Интервью с Оскаром Шахтером» (Интервью). Беседовал Томас Хей. Институт Чарльза Бэббиджа, Университет Миннесоты. 7 мая 2004 г.Запись WorldCat
- Шиллинг, Джонатан Л. "Использование Ada в коммерческой среде малых компаний". WADAS '93 Труды десятой ежегодной Вашингтон Ada симпозиума по Ada: 28 июня - 1 июля 1993 . ACM. С. 89–94.
- Шиллинг, Джонатан Л .; Нильсен, Йохан Ольмютц (май – июнь 1994 г.). «Автоматическое распознавание компилятором задач монитора». Письма SIGAda Ada . 14 (3): 91–104. DOI : 10.1145 / 181468.181474 .
- Суорд, Рики Э. (ноябрь 2010 г.). «Взлет, падение и упорство Ады». SIGAda '10: Материалы ежегодной международной конференции ACM SIGAda, посвященной SIGAda . С. 71–74.
- Уитакер, Уильям А. (1996). «Ада - Проект: Рабочая группа по высокому уровню языка Министерства обороны США» . In Bergin, Thomas J .; Гибсон, Ричард Г. (ред.). История языков программирования - II . Эддисон-Уэсли Профессионал. С. 173–232.
Рекомендации
- ↑ Уитакер, «Ада - Проект», стр. 217–218.
- ^ Bundgaard, "Разработка внешнего интерфейса Ada для малых компьютеров", стр. 322.
- ^ Клемменсен, "Перенацеливание и повторный хостинг системы компиляции DDC Ada", стр. 22.
- ^ а б Акли, Эд (25 марта 1985 г.). "Си, Ада и Лисп: Сказка о трех языках" . Компьютерный мир . п. ID-1.
- ^ Бьорнер, Gram, Oest и Rystrøm, "Dansk Datamatik Центр", стр. 351.
- ^ Бьорнер, Gram, Oest и Rystrøm, "Dansk Datamatik центр", расширенная версия, стр. 11.
- ^ "DDC-I, INC" . OpenCorporates . Проверено 20 сентября 2015 года .
- ^ a b c Ремер, "Команда HADS", стр. 300.
- ^ a b Bundgaard, "Разработка внешнего интерфейса Ada для малых компьютеров", стр. 328.
- ^ a b Бьёрнер, Грам, Ост и Ристром, "Dansk Datamatik Center", стр. 354.
- ↑ DDC Ada Compiler Retargeter's Group, Информационный бюллетень № 2, стр. 35–36.
- ^ "Продукты". Журнал Паскаля, Ады и Модулы-2 . 5 . Март – апрель 1986 г. с. 70.
- ↑ DDC Ada Compiler Retargeter's Group, Информационный бюллетень № 1, стр. 7–8; № 2, стр. 5–7; № 3, стр. 13–15а.
- ^ a b Бьёрнер и Хавелунд, «40 лет формальных методов», стр. 48.
- ^ Rehmer, "О HADS Team", стр. 306.
- ^ Шиллинг, «Использование Ada в коммерческой среде малых компаний», стр. 89–91.
- ^ Rehmer, "О HADS Команда", стр. 305, 306, 307.
- ^ Розен, "Парадокс (ы) Ады", стр. 29.
- ^ Rehmer, "О HADS Team", стр. 299, 302.
- ^ а б в «Боинг летает на 99% Аде» . Информационный центр Ada. Архивировано из оригинала 5 ноября 2015 года . Проверено 24 октября 2015 года .
- ^ Вулф, Александр (октябрь 2004 г.). «В Аде еще осталось немного жизни» . Очередь ACM .Также на http://delivery.acm.org/10.1145/1040000/1035608/p28-wolfe.pdf [ постоянная мертвая ссылка ]
- ^ а б «DDC International приобретает компанию InterACT по производству кросс-инструментальных средств; формирует новое подразделение» (пресс-релиз). DDC-I. 4 октября 1991 г.
- ^ Шиллинг и Нильсен, «Автоматическое распознавание компилятором задач монитора», стр. 91, 100–102.
- ^ Манкузи и др., «Реальная и виртуальная поддержка прерываний: отображение функции CARTS в двух разных архитектурах».
- ^ Фергани и др., «Реализация асинхронного входа в вызовы на двух разных архитектурах».
- ^ "DDC International News". DDC International A / S. Лето 1992 года.
- ^ «Список проверенных компиляторов Ada». Информационный центр Ada. 1 июля 1992 г. С. 8–10.
- ^ а б Бундгаард, Йорген (17 ноября 1992 г.). Практический подход к применению объектной модели для построения системы компиляции Ada 9X (отчет). DDC-I.
- ^ Bundgaard, "Система компиляции Ada 95 на основе ANDF", стр. 436.
- ^ «Диагностическая спецификация TDF» . Агентство оборонной оценки и исследований. 30 июля, 1998. Архивировано из оригинала на 11 апреля 2016 года . Проверено 17 января, 2016 .
- ↑ Мёллер, «Устранение проверок времени выполнения для Ada 9X», стр. 122, 126–128.
- ^ «Малые фирмы извлекают выгоду из программного обеспечения Пентагона» . Лос-Анджелес Таймс . Рейтер. 25 ноября 1985 г.
- ^ Розен, "Парадокс (ы) Ады", стр. 34.
- ^ a b c Суорд, "Взлет, падение и упорство Ады", стр. 71.
- ↑ Розен, «Парадокс (ы) Ады», стр. 32–33.
- ^ Ada and Beyond: Политика в отношении программного обеспечения для Министерства обороны . Комитет по прошлым и нынешним условиям использования Ada в Министерстве обороны, Совет по информатике и телекоммуникациям, Национальный исследовательский совет. 1997. стр. 11.
- ^ Шиллинг, «Использование Ada в коммерческой среде малых компаний», стр. 89, 93.
- ↑ Йоргенсен, «Сравнение объектно-ориентированных функций Ada 9X и C ++», стр. 140–141.
- ^ «Продукты и инструменты Ada: Часть 2» . Офис совместной программы Ады. 20 ноября 1998 г.
- ^ «DDC International A / S представляет 1st Object Exec» . Журнал доктора Добба . Март 1994 г.
- ↑ Розен, «Парадоксы Ады», стр. 33–34.
- ^ Фельдман, Майкл Б. (ноябрь 2014 г.). «Кто использует Ada? Реальные проекты на языке программирования Ada» . Университет Джорджа Вашингтона . Проверено 7 октября 2015 года .
- ^ Frost, "Решение Ada95 для сертификации встроенных приложений, критически важных для безопасности", стр. 52–53
- ^ «Контракт на высокотехнологичный самолет» . Журнал Бизнеса Феникса . 23 мая 1997 г.
- ^ «Texas Instruments назначает эксклюзивного дистрибьютора DDC-I для трех продуктов Ada» (пресс-релиз). DDC-I, Texas Instruments. 13 марта 1998 г.
- ^ а б «Новая система DDC-I SCORE Ada использует открытые стандарты» . Анонсы конференций . SIGAda. 2 марта 2000 . Проверено 17 января, 2016 .
- ^ «Технология SCORE DDC-I - включая интеграцию с OSE RTOS» . DDC-I . Проверено 11 января 2016 года .
- ^ «DDC-I объявляет о доступности интегрированной среды разработки SCORE для TMS320C40 DSP» (пресс-релиз). DDC-I. 4 декабря 2006 года Архивировано из оригинала на 2016-03-04.
- ^ Бьорнер, Gram, Oest и Rystrøm, "Dansk Datamatik центр", расширенная версия, стр. 2.
- ^ «DDC-I назначает Боба Морриса президентом и главным исполнительным директором» (пресс-релиз). DDC-I. 1 сентября 2005 года Архивировано из оригинала на 2016-02-16.
- ^ а б Ост, Оле Н. (24 июня 2008 г.). «Миграция сложных встраиваемых систем» . Военные встраиваемые системы .
- ^ «DDC-I Inc. переезжает в штаб-квартиру» (пресс-релиз). BusinessWire. 24 апреля 2006 г.
- ^ «DDC-I присоединяется к группе экспертов по Java, критически важной для безопасности» . Бесплатная библиотека. 17 ноября 2006 г.
- ^ Nielsen, Johan O .; Планы, Алекс Дж. (Март 2008 г.). «Компьютерный язык Java рассматривает критически важные для безопасности приложения реального времени» . Военная и аэрокосмическая электроника .
- ^ Ост, Оле Н. (2 апреля 2008 г.). «Слияние устаревшего программного обеспечения с современным системным дизайном» . Военные встраиваемые системы .
- ^ а б в Коул, Бернард (17 ноября 2008 г.). «Новости: DDC-I выходит на рынок встроенных ОСРВ вместе с Deos и HeartOS» . EE Times .
- ^ «DDC-I выходит на рынок встроенных ОСРВ» . Embedded Computing Design (пресс-релиз). 17 ноября, 2008. Архивировано из оригинала на 2011-07-10.
- ^ «DDC-I объявляет о высочайшей производительности и наиболее подходящей для сертификации критически важной для безопасности ОСРВ» . Военные встроенные системы (пресс-релиз). 17 ноября 2008 г.
- ^ Маккенна, Эд (апрель 2014 г.). «Операционные системы реального времени, решающие дилеммы сертификации, безопасности и стандартов» . Авионика .
- ^ Чунг, Кен. «DDC-I Deos RTOS поддерживает Freescale e300 и e500 Core» . Embeddedstar. Архивировано из оригинала на 2010-06-20 . Проверено 30 августа 2010 .
- ^ Коул, Бернард (22 сентября 2009 г.). «Критически важная для безопасности ОСРВ DDC-I теперь доступна для процессоров Intel Atom» . EETimes .
- ^ «100 самых популярных электронных продуктов 2009 года» . EDN . 15 декабря 2009 года Архивировано из оригинала 3 апреля 2012 года.
- ^ «Поддержка HeartOS RTOS для процессора ARM» . Доктор Доббс . 19 марта 2010 г.
- ^ «DDC-I объявляет о выпуске пакета разработки смешанных языков на основе Eclipse для разработки встраиваемых систем в реальном времени» (пресс-релиз). Деловой провод. 15 октября 2007 г.
- ^ «SCORE (Критически важный для безопасности, объектно-ориентированный, встроенный в реальном времени) смешанная среда разработки смешанного языка» . DDC-I . Проверено 10 января 2016 года .
- ^ «Зрелые системы разработки, проверенные на практике в сотнях приложений» . DDC-I . Проверено 10 января 2016 года .
Внешние ссылки
- Официальный веб-сайт
- Freescale Semiconductor - запись в сети Alliance
- ARM - запись Connected Community