Back to news

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.

https://www.darpa.mil/news-events/2019-05-03

On the same subject

  • Italy defense minister commits to F-35 after calls to suspend program

    May 29, 2020 | International, Aerospace

    Italy defense minister commits to F-35 after calls to suspend program

    By: Tom Kington ROME – Italy's defense minister has thrown his weight behind the F-35 program to counter demands from within his coalition government to suspend purchases of the aircraft to help Italy's coronavirus-stricken economy. Lorenzo Guerini said he “confirmed that the program would continue,” after calls from Italy's Five Star party to halt F-35 purchases for a year as Italy seeks cash to help rebound from the virus, which has killed 33,000 in Italy. In an interview with Italian publication Formiche, Guerini said defense spending was often slashed during economic crises, but claimed cuts to Italy's planned 90-aircraft buy would hurt high-tech jobs and damage an industrial sector which “offers very significant economic returns to our nation.” Italy has currently taken delivery of 15 F-35 aircraft including 12 F-35A's and three F-35B's. Final assembly of the aircraft occurs at Italy's own facility at Cameri Air Base in the north of the country, which is due to become a maintenance hub for the aircraft. Guerini hails from the center-left Democratic Party, which is a minority partner with the Five Star party in a coalition government formed last year. Previously, Five Star had governed alongside the anti-migrant League party. Five Star has had a turbulent relationship with the F-35 program. Prior to first entering government in 2018 it vowed to scrap the program altogether, before giving ambiguous signals about the aircraft once it was in power. Italy's coronavirus outbreak, which started in late February and prompted a strict, nationwide shut-down, has only now eased, with most restrictions on movement dropped on May 18. But after two months of lockdown the economy is in tatters, from manufacturing to services to tourism, which accounts for 13 percent of GDP. The government has been slow off the mark to pay furlough wages and economists see GDP shrinking by up to ten percent this year. In late March, 50 Five Star members of parliament signed a motion backing a suspension of ongoing F-35 purchases for one year to free cash for health spending. “We would also consider renegotiating and resizing this program,” one Five Star member in the group said at the time. In his interview, Guerini backed F-35 but also supported Italy's historical alliance with the United States and NATO, which was thrown into doubt by an April poll asking Italians which countries they considered “Friends”. Some 52 percent indicated China, followed by Russia on 32 percent and the United States on 17 percent. Compared to a similar survey carried out in 2019, China leaped 42 percent, Russia by 17 percent, while the U.S. dropped 12 percent. Asked which country Italy should ally with in the future, 36 percent said China while only 30 percent said the United States. The survey followed very visible visits by Chinese and Russian doctors to Italy to help during the virus outbreak. Last year, Italy announced plans to sign up to China's controversial Belt and Road global trade routes plan, incurring criticism from U.S. diplomats, who warned the program was designed to help China more than its partners. https://www.defensenews.com/global/europe/2020/05/28/italy-defense-minister-commits-to-f-35-after-calls-to-suspend-program/

  • BAE Systems awarded U.S. Navy contract to continue supporting Mobile Deployable C5ISR programs

    March 16, 2024 | International, Land, C4ISR

    BAE Systems awarded U.S. Navy contract to continue supporting Mobile Deployable C5ISR programs

    The U.S. Navy has awarded BAE Systems a contract worth approximately $86 million to continue supporting its MDC5ISR programs.

  • Saab to build new plant in Indiana for T-X trainer jet

    May 9, 2019 | International, Aerospace

    Saab to build new plant in Indiana for T-X trainer jet

    By: Valerie Insinna WASHINGTON — Swedish aircraft manufacturer Saab will build a T-X production facility in West Lafayette, Indiana, where it will manufacture its portion of the Air Force trainer jet it is developing with Boeing, the company announced Wednesday. The company plans to invest $37 million in the site, which will produce “major structural sections” and conduct final assembly of Saab's piece of the jet, according to a Saab news release. Then those elements will be sent to Boeing's facility in St. Louis, Missouri, to be mated with the rest of the trainer. Construction on the new facility will begin in 2020, and Saab intends to hire at least 300 full-time employees from the area during the initial years of the site's operation. The announcement, made Wednesday during a ceremony at West Lafayette-based Purdue University, fulfills a promise Saab officials made in 2017 to establish a new manufacturing center in the United States once the Boeing-Saab team had won the T-X contract. At the time, Saab President and CEO Håkan Buskhe said the company was still considering site locations, as well as whether to repurpose an existing production facility or construct a new campus. However, he was confident at least 90 percent of the jet could be made in the United States — an important qualifier under the Trump administration, which has touted “Buy American” policies. Indiana Governor Eric Holcomb, Purdue University President Mitch Daniels and Buskhe attended the ceremony on Wednesday. “After careful consideration, we have chosen West Lafayette, thanks to the visionary leadership of both the State of Indiana and the world-leading Purdue University,” Buskhe said. “Today's announcement is a part of our growth strategy in the United States, and deepens our relationship with the U.S. customer. We see great possibilities here for this facility and our partnerships.” In addition to building the new facility, the Swedish company will partner with Purdue University, a hub of engineering talent in the Midwest, to conduct research on advances in sensors, artificial intelligence and autonomous technologies. During the ceremony, Buskhe noted the scope and level of investment of these activities has not been decided. Under the T-X program, Saab and Boeing will produce at least 351 trainers for the U.S. Air Force. The Navy and Marine Corps is also interested in buying the jet, and the Air Force is considering its use for simulating adversaries during combat and for light-attack missions — a prospect that could land the Saab-Boeing team additional sales in the hundreds. The Air Force awarded the $9.2 billion T-X contract to Saab and Boeing last year, and the service's first T-X squadron is expected to be operational in fiscal 2024. https://www.defensenews.com/industry/2019/05/08/saab-to-build-new-t-x-plant-in-indiana/

All news