DDC -I - DDC-I

DDC-I, Inc.
Typ V soukromém vlastnictví
Průmysl vestavěný software kritický pro bezpečnost
Založený 1985 ; Před 36 lety v Kongens Lyngby , Dánsko ( 1985 )
Hlavní sídlo Phoenix, Arizona
Klíčoví lidé
 Bob Morris, prezident/generální ředitel
Ole N.Oest, zakladatel/CTO
produkty Operačních systémů v reálném čase : Deos, HeartOS
kompilátoru systémy: Ada
webová stránka www .ddci .com

DDC-I, Inc. je soukromá společnost poskytující vývoj softwaru operačních systémů v reálném čase , nástroje pro vývoj softwaru a softwarové služby pro integrované aplikace kritické z hlediska bezpečnosti se sídlem ve Phoenixu v Arizoně . Poprvé byl vytvořen v roce 1985 jako dánská firma DDC International A/S (také známá jako DDC-I A/S ), komerční růst Dansk Datamatik Center , dánské organizace pro výzkum a vývoj softwaru z 80. let minulého století. Americká dceřiná společnost byla založena v roce 1986. Po mnoho let se firma specializovala na překladače jazyků pro programovací jazyk Ada .

V roce 2003 byla dánská kancelář uzavřena a všechny operace se přesunuly do lokality Phoenix.

Původy

Počátky DDC International A/S spočívaly v Dansk Datamatik Center , dánské organizaci pro výzkum a vývoj softwaru, která byla založena v roce 1979, aby demonstrovala hodnotu používání moderních technik, zejména těch, které zahrnují formální metody , při navrhování a vývoji softwaru. Mezi jeho několik projektů patřilo vytvoření překladače pro programovací jazyk Ada . Ada byla obtížně implementovatelný jazyk a rané projekty překladačů pro ni často byly zklamáním. Ale návrh kompilátoru DDC byl dobrý a poprvé prošel testy ACVC ( United States Department of Defence) sponzorovaných v systému VAX / VMS v září 1984. Jako takový to byl první evropský kompilátor Ada Standard.

Úspěch projektu Ada vedl k vytvoření samostatné společnosti v roce 1985 s názvem DDC International A/S za účelem komercializace produktu systému Ada kompilátor. Stejně jako jeho původce, bylo založeno v Lyngby , Dánsko . Ole N. Oest byl jmenován generálním ředitelem DDC International. V roce 1986 byla DDC-I, Inc. založena jako americká dceřiná společnost. Umístil se ve Phoenixu v Arizoně a zaměřil se na prodej, zákaznickou podporu a inženýrské poradenské činnosti ve Spojených státech.

Ada kompilátor

Společnost DDC International A/S byla umístěna v přestavěné textilní továrně v dánském Lyngby, zde k vidění v roce 1990.

Společnost DDC-I založila firmu v prodeji produktu systému kompilátorů Ada, pojmenovaného DACS, přímo firmám, a to jak jako software pro vývoj projektů v Ada, tak i jako zdrojový kód pro výrobce počítačů a další, kteří by jej přemostili nebo přesměrovali na jiné procesory a operační systémy .

První firma prodávala nativní i křížové kompilátory , přičemž ten druhý byl běžnější, protože Ada byla primárně používána v oblasti integrovaných systémů . Jeden z prvních křížových kompilátorů, které DDC-I vyvinul, byl od VAX/VMS po Intel 8086 a Intel 80286 ; úsilí již probíhalo počátkem roku 1985. Začalo to jako společný podnik s italskou společností pro obrannou elektroniku Selenia, která by se zaměřila jak na jejich více mikroprocesorové počítače MARA-860, tak na MARA-286, založené na architekturách 8086 a 80286, a generické vestavěné a systémy hostující OS 8086 a 80286. Tato práce byla začátkem toho, co se pro firmu stalo nejprodávanější produktovou řadou. DDC-I si vybudovalo pověst kvalitních křížových kompilátorů Ada a běhových systémů pro procesory Intel 80x86 .

Druhá firma využívala to, co se začalo nazývat DDC OEM Compiler Kit, který mohl používat frontend Ada pro překladače k ​​jiným hostitelům nebo cílům nebo pro jiné nástroje, jako je VLSI . Na setkání v září 1985 ve švédském Lundu vytvořilo několik zákazníků sady OEM Kit skupinu DDC Ada Compiler Retargeter's Group. V průběhu let 1985 a 1986 se uskutečnila nejméně tři setkání. Mezi první zákazníky OEM patřila University of Lund , Defence Materiel Administration a Ericsson Radio Systems ve Švédsku; Softplan a informační systémy Nokia ve Finsku; Selenia a Olivetti v Itálii; ICL Defence Systems a STL Ltd ve Spojeném království; Aitech Software Engineering v Izraeli; a Advanced Computer Techniques , Rockwell Collins , Control Data Corporation a General Systems Group ve Spojených státech.

Několik vývojářů kompilátoru Ada v DDC International v Lyngby v roce 1990.

Pozdější vývojáři byli často méně zběhlí ve formálních metodách a nepoužívali je při své práci na kompilátoru. Ještě více to platilo v případě společností, které znovu zaměřily kompilátor, z nichž mnohé nebyly obeznámeny s jazykem Ada.

DDC-I byl na stejném trhu jako několik dalších kompilačních firem Ada, včetně Alsys , TeleSoft , Verdix , Tartan Laboratories a TLD Systems . (DDC-I by pokračoval v podnikání déle než kterýkoli z těchto ostatních.) Stejně jako u jiných dodavatelů kompilátoru Ada byla velká část času inženýrů DDC-I vynaložena na přizpůsobení se velké, obtížné schopnosti ověřování Ada Compiler (ACVC) ) standardizovaný jazyk a runtime testovací sada.

Počínaje rokem 1988 a pokračujícím několik let spolupracovali konzultanti DDC-I se společností Honeywell Air Transport Systems, aby znovu zaměřili a optimalizovali kompilátor DDC-I Ada na procesor AMD 29050 . Tento křížový překladačový systém založený na DDC-I byl použit k vývoji primárního letového softwaru pro letadlo Boeing 777 . Tento software s názvem Systém správy informací o letadlech by se stal pravděpodobně nejznámějším z jakéhokoli projektu Ada-in-use, civilního nebo vojenského. Na letovém systému pracovalo asi 550 vývojářů v Honeywell a bylo to zveřejněno jako hlavní příběh úspěchu Ada.

Vývojová kancelář DDC-I v New Yorku byla v 31. patře této budovy.

V říjnu 1991 bylo oznámeno, že společnost DDC-I získala obchod s interními systémy AdA a JOVIAL v oblasti interaktivních systémů , které se staly podnikem pokročilých počítačových technik. Tato stoprocentní entita se sídlem v New Yorku byla krátce pojmenována DDC-Inter, než byla zahrnuta do vlastního DDC-I. Do produktové řady se tak dostaly křížové překladače Ada pro procesory MIL-STD-1750A a MIPS R3000 a křížové překladače jazyků JOVIAL pro MIL-STD-1750A a Zilog Z8002 . Produkt MIPS byl ten, na který DDC-I kladl důraz, přičemž inženýrské úsilí zahrnovalo automatické rozpoznávání určitých optimalizací úkolů a pracovalo na projektu Common Ada Runtime System (CARTS) sponzorovaném americkým letectvem na poskytování standardních rozhraní do prostředí Ada runtime.

Na konci roku 1993 byla kancelář v New Yorku uzavřena a její práce byla převedena do kanceláře Phoenix.

Počátkem devadesátých let DDC-I nabízel nativní kompilátory Ada pro VAX/VMS, Sun-3 a SPARC pod SunOS a Intel 80386 pod UNIX System V a OS/2 a nabízel křížové kompilátory pro Motorola 680x0 a Intel i860 navíc na výše uvedené cíle.

Ada 95 a průzkumy dalších produktových řad

Kancelář DDC International v Lyngby ukázala dánské designové prvky, které zde byly vidět v roce 1992.

Na počátku devadesátých let DDC-I pracoval na přepracování systému kompilátoru pro rozsáhlou revizi jazykového standardu Ada 95. Použili nový objektový programovací design a stále se drželi přístupu formálních metod, také pomocí VDM-SL . Práce byla provedena pod záštitou projektu Global Language and Uniform Environment -project (OMI/GLUE) iniciativy Otevřená mikroprocesorová iniciativa sídlícího v Evropském společenství , kde úlohou DDC-I bylo vytvořit kompilátor zaměřený na přechodný formát ANDF ( Architecture Neutral Distribution Format ) forma, se záměrem rychle přivést Ada 95 na více platforem. V rámci této práce DDC-I spolupracoval s Agenturou pro hodnocení a výzkum obrany při rozšiřování některých schopností ANDF vyjadřovat sémantiku Ada a rychle rostoucího programovacího jazyka C ++ . Práce v oblastech specifických pro Ada, jako je eliminace kontroly hranic , byla provedena za účelem dosažení optimálního výkonu za běhu.

Softwarové prostředí Ada bylo původně považováno za slibný trh. Obchodování s Ada kompilátorem se však ukázalo být obtížným. Během této doby, 1987–97, byl americký vládní mandát pro používání Ada účinný, i když byla udělena určitá výjimka. Obecná softwarová inženýrská komunita ani pedagogové mnoho z výhod jazyka pro programování pro obecné účely neviděli. Prodejní situace byla náročná, s pravidelným malým propouštěním. Navzdory konsolidaci mezi ostatními poskytovateli nástrojů Ada zůstala DDC-I nezávislou společností.

V každém případě byl DDC-I nadšeným zastáncem jazyka Ada pro použití ve společnosti i externě. Papír, který jeden z jejích inženýrů publikoval v roce 1993, hodnotil objektově orientované funkce Ada 95 příznivě vůči těm z C ++ a upoutal určitou pozornost.

Pohled na palmy z kanceláře DDC-I ve Phoenixu, 1993.

Firma se zároveň pokusila rozšířit a rozšířit svoji produktovou řadu. K dispozici byla sada nástrojů RAISE, stejně jako Cedar, nástroj pro návrh systémů v reálném čase. Nabízen byl také Beologic , nástroj pro vývoj a spouštění částí aplikací/stavů/událostí, které byly licencovány společností Bang & Olufsen a integrovány do systému kompilátoru Ada. Největší úsilí bylo ve směru C ++. DDC-I začal nabízet 1st Object Exec, operační systém v reálném čase založený na C ++, určený k přímé podpoře integrovaných aplikací na úrovni objektů. I přes značné úsilí v letech 1993–94 se společnosti 1st Object Exec na trhu nepodařilo získat trakci.

Jednou z oblastí, kde Ada získala pevné místo, byla aplikace v reálném čase, vysoká spolehlivost, vysoká integrita a bezpečnost kritické, jako je letecký průmysl. Na základě zkušeností se společností Honeywell a dalšími zákazníky získala společnost DDC-I odborné znalosti v oblasti mapování jazykových a běhových funkcí Ada na požadavky certifikací kritických pro bezpečnost, zejména na certifikaci DO-178B (Softwarové aspekty v leteckých systémech a certifikace vybavení) ) standardní a poskytnuté nástroje pro tento proces. Takové aplikace pokračovaly i poté, co byl v roce 1997 zrušen mandát Ada. Například v roce 1997 byla firmě udělena společná smlouva s divizí vrtulníků Sikorsky Aircraft a Boeing Defence & Space Group na vývoj softwaru pro použití v Boeing/Sikorsky RAH -66 Comanche .

V březnu 1998 získala společnost DDC-I od společnosti Texas Instruments vývojová a prodejní a marketingová práva na kompilátory Tartan Ada pro cíle Intel i960 , Motorola 680x0 a MIL-STD-1750A.

Podpora pro vývoj smíšených jazyků byla přidána v roce 2000 přidáním programovacího jazyka C jako součást integrovaného vývojového prostředí DDC-I pro smíšené jazyky pro SCORE (pro bezpečnostně kritické, objektově orientované, vložené v reálném čase). S využitím formátu ANDF, standardizovaného ladicího formátu DWARF a protokolu OMI pro komunikaci s ladicími monitory cílové desky dokázal SCORE poskytnout vývojářům aplikací v reálném čase společné prostředí pro vytváření a ladění. Podpora pro Embedded C ++ byla přidána do SCORE v roce 2003, do té doby se mohla integrovat s řadou scénářů cílové desky na procesorech Intel x86 a Power PC . Kompilátory C a Embedded C ++ pro ANDF pocházely z licenčního ujednání pro kompilátor TenDRA (později se správcem těchto kompilátorů stal DDC-I). Následně byla do SCORE přidána podpora Ada 95 pro starší procesory 1750A a TMS320C4x .

Americká centrála a operační systémy v reálném čase

V dubnu 2003 se průmysl vzdálil od Ady a klesající pozice leteckého průmyslu si vybrala svou daň a DDC-I utrpěla značné finanční ztráty. DDC-I se rozhodl zavřít svou dánskou kancelář v Lyngby a přesunout všechny operace do Phoenixu.

V září 2005 společnost jmenovala Boba Morrise, dříve LynuxWorks , jako svého prezidenta a generálního ředitele. Oest se stal technologickým ředitelem. V dubnu 2006 se společnost DDC-I přestěhovala do nových kanceláří v severním Phoenixu s tím, že se rozšiřuje a očekává růst tržeb o 40–50 procent oproti předchozímu roku.

Od roku 2006 společnost přispívá do Java Expert Group for Java pro kritickou bezpečnost. Tuto práci, která jako základ používá specifikaci v reálném čase pro Javu a poté specifikuje jazykové a knihovní podmnožiny a pravidla kódování pro použití k zajištění dostatečného determinismu, zástupci firmy považují za to, že Java je možná rovnocenná nebo lepší než Ada nebo C ++ jako jazyk pro aplikace kritické z hlediska bezpečnosti. Společnost považovala profil Java kritický z hlediska bezpečnosti za profil, který může obrannému průmyslu pomoci vypořádat se s problémem stárnutí softwarových a hardwarových aplikací. Do roku 2008 DDC-I odkazoval na Adu jako na starší jazyk a nabízel poloautomatické nástroje a profesionální služby, které pomáhají zákazníkům přecházet na novější řešení.

V listopadu 2008 společnost vstoupila na trh s vestavěnými operačními systémy v reálném čase (RTOS) se dvěma produkty, Deos a HeartOS. Oba byly založeny na základní softwarové technologii pocházející z Honeywell International a již nasazené na mnoha komerčních a vojenských letadlech. V rámci akce DDC-I najala některé z klíčových techniků Honeywell, kteří navrhli Deos. Mezi další firmy ve stejném tržním segmentu RTOS jako DDC-I patří LynuxWorks , Wind River Systems , SYSGO a Express Logic .

produkty

  • Deos je časově a prostorově dělený operační systém v reálném čase (RTOS), který byl poprvé certifikován na úroveň DO-178B úrovně A v roce 1998. Deos obsahuje několik patentovaných architektonických funkcí včetně vylepšení využití procesoru, opětovného použití binárního softwaru a bezpečného plánování pro vícejádrová procesory. Uživatelé Deosu mají možnost přidat do volitelných modulů osobnosti ARINC 653 navržených tak, aby vyhovovaly různým potřebám aplikace. Deos podporuje procesory ARM , MIPS , PowerPC a x86 a je podporován populárními knihovnami SSL/TLS , jako je wolfSSL . Časopis EDN jej zařadil mezi jeden z nejlepších 100 elektronických produktů roku 2009 .
  • HeartOS je pevný operační systém v reálném čase na bázi POSIX , navržený pro malé až střední vestavěné aplikace včetně typů kritických pro bezpečnost. Podporuje ARM, PowerPC, x86 a další 16bitové a 32bitové procesory. Je konfigurovatelný bez vrstvy rozhraní POSIX pro systémy s omezenou pamětí.
  • OpenArbor je integrované vývojové prostředí založené na Eclipse pro vývoj aplikací C, Embedded C ++ a Ada. To bylo oznámeno v roce 2007.
  • SCORE je smíšená jazyková sada integrovaných nástrojů pro bezpečnostní kritické, objektově orientované a integrované softwarové aplikace v reálném čase, podporující aplikace Ada, C a Embedded C ++ pro různé vestavěné architektury.
  • I nadále jsou podporovány produkty systémů kompilátorů Legacy Ada 83 a JOVIAL.

Bibliografie

  • Bjørner, večeře; Gram, Christian; Oest, Ole N .; Rystrøm, Leif (2011). „Centrum Dansk Datamatik“. V Impagliazzo, John; Lundin, Per; Wangler, Benkt (eds.). Historie severských počítačů 3: Pokroky IFIP v informačních a komunikačních technologiích . Springer. s. 350–359. Mírně rozšířená verze této kapitoly je k dispozici online na https://www.researchgate.net/publication/221271386_Dansk_Datamatik_Center . Další rozšířená verze je součástí Bjørnerových online pamětí na adrese http://www.imm.dtu.dk/~dibj/trivia/node5.html . Gramova prezentace na základě článku je k dispozici online jako Proč centrum Dansk Datamatik?
  • Bjørner, večeře; Havelund, Klaus. „40 let formálních metod: některé překážky a některé možnosti?“. FM 2014: Formální metody: 19. mezinárodní sympozium, Singapur, 12. – 16. Května 2014. Sborník . Springer. s. 42–61.
  • Bundgaard, Jørgen (květen 1985). „Vývoj rozhraní Ada pro malé počítače“. SIGAda '85: Sborník z výroční mezinárodní konference ACM SIGAda z roku 1985 o Adě . Sdružení pro výpočetní techniku. s. 321–328.
  • Bundgaard, Jørgen. „Systém kompilátoru Ada 95 založený na ANDF“. Sborník z konference o TRI-Ada '95, 5. – 10. Listopadu 1995 . Sdružení pro výpočetní techniku. s. 436–445.
  • Clemmensen, Geert B .; Oest, Ole N. (březen 1984). „Formální specifikace a vývoj kompilátoru Ada - případová studie VDM“. Sborník ICSE '84 ze 7. mezinárodní konference o softwarovém inženýrství . IEEE Press. s. 430–440.
  • Clemmensen, Geert B. (leden 1986). „Retargeting and rehosting the DDC Ada compiler system: a case study - the Honeywell DPS 6“. Dopisy ACM SIGAda Ada . 6 (1): 22–28. doi : 10,1145/382256,382794 .
  • Newsletter . Skupina Retargeter's DDC Ada Compiler. 1 . Listopadu 1985.
  • Newsletter . Skupina Retargeter's DDC Ada Compiler. 2 . Srpna 1986.
  • Newsletter . Skupina Retargeter's DDC Ada Compiler. 3 . Prosinec 1986.
  • Fergany, Adel; Szewerenko, Leland; Rabinowitz, Moshe; Solomon, Eliezer N .; Pitarys, Marc; Benjamin, Clive L. „Implementace asynchronních vstupních volání na dvou různých architekturách“. NAECON 1993: Proceedings of the IEEE 1993 National Aerospace and Electronics Conference, May 24-28, 1993 . s. 486–495.
  • Fitzgerald, John S .; Larsen, Peter Gorm; Verhoef, Marcel (2009). „Vídeňská rozvojová metoda“. Ve Wah, Benjamin W. (ed.). Wiley Encyclopedia of Computer Science and Engineering . Wiley. s. 2971–2982.
  • Frost, Jacobe. „Řešení Ada95 pro certifikaci integrovaných bezpečnostních kritických aplikací“. Spolehlivé softwarové technologie-Ada-Europe '99 . s. 52–63.
  • George, Chrisi. „RAISE Specification Language: A Tutorial“. VDM '91: Formální metody vývoje softwaru: 4. mezinárodní sympozium VDM Europe, Noordwijkerhout, Nizozemsko, říjen 1991, sborník . 2 . Springer-Verlag. s. 238–319.
  • Ibsen, Leif (leden 1984). „Přenosný virtuální stroj pro Adu“. Software: Praxe a zkušenosti . 14 (1): 17–29. doi : 10,1002/spe.4380140104 .
  • Jorgensen, Jesper. „Srovnání objektově orientovaných funkcí Ada 9X a C ++“. Ada-Europe '93: 12. mezinárodní konference Ada-Europe, Paříž, Francie, 14. – 18. Června 1993. Sborník . s. 125–141.
  • Mancusi, Richard; Tokar, Joyce L .; Rabinowitz, Moshe; Solomon, Eliezer N .; Pitarys, Marc; Benjamin, Clive L. „Podpora skutečného a virtuálního přerušení: Mapování funkce CARTS na dvě různé architektury“. Ada-Europe '93: 12. mezinárodní konference Ada-Europe, Paříž, Francie, 14. – 18. Června 1993. Sborník . s. 314–329.
  • Møller, Peter Lützen. „Odstranění kontroly běhu pro Ada 9X“. Sborník z konference o TRI-Ada '94, 6. – 11. Listopadu 1994 . Sdružení pro výpočetní techniku. s. 122–128.
  • Rehmer, Karl (2009). „Tým HADS“. Ve Stellmanovi Andrew; Greene, Jennifer (eds.). Krásné týmy: Inspirativní a varovné příběhy od vedoucích veteránských týmů . Sebastopol, Kalifornie: O'Reilly. s. 299–312.
  • Rosen, Jean-Pierre (září 2009). „Ada paradox (y)“. Dopisy SIGAda Ada . 29 (2): 28–35. doi : 10,1145/1620593,1620597 .
  • „Rozhovor s Oskarem Schachterem“ (Rozhovor). Rozhovor s Thomasem Haighem. Charles Babbage Institute, University of Minnesota. 7. května 2004.Vstup do WorldCat
  • Schilling, Jonathan L. „Použití Ada v komerčním prostředí malé společnosti“. Sborník WADAS '93 z desátého ročníku sympozia Washington Ada o Adě: 28. června - 1. července 1993 . ACM. s. 89–94.
  • Schilling, Jonathan L .; Nielsen, Johan Olmütz (květen – červen 1994). „Automatické rozpoznávání úkolů monitoru překladačem“. Dopisy SIGAda Ada . 14 (3): 91–104. doi : 10,1145/181468,181474 .
  • Sward, Ricky E. (listopad 2010). „Vzestup, pád a vytrvalost Ady“. SIGAda '10: Sborník z výroční mezinárodní konference ACM SIGAda o SIGAdě . s. 71–74.
  • Whitaker, William A. (1996). „Ada - projekt: Pracovní skupina pro jazyk vysokého řádu DoD“ . V Berginu, Thomas J .; Gibson, Richard G. (eds.). Historie programovacích jazyků — II . Addison-Wesley Professional. s. 173–232.

Reference

externí odkazy

Hrnek DDC-I z 90. let minulého století