6 mai 2019 | International, Aérospatial, Naval, Terrestre, C4ISR, Sécurité, Autre défense

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

Sur le même sujet

  • US Space Force moves to make its systems battle-ready by 2026

    29 octobre 2024 | International, Aérospatial

    US Space Force moves to make its systems battle-ready by 2026

    The service has set a goal to ensure that four high-priority, classified systems are fully integrated into its C2 architecture.

  • India to boost defense spending 13%, with billions for new weapons

    2 février 2023 | International, Autre défense

    India to boost defense spending 13%, with billions for new weapons

    The capital expenditure is meant for the procurement of weapons and platforms and payment of outstanding committed liabilities for past defense contracts.

  • UK must compete future surveillance aircraft procurement, parliament states

    4 juillet 2018 | International, Aérospatial, C4ISR

    UK must compete future surveillance aircraft procurement, parliament states

    Gareth Jennings The United Kingdom must hold a fair and open competition before selecting any new surveillance aircraft to replace its current Boeing E-3D Sentry airborne warning and control system (AWACS), the country's parliament has said. The intervention by the Defence Committee followed earlier media reports that the Ministry of Defence (MoD) had already decided to procure the Boeing E-737 Airborne Early Warning and Control (AEW&C) aircraft to replace the Royal Air Force's (RAF's) increasingly unserviceable and expensive E-3Ds. “The chairman of the Defence Committee has written to the Minister of Defence Procurement to request that any requirement for replacing the UK's AWACS aircraft be put out to a competitive tender, rather than bought ‘off-the-shelf' with no competition taking place,” the committee declared on 3 July, adding: “On the possibility of Sentry being replaced with a new system, the [committee] notes the advantages of a competitive tender in terms of maximising value for money and allowing proper consideration of a range of alternatives. The committee also considers that a competition is particularly appropriate in this case, as there are viable alternatives available, which deserve to be given fair consideration.” The RAF currently has six E-3Ds in its operational fleet, with the type having entered service in 1991. While other operators of the type have benefited from regular upgrades, the RAF's fleet has fallen behind in terms of capabilities due to a lack of investment. In January 2017, the fleet was temporarily grounded due to an electrical fault, and despite an announcement in the Strategic Defence and Security Review (SDSR) of 2015 that the fleet would be upgraded and extended from 2025 to 2035, the legacy Boeing 707 host airframe is becoming too expensive to sustain and an alternative is understood to be being sought. http://www.janes.com/article/81497/uk-must-compete-future-surveillance-aircraft-procurement-parliament-states

Toutes les nouvelles