 | | SofCheck’s staff has joined the AdaCore technical team, and SofCheck Founder Tucker Taft has been named as AdaCore’s Director of Language Research. |
| Provides open source, integrated, lightweight target emulation |
| GPS 5.0 Integrated Development Environment brings enhanced multi-language support, more powerful source editing, and improved ease of use |
| Comprehensive set of tools and support services for projects where Ada is used in conjunction with other programming languages |
| New platforms and features benefit Ada developers on Wind River Workbench |
| Ada Web Server brings web-based connectivity and control to embedded applications |
| Researchers from Rutgers University and University of South Carolina found, for example, that wireless communications between new cars and their tires can be "hacked" – intercepted or even forged – just like vulnerable computers on a data network |
| SPARKSkein reference implementation achieves success ahead of Crypto 2010 conference |
| High-assurance development environment selected to implement multi-level security workstation |
| A new version of AdaCore's graphical Ada-oriented Integrated Development Environment (IDE) |
| GNAT Pro High-Integrity Edition for DO-178B is a complete development environment with full DO-178B Level A certification materials |
| GNATbench is an Eclipse-based plug-in that supports native (standard) Eclipse and Wind River’s Eclipse-based Workbench development environments, including support for Eclipse 3.2 |
| |
