DDC-I

DDC-I
DDC-I, Inc.
유형비공개 개최
산업안전에 중요한 임베디드 소프트웨어
설립.1985년; 37년 전(1985년) 덴마크 콩겐스 링비
본사애리조나 주, 피닉스
주요 인물
밥 모리스, 사장/최고경영자
Ole N.Oest, 설립자/C로.
상품들실시간 운영 체제:데오스, 하트OS
컴파일러 시스템:아다
웹 사이트www.ddci.com

DDC-I, Inc.는 애리조나주 피닉스에 본사를 둔 안전 중요 임베디드 애플리케이션용 실시간 운영 체제, 소프트웨어 개발 도구 및 소프트웨어 서비스를 제공하는 비공개 기업입니다.1985년 덴마크 기업 DDC International A/S(DDC-I A/S라고도 함)로 처음 설립되었으며, 1980년대 덴마크 소프트웨어 연구 개발 조직인 Dansk Datamatik Center에서 상업적으로 성장한 회사입니다.미국 자회사인 1986년에 만들어졌다.수년 간, 회사 언어 컴파일러의 프로그래밍 언어 Ada를 전문으로 했다.

2003년에 덴마크 사무실과 모든 작업은 피닉스 곳으로 옮겼습니다 문을 닫았다.

오리진스

DDC 국제 AS의 기원은 덴마크 Datamatik 센터는 1979년 소프트웨어 설계와 개발에 현대식 기술, 특히 형식 방법이 포함된를 사용하는 값을 보여 주기 위해 탄생한 덴마크 소프트웨어 연구 개발 조직에 누워 있었다.그것의 몇가지 프로젝트 중에는 프로그래밍 언어 에이다에 대한 컴파일러 시스템의 발명.Ada는 있었습니다가 곤란한 언어를 구현했고 종종 실망을 증명했다 초기 컴파일러 사업이다.[1]하지만 DDC 컴파일러 디자인과 처음으로 1984년 9월 미국에 쏟아진 VAX/VMS 시스템에 Defense-sponsored Ada는 컴파일러가 그 뒤 유효성 검사 능력(육군 상용 차량 부호)시험을 통과했다.[2]이와 같이 가장 처음으로 유럽 Ada는 컴파일러 이 표준에 부합하다.[3][4]

Ada 프로젝트의 성공으로 1985년 Ada 컴파일러 시스템 [5]제품을 상용화할 목적으로 DDC International A/S라는 별도의 회사가 설립되었습니다.그것의 원조와 마찬가지로, 그것은 덴마크 링비에 기반을 두고 있다.Ole N. Oest는 DDC [6]International의 상무이사로 임명되었습니다.1986년 미국 자회사로 DDC-I,[7] Inc.가 설립되었습니다.애리조나주 피닉스에 위치한 이 회사는 미국 [8]내 영업, 고객 지원 및 엔지니어링 컨설팅 활동에 초점을 맞췄습니다.

Ada는 컴파일러

DDC International A/S는 1990년에 이곳 덴마크 링비에 있는 개조된 섬유 공장에 수용되었습니다.

DDC-I는 Ada 컴파일러 시스템 제품인 DACS를 회사에 직접 판매하는 사업을 설립했습니다.DACS는 Ada에서 프로젝트를 개발하는 소프트웨어로서, 그리고 다른 프로세서와 운영체제에 [9][10]재호스트 또는 재타깃을 부여하는 컴퓨터 제조사 및 기타 회사들에 소스 코드로도 사용됩니다.

첫 번째 사업은 네이티브 컴파일러와 크로스 컴파일러를 모두 판매했는데, Ada가 주로 임베디드 시스템 영역에서 사용되었기 때문에 후자는 더 일반적이었습니다.DDC-I가 최초로 개발한 크로스 컴파일러 중 하나는 VAX/VMS에서 인텔 8086 및 인텔 80286으로 1985년 [9]초에 이미 개발이 진행되었습니다.이 회사는 이탈리아 방위 전자 회사 Selenia와 합작하여 8086 및 80286 아키텍처와 범용 임베디드 및 OS 호스팅 8086 [11]및 80286 시스템을 기반으로 하는 MARA-860 및 MARA-286 멀티 마이크로프로세서 컴퓨터를 모두 대상으로 했습니다.이 작업은 그 회사에서 가장 많이 팔리는 제품 라인의 시작이었습니다.DDC-I는 인텔 80x86 [8]프로세서용 고품질의 Ada 크로스 컴파일러와 런타임 시스템으로 명성을 쌓았습니다.

두 번째 비즈니스에서는 DDC OEM 컴파일러 [10]키트로 불리는 것을 사용했습니다.이 키트는 다른 호스트나 타깃 컴파일러 또는 VLSI 등의 기타 툴에 Ada 프론트 엔드를 사용할 수 있습니다.1985년 9월 스웨덴 Lund에서 열린 회의에서 OEM 키트 고객 중 몇 명이 DDC Ada 컴파일러 리타겟터 [12]그룹을 결성했습니다.1985년과 1986년에 걸쳐 적어도 세 번의 회의를 열었다.초기 OEM 고객으로는 스웨덴의 University of Lund, Defense Materiel Administration 및 Ericsson Radio Systems, 핀란드의 Softplan 및 Nokia Information Systems, 이탈리아의 Selenia 및 Oliveetti, 영국의 ICL Defense Systems 및 STL Ltd, 영국의 이스라엘 엔지니어링 소프트웨어가 있습니다. Collins, Control Data Corporation 및 General Systems Group,[13] 미국

1990년 Lyngby에 있는 DDC International의 여러 Ada 컴파일러 개발자.

이후 개발자들은 종종 공식적인 방법에 익숙하지 않았고 [14]컴파일러 작업에 그것들을 사용하지 않았다.이는 컴파일러의 대상을 변경하는 기업의 경우 더욱 그러했으며, 이들 중 상당수는 Ada [15][16]언어에 익숙하지 않았다.

DDC-I는 Alsys, TeleSoft, Verdix, Tartan Laboraties, TLD Systems [4]등 다른 여러 Ada 컴파일러 회사와 같은 시장에 있었습니다.(DDC-I는 다른 회사보다 더 오래 사업을 계속할 것입니다.)[14]다른 Ada 컴파일러 벤더와 마찬가지로 DDC-I 엔지니어의 많은 시간은 크고 어려운 AcVC(Ada Compiler Validation Capability) 표준화 언어 및 런타임 테스트 [17][18]스위트를 준수하는데 소비되었습니다.

1988년부터 수년간 DDC-I 컨설턴트는 Honeywell Air Transport Systems와 협력하여 DDC-I Ada 컴파일러의 대상을 AMD 29050 [19][20]프로세서로 변경 및 최적화했습니다.이 DDC-I 기반의 크로스 컴파일러 시스템은 보잉 777 [8][20]여객기의 주요 비행 소프트웨어를 개발하는 데 사용되었다.비행기 정보 관리 시스템(Airplane Information Management System)으로 명명된 이 소프트웨어는 민간 또는 [21]군용 아다(Ada) 사용 프로젝트 중 가장 잘 알려진 것이 될 것입니다.허니웰의 약 550명의 개발자들이 비행 시스템을 연구했고 그것은 에이다의 주요 성공 [20]사례로 공표되었다.

뉴욕에 있는 DDC-I 개발 사무소는 이 빌딩의 31층에 있었습니다.

1991년 10월 DDC-I는 Inter의 Ada 및 JOVICAL 언어 임베디드 시스템 사업을 인수했다고 발표되었습니다.ACT는 어드밴스드 컴퓨터 [22]테크닉의 벤처기업이 되었습니다.뉴욕에 본사를 둔 이 완전 소유 법인은 DDC-I에 편입되기 전에 DDC-Inter로 잠시[22] 이름을 붙였다.이것에 의해, MIL-STD-1750A 및 MIPS R3000 프로세서의 Ada 크로스 컴파일러와 MIL-STD-1750A 및 Zilog Z8002의 JOVICAL 언어 크로스 컴파일러가 제품 라인에 도입되었습니다.MIPS 제품은 DDC-I가 강조한 제품으로 특정 태스크 [23]최적화의 자동 인식을 포함한 엔지니어링 노력과 함께 미국 공군이 [24][25]후원하는 Common Ada Runtime System(CART) 프로젝트에서 Ada 런타임 환경에 표준 인터페이스를 제공하기 위한 작업을 수행했습니다.

1993년 말 뉴욕 사무소는 문을 닫고 업무는 피닉스 사무소로 이관했다.

1990년대 초까지 DDC-I는 SunOS에서는 VAX/VMS, Sun-3 및 SPARC용 Ada 네이티브 컴파일러를, UNIX System V 및 OS/2에서는 Intel 80386을, 상기 [26][27]타겟에 더해 Motorola 680x0 및 Intel i860용 크로스 컴파일러를 제공했습니다.

Ada는 95와 다른 제품의 탐험.

Lyngby에 있는 DDC International 사무실은 1992년에 여기에서 볼 수 있는 덴마크 디자인 요소를 보여주었습니다.

1990년대 초에 DDC-I는 광범위한 언어 표준 개정판 Ada 95를 위한 컴파일러 시스템 재설계를 수행했습니다.이들은 새로운 객체 기반 프로그래밍 설계를 사용하면서도 VDM-SL을 [28]사용하는 공식적인 방법 접근 방식을 고수했습니다.이 작업은 European Community 기반의 Open Microprocessor Initiative의 Global Language and Uniform Environment - Project (OMI/GLUE)의 후원으로 이루어졌습니다.DDC-I의 역할은 Architecture Neutral Distribution Format (ANDF)의 중간 형식을 대상으로 한 컴파일러를 작성하는 것으로, 보다 빠른 플랫폼 95를 실현하는 것이었습니다.이 [28][29]작업의 일환으로 DDC-I는 국방평가연구원과 협력하여 ADF의 일부 기능을 확장하여 Ada의 의미론과 빠르게 성장하는 프로그래밍 언어 [30]C++를 표현했습니다.최적의 런타임 [31]성능을 얻기 위해 경계 검사 제거와 같은 Ada 고유의 영역에서 작업이 수행되었습니다.

에이다 소프트웨어 환경은 원래 유망한 [32]시장으로 여겨졌다.그러나 에이다 컴파일러 사업은 어려운 [33]사업임이 판명되었다.1987-97년 이 기간 동안 Ada 사용에 대한 미국 정부의 명령이 일부 면제가 [34]허용되었지만 유효했습니다.범용 프로그래밍을 위한 언어의 많은 장점은 일반적인 소프트웨어 엔지니어링 커뮤니티나 [35]교육자들에 의해 인식되지 않았습니다.정기적으로 소규모 정리해고를 하는 등 판매 상황은 어려웠습니다.다른 Ada 툴 프로바이더와의 통합에도 불구하고 DDC-I는 독립 기업으로 [36]남아 있었습니다.

어쨌든 DDC-I는 사내외에서[37] 사용하기 위해 Ada 언어를 적극적으로 지지했습니다.1993년에 발표된 한 엔지니어는 Ada 95의 객체 지향적 특징을 C++에 비해 좋게 평가하여 [38]관심을 끌었다.

1993년 피닉스에 있는 DDC-I 사무실에서 본 야자수 풍경.

동시에, 동사는 제품 라인의 확대와 증강을 시도했다.RAISE 툴셋은 실시간 시스템용 설계 툴인 Cedar와 마찬가지로 사용할 수 있었습니다.또한 Bang & Olufsen에서 라이선스를 취득하여 Ada 컴파일러 [39]시스템과 통합된 애플리케이션의 상태/이벤트 부분을 개발하고 실행하는 도구인 Beological도 제공되었습니다.가장 큰 노력은 C++를 지향하는 것이었습니다.DDC-I는 임베디드 애플리케이션을 [40]직접 오브젝트 레벨로 지원하는 C++ 기반의 실시간 운영체제인 첫 번째 오브젝트 Exec을 제공하기 시작했습니다.1993-94년 동안 상당한 노력을 기울였지만, 첫 번째 Object Exec은 시장에서 주목을 끌지 못했습니다.

에이다가 확고한 입지를 다진 분야는 [41][34][42]항공우주산업과 같은 실시간, 높은 신뢰성, 높은 무결성, 안전에 중요한 애플리케이션이었습니다.허니웰과 다른 고객들에 대한 경험을 바탕으로, DDC-I Ada는 언어와 런타임 기능의 안전에 중요한 인증의 요구 사항 특히 교포들은 DO-178B(소프트웨어 고려 사항 공중 및 설비 품질 인증에)기준을 하고, 그 과정을 위한 도구 제공으로 도식화에 대한 전문 지식을 취득했습니다.[43]그러한 [34]신청은 1997년 에이다의 위임장이 폐지된 이후에도 계속되었다.예를 들어, 1997년에 회사는 보잉/시코르스키 RAH-66 코만슈에 [44]사용되는 소프트웨어를 개발하기 위해 시코르스키 항공기 및 보잉 방위 우주 그룹의 헬리콥터 사업부와 공동 계약을 따냈다.

1998년 3월 DDC-I는 Texas Instruments로부터 인텔 i960, Motorola 680x0 및 MIL-STD-1750A [45]타깃용 Tartan Ada 컴파일러의 개발, 판매 및 마케팅권을 취득했습니다.

2000년에 DDC-I의 SCORE용 혼합 언어 통합 개발 환경의 일부로 프로그래밍 언어 C가 추가되어 혼합 언어 개발에 대한 지원이 추가되었습니다(안전 크리티컬, 객체 지향, 실시간 [46]임베디드용).ANDF 형식, DWARF 표준 디버깅 형식 및 타깃 보드 디버깅 모니터와의 통신을 위한 OMI 프로토콜을 활용하여 SCORE는 실시간 애플리케이션 [46]개발자들에게 공통 빌드 및 디버깅 환경을 제공할 수 있었습니다.임베디드 C++의 지원은 2003년에 SCORE에 추가되어 인텔 x86 및 Power [47]PC 프로세서의 다양한 타깃 보드 시나리오와 통합할 수 있게 되었습니다.ANDF용 C 컴파일러와 임베디드 C++ 컴파일러는 TenDRA 컴파일러(나중에 DDC-I가 이러한 컴파일러의 유지보수가 되었습니다)의 라이센스 계약에서 유래했습니다.그 후 오래된 1750A 및 TMS320C4x 프로세서에 대한 Ada 95 지원이 [48]SCORE에 추가되었습니다.

미 사령부 및 실시간 운영 체제.

2003년 4월까지 산업은 아다에서 멀어졌고 항공기 산업의 지위가 하락하여 DDC-I는 상당한 재정적 손실을 입었다.DDC-Lyngby에 있는 덴마크 지사를 폐쇄하고 모든 사업장을 [49]Phoenix로 옮기기로 결정했습니다.

2005년 9월, 동사는 LynuxWorks의 Bob Morris를 사장 겸 [50]CEO로 임명했습니다.Oest는 최고 기술 [51]책임자가 되었습니다.2006년 4월 DDC-I는 피닉스의 북부 지사로 이전하여 사업 확장이 진행되고 있으며 매출은 전년 [52]대비 40~50% 증가할 것으로 예상된다고 밝혔습니다.

2006년부터는, Java Expert Group for Safety Critical Java에 [53]공헌하고 있습니다.Java의 실시간 규격을 기반으로 하고 충분한 결정론을 제공하기 위해 사용하는 언어 및 라이브러리 서브셋과 코딩 규칙을 지정하는 이 작업은 회사의 대표자들에 의해 Java를 안전에 중요한 애플리케이션의 [54]언어로서 Ada 또는 C++와 동등하거나 우월하게 만드는 것으로 보인다.동사는, 안전에 중요한 Java 프로파일을, 낡은 소프트웨어와 하드웨어 애플리케이션의 [55]문제에의 대처에 도움이 되는 것으로 보고 있습니다.2008년까지 DDC-I는 Ada를 레거시 언어로 간주하고 반자동 툴과 프로페셔널 서비스를 제공하여 고객이 새로운 [51]솔루션으로 이행할 수 있도록 지원했습니다.

2008년 11월에는 Deos와 HeartOS의 [56][57][58]2가지 제품으로 임베디드형 실시간 운영체제(RTOS) 시장에 진출했습니다.둘 다 허니웰 국제(Honeywell International)에서 시작되어 이미 많은 상업용 및 [56]군용 항공기에 배치된 기본 소프트웨어 기술을 기반으로 합니다.그 일환으로 DDC-I는 Deos를 [56]설계한 주요 Honeywell 엔지니어링 직원을 고용했습니다.DDC-I와 동일한 RTOS 시장 세그먼트에 속한 다른 기업으로는 LynuxWorks, Wind River Systems, SYSGO 및 Express [59]Logic이 있습니다.

상품들

  • Deos는 1998년 DO-178B 레벨 A 인증을 받은 시공간 분할 실시간 운영체제(RTOS)다.Deos에는 프로세서 사용률 향상, 바이너리 소프트웨어 재사용, 멀티코어 프로세서의 안전한 일정 설정 등 특허받은 아키텍처 기능이 포함되어 있습니다.Deos 사용자는 다양한 애플리케이션 요구에 맞게 설계된 옵션의 ARINC 653 퍼스낼리티 모듈을 추가할 수 있습니다.Deos는 ARM, MIPS, PowerPC 및 x86 프로세서를 지원하며 wolfSSL [60][61]등의 일반적인 SSL/TLS 라이브러리에서 지원됩니다.EDN [62]매거진이 선정한 2009년 핫 100 일렉트로닉 제품 중 하나로 선정되었습니다.
  • HeartOS는 POSIX 기반의 하드 실시간 운영체제입니다.안전성에 중요한 타입을 포함한 중소규모 임베디드 어플리케이션용으로 설계되어 있습니다.ARM, PowerPC, x86[63] 및 기타 16비트 및 32비트 프로세서를 지원합니다.메모리 제약이 있는 시스템에서는 POSIX 인터페이스 레이어를 사용하지 않고 설정할 수 있습니다.
  • OpenArbor는 C, Embedded C++ 및 Ada 애플리케이션 개발을 위한 Eclipse 기반 통합 개발 환경입니다.그것은 [64]2007년에 발표되었다.
  • SCORE는 다양한 임베디드 [65]아키텍처에서 Ada, C 및 Embedded C++ 응용 프로그램을 지원하는 안전 중요 객체 지향 실시간 임베디드 소프트웨어 응용 프로그램용 혼합 언어 도구 세트입니다.
  • 레거시 Ada 83 및 JOVICAL 컴파일러 시스템 제품도 계속 지원됩니다.[66]

참고 문헌

  • Bjørner, 다 인스, 그램, 크리스티안, Oest, 올레 N;Rystrøm, 레이프(2011년)."덴마크 Datamatik 센터".Impagliazzo, 존은 Lundin,;Wangler, Benkt(eds.)에서.노르딕 컴퓨팅 3의 역사:정보 통신 기술 IFIP 발전.스프링거.를 대신하여 서명함. 350–359.이 장이 조금 확대 온라인 버전이 온라인에서https://www.researchgate.net/publication/221271386_Dansk_Datamatik_Center.에서 볼 수 있습니다.한층 더 확장된 버전은, http://www.imm.dtu.dk/~bjj/trivia/node5.199의 온라인 회고록의 일부입니다.이 논문을 바탕으로 한 Gram의 슬라이드 프레젠테이션은 온라인 상에서 Dansk Datamatik Center가 왜 필요한가요?
  • Bjørner, Dines; Havelund, Klaus. "40 Years of Formal Methods: Some Obstacles and Some Possibilities?". FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12–16, 2014. Proceedings. Springer. pp. 42–61.
  • Bundgaard, Jørgen (May 1985). "The development of an Ada front end for small computers". SIGAda '85: Proceedings of the 1985 annual ACM SIGAda international conference on Ada. Association for Computing Machinery. pp. 321–328.
  • Bundgaard, Jørgen. "An ANDF based Ada 95 compiler system". Proceedings of the conference on TRI-Ada '95, November 5–10, 1995. Association for Computing Machinery. pp. 436–445.
  • Clemmensen, Geert B.; Oest, Ole N. (March 1984). "Formal specification and development of an Ada compiler – a VDM case study". ICSE '84 Proceedings of the 7th international conference on Software engineering. IEEE Press. pp. 430–440.
  • Clemmensen, Geert B. (January 1986). "Retargeting and rehosting the DDC Ada compiler system: A case study – the Honeywell DPS 6". ACM SIGAda Ada Letters. 6 (1): 22–28. doi:10.1145/382256.382794. S2CID 16337448.
  • Newsletter. DDC Ada Compiler Retargeter's Group. Vol. 1. November 1985.
  • Newsletter. DDC Ada Compiler Retargeter's Group. Vol. 2. August 1986.
  • Newsletter. DDC Ada Compiler Retargeter's Group. Vol. 3. December 1986.
  • Fergany, Adel; Szewerenko, Leland; Rabinowitz, Moshe; Solomon, Eliezer N.; Pitarys, Marc; Benjamin, Clive L. "The implementation of asynchronous entry calls on two different architectures". NAECON 1993: Proceedings of the IEEE 1993 National Aerospace and Electronics Conference, May 24–28, 1993. pp. 486–495.
  • Fitzgerald, John S.; Larsen, Peter Gorm; Verhoef, Marcel (2009). "Vienna Development Method". In Wah, Benjamin W. (ed.). Wiley Encyclopedia of Computer Science and Engineering. Wiley. pp. 2971–2982.
  • Frost, Jacob. "An Ada95 Solution for Certification of Embedded Safety Critical Applications". Reliable Software Technologies – Ada-Europe '99. pp. 52–63.
  • George, Chris. "The RAISE Specification Language: A Tutorial". VDM '91: Formal Software Development Methods: 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 1991, Proceedings. Vol. 2. Springer-Verlag. pp. 238–319.
  • Ibsen, Leif (January 1984). "A portable virtual machine for Ada". Software: Practice and Experience. 14 (1): 17–29. doi:10.1002/spe.4380140104. S2CID 206508565.
  • Jorgensen, Jesper. "A Comparison of the Object Oriented Features of Ada 9X and C++". Ada-Europe '93: 12th Ada-Europe International Conference, Paris, France, June 14–18, 1993. Proceedings. pp. 125–141.
  • Mancusi, Richard; Tokar, Joyce L.; Rabinowitz, Moshe; Solomon, Eliezer N.; Pitarys, Marc; Benjamin, Clive L. "Real and Virtual Interrupt Support: The Mapping of a CARTS Feature to Two Different Architectures". Ada-Europe '93: 12th Ada-Europe International Conference, Paris, France, June 14–18, 1993. Proceedings. pp. 314–329.
  • Møller, Peter Lützen. "Run-time check elimination for Ada 9X". Proceedings of the conference on TRI-Ada '94, November 6–11, 1994. Association for Computing Machinery. pp. 122–128.
  • Rehmer, Karl (2009). "The HADS Team". In Stellman, Andrew; Greene, Jennifer (eds.). Beautiful Teams: Inspiring and Cautionary Tales from Veteran Team Leaders. Sebastopol, California: O'Reilly. pp. 299–312.
  • Rosen, Jean-Pierre (September 2009). "The Ada paradox(es)". SIGAda Ada Letters. 29 (2): 28–35. doi:10.1145/1620593.1620597. S2CID 608405.
  • "An Interview with Oscar Schachter" (Interview). Interviewed by Thomas Haigh. Charles Babbage Institute, University of Minnesota. 7 May 2004.WorldCat 엔트리
  • Schilling, Jonathan L. "Use of Ada in a Commercial, Small Company Environment". WADAS '93 Proceedings of the Tenth Annual Washington Ada symposium on Ada: June 28 – July 1, 1993. ACM. pp. 89–94.
  • Schilling, Jonathan L.; Nielsen, Johan Olmütz (May–June 1994). "Automatic compiler recognition of monitor tasks". SIGAda Ada Letters. 14 (3): 91–104. doi:10.1145/181468.181474. S2CID 17557993.
  • Sward, Ricky E. (November 2010). "The rise, fall and persistence of Ada". SIGAda '10: Proceedings of the ACM SIGAda annual international conference on SIGAda. pp. 71–74.
  • Whitaker, William A. (1996). "Ada—The Project: The DoD High Order Language Working Group". In Bergin, Thomas J.; Gibson, Richard G. (eds.). History of Programming Languages—II. Addison-Wesley Professional. pp. 173–232. ISBN 9780201895025.

레퍼런스

  1. ^ 휘태커, "아다-"프로젝트", 페이지 217~218.
  2. ^ Bundgaard, "소형 컴퓨터를 위한 Ada 프런트 엔드의 개발", 페이지 322.
  3. ^ Clemmensen, "DDC Ada 컴파일러 시스템 대상 변경 및 재호스팅", 페이지 22.
  4. ^ a b Acly, Ed (March 25, 1985). "C, Ada & Lisp: A Tale of Three Languages". Computerworld. p. ID-1.
  5. ^ Björner, Gram, Oest 및 Ryström, "Dansk Datamatik Center", 페이지 351.
  6. ^ Björner, Gram, Oest 및 Ryström, "Dansk Datamatik Center", 확장 버전, 페이지 11.
  7. ^ "DDC-I, INC". OpenCorporates. Retrieved September 20, 2015.
  8. ^ a b c 레머, "HADS 팀", 300페이지
  9. ^ a b Bundgaard, "소형 컴퓨터를 위한 Ada 프런트 엔드의 개발", 페이지 328.
  10. ^ a b Björner, Gram, Oest 및 Ryström, "Dansk Datamatik Center", 페이지 354.
  11. ^ DDC Ada 컴파일러 리타겟터 그룹, 뉴스레터 제2호, 페이지 35-36.
  12. ^ "Products". Journal of Pascal, Ada & Modula-2. Vol. 5. March–April 1986. p. 70.
  13. ^ DDC Ada 컴파일러 리타겟터 그룹, 뉴스레터 No.1, 페이지 7-8, No.2, 페이지 5-7, No.3, 페이지 13-15a.
  14. ^ a b 비외너와 하블룬드, "40년간의 공식 방법", 페이지 48.
  15. ^ 레머, "HADS 팀", 페이지 306.
  16. ^ 쉴링, "상업, 소규모 기업 환경에서 Ada의 사용", 페이지 89–91.
  17. ^ 레머, "HADS 팀", 페이지 305, 306, 307.
  18. ^ 로젠, "에이다의 역설", 페이지 29.
  19. ^ 레머, "HADS 팀", 페이지 299, 302.
  20. ^ a b c "Boeing Flies on 99% Ada". Ada Information Clearinghouse. Archived from the original on November 5, 2015. Retrieved October 24, 2015.
  21. ^ Wolfe, Alexander (October 2004). "There's Still Some Life Left in Ada". ACM Queue. 또, http://delivery.acm.org/10.1145/1040000/1035608/p28-wolfe[permanent dead link].pdf 로도
  22. ^ a b "DDC International Acquires Cross Tools Business of InterACT; Forms New Business Unit" (Press release). DDC-I. October 4, 1991.
  23. ^ 쉴링과 닐슨, "모니터 태스크의 자동 컴파일러 인식", 페이지 91, 100–102.
  24. ^ Mancusi 등, 「실제 및 가상 인터럽트 서포트:2개의 다른 아키텍처에 대한 CART 기능의 매핑.
  25. ^ Fergany 등, "두 개의 다른 아키텍처에서 비동기 입력 호출의 구현"
  26. ^ "DDC International News". DDC International A/S. Summer 1992.
  27. ^ "Ada Validated Compilers List". Ada Information Clearinghouse. July 1, 1992. pp. 8–10.
  28. ^ a b Bundgaard, Jørgen (November 17, 1992). A Practical Approach to Applying the Object Model to Construction of an Ada 9X Compiler System (Report). DDC-I.
  29. ^ Bundgaard, "ANDF 기반의 Ada 95 컴파일러 시스템", 페이지 436.
  30. ^ "TDF Diagnostic Specification". Defence Evaluation and Research Agency. July 30, 1998. Archived from the original on April 11, 2016. Retrieved January 17, 2016.
  31. ^ 뮐러, "Ada 9X에 대한 런타임 점검 제거", 페이지 122, 126–128.
  32. ^ "Small Firms Capitalize on Pentagon Software". Los Angeles Times. Reuters. November 25, 1985.
  33. ^ 로젠, "에이다의 역설", 페이지 34.
  34. ^ a b c 스와드, "에이다의 흥망성쇠", 페이지 71.
  35. ^ 로젠, "아다 역설", 32-33페이지.
  36. ^ Ada and Beyond: Software Policies for the Department of Defense. Committee on the Past and Present Contexts for the Use of Ada in the Department of Defense, Computer Science and Telecommunications Board, National Research Council. 1997. p. 11.
  37. ^ Schilling, "소규모 기업 환경에서 Ada의 사용", 페이지 89, 93.
  38. ^ Jorgensen, "Ada 9X와 C++의 객체 지향 특성 비교", 페이지 140–141.
  39. ^ "Ada Products & Tools: Part 2". Ada Joint Program Office. November 20, 1998.
  40. ^ "DDC International A/S Introduces 1st Object Exec". Dr. Dobb's Journal. March 1994.
  41. ^ 로젠, "아다 역설", 페이지 33-34.
  42. ^ Feldman, Michael B. (November 2014). "Who's Using Ada? Real-World Projects Powered by the Ada Programming Language". George Washington University. Retrieved October 7, 2015.
  43. ^ 프로스트, "임베디드 안전 크리티컬 애플리케이션 인증을 위한 Ada95 솔루션", 페이지 52–53
  44. ^ "High-tech aircraft contract". Phoenix Business Journal. May 23, 1997.
  45. ^ "Texas Instruments appoints DDC-I Exclusive Distributor for Three Ada Products" (Press release). DDC-I, Texas Instruments. March 13, 1998.
  46. ^ a b "DDC-I's New SCORE Ada System Uses Open Standards". Conference Announcements. SIGAda. March 2, 2000. Retrieved January 17, 2016.
  47. ^ "DDC-I's SCORE Technology – including Integration with OSE RTOS". DDC-I. Retrieved January 11, 2016.
  48. ^ "DDC-I Announces Availability of SCORE Integrated Development Environment for TMS320C40 DSP" (Press release). DDC-I. December 4, 2006. Archived from the original on 2016-03-04.
  49. ^ Björner, Gram, Oest 및 Ryström, "Dansk Datamatik Center", 확장 버전, 페이지 2
  50. ^ "DDC-I Names Bob Morris as President and Chief Executive Officer" (Press release). DDC-I. September 1, 2005. Archived from the original on 2016-02-16.
  51. ^ a b Oest, Ole N. (June 24, 2008). "Migrating complex embedded systems". Military Embedded Systems.
  52. ^ "DDC-I Inc. Moves Headquarters" (Press release). BusinessWire. April 24, 2006.
  53. ^ "DDC-I Joins Safety-Critical Java Expert Group". The Free Library. November 17, 2006.
  54. ^ Nielsen, Johan O.; Plans, Alex J. (March 2008). "Java computer language eyes safety-critical, real-time applications". Military & Aerospace Electronics.
  55. ^ Oest, Ole N. (April 2, 2008). "Merging legacy software into contemporary system design". Military Embedded Systems.
  56. ^ a b c Cole, Bernard (November 17, 2008). "News: DDC-I enters embedded RTOS market with Deos and HeartOS". EE Times.
  57. ^ "DDC-I Enters Embedded RTOS Market". Embedded Computing Design (Press release). November 17, 2008. Archived from the original on 2011-07-10.
  58. ^ "DDC-I Announces Highest Performance and Most Readily Certifiable Safety-Critical RTOS". Military Embedded Systems (Press release). November 17, 2008.
  59. ^ McKenna, Ed (April 2014). "Real Time Operating Systems Addressing the Certification, Security and Standards Dilemmas". Avionics.
  60. ^ Cheung, Ken. "DDC-I Deos RTOS Supports Freescale e300 and e500 Core". Embeddedstar. Archived from the original on 2010-06-20. Retrieved 2010-08-30.
  61. ^ Cole, Bernard (September 22, 2009). "DDC-I's Safety-Critical RTOS now available for Intel's Atom CPU". EETimes.
  62. ^ "The Hot 100 Electronic Products of 2009". EDN. December 15, 2009. Archived from the original on April 3, 2012.
  63. ^ "HeartOS RTOS Support for ARM Processor". Dr. Dobb's. March 19, 2010.
  64. ^ "DDC-I Announces Eclipse-Based Mixed Language Development Suite for Real-Time Embedded Development" (Press release). Business Wire. October 15, 2007.
  65. ^ "SCORE (Safety Critical, Object-oriented, Real-time Embedded) Mixed-Language Integrated Development Environment". DDC-I. Retrieved January 10, 2016.
  66. ^ "Mature Development Systems, Field Proven on Hundreds of Applications". DDC-I. Retrieved January 10, 2016.

외부 링크

1990년대 DDC-I 머그