Pickering Interfaces launches Remote Gateway software for remote control of PXI test systems
gRPC-based solution enables cross-platform access to Pickering PXI and PXIe hardware while...
Read More
Category: Software
RTI Connext TSS – basis for developing future avionic systems
Expanded platform support and simplified development of interoperable avionics and defence systems...
Read MoreAdaCore and CMU researchers announce collaboration around formal verification of Rust for high-integrity systems
Collaboration combines AdaCore’s three decades of high-integrity software assurance with Verus, a formal verification tool for Rust. AdaCore, a trusted provider of software development tools and technologies for safety-critical,...
Read More
NeoCortec exhibits at electronica 2026
NeoMesh available in different formats; software tools to ensure maximum network health At...
Read More
AdaCore co-organises and exhibits at the High Integrity Software Conference 2026 in Birmingham
AdaCore joins Capgemini and Rapita Systems to organize HISC 2026 at The Vox in Birmingham on 13...
Read More
Renishaw neuro solutions selects CodeSonar static analysis for neurosurgical robot
Medical device manufacturer applies AdaCore’s static analysis tool to support software...
Read More
Command and control: what is the data challenge behind building unmanned systems at scale?
By David Greenberg, staff application engineer at RTI The need to support Autonomous Collaborative...
Read More
Perforce Delphix launches AI-native synthetic data solution
Enterprise development teams and AI agents can now generate realistic, referentially intact test...
Read More
Solid Sands advances C23 and C++23 compiler verification with SuperTest Van Gogh 6.0
Solid Sands B.V., the provider of testing and qualification technology for compilers and...
Read MoreAdaCore releases demonstrator for trustworthy development with AI
AdaCore has released GNAT Foundry: Intersection, an open-source demonstrator of how human engineers can collaborate with AI to deliver high-integrity software. The demo shows how formal methods and trusted tools can guide AI in...
Read More
How to build radar architectures that scale
Radar is increasingly associated with software-defined capabilities, adaptive sensing and digital...
Read More
‘Joker Junior’ wins Pickering’s PickBot student challenge at Czech innovation fair
Pickering Group inspires future engineers through robot-building challenge Pickering Group has...
Read More
Perforce Intelligence advances control and trust for AI workflows
Perforce Agentic Gateway provides an orchestration layer for the AI-Driven Development Lifecycle...
Read More
Microchip announces TimePictra 12 platform to strengthen synchronization management for critical infrastructure
Next-generation software platform helps operators manage High-Accuracy Time Transfer (HA-TT)...
Read More
Rust language support in Perforce static analysis “accelerates” secure, AI-driven, multi-language embedded development lifecycles
Single static analysis workflow catches critical errors beyond memory-safety for mixed-language...
Read More
