Author: Brenda Marie Rivers|| Date Published: July 29, 2020
The Defense Advanced Research Projects Agency is looking for potential sources of code verification and assurance concepts to support an initiative to modernize the Department of Defense’s legacy software platforms.
The Verified Security and Performance Enhancement of Large Legacy Software program is aimed at creating a shared toolset for developers to support piece-by-piece software updates, DARPA said in a broad agency announcement posted Friday.
DARPA noted in the BAA that it plans to award a potential $40M other transaction agreement for the V-SPELLS initiative in an effort to drive research into the incremental introduction of new products into legacy DoD platforms.
The DoD has “a critical need” for replacing and updating existing software parts while mitigating potential compatibility issues with larger systems, the notice states.
V-SPELLS will also serve as a shared repository of tools and methods related to source code concepts, domain data abstractions, verification, composable system architectures, domain-specific languages and other programming approaches.
Interested parties can submit research proposals through Sept. 9.
Government IT services contractor Aretum has promoted Amy French, most recently chief accounting officer, to chief financial officer. Vienna, Virginia-based…
Shield AI has agreed to acquire simulation software company Aechelon Technology as part of efforts to expand its technological capabilities. The San Diego-based…
SentinelOne, a company specializing in artificial intelligence security, has promoted Barry Padgett to president and chief operating officer. The appointment takes effect…
Anduril Industries and Palantir Technologies are helping develop software for the potential $185 billion Golden Dome next-generation missile defense shield,…
