DDC-I - DDC-I
 | |
| Modelo | Propriedade privada |
|---|---|
| Indústria | software embarcado de segurança crítica |
| Fundado | 1985 em Kongens Lyngby , Dinamarca |
| Quartel general | Phoenix, Arizona |
Pessoas chave |
Bob Morris, presidente / CEO Ole N.Oest, fundador / CTO |
| Produtos |
Sistemas operacionais em tempo real : Deos, sistemas HeartOS Compiler : Ada |
| Local na rede Internet | www |
A DDC-I, Inc. é uma empresa privada que fornece desenvolvimento de software de sistemas operacionais em tempo real , ferramentas de desenvolvimento de software e serviços de software para aplicativos embarcados de segurança crítica , com sede em Phoenix, Arizona . Foi criada em 1985 como a empresa dinamarquesa DDC International A / S (também conhecida como DDC-I A / S ), uma conseqüência comercial do Dansk Datamatik Center , uma organização dinamarquesa de pesquisa e desenvolvimento de software da década de 1980. A subsidiária americana foi criada em 1986. Por muitos anos, a empresa se especializou em compiladores de linguagens para a linguagem de programação Ada .
Em 2003, o escritório dinamarquês foi fechado e todas as operações transferidas para o local de Phoenix.
Origens
As origens da DDC International A / S residem no Dansk Datamatik Center , uma organização dinamarquesa de pesquisa e desenvolvimento de software que foi formada em 1979 para demonstrar o valor do uso de técnicas modernas, especialmente aquelas envolvendo métodos formais , em design e desenvolvimento de software. Entre seus diversos projetos estava a criação de um sistema compilador para a linguagem de programação Ada . Ada era uma linguagem difícil de implementar e os primeiros projetos de compilação para ela muitas vezes se revelaram decepcionantes. Mas o design do compilador DDC era sólido e passou pela primeira vez nos testes de Capacidade de Validação do Compilador Ada (ACVC) patrocinados pelo Departamento de Defesa dos Estados Unidos em um sistema VAX / VMS em setembro de 1984. Como tal, foi o primeiro compilador Ada europeu a atender isso padrão.
O sucesso do projeto Ada levou à formação de uma empresa separada em 1985, chamada DDC International A / S, com o objetivo de comercializar o produto do sistema compilador Ada. Como seu criador, era baseado em Lyngby , Dinamarca . Ole N. Oest foi nomeado diretor administrativo da DDC International. Em 1986, a DDC-I, Inc. foi fundada como uma empresa subsidiária americana. Localizada em Phoenix, Arizona , ela se concentrava em vendas, suporte ao cliente e atividades de consultoria de engenharia nos Estados Unidos.
Compilador Ada
A DDC-I estabeleceu um negócio de venda do produto de sistema de compilador Ada, denominado DACS, diretamente para empresas, tanto como software para desenvolver projetos em Ada com, quanto como código-fonte para fabricantes de computador e outros, que iriam hospedá-lo novamente ou redirecioná-lo para outros processadores e sistemas operacionais .
O primeiro negócio vendeu compiladores nativos e compiladores cruzados , sendo o último mais comum, uma vez que Ada era usado principalmente no reino de sistemas embarcados . Um dos primeiros compiladores cruzados que o DDC-I desenvolveu foi do VAX / VMS para o Intel 8086 e Intel 80286 ; o esforço já estava em andamento no início de 1985. Começou como uma joint venture com a empresa italiana de eletrônicos de defesa Selenia que teria como alvo seus computadores multi-microprocessadores MARA-860 e MARA-286, baseados nas arquiteturas 8086 e 80286, e incorporados genéricos e sistemas de hospedagem de SO 8086 e 80286. Esse trabalho foi o início do que se tornaria a linha de produtos mais vendida da empresa. A DDC-I desenvolveu uma reputação de qualidade em compiladores cruzados Ada e sistemas de tempo de execução para processadores Intel 80x86 .
A segunda empresa fez uso do que ficou conhecido como DDC OEM Compiler Kit, que poderia usar o front-end Ada para compiladores para outros hosts ou destinos ou para outras ferramentas como VLSI . Em uma reunião de setembro de 1985 em Lund, Suécia , vários dos clientes do Kit OEM formaram o DDC Ada Compiler Retargeter's Group. Ela realizou pelo menos três reuniões ao longo de 1985 e 1986. Os primeiros clientes OEM incluíam a Universidade de Lund , a Defense Materiel Administration e a Ericsson Radio Systems na Suécia; Softplan e Nokia Information Systems na Finlândia; Selenia e Olivetti na Itália; ICL Defense Systems e STL Ltd no Reino Unido; Aitech Software Engineering em Israel; e Advanced Computer Techniques , Rockwell Collins , Control Data Corporation e General Systems Group nos Estados Unidos.
Desenvolvedores posteriores geralmente eram menos versados em métodos formais e não os usavam em seu trabalho no compilador. Isso era ainda mais verdadeiro no caso de empresas que estavam fazendo o redirecionamento do compilador, muitas das quais não estavam familiarizadas com a linguagem Ada.
A DDC-I estava no mesmo mercado que várias outras empresas de compiladores Ada, incluindo Alsys , TeleSoft , Verdix , Tartan Laboratories e TLD Systems . (DDC-I continuaria no negócio por mais tempo do que qualquer um desses outros.) Como com outros fornecedores de compilador Ada, muito do tempo dos engenheiros DDC-I foi gasto em conformidade com a grande e difícil Capacidade de Validação do Compilador Ada (ACVC ) linguagem padronizada e suíte de teste de tempo de execução.
Começando em 1988 e continuando por vários anos, os consultores DDC-I colaboraram com a Honeywell Air Transport Systems para redirecionar e otimizar o compilador DDC-I Ada para o processador AMD 29050 . Este sistema de compilador cruzado baseado em DDC-I foi usado para desenvolver o software de vôo principal para o avião Boeing 777 . Este software, denominado Airplane Information Management System , se tornaria indiscutivelmente o mais conhecido de qualquer projeto Ada em uso, civil ou militar. Cerca de 550 desenvolvedores da Honeywell trabalharam no sistema de vôo e foi divulgado como uma grande história de sucesso da Ada.
Em outubro de 1991, foi anunciado que a DDC-I havia adquirido o negócio de sistemas embarcados de linguagem Ada e JOVIAL da InterACT , que se tornou um empreendimento da Advanced Computer Techniques. Esta entidade de propriedade integral com sede em Nova York foi brevemente denominada DDC-Inter antes de ser incluída na DDC-I propriamente dita. Isso trouxe os compiladores cruzados Ada para os processadores MIL-STD-1750A e MIPS R3000 e compiladores cruzados de linguagem JOVIAL para MIL-STD-1750A e Zilog Z8002 na linha de produtos. O produto MIPS foi enfatizado pelo DDC-I, com esforços de engenharia que incluíam o reconhecimento automático de certas otimizações de tarefas e trabalho no projeto Common Ada Runtime System (CARTS) patrocinado pela Força Aérea dos EUA para fornecer interfaces padrão em ambientes de tempo de execução Ada.
No final de 1993, o escritório de Nova York foi fechado e seu trabalho transferido para o escritório de Phoenix.
Até o início dos anos 1990, DDC-me ofereci compiladores nativos Ada para VAX / VMS, Sun-3 e SPARC sob SunOS , e Intel 80386 sob UNIX System V e OS / 2 , e ofereceram compiladores cruzadas para a Motorola 680x0 e Intel i860 além aos alvos acima mencionados.
Ada 95 e explorações de outras linhas de produtos
No início dos anos 1990, DDC-I trabalhou no redesenho do sistema do compilador para a ampla revisão Ada 95 do padrão de linguagem. Eles usaram um novo projeto de programação baseado em objeto e ainda aderiram a uma abordagem de métodos formais, usando VDM-SL . O trabalho foi realizado sob o patrocínio do Projeto de Linguagem Global e Ambiente Uniforme da Iniciativa de Microprocessador Aberto da Comunidade Europeia (OMI / GLUE), onde a função do DDC-I era criar um compilador direcionado ao formato intermediário de Distribuição Neutra de Arquitetura (ANDF) forma, com a intenção de trazer Ada 95 para mais plataformas rapidamente. Como parte desse trabalho, o DDC-I colaborou com a Agência de Avaliação e Pesquisa de Defesa na expansão de algumas das habilidades da ANDF para expressar a semântica de Ada e a linguagem de programação de rápido crescimento C ++ . O trabalho em áreas específicas de Ada, como eliminação de verificação de limites , foi feito para obter o desempenho de tempo de execução ideal.
O ambiente de software Ada foi originalmente considerado um mercado promissor. Mas o negócio de compiladores Ada provou ser difícil de entrar. Durante esse período, 1987-97, um mandato do governo dos Estados Unidos para o uso de Ada estava em vigor, embora com algumas isenções concedidas. Muitas das vantagens da linguagem para programação de propósito geral não eram vistas como tal pela comunidade geral de engenharia de software ou por educadores. A situação de vendas era desafiadora, com pequenas dispensas periódicas. Apesar da consolidação entre outros fornecedores de ferramentas Ada, a DDC-I permaneceu uma empresa independente.
Em qualquer caso, DDC-I foi um defensor entusiasta da linguagem Ada, para uso na empresa e externamente. Um artigo publicado por um de seus engenheiros em 1993 avaliou os recursos orientados a objetos do Ada 95 favoravelmente aos do C ++ e atraiu alguma atenção.
Ao mesmo tempo, a empresa tentou expandir e aumentar sua linha de produtos. O conjunto de ferramentas RAISE estava disponível, assim como o Cedar, uma ferramenta de design para sistemas em tempo real. Também foi oferecido o Beologic , uma ferramenta para desenvolver e executar partes de estado / evento de aplicativos, que havia sido licenciada pela Bang & Olufsen e integrada com o sistema de compilador Ada. O maior esforço foi na direção de C ++. A DDC-I começou a oferecer o 1st Object Exec, um sistema operacional em tempo real baseado em C ++ destinado ao suporte direto no nível do objeto de aplicativos incorporados. Apesar dos esforços consideráveis durante 1993-1994, o 1st Object Exec não conseguiu ganhar força no mercado.
A única área em que Ada ganhou uma posição sólida foi em aplicações em tempo real, alta confiabilidade, alta integridade e segurança crítica, como a indústria aeroespacial. Com base em sua experiência com a Honeywell e outros clientes, a DDC-I adquiriu experiência no mapeamento da linguagem Ada e recursos de tempo de execução para os requisitos de certificações críticas de segurança, em particular para o DO-178B (Software Considerations in Airborne Systems and Equipment Certification ) padrão e ferramentas fornecidas para esse processo. Essas aplicações continuaram mesmo depois que o mandato Ada foi retirado em 1997. Por exemplo, em 1997 a empresa recebeu um contrato conjunto com a Sikorsky Aircraft e a Divisão de Helicópteros do Boeing Defense & Space Group para desenvolver software a ser usado no Boeing / Sikorsky RAH -66 Comanche .
Em março de 1998, a DDC-I adquiriu da Texas Instruments os direitos de desenvolvimento, vendas e marketing dos compiladores Tartan Ada para os alvos Intel i960 , Motorola 680x0 e MIL-STD-1750A.
O suporte para desenvolvimento de linguagem mista foi adicionado em 2000 com a adição da linguagem de programação C como parte do ambiente de desenvolvimento integrado de linguagem mista do DDC-I para SCORE (para Segurança-Crítica, Orientada a Objetos, Incorporado em Tempo Real). Aproveitando o formato ANDF, o formato de depuração padronizado DWARF e o protocolo OMI para comunicação com monitores de depuração de placa de destino, o SCORE foi capaz de fornecer um ambiente comum de construção e depuração para desenvolvedores de aplicativos em tempo real. O suporte para Embedded C ++ foi adicionado ao SCORE em 2003, quando ele poderia se integrar a uma variedade de cenários de placa de destino em processadores Intel x86 e Power PC . Os compiladores C e C ++ embutido para ANDF vieram de um acordo de licenciamento para o Compilador TenDRA (posteriormente, o DDC-I se tornou o mantenedor desses compiladores). Subseqüentemente, o suporte Ada 95 para os processadores 1750A e TMS320C4x mais antigos foi adicionado ao SCORE.
Sede nos EUA e sistemas operacionais em tempo real
Em abril de 2003, a indústria se afastou de Ada e a posição declinante da indústria aeronáutica cobrou seu preço e a DDC-I sofreu perdas financeiras significativas. A DDC-I decidiu fechar seu escritório na Dinamarca em Lyngby e transferir todas as operações para Phoenix.
Em setembro de 2005, a empresa nomeou Bob Morris, ex- LynuxWorks , como seu presidente e diretor executivo. Oest tornou-se Diretor de Tecnologia. Em abril de 2006, o DDC-I mudou-se para novos escritórios no norte de Phoenix, declarando que estava se expandindo e que esperava um crescimento de 40% a 50% na receita em relação ao ano anterior.
Desde 2006, a empresa tem contribuído para o Java Expert Group for Safety Critical Java. Este trabalho, que usa a especificação em tempo real para Java como base e, em seguida, especifica subconjuntos de linguagem e biblioteca e regras de codificação para uso para fornecer determinismo suficiente, é visto pelos representantes da empresa como tornando Java possivelmente igual ou superior a Ada ou C ++ como uma linguagem para aplicações críticas de segurança. A empresa considerou o perfil crítico de segurança do Java como aquele que pode ajudar a indústria de defesa a lidar com o problema do envelhecimento dos aplicativos de software e hardware. Em 2008, DDC-I estava se referindo a Ada como uma linguagem legada e oferecendo ferramentas semiautomáticas e serviços profissionais para ajudar os clientes a migrar para soluções mais novas.
Em novembro de 2008, a empresa entrou no mercado de sistema operacional em tempo real integrado (RTOS) com dois produtos, Deos e HeartOS. Ambos foram baseados na tecnologia de software subjacente originada na Honeywell International e já implantada em muitas aeronaves comerciais e militares. Como parte da ação, a DDC-I contratou alguns dos principais funcionários de engenharia da Honeywell que projetaram o Deos. Outras empresas no mesmo segmento de mercado de RTOS que a DDC-I incluem LynuxWorks , Wind River Systems , SYSGO e Express Logic .
Produtos
- Deos é um sistema operacional em tempo real particionado por tempo e espaço (RTOS) que foi certificado pela primeira vez para DO-178B nível A em 1998. Deos contém vários recursos arquitetônicos patenteados, incluindo aprimoramentos para utilização de processador, reutilização de software binário e agendamento seguro para multi-core processadores. Os usuários do Deos podem adicionar módulos opcionais de personalidade ARINC 653 projetados para atender às diferentes necessidades de aplicação. O Deos oferece suporte aos processadores ARM , MIPS , PowerPC e x86 e é compatível com bibliotecas SSL / TLS populares , como wolfSSL . Ele foi listado como um dos 100 melhores produtos eletrônicos de 2009 pela revista EDN .
- HeartOS é um sistema operacional de tempo real baseado em POSIX , projetado para aplicações embarcadas de pequeno a médio porte, incluindo tipos críticos de segurança. Suporta ARM, PowerPC, x86 e outros processadores de 16 e 32 bits. É configurável sem a camada de interface POSIX para sistemas com restrição de memória.
- OpenArbor é um ambiente de desenvolvimento integrado baseado em Eclipse para desenvolvimento de aplicativos C, Embedded C ++ e Ada. Foi anunciado em 2007.
- SCORE é um conjunto de linguagens mistas de ferramentas integradas para aplicativos de software integrados de tempo real, orientados a objetos e essenciais à segurança, com suporte para aplicativos Ada, C e C ++ integrados para uma variedade de arquiteturas integradas.
- Os produtos de sistema de compilador Legacy Ada 83 e JOVIAL também continuam a ser suportados.
Bibliografia
- Bjørner, Dines; Gram, Christian; Oest, Ole N .; Rystrøm, Leif (2011). "Dansk Datamatik Center". Em Impagliazzo, John; Lundin, Per; Wangler, Benkt (eds.). História da Computação Nórdica 3: Avanços IFIP em Tecnologia da Informação e Comunicação . Springer. pp. 350–359. Uma versão ligeiramente expandida deste capítulo está disponível online em https://www.researchgate.net/publication/221271386_Dansk_Datamatik_Center . Outra versão expandida faz parte das memórias online de Bjørner em http://www.imm.dtu.dk/~dibj/trivia/node5.html . Uma apresentação de slides de Gram baseada no artigo está disponível online como Why Dansk Datamatik Center?
- Bjørner, Dines; Havelund, Klaus. "40 anos de métodos formais: alguns obstáculos e algumas possibilidades?". FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings . Springer. pp. 42–61.
- Bundgaard, Jørgen (maio de 1985). “O desenvolvimento de um front end Ada para pequenos computadores”. SIGAda '85: Procedimentos da conferência internacional anual ACM SIGAda de 1985 sobre Ada . Association for Computing Machinery. pp. 321–328.
- Bundgaard, Jørgen. "Um sistema compilador Ada 95 baseado em ANDF". Proceedings of the conference on TRI-Ada '95, 5–10 de novembro de 1995 . Association for Computing Machinery. pp. 436–445.
- Clemmensen, Geert B .; Oest, Ole N. (março de 1984). "Especificação formal e desenvolvimento de um compilador Ada - um estudo de caso VDM". ICSE '84 Proceedings of the 7th international conference on Software engineering . IEEE Press. pp. 430–440.
- Clemmensen, Geert B. (janeiro de 1986). "Retargeting e rehosting o sistema do compilador DDC Ada: um estudo de caso - o Honeywell DPS 6". ACM SIGAda Ada Letters . 6 (1): 22–28. doi : 10.1145 / 382256.382794 .
- Boletim informativo . Grupo DDC Ada Compiler Retargeter. 1 . Novembro de 1985.
- Boletim informativo . Grupo DDC Ada Compiler Retargeter. 2 . Agosto de 1986.
- Boletim informativo . Grupo DDC Ada Compiler Retargeter. 3 . Dezembro 1986.
- Fergany, Adel; Szewerenko, Leland; Rabinowitz, Moshe; Solomon, Eliezer N .; Pitarys, Marc; Benjamin, Clive L. "A implementação de chamadas de entrada assíncrona em duas arquiteturas diferentes". NAECON 1993: Proceedings of the IEEE 1993 National Aerospace and Electronics Conference, 24-28 de maio de 1993 . pp. 486–495.
- Fitzgerald, John S .; Larsen, Peter Gorm; Verhoef, Marcel (2009). "Método de Desenvolvimento de Viena". Em Wah, Benjamin W. (ed.). Wiley Encyclopedia of Computer Science and Engineering . Wiley. pp. 2971–2982.
- Frost, Jacob. "Uma solução Ada95 para a certificação de aplicações críticas de segurança incorporadas". Tecnologias de software confiáveis - Ada-Europe '99 . pp. 52–63.
- George, Chris. "A linguagem de especificação RAISE: um tutorial". VDM '91: Métodos formais de desenvolvimento de software: 4º Simpósio Internacional da VDM Europa, Noordwijkerhout, Holanda, outubro de 1991, Proceedings . 2 . Springer-Verlag. pp. 238–319.
- Ibsen, Leif (janeiro de 1984). "Uma máquina virtual portátil para Ada". Software: prática e experiência . 14 (1): 17–29. doi : 10.1002 / spe.4380140104 .
- Jorgensen, Jesper. "Uma comparação dos recursos orientados a objetos de Ada 9X e C ++". Ada-Europe '93: 12ª Conferência Internacional Ada-Europe, Paris, França, 14–18 de junho de 1993. Proceedings . pp. 125–141.
- Mancusi, Richard; Tokar, Joyce L .; Rabinowitz, Moshe; Solomon, Eliezer N .; Pitarys, Marc; Benjamin, Clive L. "Suporte de interrupção real e virtual: O mapeamento de um recurso CARTS para duas arquiteturas diferentes". Ada-Europe '93: 12ª Conferência Internacional Ada-Europe, Paris, França, 14-18 de junho de 1993. Proceedings . pp. 314–329.
- Møller, Peter Lützen. "Eliminação de verificação de tempo de execução para Ada 9X". Proceedings of the conference on TRI-Ada '94, 6-11 de novembro de 1994 . Association for Computing Machinery. pp. 122–128.
- Rehmer, Karl (2009). "Equipe HADS". Em Stellman, Andrew; Greene, Jennifer (eds.). Beautiful Teams: Inspiring and Cautionary Tales from Veteran Team Leaders . Sebastopol, Califórnia: O'Reilly. pp. 299–312.
- Rosen, Jean-Pierre (setembro de 2009). "O (s) paradoxo (s) de Ada". SIGAda Ada Letters . 29 (2): 28–35. doi : 10.1145 / 1620593.1620597 .
- "Entrevista com Oscar Schachter" (Entrevista). Entrevistado por Thomas Haigh. Instituto Charles Babbage, Universidade de Minnesota. 7 de maio de 2004.Entrada do WorldCat
- Schilling, Jonathan L. "Uso de Ada em um Ambiente Comercial de Pequenas Empresas". WADAS '93 Proceedings of the Denth Annual Washington Ada symposium on Ada: June 28 - July 1, 1993 . ACM. pp. 89–94.
- Schilling, Jonathan L .; Nielsen, Johan Olmütz (maio-junho de 1994). "Reconhecimento automático do compilador das tarefas do monitor". SIGAda Ada Letters . 14 (3): 91–104. doi : 10.1145 / 181468.181474 .
- Sward, Ricky E. (novembro de 2010). “A ascensão, queda e persistência de Ada”. SIGAda '10: Procedimentos da conferência internacional anual ACM SIGAda sobre SIGAda . pp. 71–74.
- Whitaker, William A. (1996). "Ada - The Project: The DoD High Order Language Working Group" . Em Bergin, Thomas J .; Gibson, Richard G. (eds.). História das Linguagens de Programação — II . Addison-Wesley Professional. pp. 173–232.
