Hispanopedia Wiki
Articulo de referencia

DDC-I

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 ...

Hispanopedia WikiContenido en espanolLectura gratuita

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 . Fue creada por primera vez en 1985 como la firma danesa DDC International A/S (también conocida como DDC-I A/S ), una derivación 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 se creó en 1986. Durante muchos años, la firma se especializó en compiladores de lenguaje para el lenguaje de programación Ada .

En 2003, se cerró la oficina danesa 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 estaba la creación de un sistema de compilación para el lenguaje de programación Ada . Ada era un lenguaje difícil de implementar y los primeros proyectos de compilación para él a menudo resultaron decepcionantes. [1] Pero el diseño del compilador de DDC era sólido y pasó por primera vez el conjunto estandarizado de pruebas de lenguaje y tiempo de ejecución de Capacidad de Validación de Compiladores Ada (ACVC) patrocinado por el Departamento de Defensa de los Estados Unidos en un sistema VAX / VMS en septiembre de 1984. [2] Como tal, fue el primer compilador Ada europeo en cumplir con este estándar. [3] [4]

El éxito del proyecto Ada condujo a la formación de una empresa independiente en 1985, llamada DDC International A/S, con el propósito de comercializar el producto del sistema compilador Ada. [5] Al igual que su creador, tenía su sede en Lyngby , Dinamarca . Ole N. Oest fue nombrado director general de DDC International. [6] En 1986, se fundó DDC-I, Inc. como empresa subsidiaria estadounidense. [7] Ubicada en Phoenix, Arizona , se centró en actividades de ventas, atención al cliente y consultoría de ingeniería en los Estados Unidos. [8]

Compilador Ada

DDC International A/S tenía su sede en una antigua fábrica textil reformada en Lyngby, Dinamarca, que aparece aquí en 1990.

DDC-I estableció un negocio para vender el producto del sistema compilador Ada, llamado DACS, directamente a empresas, tanto como software para desarrollar proyectos en Ada, como código fuente para fabricantes de computadoras y otros, quienes lo alojarían o redireccionarían a otros procesadores y sistemas operativos . [9] [10]

La primera empresa vendía tanto compiladores nativos como compiladores cruzados , siendo estos últimos más comunes ya que Ada se utilizaba principalmente en el ámbito de los sistemas integrados . Uno de los primeros compiladores cruzados que desarrolló DDC-I fue el de VAX/VMS para 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 centraría tanto en sus ordenadores multimicroprocesador MARA-860 y MARA-286, basados ​​en las arquitecturas 8086 y 80286, como en los sistemas genéricos integrados y alojados en SO 8086 y 80286. [11] Este trabajo fue el comienzo de lo que se convertiría en la línea de productos de mayor venta de la empresa. DDC-I se ganó una reputación por sus compiladores cruzados Ada de calidad y sus sistemas de ejecución en tiempo real para procesadores Intel 80x86 . [8]

La segunda empresa hizo uso de lo que se denominó el DDC OEM Compiler Kit, [10] que podría utilizar el front-end Ada para compiladores para otros hosts u objetivos o para otras herramientas como VLSI . En una reunión de septiembre de 1985 en Lund, Suecia , varios de los clientes del OEM Kit formaron el DDC Ada Compiler Retargeter's Group. [12] Se celebraron al menos tres reuniones a lo largo de 1985 y 1986. Los primeros clientes OEM incluyeron la Universidad de Lund , Defence Materiel Administration y Ericsson Radio Systems en Suecia; Softplan y Nokia Information Systems en Finlandia; Selenia y Olivetti en Italia; ICL Defence Systems y STL Ltd en el Reino Unido; Aitech Software Engineering en Israel; y Advanced Computer Techniques , Rockwell Collins , Control Data Corporation y General Systems Group en los Estados Unidos. [13]

Varios desarrolladores de compiladores Ada en DDC International en Lyngby en 1990.

Los desarrolladores posteriores a menudo estaban menos versados ​​en los métodos formales y no los usaban en su trabajo en el compilador. [14] Esto fue aún más cierto en el caso de las empresas que reorientaron 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 de compiladores de Ada, incluidas Alsys , TeleSoft , Verdix , Tartan Laboratories y TLD Systems . [4] (DDC-I permanecería en el negocio por más tiempo que cualquiera de estos otros. [14] ) Al igual que con otros proveedores de compiladores de Ada, gran parte del tiempo de los ingenieros de DDC-I se dedicó a cumplir con las grandes y difíciles pruebas de ACVC. [17] [18]

A partir de 1988 y durante varios años, los consultores de DDC-I colaboraron con Honeywell Air Transport Systems para redirigir 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 de pasajeros Boeing 777. [8] [20] Este software, llamado Airplane Information Management System (Sistema de gestión de información de aviones) , se convertiría posiblemente en el más conocido de todos los proyectos de Ada en uso, tanto civiles como militares. [21] Unos 550 desarrolladores de Honeywell trabajaron en el sistema de vuelo y se publicitó como una importante historia de éxito de Ada. [20]

La oficina de desarrollo de DDC-I en Nueva York estaba en el piso 31 de este edificio.

En octubre de 1991, se anunció que DDC-I había adquirido el negocio de sistemas embebidos de 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 llamó brevemente DDC-Inter [22] antes de ser absorbida por 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 a la línea de productos. El producto MIPS fue uno en el que DDC-I hizo hincapié, con esfuerzos de ingeniería que incluyeron el reconocimiento automático de ciertas optimizaciones de tareas, [23] y el 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 entornos de tiempo de ejecución Ada. [24] [25]

A finales de 1993, la oficina de Nueva York se cerró y su trabajo se trasladó a la oficina de Phoenix.

A principios de la década de 1990, DDC-I ofrecía compiladores nativos de Ada para VAX/VMS, Sun-3 y SPARC bajo SunOS , e Intel 80386 bajo UNIX System V y OS/2 , y ofrecía compiladores cruzados para Motorola 680x0 e Intel i860 además de los objetivos mencionados anteriormente. [26] [27]

Ada 95 y exploraciones de otras líneas de productos

La oficina de DDC International en Lyngby mostró elementos de diseño daneses, vistos aquí en 1992.

A principios de los años 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 Global Language and Uniform Environment (OMI/GLUE) de la Open Microprocessor Initiative con sede en la Comunidad Europea, donde el papel de DDC-I fue crear un compilador dirigido a la forma intermedia Architecture Neutral Distribution Format (ANDF), 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 en la expansión de algunas de las capacidades de ANDF para expresar la semántica de Ada y el lenguaje de programación de rápido crecimiento C++ . [30] El trabajo en áreas específicas de Ada, como la eliminación de comprobación de límites , se realizó para obtener un rendimiento óptimo en tiempo de ejecución. [31]

En un principio se pensó que el entorno de software Ada sería un mercado prometedor. [32] Pero el negocio de compiladores Ada resultó ser un mercado difícil de abordar. [33] Durante este período, 1987-97, el gobierno de los EE. UU. exigió el uso de Ada, aunque con algunas exenciones concedidas. [34] Muchas de las ventajas del lenguaje para la programación de propósito general no eran vistas como tales por la comunidad de ingeniería de software en general ni por los educadores. [35] La situación de las ventas era complicada, 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 del lenguaje Ada, tanto para su uso en la empresa [37] como en el ámbito externo. Un artículo publicado por uno de sus ingenieros en 1993 evaluaba las características orientadas a objetos de Ada 95 de manera favorable en comparación con las de C++ y atrajo cierta atención. [38]

Una vista de palmeras desde la oficina de DDC-I en Phoenix, 1993.

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 ofrecía 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 compilador Ada. [39] El mayor esfuerzo se dirigió hacia C++. DDC-I comenzó a ofrecer 1st Object Exec, un sistema operativo en tiempo real basado en C++ destinado al soporte directo a nivel de objeto de aplicaciones integradas. [40] A pesar de los considerables esfuerzos durante 1993-94, 1st Object Exec no logró ganar terreno en el mercado.

El único ámbito en el que Ada consiguió una sólida presencia fue en aplicaciones de seguridad crítica, de alta fiabilidad y alta integridad en tiempo real, como la aeroespacial. [41] [34] [42] Basándose en su experiencia con Honeywell y otros clientes, DDC-I adquirió experiencia en la adaptación del lenguaje Ada y de las características de tiempo de ejecución a los requisitos de las certificaciones críticas para la seguridad, en particular las del estándar DO-178B (Consideraciones de software en la certificación de sistemas y equipos aéreos), y proporcionó herramientas para ese proceso. [43] Estas aplicaciones continuaron incluso después de que se abandonara el mandato de Ada en 1997. [34] Por ejemplo, en 1997 la empresa recibió un contrato conjunto con Sikorsky Aircraft y la División de helicópteros de Boeing Defense & Space Group para desarrollar software que se utilizaría en el Boeing/Sikorsky RAH-66 Comanche . [44]

En marzo de 1998, DDC-I adquirió de Texas Instruments los derechos de desarrollo y de ventas y comercialización de los compiladores Tartan Ada para los objetivos Intel i960 , Motorola 680x0 y MIL-STD-1750A. [45]

En 2000 se agregó soporte para el desarrollo de lenguaje mixto con la incorporación del lenguaje de programación C como parte del entorno de desarrollo integrado de lenguaje mixto de DDC-I para SCORE (para Safety-Critical, Object-oriented, Real-time Embedded). [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 de construcción y depuración común para los desarrolladores de aplicaciones en tiempo real. [46] En 2003 se agregó soporte para C++ integrado a SCORE, momento en el que podía integrarse con una variedad de escenarios de placa de destino en procesadores Intel x86 y Power PC . [47] Los compiladores C y C++ integrado para ANDF provienen de un acuerdo de licencia para el compilador TenDRA (más tarde DDC-I se convirtió en el mantenedor de esos compiladores). Posteriormente, se agregó a SCORE soporte Ada 95 para los procesadores 1750A y TMS320C4x más antiguos. [48]

Sede en EE.UU. y sistemas operativos en tiempo real

En abril de 2003, la salida de la industria de Ada y el deterioro de la posición de la industria aeronáutica habían hecho mella en DDC-I, que sufrió pérdidas financieras significativas. DDC-I decidió cerrar su oficina danesa en Lyngby y trasladar todas sus operaciones a Phoenix. [49]

En septiembre de 2005, la empresa nombró a Bob Morris, ex 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, declarando 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 empresa ha estado contribuyendo al Grupo de Expertos de Java para Java Crítico de Seguridad. [53] Este trabajo, que utiliza la especificación de tiempo real para Java como base y luego especifica subconjuntos de lenguaje y biblioteca y reglas de codificación para su uso para proporcionar suficiente determinismo, es visto por los representantes de la empresa como una manera de hacer que Java posiblemente sea igual o superior a Ada o C++ como lenguaje para aplicaciones críticas de seguridad. [54] La empresa ha visto el perfil Java crítico de 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] Para 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 empresa entró en el mercado de sistemas operativos en tiempo real integrados (RTOS) con dos productos, Deos y HeartOS. [56] [57] [58] Ambos se basaban en tecnología de software subyacente originada en Honeywell International y ya implementada 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 en el mismo segmento de mercado de RTOS que DDC-I incluyen LynuxWorks , Wind River Systems , SYSGO y Express Logic . [59]

Tras su entrada en el segmento de mercado RTOS en 2008, los productos y servicios asociados con Deos RTOS se convirtieron rápidamente en el foco comercial principal y el área principal de inversión en I+D para DDC-I. Las principales incorporaciones a la línea de productos Deos y el año de introducción incluyen: 2011 - soporte de interfaz ARINC 653 , 2014 - expansión del soporte para procesadores basados ​​en ARM Cortex-A además del soporte existente para procesadores x86 y PowerPC , 2015 - adición de soporte para el perfil del segmento del sistema operativo (OSS) de base de seguridad del entorno de capacidad aérea futura (FACE) , 2017 - soporte de procesador multinúcleo a través de su tecnología SafeMC, 2019 - recibió el Certificado de conformidad FACE para el perfil de base de seguridad OSS según el estándar técnico FACE, edición 3.0, 2021 - primer RTOS en recibir un Certificado de conformidad FACE para perfiles de base de seguridad OSS y extendidos según el estándar técnico FACE, edición 3.1, 2023 - finalización de la segunda verificación de nivel A de garantía de diseño DO-178C (DAL A) multinúcleo en múltiples procesadores ARM y PowerPC .

Productos

  • Deos es un sistema operativo en tiempo real (RTOS) particionado en tiempo y espacio que fue certificado por primera vez según DO-178B DAL A en 1998. Deos contiene varias características arquitectónicas patentadas, incluidas mejoras para la utilización del procesador, reutilización de software binario y programación segura para procesadores multinúcleo. Los usuarios de Deos tienen la capacidad de agregar módulos de personalidad ARINC 653 opcionales diseñados para adaptarse a diferentes necesidades de aplicación. Deos es compatible con 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 de tiempo real basado en POSIX , diseñado para aplicaciones integradas pequeñas y medianas, incluidas las de tipo crítico 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 en C, C++ integrado y Ada. Fue anunciado en 2007. [64]
  • SCORE es un conjunto de herramientas integradas en lenguaje mixto para aplicaciones de software integradas, orientadas a objetos y críticas para la seguridad, en tiempo real, que admiten aplicaciones Ada, C y Embedded C++ para una variedad de arquitecturas integradas. [65]
  • Los productos del sistema de compilación Legacy Ada 83 y JOVIAL también continúan recibiendo soporte. [66]

Bibliografía

  • Bjorner, Dines; Abuela, cristiana; Oest, Ole N.; Rystrom, Leif (2011). "Centro Dansk Datamatik". En Impagliazzo, Juan; Lundin, Per; Wangler, Benkt (eds.). Historia de la informática nórdica 3: avances del IFIP en tecnologías de la información y las comunicaciones . 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 artículo está disponible en línea en ¿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: 19.° simposio internacional, Singapur, 12-16 de mayo de 2014. Actas . Springer. pp.  42-61 .
  • Bundgaard, Jørgen (mayo de 1985). "El desarrollo de un front end Ada para ordenadores pequeños". SIGAda '85: Actas de la conferencia internacional anual ACM SIGAda de 1985 sobre Ada. Association for Computing Machinery. págs.  321– 328.
  • Bundgaard, Jørgen. "Un sistema compilador Ada 95 basado en ANDF". Actas de la conferencia sobre TRI-Ada '95, 5-10 de noviembre de 1995. Association for Computing Machinery. 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". Actas de la 7.ª conferencia internacional sobre ingeniería de software ICSE '84. IEEE Press. págs.  430-440 .
  • Clemmensen, Geert B. (enero de 1986). "Redireccionamiento y reubicación del sistema compilador DDC Ada: un estudio de caso: el Honeywell DPS 6". ACM SIGAda Ada Letters . 6 (1): 22– 28. doi :10.1145/382256.382794. S2CID  16337448.
  • Boletín informativo . Grupo de redireccionadores del compilador Ada de DDC. Vol. 1. Noviembre de 1985.
  • Boletín informativo . Grupo de redireccionadores del compilador Ada de DDC. Vol. 2. Agosto de 1986.
  • Boletín informativo . Grupo de redireccionadores del compilador Ada de DDC. Vol. 3. Diciembre de 1986.
  • Fergany, Adel; Szewerenko, Leland; Rabinowitz, Moshe; Solomon, Eliezer N.; Pitarys, Marc; Benjamin, Clive L. "La implementación de llamadas de entrada asincrónicas en dos arquitecturas diferentes". NAECON 1993: Actas de la Conferencia Nacional Aeroespacial y Electrónica del IEEE de 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 de la Computación e Ingeniería . Wiley. págs.  2971– 2982.
  • Frost, 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 Europe, Noordwijkerhout, Países Bajos, octubre de 1991, Actas . Vol. 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. S2CID  206508565.
  • Jorgensen, Jesper. "Una comparación de las características orientadas a objetos de Ada 9X y C++". Ada-Europe '93: 12.ª Conferencia internacional de 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 interrupciones reales y virtuales: el mapeo de una característica CARTS a dos arquitecturas diferentes". Ada-Europe '93: 12.ª Conferencia internacional de Ada-Europe, París, Francia, 14-18 de junio de 1993. Actas . págs.  314-329 .
  • Møller, Peter Lützen. "Eliminación de comprobaciones en tiempo de ejecución para Ada 9X". Actas de la conferencia sobre TRI-Ada '94, 6-11 de noviembre de 1994. Association for Computing Machinery. págs.  122-128 .
  • Rehmer, Karl (2009). "El equipo HADS". En Stellman, Andrew; Greene, Jennifer (eds.). Beautiful Teams: Inspiring and Cautionary Tales from Veteran Team Leaders . Sebastopol, California: O'Reilly. págs.  299– 312.
  • Rosen, Jean-Pierre (septiembre de 2009). "Las paradojas de Ada". ACM SIGAda Ada Letters . 29 (2): 28– 35. doi :10.1145/1620593.1620597. S2CID  608405.
  • "Entrevista con Oscar Schachter" (Entrevista). Entrevista realizada por Thomas Haigh. Instituto Charles Babbage, Universidad de Minnesota. 7 de mayo de 2004.Entrada de WorldCat
  • Schilling, Jonathan L. "Uso de Ada en un entorno comercial de pequeñas empresas". WADAS '93 Actas del décimo simposio anual sobre Ada en Washington: 28 de junio – 1 de julio de 1993. ACM. págs.  89– 94.
  • Schilling, Jonathan L.; Nielsen, Johan Olmütz (mayo-junio de 1994). "Reconocimiento automático de tareas de monitorización por parte del compilador". ACM SIGAda Ada Letters . 14 (3): 91– 104. doi :10.1145/181468.181474. S2CID  17557993.
  • Sward, Ricky E. (noviembre de 2010). "El ascenso, la caída y la persistencia de Ada". SIGAda '10: Actas de la conferencia internacional anual de ACM SIGAda sobre SIGAda. págs.  71– 74.
  • Whitaker, William A. (1996). "Ada—The Project: The DoD High Order Language Working Group". En Bergin, Thomas J.; Gibson, Richard G. (eds.). Historia de los lenguajes de programación—II . Addison-Wesley Professional. págs.  173– 232. ISBN 9780201895025.

Referencias

  1. ^ Whitaker, "Ada—El Proyecto", págs. 217–218.
  2. ^ Bundgaard, "El desarrollo de un front-end Ada para computadoras pequeñas", p. 322.
  3. ^ Clemmensen, "Reorientación y realojamiento del sistema compilador DDC Ada", pág. 22.
  4. ^ ab Acly, Ed (25 de marzo de 1985). "C, Ada y Lisp: una historia de tres lenguajes". Computerworld . p. ID-1.
  5. ^ Bjørner, Gram, Oest y Rystrøm, "Dansk Datamatik Center", p. 351.
  6. ^ Bjørner, Gram, Oest y Rystrøm, "Dansk Datamatik Center", versión ampliada, p. 11.
  7. ^ "DDC-I, INC". OpenCorporates . Consultado el 20 de septiembre de 2015 .
  8. ^ abc Rehmer, "El equipo HADS", pág. 300.
  9. ^ ab Bundgaard, "El desarrollo de un front-end Ada para computadoras pequeñas", pág. 328.
  10. ^ ab Bjørner, Gram, Oest y Rystrøm, "Dansk Datamatik Center", págs.354.
  11. ^ Grupo de retargeadores del compilador DDC Ada, boletín informativo n.º 2, págs. 35-36.
  12. ^ "Productos". Revista de Pascal, Ada y Modula-2 . Vol. 5. Marzo-abril de 1986. pág. 70.
  13. ^ DDC Ada Compiler Retargeter's Group, Boletín informativo n.º 1, págs. 7-8; n.º 2, págs. 5-7; n.º 3, págs. 13-15a.
  14. ^ ab Bjørner y Havelund, "40 años de métodos formales", pág. 48.
  15. ^ Rehmer, "El equipo HADS", pág. 306.
  16. ^ Schilling, "Uso de Ada en un entorno comercial de pequeñas empresas", págs. 89-91.
  17. ^ Rehmer, "El equipo HADS", págs. 305, 306, 307.
  18. ^ Rosen, "Las paradojas de Ada", pág. 29.
  19. ^ Rehmer, "El equipo HADS", págs. 299, 302.
  20. ^ abc "Boeing vuela con un 99 % de Ada". Ada Information Clearinghouse. Archivado desde el original el 5 de noviembre de 2015. Consultado el 24 de octubre de 2015 .
  21. ^ Wolfe, Alexander (octubre de 2004). "Aún queda algo de vida en Ada". Cola ACM .También en http://delivery.acm.org/10.1145/1040000/1035608/p28-wolfe.pdf [ enlace muerto permanente ]
  22. ^ ab "DDC International adquiere el negocio de herramientas cruzadas de InterACT y crea una nueva unidad de negocios" (Comunicado de prensa). DDC-I. 4 de octubre de 1991.
  23. ^ Schilling y Nielsen, "Reconocimiento automático del compilador de tareas de monitorización", págs. 91, 100–102.
  24. ^ Mancusi et al., "Soporte de interrupciones reales y virtuales: el mapeo de una característica CARTS a dos arquitecturas diferentes".
  25. ^ Fergany et al., "La implementación de llamadas de entrada asincrónicas en dos arquitecturas diferentes".
  26. ^ "Noticias internacionales de DDC". DDC International A/S. Verano de 1992.
  27. ^ "Lista de compiladores validados por Ada". Ada Information Clearinghouse. 1 de julio de 1992. págs.  8-10 .
  28. ^ ab 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.
  29. ^ Bundgaard, "Un sistema compilador Ada 95 basado en ANDF", p. 436.
  30. ^ "Especificación de diagnóstico TDF". Agencia de Evaluación e Investigación de Defensa. 30 de julio de 1998. Archivado desde el original el 11 de abril de 2016 . Consultado el 17 de enero de 2016 .
  31. ^ Møller, "Eliminación de comprobaciones en tiempo de ejecución para Ada 9X", págs. 122, 126–128.
  32. ^ "Las pequeñas empresas aprovechan el software del Pentágono". Los Angeles Times . Reuters. 25 de noviembre de 1985.
  33. ^ Rosen, "Las paradojas de Ada", pág. 34.
  34. ^ abc Sward, "El ascenso, la caída y la persistencia de Ada", pág. 71.
  35. ^ Rosen, "Las paradojas de Ada", págs.
  36. ^ Ada y más allá: políticas de software para el Departamento de Defensa . Comité sobre los contextos pasados ​​y presentes para el uso de Ada en el Departamento de Defensa, Junta de Ciencias de la Computación y Telecomunicaciones, Consejo Nacional de Investigación. 1997. pág. 11.
  37. ^ Schilling, "Uso de Ada en un entorno comercial de pequeñas empresas", págs. 89, 93.
  38. ^ Jorgensen, "Una comparación de las características orientadas a objetos de Ada 9X y C++", págs. 140-141.
  39. ^ "Productos y herramientas de Ada: Parte 2". Oficina del Programa Conjunto de Ada. 20 de noviembre de 1998.
  40. ^ "DDC International A/S presenta el primer Object Exec". Revista del Dr. Dobb . Marzo de 1994.
  41. ^ Rosen, "Las paradojas de Ada", págs.
  42. ^ Feldman, Michael B. (noviembre de 2014). "¿Quién usa Ada? Proyectos del mundo real impulsados ​​por el lenguaje de programación Ada". Universidad George Washington. Archivado desde el original el 31 de agosto de 2015. Consultado el 7 de octubre de 2015 .
  43. ^ Frost, "Una solución Ada95 para la certificación de aplicaciones críticas de seguridad integradas", págs. 52-53
  44. ^ "Contrato de aeronaves de alta tecnología". Phoenix Business Journal . 23 de mayo de 1997.
  45. ^ "Texas Instruments designa a DDC-I como distribuidor exclusivo de tres productos Ada" (Comunicado de prensa). DDC-I, Texas Instruments. 13 de marzo de 1998.
  46. ^ ab "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 .
  47. ^ "Tecnología SCORE de DDC-I, incluida la integración con OSE RTOS". DDC-I . Consultado el 11 de enero de 2016 .
  48. ^ "DDC-I anuncia la disponibilidad del entorno de desarrollo integrado SCORE para el DSP TMS320C40" (nota de prensa). DDC-I. 4 de diciembre de 2006. Archivado desde el original el 4 de marzo de 2016.
  49. ^ Bjørner, Gram, Oest y Rystrøm, "Dansk Datamatik Center", versión ampliada, p. 2.
  50. ^ "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.
  51. ^ ab Oest, Ole N. (24 de junio de 2008). "Migración de sistemas integrados complejos". Military Embedded Systems .
  52. ^ "DDC-I Inc. traslada su sede" (Comunicado de prensa). BusinessWire. 24 de abril de 2006.
  53. ^ "DDC-I se une al grupo de expertos en seguridad crítica de Java". The Free Library. 17 de noviembre de 2006. Archivado desde el original el 21 de octubre de 2012. Consultado el 25 de agosto de 2010 .
  54. ^ Nielsen, Johan O.; Plans, Alex J. (marzo de 2008). "El lenguaje informático Java apunta a aplicaciones en tiempo real críticas para la seguridad". Military & Aerospace Electronics .
  55. ^ Oest, Ole N. (2 de abril de 2008). "Fusionar software heredado en el diseño de sistemas contemporáneos". Military Embedded Systems .
  56. ^ abc Cole, Bernard (17 de noviembre de 2008). "Noticias: DDC-I ingresa al mercado de sistemas operativos en tiempo real integrados con Deos y HeartOS". EE Times .
  57. ^ "DDC-I entra en el mercado de sistemas operativos en tiempo real integrados". Embedded Computing Design (nota de prensa). 17 de noviembre de 2008. Archivado desde el original el 10 de julio de 2011.
  58. ^ "DDC-I anuncia el sistema operativo en tiempo real (RTOS) crítico para la seguridad más fácil de certificar y de mayor rendimiento". Military Embedded Systems (Comunicado de prensa). 17 de noviembre de 2008.
  59. ^ McKenna, Ed (abril de 2014). "Sistemas operativos en tiempo real que abordan los dilemas de la certificación, la seguridad y los estándares". Aviónica .
  60. ^ Cheung, Ken. "DDC-I Deos RTOS admite núcleos Freescale e300 y e500". Embeddedstar. Archivado desde el original el 20 de junio de 2010. Consultado el 30 de agosto de 2010 .
  61. ^ Cole, Bernard (22 de septiembre de 2009). "El sistema operativo en tiempo real (RTOS) crítico para la seguridad de DDC-I ahora está disponible para la CPU Atom de Intel". EETimes .
  62. ^ "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.
  63. ^ "Soporte HeartOS RTOS para procesador ARM". Dr. Dobb . 19 de marzo de 2010.
  64. ^ "DDC-I anuncia una suite de desarrollo de lenguaje mixto basada en Eclipse para desarrollo integrado en tiempo real" (Comunicado de prensa). Business Wire. 15 de octubre de 2007.
  65. ^ "SCORE (Safety Critical, Object-oriented, Real-time Embedded) Mixed-Language Integrated Development Environment" (Entorno de desarrollo integrado de lenguaje mixto SCORE (Safety Critical, orientado a objetos, integrado en tiempo real)). DDC-I . Consultado el 10 de enero de 2016 .
  66. ^ "Sistemas de desarrollo maduros, probados en campo en cientos de aplicaciones". DDC-I . Consultado el 10 de enero de 2016 .
Taza DDC-I de los años 90
  • Sitio web oficial
  • NXP Semiconductors – Entrada de socio registrado
Obtenido de "https://es.wikipedia.org/w/index.php?title=DDC-I&oldid=1240164552"