Paris / Salt Lake City / Washington / Cairo / Sao Paolo / Newcastle / Boston / New York / Zurich / Stuttgart / Edinburgh / /
Company
Thales / AdaCore Awarded Research Funds / Secure Embedded Systems / Red Hat / Open Source Software / Embedded Systems 1 AdaCore Awarded Research Funds / Airbus / Verified Software / The GNAT Pro Company / IB Krates / GtkAda / Microsoft / /
Continent
Europe / /
Country
United Kingdom / Germany / United States / / /
Facility
Western Washington University / library GtkAda / University of Dresden / University of Paris-Sud / GNAT Programming Studio / / /
Holiday
Christmas / /
IndustryTerm
emulator solution / software engineering / security applications / non-intrusive coverage tool / development platforms and tools / software coding standard / software development / source code analyzer/reviewer tool / target hardware / cores/processors / code generation solution / technology corner / computing / base compiler technology / aerospace / computer operating systems / software engineers / integrity systems / project manager tool / highintegrity systems / real-time and distributed systems / air-to-ground data links systems / software development methodologies / large systems / actual target hardware / printing / lower software layers / safety-critical systems / security software / software testing / verification tool / /
NaturalFeature
Wind River / /
OperatingSystem
UNIX / VxWorks / Red Hat Enterprise Linux / Microsoft Windows / Linux / Spring / /
Organization
Western Washington University / Data and Analysis Center for Software / US Department of Defense / Certification Airbus Military / University of Paris-Sud / European Union / US National Security Agency / Ada Resource Association / University of Dresden / /
manager tool / Professor / Software Engineer / project manager / example Gtk.Assistant / /
Product
CodePeer 2.0 GNAT Pro 6.4 / Programming Studio (GPS) / Unmanned Combat Air Vehicle / GNATcheck / A330 / Aerial Refueling Boom System / Eurofighter / Airbus A400M / Linux / Airbus A330 / /
ProgrammingLanguage
Java / Erlang / XML / php / DC / C / HTML / Ada / PostScript / Simulink / C++ / /
ProvinceOrState
Washington / Massachusetts / /
Region
Western Washington / /
Technology
design verification / XML / Embedded Systems Programming / Linux / API / VxWorks / HTML / QEMU technology / Java / GCC technology / GUI / virtual machine / Our base compiler technology / UNIX / 3 Technology / GPS / Screen Capture / operating systems / PDF / http / /
an AdaCore Publication Spring 2011 www.adacore.com newsflash Airbus Military Using GNATcheck