January 10, 2023 | International, Aerospace
Air Force, Space Force pursue AI readiness by 2025
To get after AI readiness, the Department of the Air Force must continue investments in training and infrastructure, says the outgoing AI and data chief.
May 6, 2019 | International, Aerospace, Naval, Land, C4ISR, Security, Other Defence
DARPA: Expediting Software Certification for Military Systems, Platforms
Military systems are increasingly using software to support functionality, new capabilities, and beyond. Before a new piece of software can be deployed within a system however, its functional safety and compliance with certain standards must be verified and ultimately receive certification. As the rapid rate of software usage continues to grow, it is becoming exceedingly difficult to assure that all software considered for military use is coded correctly and then tested, verified, and documented appropriately.
“Software requires a certain level of certification – or approval that it will work as intended with minimal risks – before receiving approval for use within military systems and platforms,” said Dr. Ray Richards, a program manager in DARPA's Information Innovation Office (I2O). “However, the effort required to certify software is an impediment to expeditiously developing and fielding new capabilities within the defense community.”
Today, the software certification process is largely manual and relies on human evaluators combing through piles of documentation, or assurance evidence, to determine whether the software meets certain certification criteria. The process is time consuming, costly, and can result in superficial or incomplete evaluations as reviewers bring their own sets of expertise, experiences, and biases to the process. A lack of a principled means of decomposing evaluations makes it difficult to create a balanced and trustworthy process that applies equally to all software. Further, each subsystem and component must be evaluated independently and re-evaluated before it can be used in a new system. “Just because a subsystem is certified for one system or platform does not mean it is unilaterally certified for all,” noted Richards. This creates additional time delays and review cycles.
To help accelerate and scale the software certification process, DARPA developed the Automated Rapid Certification Of Software (ARCOS) program. The goal of ARCOS is to create tools and a process that would allow for the automated assessment of software evidence and provide justification for a software's level of assurance that is understandable. Taking advantage of recent advances in model-based design technology, “Big Code” analytics, mathematically rigorous analysis and verification, as well as assurance case languages, ARCOS seeks to develop a capability to automatically evaluate software assurance evidence to enable certifiers to rapidly determine that system risk is acceptable.
“This approach to reengineering the software certification process is well timed as it aligns with the DoD Digital Engineering Strategy, which details how the department is looking to move away from document-based engineering processes and towards design models that are to be the authoritative source of truth for systems,” said Richards.
To create this automated capability, ARCOS will explore techniques for automating the evidence generation process for new and legacy software; create a means of curating evidence while maintaining its provenance; and develop technologies for the automated construction of assurance cases, as well as technologies that can validate and assess the confidence of an assurance case argument. The evidence generation, curation, and assessment technologies will form the ARCOS tools and processes, working collectively to provide a scalable means of accelerating the pathway to certification.
Throughout the program's expected three phases, evaluations and assessments will occur to gauge how the research is progressing. ARCOS researchers will tackle progressively more challenging sets of software systems and associated artifacts. The envisioned evaluation progression will move from a single software module to a set of interacting modules and finally to a realistic military software system.
Interested proposers will have an opportunity to learn more during a Proposers Day on May 14, 2019, from 8:30AM to 3:30PM (EST) at the DARPA Conference Center, located at 675 N. Randolph Street, Arlington, Virginia, 22203. The purpose of the Proposers Day is to outline the ARCOS technical goals and challenges, and to promote an understanding of the BAA proposal requirements. For details about the event, including registration requirements, please visit: https://www.fbo.gov/index?s=opportunity&mode=form&id=6a8f03472cf43a3558456b807877f248&tab=core&_cview=0
Additional information will be available in the forthcoming Broad Agency Announcement, which will be posted to www.fbo.gov.
On the same subject
-
-
August 31, 2018 | International, Aerospace, Naval
US Navy selects builder for new MQ-25 Stingray aerial refueling drone
By: Valerie Insinna and David B. Larter WASHINGTON — Boeing has seized the Navy's MQ-25 tanker drone contract, a major victory for a company that has in recent years struggled to win combat aircraft awards, marking a major step toward a new kind of carrier air wing. The $805 million contract covers the design, development, fabrication, test and delivery of four Stingray aircraft, a program the service expects will cost about $13 billion overall for 72 aircraft, said Navy acquisition boss James Geurts. The award to Boeing kicks off what the Navy would is aiming to be a six-year development effort moving toward a 2024 declaration of initial operational capability. At the end, it will mark a historic integration of drones into the Navy's carrier air wing. The Navy has traversed a long and complicated road in trying to develop a UAS that would fly on and off its aircraft carriers. It first envisioned UCLASS as a surveillance and strike asset, but the program was cancelled in 2016 after stakeholders including the Navy, the office of the secretary of defense and Congress publicly butted heads over the requirements. Instead, the effort to field a carrier drone was reborn that year as an unmanned tanker that could double the range of the carrier air wing. “I think we'll look back on this day and recognize it as a pretty historic event,” said Chief of Naval Operations Adm. John Richardson. “From an operational standpoint we are putting our feet in the water in a big way of integrating unmanned with manned into the air wing,” adding that getting the Stingray into the fleet will free up the Hornets now dedicated to the tanking mission While the MQ-25 contract would have been a massive win for any of the competitors, which also included Lockheed Martin and General Atomics, it holds special meaning for Boeing. Boeing has a long history in both naval aviation and the tanking mission, but its Phantom Works advanced technology wing has failed in recent decades to win high-stakes awards like the joint strike fighter and long-range strike bomber contracts. Today's win is a big step in toward reversing the trend. Boeing and General Atomics were widely seen as the favorites for the MQ-25 contest, with each firm offering wing-body-tail designs that were heavily influenced by the company's work in the precursor to the program, the Unmanned Carrier-Launched Airborne Surveillance and Strike effort. Full article: https://www.defensenews.com/naval/2018/08/30/us-navy-selects-builder-for-new-mq-25-stingray-aerial-refueling-drone
-
November 17, 2022 | International, C4ISR
National Reconnaissance Office seeks commercial hyperspectral imaging
The request for proposals is part of a part of a broader Strategic Commercial Enhancement effort, designed to better leverage off-the-shelf technology.