New Corporate Strategy Extends Leadership in Aerospace and Defense to Commercial Industries; RTI Connext Products Bridge IT and Operational Technology to Improve Business Efficiency Real-Time Innovations (RTI), the world leader in delivering fast, scalable communications software that addresses the challenges of building and integrating real-time operational systems, today introduced RTI Connext™, a new family of […]
Ada expert Tucker Taft joining AdaCore as Director of Language Research AdaCore, a leading supplier of Ada development tools and support services, today announced a merger with SofCheck, Inc., a Lexington, Massachusetts-based automated software quality (ASQ) company. SofCheck’s staff has joined the AdaCore technical team, and SofCheck Founder Tucker Taft has been named as AdaCore’s […]
Open-source research projects combine model-based integration and qualified code generation for safety-critical systems AdaCore has announced its participation in ‘Project P’ and ‘Hi-MoCo’ (High-Integrity Model Compiler), two open-source research efforts supported and partly funded by the French and Estonian national governments and the European EUREKA agency. The combined projects, which started in October 2011, aim […]
Unit test harness generator reduces test development effort for large software projects AdaCore, provider of Ada tools and expertise for the mission-critical, safety-critical, and security-critical software communities, today announced the immediate availability of the GNATtest unit test harness generator for Ada. The GNATtest tool helps automate the essential, but tedious and error-prone, processes for developing […]
