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

  • Rolls-Royce backs hypersonic-power specialist Reaction Engines with new investment

    24 août 2020 | International, Aérospatial

    Rolls-Royce backs hypersonic-power specialist Reaction Engines with new investment

    By: Andrew Chuter LONDON – Rolls-Royce has formed a strategic partnership with British hypersonic-power experts Reaction Engines and is backing that up with a new investment in the company. The new partnership is aimed at developing high-speed propulsion systems for defense and civil applications as well as exploring Reaction Engines' key thermal management technology as part of Rolls-Royce's own gas turbine engines and hybrid-electric systems. Rolls-Royce will invest £20 million ($26 million) over the next two years, building on an initial equity investment made in 2018. Other investors like BAE Systems, Boeing Horizon-X and financial institutions could follow suit, said a Reaction Engines spokesman. The announcement comes as Rolls-Royce steps up its interest in supersonic flight. Earlier in August, Virgin Galactic revealed a delta-winged Mach 3 sub-orbital vehicle concept powered by Rolls-Royce. Earlier this year the British engine builder said it was collaborating with the U.S. company Boom Aerospace on propulsion options for a Mach 2.2 airliner called Overture. “We have been working closely with Reaction Engines for the past two years, including exploring the potential of high-Mach systems for defense applications, and I am delighted that we are able to strengthen that relationship,” said Mark Thompson, director of global strategy and business development at Rolls-Royce.” “Reaction Engines' thermal-management skills, added to our suite of existing technologies and capabilities, will further assist us as we explore opportunities in supersonic and hypersonic aviation,” Thompson added. The two companies have also been involved with BAE and the UK Ministry of Defence in the first phase of a contract related to high-Mach advanced propulsion systems which could eventually find their way on to the British Tempest sixth-generation combat aircraft development. Aerospace and defense consultant Howard Wheeldon, of Wheeldon Strategic Advisory, said the tie-up demonstrated the determination of both companies to be at the forefront of high-speed engine development going forward. “The future of aerospace development from here on is about creating greater efficiency of operation and sustainability. Speed, including supersonic and hypersonic aviation development, will be an important part of this, and high-Mach advanced propulsion systems combined with the potential to apply some of the developed Reaction Engines technology within existing gas turbine engines together with what this offers for future hybrid-electric systems is of huge importance to a world-leading aerospace company such as Rolls-Royce,” he said. Reaction Engines CEO Mark Thomas said the partnership will help speed commercialization of the technology. “This strategic partnership is about developing market-ready applications for Reaction Engines' technology in next-generation engines and is a significant step forward for our technology commercialization plans,” said Thomas. Based at Culham, southern England, and with a test site at Denver, Colorado, Reaction Engines has been developing technology to power aircraft and rockets at supersonic and hypersonic speeds of Mach 5 and above – more than twice the speed of the Concorde. Last October Reaction Engines announced its key lightweight air cooling technology had been tested at its Colorado facility as part of the Defense Advanced Research Projects Agency's HTX project. At the time Reaction Engines said its heat exchanger had been exposed to hypersonic conditions approaching 1,000 degrees centigrade (1,800 degrees F). The heat exchanger performed its precooler function by quenching about 1,800-degree Fahrenheit temperatures in less than one-twentieth of a second. Wheeldon said the Colorado test was a significant step in the development of Reaction Engines' SABRE rocket engine program. “As an enabling technology for a potentially large range of other precooled propulsion systems that have potential commercial applications, the successful testing last year by Reaction Engines of its precooler heat exchanger at airflow temperatures conditions representing Mach 5 was a significant milestone in the development of its revolutionary SABRE air-breathing rocket engine. The new strategic partnership with Rolls-Royce offers further the commercial opportunities and potential for both companies,” said Wheeldon. SABRE, which stands for Synergetic Air Breathing Rocket Engine, is a propulsion system being developed to operate in air breathing and rocket modes using the pre-cooler technology. https://www.defensenews.com/global/europe/2020/08/21/rolls-royce-backs-hypersonic-power-specialist-reaction-engines-with-new-investment/

  • Russia says its new weapon is 27 times faster than the speed of sound

    31 décembre 2018 | International, Aérospatial, Terrestre

    Russia says its new weapon is 27 times faster than the speed of sound

    By: Vladimir Isachenkov, The Associated Press MOSCOW — Russia's new strategic weapon has rendered any missile defenses useless at a small fraction of their cost, officials said Thursday. The Avangard hypersonic glide vehicle flies 27 times faster than the speed of sound, making it impossible to intercept, Deputy Prime Minister Yuri Borisov told Russian state television. The new weapon “essentially makes missile defenses useless,” he said. Borisov spoke a day after Russian President Vladimir Putin oversaw what he described as the conclusive successful test of the Avangard and hailed it as a reliable guarantee of Russia's security for decades to come. In Wednesday's test, the weapon was launched from the Dombarovskiy missile base in the southern Ural Mountains. The Kremlin said it successfully hit a practice target on the Kura shooting range on Kamchatka, 3,700 miles away. The Defense Ministry released footage from the test launch, in which a ballistic missile could be seen blasting from a silo in a cloud of smoke, but it hasn't released any images of the vehicle itself. Putin said the Avangard will enter service with the Russian Strategic Missile Forces next year. The test comes amid bitter tensions in Russia-U.S. relations, which have been strained over the Ukrainian crisis, the war in Syria and the allegations of Moscow's meddling in the 2016 U.S. presidential election. Sergei Ivanov, a former Russian defense minister, said in televised comments that the Avangard constantly changes its course and altitude as it flies through the atmosphere. He emphasized that unlike previous nuclear warheads fitted to intercontinental ballistic missiles that follow a predictable trajectory allowing it to calculate the spot where they can be intercepted, the Avangard chaotically zigzags on its path to its target, making it impossible to predict the weapon's location. A smiling Ivanov likened the weapon's flight through the atmosphere to a pebble skipping off the surface of water. Ivanov, who now serves as Putin's adviser, said the Avangard could be fitted to the Soviet-made UR-100UTTKh intercontinental ballistic missile, which is code-named SS-19 Stiletto by NATO. He noted that Russia has a stockpile of several dozen such missiles, which are in a factory-mint condition and not filled with fuel, allowing them to serve for a long time to come. Ivanov added that they could be put in existing silos, sharply reducing the costs of Avangard's deployment. "The Avangard has cost hundreds of times less than what the U.S. has spent on its missile defense," Ivanov said. He noted that Russia began to develop the Avangard after the U.S. started to develop defenses against ballistic missiles. Moscow feared that the U.S. missile shield could erode its nuclear deterrent, and Putin announced in 2004 that Russia was working on a new hypersonic weapon. Ivanov recalled that when Russian officials warned their U.S. counterparts about the new weapon program at the time, American officials were openly skeptical about Russia's ability to carry out its plan. “We aren't involved in saber-rattling, we simply ensured our security for decades to come,” he said. https://www.militarytimes.com/news/your-military/2018/12/27/russia-says-its-new-weapon-is-27-times-faster-than-the-speed-of-sound

  • Air Force Awards $95M For Cyber Intelligence

    9 février 2021 | International, C4ISR, Sécurité

    Air Force Awards $95M For Cyber Intelligence

    The investment is a sign of the Air Force's commitment to fighting war effectively across all domains, including cyber and its electronic warfare cousin. By KELSEY ATHERTONon February 08, 2021 at 5:08 PM ALBUQUERQUE: The 16th Air Force, designed to constantly contest the electromagnetic spectrum, has awarded a $95 million contract to support both command and control and service cryptologic element roles. The contract — Full Spectrum Intelligence, Surveillance and Reconnaissance Operational Non-Appropriated Funds Support, or FUSIONS — was awarded to Scientific Research Corp of Atlanta. It will run through February 2026. In a sign that Scientific may have developed a promising approach, this is not the first award to the company for this sort of work. The Navy awarded the company a contract similar in scale and scope in 2018. The 16th Air Force first started soliciting this contract in November 2019, one month after the command was created. The original solicitation emphasized the importance of “delivering timely and relevant intelligence data/products to the war fighter.” The 16th was created by merging an Air Force cyber mission with an Intelligence, Surveillance, and Reconnaissance component. Combining intelligence collection in the same component as one that can launch attacks on computers is a way for the Air Force to show how closely connected cyber attacks are to online espionage. Cyber, like surveillance and activity in the electromagnetic spectrum, can happen below the threshold of a shooting war but can also be used for targeting and to inflict physical damage. The scale of the investment is a sign of the Air Force's commitment to fighting war effectively across all its domains, including cyber. At a Dec. 11 symposium, Air Combat Command chief Gen. Mark D. Kelly said he'd told 16AF commander Lt. Gen. Timothy D. Haugh to “Take all of us, whether we go willingly, or kicking and screaming, into the non-kinetic competition.” Much of the work of delivering data products to the Air Force will involve harnessing information it already has in its databases, and making them useful on a command level. Some of that work, as outlined in the solicitation, involves targeting products. “The contractor shall provide targeting SME support regarding the Joint and Air Force Targeting Enterprise (JTE/AFTE), and kinetic, Electronic Warfare (EW), Information Operations (IO), Space and Cyber targeting,” reads the solicitation. The contract is designed to support the 16th in its role as a “service cryptologic element,” or the formal mechanism by which signals intelligence components of the service work directly with the NSA. Another component of the FUSIONS contract is identifying and recommending “new or unexploited information systems,” as well as “unique friendly, enemy, or neutral information sources,” with the goal of turning that information into relevant and useful intelligence. This means, broadly, looking at new Internet-connected devices, tools, and networks, and making that information something troops at the tactical level can use. Vital to that intelligence collection and sharing is ensuring the data itself can be transmitted over existing DoD networks. https://breakingdefense.com/2021/02/air-force-awards-95-million-for-cyber-intelligence/

Toutes les nouvelles