DDC-I


DDC-I

DDC-I、Inc。は、アリゾナ州フェニックスに本社を置く、リアルタイムオペレーティングシステムのソフトウェア開発、ソフトウェア開発ツール、および安全性が重要な組み込みアプリケーション向けのソフトウェアサービスを提供する非公開企業です。これは、1980年代のデンマークのソフトウェア研究開発組織であるDansk Datamatik Centerの商業的成長である、デンマークの会社DDC International A / S ( DDC-I A / Sとも呼ばれる)として1985年に最初に作成されました。アメリカの子会社は1986年に設立されました。長年にわたり、同社はプログラミング言語用の言語コンパイラを専門としていました。 エイダ。
DDC-I、Inc。
タイプ非公開 業界
セーフティクリティカルな組み込みソフトウェア
設立
1985 ; 37年前デンマークのKongensLyngbyで (1985)
本部
アリゾナ州フェニックス
重要人物
Bob Morris、社長/ CEO Ole N.Oest、創設者/ CTO
製品
リアルタイムオペレーティングシステム:Deos、HeartOSコンパイラシステム:Ada
Webサイト
www .ddci .com
2003年に、デンマークのオフィスは閉鎖され、すべての業務はフェニックスの場所に移されました。

コンテンツ
1 オリジンズ
2 Adaコンパイラ
3 Ada95および他の製品ラインの調査
4 米国本社とリアルタイムオペレーティングシステム
5 製品
6 参考文献
7 参考文献
8 外部リンク

オリジンズ
DDC International A / Sの起源は、ソフトウェアの設計と開発において最新の技術、特に形式手法を使用することの価値を実証するために1979年に設立されたデンマークのソフトウェア研究開発組織であるDansk DatamatikCenterにありました。そのいくつかのプロジェクトの中には、プログラミング言語Ada用のコンパイラシステムの作成がありました。Adaは実装が難しい言語であり、初期のコンパイラプロジェクトはしばしば失望を示しました。しかし、DDCコンパイラの設計は健全であり、 1984年9月に米国国防総省が後援するVAX / VMSシステムでのAdaコンパイラ検証機能(ACVC)テストに最初に合格しました。 そのため、これは最初のこの標準を満たすためのヨーロッパのAdaコンパイラ。
Adaプロジェクトの成功により、Adaコンパイラシステム製品の商品化を目的として、1985年にDDC International A / Sと呼ばれる別の会社が設立されました。創始者のように、それはデンマークのリンビーに拠点を置いていました。Ole N. Oestは、DDCInternationalのマネージングディレクターに任命されました。 1986年に、DDC-I、Inc。がアメリカの子会社として設立されました。アリゾナ州フェニックスにあり、米国での販売、カスタマーサポート、エンジニアリングコンサルティング活動に重点を置いています。

Adaコンパイラ
image"
  DDC International A / Sは、デンマークのリンビーにある改造された繊維工場に収容されていました。ここでは1990年に見られました。
DDC-私は、DACSという名前のAdaコンパイラシステム製品を、Adaでプロジェクトを開発するためのソフトウェアとして、また他のプロセッサに再ホストまたはリターゲットするコンピュータメーカーなどへのソースコードとして、企業に直接販売するビジネスを確立しました。およびオペレーティングシステム。
最初のビジネスはネイティブコンパイラとクロスコンパイラの両方を販売しましたが、Adaは主に組み込みシステムの領域で使用されていたため、後者の方が一般的でした。DDC-Iが開発した最初のクロスコンパイラの1つは、VAX / VMSからIntel8086およびIntel80286まででした。この取り組みは1985年初頭までにすでに進行中でした。これは、8086および80286アーキテクチャに基づいて、MARA-860およびMARA-286マルチマイクロプロセッサコンピュータの両方を対象とするイタリアの防衛電子機器会社Seleniaとの合弁事業として始まりました。および汎用の組み込みおよびOSホスティング8086および80286システム。この作業は、同社にとって最も売れている製品ラインとなるものの始まりでした。DDC-私は、 Intel80x86プロセッサ用の高品質のAdaクロスコンパイラとランタイムシステムで評判を築きました。
2番目のビジネスでは、DDC OEMコンパイラキットと呼ばれるものを利用しました。このキットは、他のホストやターゲットへのコンパイラ、またはVLSIなどの他のツールにAdaフロントエンドを使用できます。1985年9月にスウェーデンのルンドで開催された会議で、OEMキットの顧客の何人かがDDCAdaコンパイラリターゲッターグループを結成しました。 1985年と1986年の間に少なくとも3回の会議を開催しました。初期のOEM顧客には、ルンド大学、国防装備庁、スウェーデンのエリクソン無線システムが含まれていました。フィンランドのSoftplanおよびNokia情報システム。イタリアのセレニアとオリベッティ。英国のICLDefenseSystemsおよびSTLLtd ; イスラエルのAitechソフトウェアエンジニアリング。およびAdvancedComputer Techniques、Rockwell Collins、Control Data Corporation、および米国のGeneral SystemsGroup 。
image
  1990年にLyngbyのDDCInternationalで数人のAdaコンパイラ開発者。
その後の開発者は、形式手法にあまり精通しておらず、コンパイラでの作業にそれらを使用しませんでした。これは、コンパイラーをリターゲットする企業の場合はさらにそうであり、その多くはAda言語に精通していませんでした。
DDC-Iは、 Alsys、TeleSoft、Verdix、Tartan Laboratories、TLD Systemsなど、他のいくつかのAdaコンパイラ企業と同じ市場にありました。(DDC-私はこれらの他のどのベンダーよりも長くビジネスを続けるでしょう。)他のAdaコンパイラベンダーと同様に、DDC-Iエンジニアの時間の多くは大規模で困難なものに準拠するために費やされましたAdaコンパイラ検証機能(ACVC)の標準化された言語とランタイムテストスイート。
1988年に始まり、数年間継続して、DDC-IコンサルタントはHoneywell Air Transport Systemsと協力して、DDC-IAdaコンパイラをAMD29050プロセッサに再ターゲットおよび最適化しました。 このDDC-Iベースのクロスコンパイラシステムは、ボーイング777旅客機のプライマリフライトソフトウェアを開発するために使用されました。 飛行機情報管理システムと名付けられたこのソフトウェアは、民間または軍隊を問わず、使用中のAdaプロジェクトの中で間違いなく最もよく知られるようになるでしょう。 Honeywellの約550人の開発者が飛行システムに取り組み、Adaの主要なサクセスストーリーとして公表されました。
image
  ニューヨークにあるDDC-Iの開発オフィスはこのビルの31階にありました。
1991年10月、DDC-Iが、Advanced ComputerTechniquesのベンチャーとなったInterACTのAdaおよびJOVIAL言語組み込みシステム事業を買収したことが発表されました。この完全所有のニューヨークを拠点とするエンティティは、DDC-Iに含まれる前に、簡単にDDC-Inter と名付けられました。これにより、 MIL-STD-1750AおよびMIPS R3000プロセッサ用のAdaクロスコンパイラと、 MIL-STD-1750AおよびZilogZ8002用のJOVIAL言語クロスコンパイラが製品ラインに加わりました。MIPS製品は、DDC-Iが強調した製品であり、特定のタスクの最適化の自動認識を含むエンジニアリングの取り組みと、米国空軍が後援するCommon Ada Runtime System(CARTS)プロジェクトで、Adaランタイムへの標準インターフェイスの提供に取り組んでいます。環境。
1993年の終わりに、ニューヨークのオフィスは閉鎖され、その仕事はフェニックスのオフィスに移されました。
1990年代初頭までに、DDC-IはVAX / VMS用のAdaネイティブコンパイラ、SunOSではSun-3とSPARC、UNIX SystemVとOS / 2ではIntel80386を提供し、さらにMotorola680x0とInteli860用のクロスコンパイラを提供しました。上記の目標に。

Ada95および他の製品ラインの調査
image
  リンビーのDDCインターナショナルオフィスは、ここで1992年に見られたデンマークのデザイン要素を示しました。
1990年代初頭、DDC-Iは、言語標準の広範囲にわたるAda95リビジョン用のコンパイラシステムの再設計に取り組みました。彼らは新しいオブジェクトベースのプログラミング設計を使用し、 VDM-SLを使用した形式手法のアプローチにも準拠していました。この作業は、欧州共同体ベースのオープンマイクロプロセッサイニシアチブのグローバル言語および統一環境プロジェクト(OMI / GLUE)の支援の下で行われ、DDC-Iの役割は、アーキテクチャニュートラルディストリビューションフォーマット( ANDF)Ada95をより多くのプラットフォームに迅速に導入することを目的とした中間形式。 この作業の一環として、DDC-Iは防衛評価研究機関と協力して、Adaと急成長しているプログラミング言語C ++のセマンティクスを表現するANDFの機能の一部を拡張しました。境界チェックの排除など、Ada固有の領域での作業は、最適な実行時パフォーマンスを得るために行われました。
Adaソフトウェア環境は、もともと有望な市場であると考えられていました。しかし、Adaコンパイラ事業は参入が困難であることが判明しました。この間、1987年から97年にかけて、米国政府によるAdaの使用が義務付けられましたが、一部の免除は認められました。汎用プログラミングのための言語の利点の多くは、一般的なソフトウェアエンジニアリングコミュニティや教育者にはそのようには見られませんでした。定期的な少額の一時解雇など、販売状況は厳しいものでした。他のAdaツールプロバイダー間の統合にもかかわらず、DDC-Iは独立した会社のままでした。
いずれにせよ、DDC-Iは、社内および社外で使用するために、Ada言語の熱心な支持者でした 。1993年に発行されたエンジニアの1人の論文は、Ada95のオブジェクト指向機能をC ++の機能よりも有利に評価し、注目を集めました。
image
  1993年、フェニックスのDDC-Iオフィスからのヤシの木の眺め。
同時に、同社は製品ラインの拡大と拡大を試みました。リアルタイムシステムの設計ツールであるCedarと同様に、RAISEツールセットが利用可能でした。また、 Bang&Olufsenからライセンス供与され、Adaコンパイラシステムと統合された、アプリケーションの状態/イベント部分を開発および実行するためのツールであるBeologicも提供されました。最大の努力はC ++の方向でした。DDC-私は、組み込みアプリケーションの直接的なオブジェクトレベルのサポートを目的としたC ++ベースのリアルタイムオペレーティングシステムである1stObjectExecの提供を開始しました。 1993年から94年の間のかなりの努力にもかかわらず、1st ObjectExecは市場で牽引力を得ることができませんでした。
Adaが確固たる足場を築いた分野の1つは、航空宇宙などのリアルタイム、高信頼性、高整合性、セーフティクリティカルなアプリケーションでした。 Honeywellおよび他の顧客との経験に基づいて、DDC-Iは、Ada言語およびランタイム機能をセーフティクリティカル認証の要件、特にDO-178Bの要件にマッピングする専門知識を習得しました。 (航空機搭載システムおよび機器認証におけるソフトウェアの考慮事項)標準、およびそのプロセスに提供されるツール。このようなアプリケーションは、1997年にエイダの任務が取り下げられた後も継続しました。たとえば、1997年に、同社はシコルスキー航空機およびボーイング防衛宇宙グループのヘリコプター部門と共同契約を結び、使用するソフトウェアを開発しました。ボーイング/シコルスキーRAH-66コマンチで。
1998年3月、DDC-Iは、Texas Instrumentsから、 Intel i960、Motorola 680×0、およびMIL-STD-1750Aターゲット用のTartanAdaコンパイラの開発および販売とマーケティングの権利を取得しました。
混合言語開発のサポートは2000年に追加され、SCORE用のDDC-Iの混合言語統合開発環境(セーフティクリティカル、オブジェクト指向、リアルタイム組み込み用)の一部としてプログラミング言語Cが追加されました。 ANDF形式、DWARF標準化デバッグ形式、お​​よびターゲットボードデバッグモニターと通信するためのOMIプロトコルを活用して、SCOREはリアルタイムアプリケーション開発者に共通の構築およびデバッグ環境を提供することができました。 Embedded C ++のサポートは2003年にSCOREに追加され、それまでにIntelx86およびPowerPCプロセッサ上のさまざまなターゲットボードシナリオと統合できるようになりました。 ANDF用のCおよびEmbeddedC ++コンパイラは、TenDRAコンパイラのライセンス契約に基づいています(後のDDC-Iがこれらのコンパイラのメンテナになりました)。その後、古い1750AおよびTMS320C4xプロセッサのAda95サポートがSCOREに追加されました。

米国本社とリアルタイムオペレーティングシステム
2003年4月までに、業界はAdaから離れ、航空機業界の地位の低下が犠牲になり、DDC-Iは重大な経済的損失を被りました。DDC-私は、リンビーにあるデンマークのオフィスを閉鎖し、すべての事業をフェニックスに移すことに決めました。
2005年9月、同社は元LynuxWorksのBobMorrisを社長兼最高経営責任者に任命しました。 Oestは最高技術責任者になりました。 2006年4月、DDC-Iはフェニックス北部の新しいオフィスに移転し、拡大しており、収益は前年比で40〜50%増加すると予測していると述べました。
2006年以来、同社はセーフティクリティカルJavaのJavaエキスパートグループに貢献してきました。 Javaのリアルタイム仕様をベースとして使用し、言語とライブラリのサブセット、および十分な決定性を提供するために使用するコーディング規則を指定するこの作業は、Javaをおそらくいずれかと同等またはそれ以上にするものとして、会社の代表者から見られています。安全性が重要なアプリケーションの言語としてのAdaまたはC ++。同社は、セーフティクリティカルなJavaプロファイルを、防衛産業がソフトウェアおよびハードウェアアプリケーションの老朽化の問題に対処するのに役立つプロファイルと見なしています。 2008年までに、DDC-IはAdaをレガシー言語と呼び、顧客が新しいソリューションに移行するのを支援する半自動化されたツールと専門的なサービスを提供していました。
2008年11月、同社はDeosとHeartOSの2つの製品で組み込みリアルタイムオペレーティングシステム(RTOS)市場に参入しました。 どちらも、Honeywell Internationalで開発され、すでに多くの民間航空機や軍用機に配備されている基盤となるソフトウェア技術に基づいていました。行動の一環として、DDC-私はDeosを設計した主要なHoneywellエンジニアリングスタッフの何人かを雇いました。 DDC-Iと同じRTOS市場セグメントの他の企業には、LynuxWorks、Wind River Systems、SYSGO、およびExpressLogicが含まれます。

製品
Deosは、1998年にDO-178BレベルAに最初に認定された時間と空間に分割されたリアルタイムオペレーティングシステム(RTOS)です。Deosには、プロセッサ使用率の強化、バイナリソフトウェアの再利用、マルチコアの安全なスケジューリングなど、特許取得済みのアーキテクチャ機能がいくつか含まれています。プロセッサ。Deosユーザーは、さまざまなアプリケーションのニーズに合うように設計されたオプションのARINC653パーソナリティモジュールを追加できます。Deosは、プロセッサARM、MIPS、PowerPC、およびx86をサポートし、wolfSSLなどの一般的なSSL / TLSライブラリによってサポートされています。 これは、 EDNマガジンによって2009年のHot 100 ElectronicProductsの1つとしてリストされました。
HeartOSは、POSIXベースのハードリアルタイムオペレーティングシステムであり、セーフティクリティカルタイプを含む中小規模の組み込みアプリケーション向けに設計されています。ARM、PowerPC、x86 およびその他の16ビットおよび32ビットプロセッサをサポートします。これは、メモリに制約のあるシステム用のPOSIXインターフェース層なしで構成可能です。
OpenArborは、C、Embedded C ++、およびAdaアプリケーション開発用のEclipseベースの統合開発環境です。2007年に発表されました。
SCOREは、安全性が重要なオブジェクト指向のリアルタイム組み込みソフトウェアアプリケーション用の統合ツールの混合言語セットであり、さまざまな組み込みアーキテクチャ用のAda、C、およびEmbedded C ++アプリケーションをサポートします。
レガシーAda83およびJOVIALコンパイラシステム製品も引き続きサポートされます。

参考文献
Bjørner、Dines; グラム、クリスチャン; Oest、Ole N。; Rystrøm、Leif(2011)。「DanskDatamatikセンター」。インパリアッツォでは、ジョン; Lundin、Per; ワングラー、ベンクト(編)。北欧コンピューティングの歴史3:情報通信技術におけるIFIPの進歩。スプリンガー。pp。350–359。この章のわずかに拡張されたバージョンは、https://www.researchgate.net/publication/221271386_Dansk_Datamatik_Centerからオンラインで入手できます。さらに拡張されたバージョンは、 http://www.imm.dtu.dk/~dibj/trivia/node5.htmlにあるBjørnerのオンライン回想録の一部です。論文に基づくGramによるスライドプレゼンテーションは、Why Dansk Datamatik Center?としてオンラインで入手できます。
Bjørner、Dines; ハヴェルンド、クラウス。「40年の形式手法:いくつかの障害といくつかの可能性?」。FM 2014:形式手法:第19回国際シンポジウム、シンガポール、2014年5月12〜16日。議事録。スプリンガー。pp。42–61。
Bundgaard、Jørgen(1985年5月)。「小型コンピュータ用のAdaフロントエンドの開発」。SIGAda ’85:Adaに関する1985年の年次ACMSIGAda国際会議の議事録。コンピューティングマシナリー協会。pp。321–328。
Bundgaard、Jørgen。「ANDFベースのAda95コンパイラシステム」。TRI-Ada ’95に関する会議の議事録、1995年11月5〜10日。コンピューティングマシナリー協会。pp。436–445。
クレメンゼン、Geert B。; Oest、Ole N.(1984年3月)。「Adaコンパイラの正式な仕様と開発–VDMのケーススタディ」。ICSE’84ソフトウェア工学に関する第7回国際会議の議事録。IEEEプレス。pp。430–440。
Clemmensen、Geert B.(1986年1月)。「DDCAdaコンパイラシステムのリターゲットとリホスト:ケーススタディ– HoneywellDPS6」。ACM SIGAda AdaLetters。6(1):22–28。土井:10.1145 /382256.382794。S2CID16337448 。_
ニュースレター。DDCAdaコンパイラリターゲッターのグループ。1。1985年11月。
ニュースレター。DDCAdaコンパイラリターゲッターのグループ。2。1986年8月。
ニュースレター。DDCAdaコンパイラリターゲッターのグループ。3。1986年12月。
フェルガニー、アデル; Szewerenko、リーランド; ラビノウィッツ、モシェ; ソロモン、エリエゼルN。; ピタリーズ、マーク; Benjamin、CliveL。「2つの異なるアーキテクチャでの非同期エントリ呼び出しの実装」。NAECON 1993:IEEE 1993 National Aerospace and Electronics Conferenceの議事録、1993年5月24〜28日。pp。486–495。
フィッツジェラルド、ジョンS。; ラーセン、ピーターゴーム; Verhoef、Marcel(2009)。「ウィーン開発方法」。ワウでは、ベンジャミンW.(編)。コンピュータサイエンスとエンジニアリングのワイリー百科事典。ワイリー。pp。2971–2982。
フロスト、ジェイコブ。「組み込みセーフティクリティカルアプリケーションの認証のためのAda95ソリューション」。信頼できるソフトウェアテクノロジー– Ada-Europe’99。pp。52–63。
ジョージ、クリス。「RAISE仕様言語:チュートリアル」。VDM ’91:正式なソフトウェア開発方法:第4回VDMヨーロッパ国際シンポジウム、オランダ、ノールトウェイケルハウト、1991年10月、議事録。2。Springer-Verlag。pp。238–319。
イプセン、レイフ(1984年1月)。「Ada用のポータブル仮想マシン」。ソフトウェア:実践と経験。14(1):17–29。土井:10.1002 /spe.4380140104。S2CID206508565 。_
ヨルゲンセン、ジェスパー。「Ada9XとC ++のオブジェクト指向機能の比較」。Ada-Europe ’93:第12回Ada-Europe国際会議、パリ、フランス、1993年6月14〜18日。議事録。pp。125–141。
Mancusi、Richard; Tokar、Joyce L。; ラビノウィッツ、モシェ; ソロモン、エリエゼルN。; ピタリーズ、マーク; Benjamin、Clive L.「実際および仮想割り込みのサポート:2つの異なるアーキテクチャへのCARTS機能のマッピング」。Ada-Europe ’93:第12回Ada-Europe国際会議、パリ、フランス、1993年6月14〜18日。議事録。pp。314–329。
Møller、PeterLützen。「Ada9Xの実行時チェックの削除」。TRI-Ada ’94に関する会議の議事録、1994年11月6〜11日。コンピューティングマシナリー協会。pp。122–128。
レーマー、カール(2009)。「HADSチーム」。ステルマンでは、アンドリュー。グリーン、ジェニファー(編)。美しいチーム:ベテランチームリーダーからの刺激的で注意深い物語。カリフォルニア州セバストポル:オライリー。pp。299–312。
ローゼン、ジャンピエール。「エイダのパラドックス」。SIGAda AdaLetters。29(2):28–35。土井:10.1145 /1620593.1620597。S2CID608405 。_
「オスカー・シャクターへのインタビュー」(インタビュー)。トーマス・ハイによるインタビュー。ミネソタ大学チャールズバベッジインスティテュート。2004年5月7日。WorldCatエントリー
シリング、ジョナサンL.「商業的な中小企業環境でのAdaの使用」。WADAS ’93エイダに関する第10回ワシントンエイダシンポジウムの議事録:1993年6月28日から7月1日。ACM。pp。89–94。
シリング、ジョナサンL。; Nielsen、JohanOlmütz(1994年5月〜6月)。「モニタータスクの自動コンパイラー認識」。SIGAda AdaLetters。14(3):91–104。土井:10.1145 /181468.181474。S2CID17557993 。_
スワード、リッキーE.。「エイダの上昇、下降、そして持続性」。SIGAda ’10:SIGAdaに関するACMSIGAda年次国際会議の議事録。pp。71–74。
Whitaker、William A.(1996)。「Ada—プロジェクト:DoD高次言語ワーキンググループ」。ベルギンでは、トーマスJ。; ギブソン、リチャードG.(編)。プログラミング言語の歴史—II。アディソン-ウェスリープロフェッショナル。pp。173–232。ISBN 9780201895025。

参考文献
^ Whitaker、「Ada—The Project」、217〜218ページ。
^ Bundgaard、「小型コンピューター用のAdaフロントエンドの開発」、p。322。
^ Clemmensen、「DDC Adaコンパイラシステムのリターゲティングとリホスト」、p。22。
^ Acly、Ed(1985年3月25日)。「C、Ada&Lisp:3つの言語の物語」。Computerworld。p。ID-1。
^ Bjørner、Gram、Oest、およびRystrøm、「Dansk Datamatik Center」、p。351。
^ Bjørner、Gram、Oest、およびRystrøm、「Dansk Datamatik Center」、拡張バージョン、p。11.11。
^ 「DDC-I、INC」。OpenCorporates 。
^ Rehmer、「HADSチーム」、p。300。
^ Bundgaard、「小型コンピューター用のAdaフロントエンドの開発」、p。328。
^ abBjørner 、Gram 、 Oest、およびRystrøm、「Dansk Datamatik Center」、354ページ。
^ DDC Adaコンパイラリターゲッターグループ、ニュースレターNo 2、35〜36ページ。
^ 「製品」。Journal of Pascal、Ada&Modula-2。5。1986年3月〜4月。p。70。
^ DDC Adaコンパイラリターゲッターグループ、ニュースレターNo 1、7〜8ページ。いいえ2、5〜7ページ。いいえ3、13〜15aページ。
^ abBjørner とHavelund、「40年の形式手法」、p 。48。
^ Rehmer、「HADSチーム」、p。306。
^ Schilling、「商業的な中小企業環境でのAdaの使用」、89〜91ページ。
^ Rehmer、「The HADS Team」、305、306、307ページ。
^ ローゼン、「エイダのパラドックス」、p。29。
^ Rehmer、「The HADS Team」、299、302ページ。
^ 「ボーイングは99%エイダで飛ぶ」。エイダ情報クリアリングハウス。2015年11月5日にオリジナルからアーカイブされました。
^ ウルフ、アレクサンダー。「エイダにはまだ生命が残っている」。ACMキュー。
また、http://delivery.acm.org/10.1145/1040000/1035608/p28-wolfe.pdf
^ 「DDCインターナショナルがInterACTのクロスツール事業を買収、新しいビジネスユニットを形成」(プレスリリース)。DDC-I。1991年10月4日。
^ Schilling and Nielsen、「モニタータスクの自動コンパイラ認識」、91、100〜102ページ。
^ Mancusi et al。、「実および仮想割り込みサポート:2つの異なるアーキテクチャへのCARTS機能のマッピング」。
^ Fergany et al。、「2つの異なるアーキテクチャでの非同期エントリ呼び出しの実装」。
^ 「DDCインターナショナルニュース」。DDCインターナショナルA / S。1992年夏。
^ 「Ada検証済みコンパイラリスト」。エイダ情報クリアリングハウス。1992年7月1日。8〜10ページ。
^ Bundgaard、Jørgen(1992年11月17日)。オブジェクトモデルをAda9Xコンパイラシステムの構築に適用するための実用的なアプローチ(レポート)。DDC-I。
^ Bundgaard、「ANDFベースのAda 95コンパイラシステム」、p。436。
^ 「TDF診断仕様」。防衛評価研究機関。1998年7月30日。2016年4月11日のオリジナルからアーカイブ。
^ Møller、「Ada 9Xの実行時チェックの削除」、122、126〜128ページ。
^ 「国防総省のソフトウェアを利用する小企業」。ロサンゼルスタイムズ。ロイター。1985年11月25日。
^ ローゼン、「エイダのパラドックス」、p。34。
^ スワード、「エイダの上昇、下降、持続」、p。71。
^ ローゼン、「エイダのパラドックス」、32〜33ページ。
^ Ada and Beyond:国防総省のソフトウェアポリシー。国防総省、コンピュータサイエンスおよび電気通信委員会、全米研究評議会におけるAdaの使用に関する過去および現在の状況に関する委員会。1997.p。11.11。
^ Schilling、「商業的な中小企業環境でのAdaの使用」、89、93ページ。
^ Jorgensen、「Ada9XとC ++のオブジェクト指向機能の比較」、140〜141ページ。
^ 「Ada製品およびツール:パート2」。エイダ合同プログラム事務局。1998年11月20日。
^ 「DDCInternationalA / Sが最初のObjectExecを導入しました」。ドブ博士の日記。1994年3月。
^ ローゼン、「エイダのパラドックス」、33〜34ページ。
^ Feldman、Michael B.。「誰がAdaを使用していますか?Adaプログラミング言語を利用した実際のプロジェクト」。ジョージワシントン大学。
^ Frost、「組み込みセーフティクリティカルアプリケーションの認証のためのAda95ソリューション」、52〜53ページ
^ 「ハイテク航空機契約」。フェニックスビジネスジャーナル。1997年5月23日。
^ 「テキサスインスツルメンツは3つのAda製品のDDC-I独占販売代理店を任命します」(プレスリリース)。DDC-I、テキサスインスツルメンツ。1998年3月13日。
^ “”DDC-Iの新しいSCOREAdaシステムはオープンスタンダードを使用しています””。会議のお知らせ。シガダ。2000年3月2日。
^ 「DDC-IのSCOREテクノロジー– OSERTOSとの統合を含む」。DDC-I 。
^ 「DDC-IはTMS320C40DSPのためのSCORE統合開発環境の利用可能性を発表します」(プレスリリース)。DDC-I。2006年12月4日。2016-03-04のオリジナルからアーカイブ。
^ Bjørner、Gram、Oest、およびRystrøm、「Dansk Datamatik Center」、拡張バージョン、p。2.2。
^ 「DDC-Iはボブモリスを社長兼最高経営責任者に任命する」(プレスリリース)。DDC-I。2005年9月1日。2016年2月16日のオリジナルからアーカイブ。
^ Oest、Ole N.(2008年6月24日)。「複雑な組み込みシステムの移行」。ミリタリーエンベデッドシステム。
^ 「DDC-IInc。が本社を移転」(プレスリリース)。BusinessWire。2006年4月24日。
^ 「DDC-IはSafety-CriticalJava ExpertGroupに参加します」。無料のライブラリ。2006年11月17日。
^ ニールセン、ヨハンO。; 計画、Alex J.。「Javaコンピュータ言語は、セーフティクリティカルなリアルタイムアプリケーションに注目しています」。ミリタリー&エアロスペースエレクトロニクス。
^ Oest、Ole N.(2008年4月2日)。「レガシーソフトウェアを現代のシステム設計に統合する」。ミリタリーエンベデッドシステム。
^ Cole、Bernard(2008年11月17日)。「ニュース:DDC-IはDeosとHeartOSで組み込みRTOS市場に参入します」。EETimes。
^ 「DDC-Iは組み込みRTOS市場に参入します」。エンベデッドコンピューティングデザイン(プレスリリース)。2008年11月17日。 2011年7月10日のオリジナルからアーカイブ。
^ 「DDC-Iは最高のパフォーマンスと最も容易に証明できるセーフティクリティカルRTOSを発表します」。ミリタリーエンベデッドシステム(プレスリリース)。2008年11月17日。
^ マッケナ、エド。「認証、セキュリティ、および標準のジレンマに対処するリアルタイムオペレーティングシステム」。アビオニクス。
^ チョン、ケン。「DDC-IDeosRTOSはFreescalee300およびe500コアをサポートします」。Embeddedstar。2010年6月20日にオリジナルからアーカイブされました。
^ コール、バーナード(2009年9月22日)。「DDC-IのセーフティクリティカルRTOSがIntelのAtomCPUで利用可能になりました」。EETimes。
^ 「2009年のホット100電子製品」。EDN。2009年12月15日。2012年4月3日のオリジナルからアーカイブ。
^ 「ARMプロセッサのHeartOSRTOSサポート」。ドブ博士の。2010年3月19日。
^ 「DDC-Iはリアルタイム組み込み開発のためのEclipseベースの混合言語開発スイートを発表しました」(プレスリリース)。ビジネスワイヤ。2007年10月15日。
^ 「SCORE(セーフティクリティカル、オブジェクト指向、リアルタイム組み込み)混合言語統合開発環境」。DDC-I 。
^ 「成熟した開発システム、何百ものアプリケーションでフィールドで証明された」。DDC-I 。

外部リンク
image
  DDC-1990年代のマグカップ
公式ウェブサイト
フリースケールセミコンダクタ–アライアンスネットワークエントリー
ARM –コネクテッドコミュニティエントリ”