✖


Jump to content

ДДК-I

Add links
(Перенаправлено с HeartOS )
ДДК-И, Инк.
Тип компании Частный
Промышленность критичное для безопасности встроенное программное обеспечение,
Основан 1985 год ; 39 лет назад ( 1985 ) в Конгенс Люнгбю , Дания .
Штаб-квартира Финикс, Аризона
Ключевые люди
Боб Моррис, президент/генеральный директор
Доктор Оле Оэст, основатель (в отставке)
Продукты Операционные системы реального времени : Deos, HeartOS.
Системы компиляции : Ада
Веб-сайт www .ddci .с

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

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

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

[ редактировать ]

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

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

Есть компилятор

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

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]

Второй бизнес использовал так называемый OEM Compiler Kit DDC. [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]

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

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

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

Начиная с 1988 года и в течение нескольких лет консультанты DDC-I сотрудничали с Honeywell Air Transport Systems с целью переориентации и оптимизации компилятора Ada DDC-I для процессора AMD 29050 . [19] [20] Эта система кросс-компиляции на базе DDC-I использовалась для разработки основного летного программного обеспечения для авиалайнера Boeing 777 . [8] [20] Это программное обеспечение, получившее название Airplane Information Management System , станет, пожалуй, самым известным из всех используемых проектов Ada, гражданских или военных. [21] Над системой полета работали около 550 разработчиков Honeywell, и она стала широко известна как история успеха Ada. [20]

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

В октябре 1991 года было объявлено, что DDC-I приобрела Ada и JOVIAL по встраиваемым системам на языках подразделение InterACT , которое стало предприятием 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 и исследования других линеек продуктов

[ редактировать ]
В офисе 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 годах, действовал мандат правительства США на использование Ады, хотя и с некоторыми исключениями. [34] Многие преимущества языка для программирования общего назначения не рассматривались как таковые ни сообществом разработчиков программного обеспечения, ни преподавателями. [35] Ситуация со сбытом была сложной, периодически происходили небольшие увольнения. Несмотря на консолидацию других поставщиков инструментов Ada, DDC-I осталась независимой компанией. [36]

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

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

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

Единственная область, в которой Ada действительно закрепилась, — это высоконадежные, целостные и критически важные для безопасности приложения реального времени, такие как аэрокосмическая промышленность. [41] [34] [42] Основываясь на своем опыте работы с Honeywell и другими клиентами, DDC-I приобрела опыт в сопоставлении языка Ada и функций среды выполнения с требованиями сертификатов, критически важных для безопасности, в частности, для DO-178B (Аспекты программного обеспечения в сертификации бортовых систем и оборудования). ) стандарт и предоставил инструменты для этого процесса. [43] Подобные заявления продолжались даже после того, как мандат Ады был отменен в 1997 году. [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 стала сопровождающим этих компиляторов). ​​поддержка Ada 95 для старых процессоров 1750A и TMS320C4x . Впоследствии в SCORE была добавлена [48]

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

[ редактировать ]

К апрелю 2003 года промышленность отошла от Ады, и упадок авиационной промышленности сказался на этом, и 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]

После выхода на рынок RTOS в 2008 году продукты и услуги, связанные с Deos RTOS, быстро стали основным направлением бизнеса и основной областью инвестиций в исследования и разработки для DDC-I. Основные дополнения к линейке продуктов Deos и год внедрения включают: 2011 г. — поддержка интерфейса ARINC 653 , 2014 г. — расширение поддержки процессоров на базе ARM Cortex-A в дополнение к существующей поддержке процессоров x86 и PowerPC , 2015 г. — добавление поддержки для профиля будущей воздушной среды (FACE) Safety Base Operation System Segment (OSS), 2017 г. — поддержка многоядерных процессоров посредством технологии SafeMC, 2019 г. — получен сертификат соответствия FACE для профиля OSS Safety Base техническому стандарту FACE, издание 3.0, 2021 г. — первая ОСРВ, получившая сертификат соответствия FACE для базы безопасности OSS и расширенных профилей в соответствии с техническим стандартом FACE, издание 3.1, 2023 г. - завершение второй многоядерной проверки DO-178C Design Assurance Level A (DAL A) на нескольких ARM и PowerPC процессоры .

Продукты

[ редактировать ]
  • Deos — это операционная система реального времени (RTOS), разделенная во времени и пространстве, которая впервые была сертифицирована по стандарту DO-178B DAL 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]

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

[ редактировать ]
  • Бьёрнер, Дайнс; Грэм, Кристиан; Оест, Оле Н.; Ристрем, Лейф (2011). «Данский Датаматик Центр». В Импальяццо, Джон; Лундин, Пер; Ванглер, Бенкт (ред.). История Nordic Computing 3: Достижения ИФИП в области информационных и коммуникационных технологий . Спрингер. стр. 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 г. Труды . Спрингер. стр. 42–61.
  • Бундгаард, Йорген (май 1985 г.). «Разработка интерфейса Ada для небольших компьютеров». SIGAda '85: Материалы ежегодной международной конференции ACM SIGAda по Аде 1985 года . Ассоциация вычислительной техники. стр. 321–328.
  • Бундгаард, Йорген. «Система компиляции Ada 95 на основе ANDF». Материалы конференции по ТРИ-Аде '95, 5–10 ноября 1995 г. Ассоциация вычислительной техники. стр. 436–445.
  • Клемменсен, Герт Б.; Оест, Оле Н. (март 1984 г.). «Формальная спецификация и разработка компилятора Ada - пример VDM». ICSE '84 Материалы 7-й международной конференции по программной инженерии . IEEE Пресс. стр. 430–440.
  • Клемменсен, Герт Б. (январь 1986 г.). «Перенацеливание и повторный хостинг системы компилятора Ada DDC: практический пример — Honeywell DPS 6». ACM SIGAda Ada Letters . 6 (1): 22–28. дои : 10.1145/382256.382794 . S2CID   16337448 .
  • Информационный бюллетень . Группа ретаргетеров компилятора DDC Ada. Том. 1. Ноябрь 1985 г.
  • Информационный бюллетень . Группа ретаргетеров компилятора DDC Ada. Том. 2. Август 1986 года.
  • Информационный бюллетень . Группа ретаргетеров компилятора DDC Ada. Том. 3. Декабрь 1986 года.
  • Фергани, Адель; Шеверенко, Леланд; Рабинович, Моше; Соломон, Элиезер Н.; Питарис, Марк; Бенджамин, Клайв Л. «Реализация асинхронных вызовов ввода в двух разных архитектурах». NAECON 1993: Материалы Национальной конференции по аэрокосмической и электронике IEEE 1993 года, 24–28 мая 1993 года . стр. 486–495.
  • Фицджеральд, Джон С.; Ларсен, Питер Горм; Верхуф, Марсель (2009). «Венский метод развития». В Вау, Бенджамин В. (ред.). Энциклопедия компьютерных наук и техники Wiley . Уайли. стр. 2971–2982.
  • Фрост, Джейкоб. «Решение Ada95 для сертификации встроенных приложений, критически важных для безопасности». Надежные программные технологии – Ада-Европа '99 . стр. 52–63.
  • Джордж, Крис. «Язык спецификации RAISE: Учебное пособие». VDM '91: Формальные методы разработки программного обеспечения: 4-й международный симпозиум VDM Europe, Нордвейкерхаут, Нидерланды, октябрь 1991 г., Материалы . Том. 2. Шпрингер-Верлаг. стр. 238–319.
  • Ибсен, Лейф (январь 1984 г.). «Портативная виртуальная машина для Ады». Программное обеспечение: практика и опыт . 14 (1): 17–29. дои : 10.1002/спе.4380140104 . S2CID   206508565 .
  • Йоргенсен, Йеспер. «Сравнение объектно-ориентированных функций Ada 9X и C++». Ада-Европа '93: 12-я Международная конференция Ада-Европа, Париж, Франция, 14–18 июня 1993 г. Материалы . стр. 125–141.
  • Манкузи, Ричард; Токар, Джойс Л.; Рабинович, Моше; Соломон, Элиезер Н.; Питарис, Марк; Бенджамин, Клайв Л. «Поддержка реальных и виртуальных прерываний: сопоставление функции CARTS с двумя разными архитектурами». Ада-Европа '93: 12-я Международная конференция Ада-Европа, Париж, Франция, 14–18 июня 1993 г. Материалы . стр. 314–329.
  • Мёллер, Петер Лютцен. «Устранение проверки времени выполнения для Ada 9X». Материалы конференции по ТРИ-Аде '94, 6–11 ноября 1994 г. Ассоциация вычислительной техники. стр. 122–128.
  • Ремер, Карл (2009). «Команда ХАДС». В Стеллмане, Эндрю; Грин, Дженнифер (ред.). Красивые команды: вдохновляющие и поучительные истории от руководителей команд-ветеранов . Севастополь, Калифорния: О'Рейли. стр. 299–312.
  • Розен, Жан-Пьер (сентябрь 2009 г.). «Парадокс(ы) Ады». Письма СИГАда Ада . 29 (2): 28–35. дои : 10.1145/1620593.1620597 . S2CID   608405 .
  • «Интервью с Оскаром Шахтером» (Интервью). Беседовал Томас Хей. Институт Чарльза Бэббиджа, Университет Миннесоты. 7 мая 2004 г. Запись WorldCat .
  • Шиллинг, Джонатан Л. «Использование Ada в коммерческой среде малых компаний». WADAS '93 Материалы десятого ежегодного симпозиума по Ada в Вашингтоне: 28 июня - 1 июля 1993 г. . АКМ. стр. 89–94.
  • Шиллинг, Джонатан Л.; Нильсен, Йохан Ольмюц (май – июнь 1994 г.). «Автоматическое распознавание компилятором задач монитора». Письма СИГАда Ада . 14 (3): 91–104. дои : 10.1145/181468.181474 . S2CID   17557993 .
  • Свард, Рики Э. (ноябрь 2010 г.). «Взлет, падение и существование Ады». SIGAda '10: Материалы ежегодной международной конференции ACM SIGAda по SIGAda . стр. 71–74.
  • Уитакер, Уильям А. (1996). «Ада — Проект: Рабочая группа Министерства обороны США по языкам высшего порядка» . В Бергине, Томас Дж.; Гибсон, Ричард Г. (ред.). История языков программирования — II . Аддисон-Уэсли Профессионал. стр. 173–232. ISBN  9780201895025 .

Ссылки

[ редактировать ]
  1. ^ Уитакер, «Ада — Проект», стр. 217–218.
  2. ^ Бундгаард, «Разработка интерфейса Ada для небольших компьютеров», стр. 322.
  3. ^ Клемменсен, «Перенацеливание и повторный хостинг системы компилятора Ada DDC», стр. 22.
  4. ^ Перейти обратно: а б Экли, Эд (25 марта 1985 г.). «С, Ада и Лисп: Повесть о трёх языках» . Компьютерный мир . п. ИД-1.
  5. ^ Бьорнер, Грам, Ост и Ристрём, «Датский центр данных», стр. 351.
  6. ^ Бьорнер, Грам, Ост и Ристрём, «Датский центр данных», расширенная версия, стр. 11.
  7. ^ «ДДК-И, ИНК» . Открытые корпорации . Проверено 20 сентября 2015 г.
  8. ^ Перейти обратно: а б с Ремер, «Команда HADS», с. 300.
  9. ^ Перейти обратно: а б Бундгаард, «Разработка интерфейса Ada для небольших компьютеров», стр. 328.
  10. ^ Перейти обратно: а б Бьёрнер, Грам, Ост и Ристрём, «Датский центр данных», стр. 354.
  11. ^ Группа ретаргетеров компиляторов DDC Ada, информационный бюллетень № 2, стр. 35–36.
  12. ^ «Продукты». Журнал Паскаля, Ады и Модулы-2 . Том. 5. Март – апрель 1986 г. с. 70.
  13. ^ Группа ретаргетеров DDC Ada Compiler, информационный бюллетень № 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. ^ Перейти обратно: а б с «Боинг летает на 99% Аде» . Информационный центр Ады. Архивировано из оригинала 5 ноября 2015 года . Проверено 24 октября 2015 г.
  21. ^ Вулф, Александр (октябрь 2004 г.). «В Аде еще осталась жизнь» . Очередь АКМ . Также по адресу http://delivery.acm.org/10.1145/1040000/1035608/p28-wolfe.pdf. [ постоянная мертвая ссылка ]
  22. ^ Перейти обратно: а б «DDC International приобретает у InterACT бизнес Cross Tools; формирует новое бизнес-подразделение» (пресс-релиз). ДДК-I. 4 октября 1991 года.
  23. ^ Шиллинг и Нильсен, «Автоматическое распознавание компилятором задач монитора», стр. 91, 100–102.
  24. ^ Манкузи и др., «Поддержка реальных и виртуальных прерываний: сопоставление функции CARTS с двумя разными архитектурами».
  25. ^ Фергани и др., «Реализация асинхронных вызовов ввода в двух разных архитектурах».
  26. ^ «Международные новости ДДК». ДДК Интернэшнл А/С. Лето 1992 года.
  27. ^ «Список проверенных компиляторов Ada». Информационный центр Ады. 1 июля 1992 г. стр. 8–10.
  28. ^ Перейти обратно: а б Бундгаард, Йорген (17 ноября 1992 г.). Практический подход к применению объектной модели для построения системы компилятора Ada 9X (отчет). ДДК-I.
  29. ^ Бундгаард, «Система компилятора Ada 95 на основе ANDF», стр. 436.
  30. ^ «Спецификация диагностики TDF» . Агентство оборонной оценки и исследований. 30 июля 1998 года. Архивировано из оригинала 11 апреля 2016 года . Проверено 17 января 2016 г.
  31. ^ Мёллер, «Устранение проверок во время выполнения для Ada 9X», стр. 122, 126–128.
  32. ^ «Малые фирмы извлекают выгоду из программного обеспечения Пентагона» . Лос-Анджелес Таймс . Рейтер. 25 ноября 1985 года.
  33. ^ Розен, «Парадокс(ы) Ады», с. 34.
  34. ^ Перейти обратно: а б с Свард, «Взлет, падение и существование Ады», с. 71.
  35. ^ Розен, «Парадокс(ы) Ады», стр. 32–33.
  36. ^ Ada и не только: политика в области программного обеспечения для Министерства обороны . Комитет по прошлым и настоящим контекстам использования Ada в Министерстве обороны, Совет по информатике и телекоммуникациям, Национальный исследовательский совет. 1997. с. 11.
  37. ^ Шиллинг, «Использование Ada в коммерческой среде малых компаний», стр. 89, 93.
  38. ^ Йоргенсен, «Сравнение объектно-ориентированных функций Ada 9X и C++», стр. 140–141.
  39. ^ «Продукты и инструменты Ada: Часть 2» . Офис совместной программы Ады. 20 ноября 1998 г.
  40. ^ «DDC International A/S представляет 1st Object Exec» . Журнал доктора Добба . Март 1994 года.
  41. ^ Розен, «Парадокс(ы) Ады», стр. 33–34.
  42. ^ Фельдман, Майкл Б. (ноябрь 2014 г.). «Кто использует Ada? Реальные проекты, основанные на языке программирования Ada» . Университет Джорджа Вашингтона. Архивировано из оригинала 31 августа 2015 года . Проверено 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 использует открытые стандарты» . Анонсы конференции . СИГАда. 2 марта 2000 года . Проверено 17 января 2016 г.
  47. ^ «Технология SCORE DDC-I – включая интеграцию с OSE RTOS» . ДДК-I . Проверено 11 января 2016 г.
  48. ^ «DDC-I объявляет о доступности интегрированной среды разработки SCORE для TMS320C40 DSP» (пресс-релиз). ДДК-I. 4 декабря 2006 г. Архивировано из оригинала 4 марта 2016 г.
  49. ^ Бьорнер, Грам, Ост и Ристрём, «Датский центр данных», расширенная версия, стр. 2.
  50. ^ «DDC-I назначает Боба Морриса президентом и главным исполнительным директором» (пресс-релиз). ДДК-I. 1 сентября 2005 г. Архивировано из оригинала 16 февраля 2016 г.
  51. ^ Перейти обратно: а б Оест, Оле Н. (24 июня 2008 г.). «Миграция сложных встроенных систем» . Военные встраиваемые системы .
  52. ^ «DDC-I Inc. переезжает в штаб-квартиру» (пресс-релиз). БизнесВайр. 24 апреля 2006 г.
  53. ^ «DDC-I присоединяется к группе экспертов по критически важной безопасности Java» . Бесплатная библиотека. 17 ноября 2006 года. Архивировано из оригинала 21 октября 2012 года . Проверено 25 августа 2010 г.
  54. ^ Нильсен, Йохан О.; Планы, Алекс Дж. (март 2008 г.). «Компьютерный язык Java ориентирован на критически важные для безопасности приложения реального времени» . Военная и аэрокосмическая электроника .
  55. ^ Оест, Оле Н. (2 апреля 2008 г.). «Объединение устаревшего программного обеспечения с современным системным дизайном» . Военные встраиваемые системы .
  56. ^ Перейти обратно: а б с Коул, Бернард (17 ноября 2008 г.). «Новости: DDC-I выходит на рынок встроенных RTOS с Deos и HeartOS» . ЭЭ Таймс .
  57. ^ «DDC-I выходит на рынок встраиваемых систем реального времени» . Проектирование встраиваемых компьютеров (пресс-релиз). 17 ноября 2008 г. Архивировано из оригинала 10 июля 2011 г.
  58. ^ «DDC-I объявляет о высочайшей производительности и наиболее легко сертифицируемых ОСРВ, критически важных для безопасности» . Военные встраиваемые системы (пресс-релиз). 17 ноября 2008 г.
  59. ^ Маккенна, Эд (апрель 2014 г.). «Операционные системы реального времени, решающие дилеммы сертификации, безопасности и стандартов» . Авионика .
  60. ^ Чунг, Кен. «DDC-I Deos RTOS поддерживает Freescale e300 и e500 Core» . Встроенная звезда. Архивировано из оригинала 20 июня 2010 г. Проверено 30 августа 2010 г.
  61. ^ Коул, Бернард (22 сентября 2009 г.). «Критическая с точки зрения безопасности ОСРВ DDC-I теперь доступна для процессоров Intel Atom» . ЭТаймс .
  62. ^ «100 лучших электронных продуктов 2009 года» . ЭДН . 15 декабря 2009 г. Архивировано из оригинала 3 апреля 2012 г.
  63. ^ «Поддержка HeartOS RTOS для процессоров ARM» . Доктор Добб . 19 марта 2010 г.
  64. ^ «DDC-I анонсирует пакет разработки смешанных языков на основе Eclipse для разработки встраиваемых систем в реальном времени» (пресс-релиз). Деловой провод. 15 октября 2007 г.
  65. ^ «SCORE (критическая для безопасности, объектно-ориентированная, встраиваемая в режиме реального времени) интегрированная среда разработки со смешанным языком» . ДДК-I . Проверено 10 января 2016 г.
  66. ^ «Зрелые системы разработки, проверенные на сотнях приложений» . ДДК-I . Проверено 10 января 2016 г.
[ редактировать ]
Кружка DDC-I 1990-х годов.
Retrieved from "https://en.wikipedia.org/w/index.php?title=DDC-I&oldid=1193418733"
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: d8dbf449e30620ae7909d84da2933dfe__1704297180
URL1:https://arc.ask3.ru/arc/aa/d8/fe/d8dbf449e30620ae7909d84da2933dfe.html
Заголовок, (Title) документа по адресу, URL1:
DDC-I - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)