DDC-I, Inc. es una empresa privada que ofrece desarrollo de software de sistemas operativos en tiempo real , herramientas de desarrollo de software y servicios de software para aplicaciones integradas críticas para la seguridad , con sede en Phoenix, Arizona . Se creó por primera vez en 1985 como la empresa danesa DDC International A / S (también conocida como DDC-I A / S ), una consecuencia comercial de Dansk Datamatik Center , una organización danesa de investigación y desarrollo de software de la década de 1980. La subsidiaria estadounidense fue creada en 1986. Durante muchos años, la firma se especializó en compiladores de lenguajes para el lenguaje de programación. Ada .
Tipo | Privada |
---|---|
Industria | software integrado de seguridad crítica |
Fundado | 1985 Kongens Lyngby , Dinamarca | en
Sede | Phoenix, Arizona |
Gente clave | Bob Morris, presidente / director ejecutivo Ole N.Oest, fundador / director de tecnología |
Productos | Sistemas operativos en tiempo real : Deos, HeartOS Compiler sistemas: Ada |
Sitio web | www |
En 2003, la oficina danesa se cerró y todas las operaciones se trasladaron a la ubicación de Phoenix.
Orígenes
Los orígenes de DDC International A / S se encuentran en Dansk Datamatik Center , una organización danesa de investigación y desarrollo de software que se formó en 1979 para demostrar el valor de utilizar técnicas modernas, especialmente aquellas que involucran métodos formales , en el diseño y desarrollo de software. Entre sus varios proyectos se encuentra la creación de un sistema compilador para el lenguaje de programación Ada . Ada era un lenguaje difícil de implementar y los primeros proyectos de compilación a menudo resultaban decepcionantes. [1] Pero el diseño del compilador DDC era sólido y pasó por primera vez las pruebas de capacidad de validación del compilador Ada (ACVC) patrocinadas por el Departamento de Defensa de los Estados Unidos en un sistema VAX / VMS en septiembre de 1984. [2] Como tal, fue el primero Compilador Ada europeo para cumplir con este estándar. [3] [4]
El éxito del proyecto Ada llevó a la formación de una empresa separada en 1985, llamada DDC International A / S, con el propósito de comercializar el producto del sistema de compilación Ada. [5] Al igual que su creador, tenía su sede en Lyngby , Dinamarca . Ole N. Oest fue nombrado director gerente de DDC International. [6] En 1986, se fundó DDC-I, Inc. como la empresa subsidiaria estadounidense. [7] Ubicado en Phoenix, Arizona , se centró en ventas, soporte al cliente y actividades de consultoría de ingeniería en los Estados Unidos. [8]
Compilador Ada
DDC-I estableció un negocio vendiendo el producto del sistema compilador Ada, llamado DACS, directamente a las empresas, tanto como software para desarrollar proyectos en Ada como como código fuente para los fabricantes de computadoras y otros, quienes lo reorganizarían o redireccionarían a otros procesadores. y sistemas operativos . [9] [10]
El primer negocio vendió tanto compiladores nativos como compiladores cruzados , siendo el último más común ya que Ada se usó principalmente en el ámbito de los sistemas integrados . Uno de los primeros compiladores cruzados que desarrolló DDC-I fue desde VAX / VMS hasta Intel 8086 e Intel 80286 ; el esfuerzo ya estaba en marcha a principios de 1985. [9] Comenzó como una empresa conjunta con la empresa italiana de electrónica de defensa Selenia que se enfocaría en sus computadoras multi-microprocesador MARA-860 y MARA-286, basadas en las arquitecturas 8086 y 80286, y sistemas 8086 y 80286 genéricos integrados y que alojan SO. [11] Este trabajo fue el comienzo de lo que se convertiría en la línea de productos de mayor venta para la empresa. DDC-I desarrolló una reputación de calidad en compiladores cruzados Ada y sistemas de tiempo de ejecución para procesadores Intel 80x86 . [8]
La segunda empresa hizo uso de lo que se denominó DDC OEM Compiler Kit, [10] que podría estar usando el front-end de Ada para compiladores de otros hosts o destinos o para otras herramientas como VLSI . En una reunión de septiembre de 1985 en Lund, Suecia , varios de los clientes del kit OEM formaron el grupo de retargeter del compilador DDC Ada. [12] Celebró al menos tres reuniones en el transcurso de 1985 y 1986. Los primeros clientes OEM fueron la Universidad de Lund , la Administración de Material de Defensa y Ericsson Radio Systems en Suecia; Softplan y Nokia Information Systems en Finlandia; Selenia y Olivetti en Italia; ICL Defense Systems y STL Ltd en el Reino Unido; Ingeniería de software de Aitech en Israel; y Advanced Computer Techniques , Rockwell Collins , Control Data Corporation y General Systems Group en los Estados Unidos. [13]
Los desarrolladores posteriores a menudo estaban menos versados en métodos formales y no los utilizaron en su trabajo en el compilador. [14] Esto era aún más cierto en el caso de las empresas que reorientaban el compilador, muchas de las cuales no estaban familiarizadas con el lenguaje Ada. [15] [16]
DDC-I estaba en el mismo mercado que varias otras empresas compiladoras de Ada, incluidas Alsys , TeleSoft , Verdix , Tartan Laboratories y TLD Systems . [4] (DDC-I permanecería en el negocio más tiempo que cualquiera de estos otros. [14] ) Al igual que con otros proveedores de compiladores Ada, gran parte del tiempo de los ingenieros de DDC-I se empleó en ajustarse a las grandes y difíciles Ada Compiler Validation Capability (ACVC) lenguaje estandarizado y suite de pruebas en tiempo de ejecución. [17] [18]
A partir de 1988 y durante varios años, los consultores de DDC-I colaboraron con Honeywell Air Transport Systems para reorientar y optimizar el compilador DDC-I Ada al procesador AMD 29050 . [19] [20] Este sistema de compilación cruzada basado en DDC-I se utilizó para desarrollar el software de vuelo principal para el avión Boeing 777 . [8] [20] Este software, llamado Airplane Information Management System , se convertiría posiblemente en el más conocido de cualquier proyecto Ada en uso, civil o militar. [21] Unos 550 desarrolladores de Honeywell trabajaron en el sistema de vuelo y se publicitó como una importante historia de éxito de Ada. [20]
En octubre de 1991, se anunció que DDC-I había adquirido el negocio de sistemas integrados en lenguaje Ada y JOVIAL de InterACT , que se había convertido en una empresa de Advanced Computer Techniques. [22] Esta entidad con sede en Nueva York, de propiedad absoluta, se denominó brevemente DDC-Inter [22] antes de incorporarse a la DDC-I propiamente dicha. Esto trajo compiladores cruzados Ada para los procesadores MIL-STD-1750A y MIPS R3000 , y compiladores cruzados de lenguaje JOVIAL para MIL-STD-1750A y Zilog Z8002 en la línea de productos. El producto MIPS fue uno en el que DDC-I enfatizó, con esfuerzos de ingeniería que incluyeron el reconocimiento automático de ciertas optimizaciones de tareas, [23] y trabajo en el proyecto Common Ada Runtime System (CARTS) patrocinado por la Fuerza Aérea de los EE. UU. Para proporcionar interfaces estándar en Ada Runtime Ambientes. [24] [25]
A finales de 1993, se cerró la oficina de Nueva York y su trabajo se trasladó a la oficina de Phoenix.
A principios de la década de 1990, DDC-I ofreció compiladores nativos Ada para VAX / VMS, Sun-3 y SPARC bajo SunOS , e Intel 80386 bajo UNIX System V y OS / 2 , y ofreció compiladores cruzados para Motorola 680x0 e Intel i860 además a los objetivos antes mencionados. [26] [27]
Ada 95 y exploraciones de otras líneas de productos
A principios de la década de 1990, DDC-I trabajó en el rediseño del sistema de compilación para la amplia revisión Ada 95 del estándar de lenguaje. Utilizaron un nuevo diseño de programación basado en objetos y también se adhirieron a un enfoque de métodos formales, utilizando VDM-SL . [28] El trabajo se realizó bajo el patrocinio del Proyecto de Lenguaje Global y Entorno Uniforme (OMI / GLUE) de la Iniciativa de Microprocesador Abierto con base en la Comunidad Europea , donde la función de DDC-I era crear un compilador dirigido al formato de distribución neutral de arquitectura ( ANDF) de forma intermedia, con la intención de llevar Ada 95 a más plataformas rápidamente. [28] [29] Como parte de este trabajo, DDC-I colaboró con la Agencia de Investigación y Evaluación de Defensa para expandir algunas de las habilidades de ANDF para expresar la semántica de Ada y el lenguaje de programación C ++ de rápido crecimiento . [30] Se trabajó en áreas específicas de Ada, como la eliminación de verificación de límites , para obtener un rendimiento óptimo en tiempo de ejecución. [31]
Originalmente se pensó que el entorno de software Ada era un mercado prometedor. [32] Pero el negocio del compilador de Ada resultó ser difícil. [33] Durante este tiempo, 1987–97, un mandato del gobierno de Estados Unidos para el uso de Ada estaba en efecto, aunque con algunas exenciones otorgadas. [34] Muchas de las ventajas del lenguaje para la programación de propósito general no fueron vistas como tales por la comunidad de ingenieros de software en general o por los educadores. [35] La situación de las ventas fue desafiante, con pequeños despidos periódicos. A pesar de la consolidación entre otros proveedores de herramientas Ada, DDC-I siguió siendo una empresa independiente. [36]
En cualquier caso, DDC-I era un entusiasta defensor de la lengua Ada, para su uso en la empresa [37] y externamente. Un artículo que uno de sus ingenieros publicó en 1993 evaluó las características orientadas a objetos de Ada 95 de manera favorable a las de C ++ y atrajo cierta atención. [38]
Al mismo tiempo, la empresa intentó expandir y aumentar su línea de productos. El conjunto de herramientas RAISE estaba disponible, al igual que Cedar, una herramienta de diseño para sistemas en tiempo real. También se ofreció Beologic , una herramienta para desarrollar y ejecutar partes de estado / evento de aplicaciones, que había sido licenciada por Bang & Olufsen e integrada con el sistema de compilación Ada. [39] El mayor esfuerzo fue en la dirección de C ++. DDC-I comenzó a ofrecer 1st Object Exec, un sistema operativo en tiempo real basado en C ++ diseñado para el soporte directo a nivel de objeto de aplicaciones integradas. [40] A pesar de los considerables esfuerzos realizados durante 1993-1994, 1st Object Exec no logró ganar tracción en el mercado.
El único área en la que Ada logró una posición sólida fue en las aplicaciones en tiempo real, de alta confiabilidad, alta integridad y críticas para la seguridad, como la industria aeroespacial. [41] [34] [42] Basándose en su experiencia con Honeywell y otros clientes, DDC-I adquirió experiencia en la asignación del lenguaje Ada y las características de tiempo de ejecución a los requisitos de las certificaciones críticas para la seguridad, en particular las de DO-178B (Consideraciones de software en la certificación de equipos y sistemas aerotransportados), y proporcionó herramientas para ese proceso. [43] Dichas aplicaciones continuaron incluso después de que se abandonó el mandato de Ada en 1997. [34] Por ejemplo, en 1997 la empresa obtuvo un contrato conjunto con Sikorsky Aircraft y la División de Helicópteros de Boeing Defence & Space Group para desarrollar software para su uso en el Boeing / Sikorsky RAH-66 Comanche . [44]
En marzo de 1998, DDC-I adquirió de Texas Instruments los derechos de desarrollo, ventas y marketing de los compiladores Tartan Ada para los objetivos Intel i960 , Motorola 680x0 y MIL-STD-1750A. [45]
El soporte para el desarrollo de lenguaje mixto se agregó en 2000 con la adición del lenguaje de programación C como parte del entorno de desarrollo integrado de lenguaje mixto de DDC-I para SCORE (para seguridad crítica, orientada a objetos, incrustado en tiempo real). [46] Aprovechando el formato ANDF, el formato de depuración estandarizado DWARF y el protocolo OMI para comunicarse con los monitores de depuración de la placa de destino, SCORE pudo proporcionar un entorno común de creación y depuración para desarrolladores de aplicaciones en tiempo real. [46] Se agregó soporte para Embedded C ++ a SCORE en 2003, momento en el cual podría integrarse con una variedad de escenarios de placa de destino en procesadores Intel x86 y Power PC . [47] Los compiladores C y Embedded C ++ para ANDF provienen de un acuerdo de licencia para el compilador TenDRA (más tarde DDC-I se convirtió en el responsable de mantenimiento de esos compiladores). Posteriormente , se agregó a SCORE la compatibilidad con Ada 95 para los procesadores 1750A y TMS320C4x más antiguos . [48]
Sede de EE. UU. Y sistemas operativos en tiempo real
En abril de 2003, la industria se alejó de Ada y la posición en declive de la industria aeronáutica había cobrado su precio y DDC-I sufrió pérdidas financieras significativas. DDC-I decidió cerrar su oficina de Dinamarca en Lyngby y trasladar todas las operaciones a Phoenix. [49]
En septiembre de 2005, la empresa nombró a Bob Morris, anteriormente miembro de LynuxWorks , como su presidente y director ejecutivo. [50] Oest se convirtió en director de tecnología. [51] En abril de 2006, DDC-I se mudó a nuevas oficinas en el norte de Phoenix, indicando que se estaba expandiendo y que esperaba que los ingresos crecieran entre un 40 y un 50 por ciento con respecto al año anterior. [52]
Desde 2006, la compañía ha estado contribuyendo al Grupo de expertos de Java para Java crítico para la seguridad. [53] Los representantes de la empresa consideran que este trabajo, que utiliza la especificación en tiempo real para Java como base y luego especifica subconjuntos de lenguaje y biblioteca y reglas de codificación para proporcionar suficiente determinismo, hace que Java sea posiblemente igual o superior a cualquiera de los dos. Ada o C ++ como lenguaje para aplicaciones críticas para la seguridad. [54] La compañía ha visto el perfil Java crítico para la seguridad como uno que puede ayudar a la industria de defensa a lidiar con el problema del envejecimiento de las aplicaciones de software y hardware. [55] En 2008, DDC-I se refería a Ada como un lenguaje heredado y ofrecía herramientas semiautomatizadas y servicios profesionales para ayudar a los clientes a migrar a soluciones más nuevas. [51]
En noviembre de 2008, la compañía ingresó al mercado del sistema operativo en tiempo real integrado (RTOS) con dos productos, Deos y HeartOS. [56] [57] [58] Ambos se basaron en tecnología de software subyacente originada en Honeywell International y ya desplegada en muchos aviones comerciales y militares. [56] Como parte de la acción, DDC-I contrató a algunos de los ingenieros clave de Honeywell que habían diseñado Deos. [56] Otras empresas del mismo segmento de mercado de RTOS que DDC-I son LynuxWorks , Wind River Systems , SYSGO y Express Logic . [59]
Productos
- Deos es un sistema operativo en tiempo real particionado en tiempo y espacio (RTOS) que se certificó por primera vez en DO-178B nivel A en 1998. Deos contiene varias características arquitectónicas patentadas que incluyen mejoras para la utilización del procesador, la reutilización de software binario y la programación segura para múltiples núcleos. procesadores. Los usuarios de Deos tienen la capacidad de agregar módulos de personalidad ARINC 653 opcionales diseñados para adaptarse a las diferentes necesidades de la aplicación. Deos admite los procesadores ARM , MIPS , PowerPC y x86 , y es compatible con bibliotecas SSL / TLS populares como wolfSSL . [60] [61] Fue catalogado como uno de los 100 productos electrónicos más populares de 2009 por la revista EDN . [62]
- HeartOS es un sistema operativo en tiempo real basado en POSIX , diseñado para aplicaciones integradas pequeñas y medianas, incluidos los tipos críticos para la seguridad. Es compatible con ARM, PowerPC, x86 [63] y otros procesadores de 16 y 32 bits. Es configurable sin la capa de interfaz POSIX para sistemas con limitaciones de memoria.
- OpenArbor es un entorno de desarrollo integrado basado en Eclipse para el desarrollo de aplicaciones C, Embedded C ++ y Ada. Fue anunciado en 2007. [64]
- SCORE es un conjunto de herramientas integradas de lenguaje mixto para aplicaciones de software integradas en tiempo real, orientadas a objetos y críticas para la seguridad, que admiten aplicaciones Ada, C y Embedded C ++ para una variedad de arquitecturas integradas. [sesenta y cinco]
- Los productos del sistema de compilación Legacy Ada 83 y JOVIAL también continúan siendo compatibles. [66]
Bibliografía
- Bjørner, Dines; Gram, Christian; Oest, Ole N .; Rystrøm, Leif (2011). "Centro Dansk Datamatik". En Impagliazzo, John; Lundin, Per; Wangler, Benkt (eds.). Historia de la Computación Nórdica 3: Avances de IFIP en tecnología de la información y la comunicación . Saltador. págs. 350–359.Una versión ligeramente ampliada de este capítulo está disponible en línea en https://www.researchgate.net/publication/221271386_Dansk_Datamatik_Center . Una versión más ampliada forma parte de las memorias en línea de Bjørner en http://www.imm.dtu.dk/~dibj/trivia/node5.html . Una presentación de diapositivas de Gram basada en el documento está disponible en línea como ¿Por qué Dansk Datamatik Center?
- Bjørner, Dines; Havelund, Klaus. "40 años de métodos formales: ¿algunos obstáculos y algunas posibilidades?". FM 2014: Métodos formales: XIX Simposio internacional, Singapur, 12 al 16 de mayo de 2014. Actas . Saltador. págs. 42–61.
- Bundgaard, Jørgen (mayo de 1985). "El desarrollo de un front-end Ada para pequeños ordenadores". SIGAda '85: Actas de la conferencia internacional anual ACM SIGAda de 1985 sobre Ada . Asociación para Maquinaria de Computación. págs. 321–328.
- Bundgaard, Jørgen. "Un sistema compilador de Ada 95 basado en ANDF". Actas de la conferencia sobre TRI-Ada '95, 5 al 10 de noviembre de 1995 . Asociación para Maquinaria de Computación. págs. 436–445.
- Clemmensen, Geert B .; Oest, Ole N. (marzo de 1984). "Especificación formal y desarrollo de un compilador Ada - un estudio de caso de VDM". ICSE '84 Actas de la 7ª conferencia internacional sobre ingeniería de software . Prensa IEEE. págs. 430–440.
- Clemmensen, Geert B. (enero de 1986). "Retargeting y rehosting del sistema compilador DDC Ada: un caso de estudio - Honeywell DPS 6". ACM SIGAda Ada Letters . 6 (1): 22-28. doi : 10.1145 / 382256.382794 .
- Boletín de noticias . Grupo de retargeter del compilador de DDC Ada. 1 . Noviembre de 1985.
- Boletín de noticias . Grupo de retargeter del compilador de DDC Ada. 2 . Agosto de 1986.
- Boletín de noticias . Grupo de retargeter del compilador de DDC Ada. 3 . Diciembre de 1986.
- Fergany, Adel; Szewerenko, Leland; Rabinowitz, Moshe; Solomon, Eliezer N .; Pitarys, Marc; Benjamin, Clive L. "La implementación de la entrada asincrónica requiere dos arquitecturas diferentes". NAECON 1993: Actas de la Conferencia Nacional Aeroespacial y Electrónica de IEEE 1993, 24-28 de mayo de 1993 . págs. 486–495.
- Fitzgerald, John S .; Larsen, Peter Gorm; Verhoef, Marcel (2009). "Método de desarrollo de Viena". En Wah, Benjamin W. (ed.). Enciclopedia Wiley de Ciencias e Ingeniería Informática . Wiley. págs. 2971-2982.
- Escarcha, Jacob. "Una solución Ada95 para la certificación de aplicaciones críticas de seguridad integradas". Tecnologías de software fiables: Ada-Europe '99 . págs. 52–63.
- George, Chris. "El lenguaje de especificación RAISE: un tutorial". VDM '91: Métodos formales de desarrollo de software: 4º Simposio Internacional de VDM Europa, Noordwijkerhout, Países Bajos, octubre de 1991, Actas . 2 . Springer-Verlag. págs. 238–319.
- Ibsen, Leif (enero de 1984). "Una máquina virtual portátil para Ada". Software: práctica y experiencia . 14 (1): 17-29. doi : 10.1002 / spe.4380140104 .
- Jorgensen, Jesper. "Una comparación de las características orientadas a objetos de Ada 9X y C ++". Ada-Europe '93: 12ª Conferencia Internacional Ada-Europe, París, Francia, 14-18 de junio de 1993. Actas . págs. 125-141.
- Mancusi, Richard; Tokar, Joyce L .; Rabinowitz, Moshe; Solomon, Eliezer N .; Pitarys, Marc; Benjamin, Clive L. "Soporte de interrupción real y virtual: el mapeo de una característica CARTS a dos arquitecturas diferentes". Ada-Europe '93: 12ª Conferencia Internacional Ada-Europe, París, Francia, 14-18 de junio de 1993. Actas . págs. 314–329.
- Møller, Peter Lützen. "Eliminación de verificación en tiempo de ejecución para Ada 9X". Actas de la conferencia sobre TRI-Ada '94, 6 al 11 de noviembre de 1994 . Asociación para Maquinaria de Computación. págs. 122-128.
- Rehmer, Karl (2009). "El equipo de HADS". En Stellman, Andrew; Greene, Jennifer (eds.). Hermosos equipos: historias inspiradoras y cautelosas de líderes de equipo veteranos . Sebastopol, California: O'Reilly. págs. 299–312.
- Rosen, Jean-Pierre (septiembre de 2009). "La (s) paradoja (s) de Ada". SIGAda Ada Letters . 29 (2): 28–35. doi : 10.1145 / 1620593.1620597 .
- "Una entrevista con Oscar Schachter" (Entrevista). Entrevistado por Thomas Haigh. Instituto Charles Babbage, Universidad de Minnesota. 7 de mayo de 2004.Entrada a WorldCat
- Schilling, Jonathan L. "Uso de Ada en un entorno comercial de pequeñas empresas". Actas de WADAS '93 del décimo simposio anual de Washington Ada sobre Ada: del 28 de junio al 1 de julio de 1993 . ACM. págs. 89–94.
- Schilling, Jonathan L .; Nielsen, Johan Olmütz (mayo-junio de 1994). "Reconocimiento automático del compilador de las tareas del monitor". SIGAda Ada Letters . 14 (3): 91-104. doi : 10.1145 / 181468.181474 .
- Sward, Ricky E. (noviembre de 2010). "El ascenso, caída y persistencia de Ada". SIGAda '10: Actas de la conferencia internacional anual ACM SIGAda sobre SIGAda . págs. 71–74.
- Whitaker, William A. (1996). "Ada: el proyecto: el grupo de trabajo de lenguaje de orden superior del Departamento de Defensa" . En Bergin, Thomas J .; Gibson, Richard G. (eds.). Historia de los lenguajes de programación — II . Addison-Wesley Professional. págs. 173–232.
Referencias
- ^ Whitaker, "Ada: el proyecto", págs. 217-218.
- ^ Bundgaard, "El desarrollo de una interfaz Ada para computadoras pequeñas", p. 322.
- ^ Clemmensen, "Retargeting y realojar el sistema compilador DDC Ada", p. 22.
- ^ a b Acly, Ed (25 de marzo de 1985). "C, Ada & Lisp: una historia de tres idiomas" . Computerworld . pag. ID-1.
- ^ Bjørner, Gram, Oest y Rystrøm, "Dansk Datamatik Center", p. 351.
- ^ Bjørner, Gram, Oest y Rystrøm, "Dansk Datamatik Center", versión ampliada, p. 11.
- ^ "DDC-I, INC" . OpenCorporates . Consultado el 20 de septiembre de 2015 .
- ^ a b c Rehmer, "El equipo de HADS", p. 300.
- ^ a b Bundgaard, "El desarrollo de una interfaz Ada para computadoras pequeñas", p. 328.
- ↑ a b Bjørner, Gram, Oest y Rystrøm, "Dansk Datamatik Center", págs. 354.
- ^ Grupo del Retargeter del compilador de DDC Ada, Boletín nº 2, págs. 35–36.
- ^ "Productos". Revista de Pascal, Ada y Modula-2 . 5 . Marzo-abril de 1986. p. 70.
- ^ Grupo de retargeter del compilador de DDC Ada, boletín nº 1, págs. 7-8; No 2, págs. 5-7; No 3, págs. 13-15a.
- ^ a b Bjørner y Havelund, "40 años de métodos formales", p. 48.
- ^ Rehmer, "El equipo de HADS", p. 306.
- ^ Schilling, "Uso de Ada en un entorno comercial de pequeñas empresas", págs. 89-91.
- ^ Rehmer, "El equipo de HADS", págs. 305, 306, 307.
- ^ Rosen, "Las paradojas de Ada", p. 29.
- ^ Rehmer, "El equipo de HADS", págs. 299, 302.
- ^ a b c "Boeing vuela en 99% Ada" . Cámara de compensación de información de Ada. Archivado desde el original el 5 de noviembre de 2015 . Consultado el 24 de octubre de 2015 .
- ^ Wolfe, Alexander (octubre de 2004). "Todavía queda algo de vida en Ada" . Cola de ACM .También en http://delivery.acm.org/10.1145/1040000/1035608/p28-wolfe.pdf [ enlace muerto permanente ]
- ^ a b "DDC International adquiere el negocio de herramientas cruzadas de InterACT; forma una nueva unidad de negocio" (Comunicado de prensa). DDC-I. 4 de octubre de 1991.
- ^ Schilling y Nielsen, "Reconocimiento automático del compilador de tareas de monitor", págs. 91, 100-102.
- ^ Mancusi et al., "Soporte de interrupción real y virtual: el mapeo de una característica CARTS a dos arquitecturas diferentes".
- ^ Fergany et al., "La implementación de la entrada asincrónica requiere dos arquitecturas diferentes".
- ^ "Noticias internacionales de DDC". DDC International A / S. Verano de 1992.
- ^ "Lista de compiladores validados por Ada". Cámara de compensación de información de Ada. 1 de julio de 1992. págs. 8-10.
- ^ a b Bundgaard, Jørgen (17 de noviembre de 1992). Un enfoque práctico para aplicar el modelo de objetos a la construcción de un sistema compilador Ada 9X (informe). DDC-I.
- ^ Bundgaard, "Un sistema compilador Ada 95 basado en ANDF", p. 436.
- ^ "Especificación de diagnóstico TDF" . Agencia de Investigación y Evaluación de la Defensa. 30 de julio de 1998. Archivado desde el original el 11 de abril de 2016 . Consultado el 17 de enero de 2016 .
- ^ Møller, "Eliminación de verificación en tiempo de ejecución para Ada 9X", págs. 122, 126-128.
- ^ "Las pequeñas empresas sacan provecho del software del Pentágono" . Los Angeles Times . Reuters. 25 de noviembre de 1985.
- ^ Rosen, "Las paradojas de Ada", p. 34.
- ^ a b c Sward, "El ascenso, la caída y la persistencia de Ada", p. 71.
- ^ Rosen, "Las paradojas de Ada", págs. 32-33.
- ^ Ada y más allá: Políticas de software para el Departamento de Defensa . Comité de Contextos Pasados y Presentes para el Uso de Ada en el Departamento de Defensa, Junta de Informática y Telecomunicaciones, Consejo Nacional de Investigación. 1997. p. 11.
- ^ Schilling, "Uso de Ada en un entorno comercial de pequeñas empresas", págs. 89, 93.
- ^ Jorgensen, "Una comparación de las características orientadas a objetos de Ada 9X y C ++", págs. 140-141.
- ^ "Productos y herramientas de Ada: parte 2" . Oficina del Programa Conjunto Ada. 20 de noviembre de 1998.
- ^ "DDC International A / S presenta 1st Object Exec" . Diario del Dr. Dobb . Marzo de 1994.
- ^ Rosen, "Las paradojas de Ada", págs. 33-34.
- ^ Feldman, Michael B. (noviembre de 2014). "¿Quién está usando Ada? Proyectos del mundo real impulsados por el lenguaje de programación Ada" . Universidad George Washington . Consultado el 7 de octubre de 2015 .
- ^ Frost, "Una solución Ada95 para la certificación de aplicaciones críticas de seguridad integradas", págs. 52-53
- ^ "Contrato de aviones de alta tecnología" . Diario de negocios de Phoenix . 23 de mayo de 1997.
- ^ "Texas Instruments nombra distribuidor exclusivo de DDC-I para tres productos Ada" (Comunicado de prensa). DDC-I, Texas Instruments. 13 de marzo de 1998.
- ^ a b "El nuevo sistema SCORE Ada de DDC-I utiliza estándares abiertos" . Anuncios de conferencias . SIGAda. 2 de marzo de 2000 . Consultado el 17 de enero de 2016 .
- ^ "Tecnología SCORE de DDC-I, incluida la integración con OSE RTOS" . DDC-I . Consultado el 11 de enero de 2016 .
- ^ "DDC-I anuncia la disponibilidad del entorno de desarrollo integrado SCORE para TMS320C40 DSP" (comunicado de prensa). DDC-I. 4 de diciembre de 2006. Archivado desde el original el 4 de marzo de 2016.
- ^ Bjørner, Gram, Oest y Rystrøm, "Dansk Datamatik Center", versión ampliada, p. 2.
- ^ "DDC-I nombra a Bob Morris como presidente y director ejecutivo" (Comunicado de prensa). DDC-I. 1 de septiembre de 2005. Archivado desde el original el 16 de febrero de 2016.
- ^ a b Oest, Ole N. (24 de junio de 2008). "Migración de sistemas embebidos complejos" . Sistemas militares integrados .
- ^ "DDC-I Inc. mueve la sede" (Comunicado de prensa). BusinessWire. 24 de abril de 2006.
- ^ "DDC-I se une al grupo de expertos de Java críticos para la seguridad" . La biblioteca gratuita. 17 de noviembre de 2006.
- ^ Nielsen, Johan O .; Plans, Alex J. (marzo de 2008). "El lenguaje informático Java observa aplicaciones críticas para la seguridad, en tiempo real" . Electrónica militar y aeroespacial .
- ^ Oest, Ole N. (2 de abril de 2008). "Fusionando software heredado en el diseño de sistemas contemporáneos" . Sistemas militares integrados .
- ^ a b c Cole, Bernard (17 de noviembre de 2008). "Noticias: DDC-I entra en el mercado RTOS integrado con Deos y HeartOS" . EE Times .
- ^ "DDC-I entra en el mercado de RTOS integrado" . Diseño de Computación Embebida (Comunicado de prensa). 17 de noviembre de 2008. Archivado desde el original el 10 de julio de 2011.
- ^ "DDC-I anuncia el más alto rendimiento y los RTOS críticos para la seguridad más fácilmente certificables" . Sistemas militares integrados (Comunicado de prensa). 17 de noviembre de 2008.
- ^ McKenna, Ed (abril de 2014). "Sistemas operativos en tiempo real que abordan los dilemas de certificación, seguridad y estándares" . Aviónica .
- ^ Cheung, Ken. "DDC-I Deos RTOS admite Freescale e300 y e500 Core" . Embeddedstar. Archivado desde el original el 20 de junio de 2010 . Consultado el 30 de agosto de 2010 .
- ^ Cole, Bernard (22 de septiembre de 2009). "RTOS de seguridad crítica de DDC-I ahora disponible para la CPU Atom de Intel" . EETimes .
- ^ "Los 100 productos electrónicos más populares de 2009" . EDN . 15 de diciembre de 2009. Archivado desde el original el 3 de abril de 2012.
- ^ "Soporte HeartOS RTOS para procesador ARM" . Dr. Dobbs . 19 de marzo de 2010.
- ^ "DDC-I anuncia el paquete de desarrollo de lenguaje mixto basado en Eclipse para el desarrollo integrado en tiempo real" (comunicado de prensa). Business Wire. 15 de octubre de 2007.
- ^ "Entorno de desarrollo integrado de lenguaje mixto SCORE (Safety Critical, Object-Orientado, Real-time Embedded)" . DDC-I . Consultado el 10 de enero de 2016 .
- ^ "Sistemas de desarrollo maduros, probados en el campo en cientos de aplicaciones" . DDC-I . Consultado el 10 de enero de 2016 .
enlaces externos
- Página web oficial
- Freescale Semiconductor - Entrada a Alliance Network
- ARM - Entrada a la comunidad conectada