Software needs security. That's a consequence of using software to control critical systems. It's difficult because software is inherently a complex artifact, even when the code just consists of a single sequential program in a single programming language, with well-defined inputs and outputs. Of course, actual software rarely if ever has such a simple structure. Security needs software. That's a consequence of the complexity just mentioned. No process can ensure security at scale unless it is automated by using software itself: programming languages, verification tools, software platforms.
As mobility software becomes increasingly complex and connected, so does the risk of human error and system safety. To combat this, New York-based software company AdaCore will work with Nvidia Corporation of Santa Clara, California to apply open-source Ada and SPARK programming languages for select software security firmware elements in highly-complex, safety-critical systems like Nvidia’s DRIVE AGX automated and autonomous vehicle solutions.
The Commonwealth Center for Advanced Manufacturing (CCAM), a non-profit consortium based in Prince George County, Virginia, uses a 3D visualization lab to expand beyond the walls of its 62,000-square-foot brick and mortar facility and deliver a collaborative development for researchers in industry, academia, and government.
Agencies involved in the operation obtained a special exemption from the Federal Aviation Administration’s national security flight restrictions over the airspace above the event, for purposes of keeping the crowds, drivers, and race personnel safe.
Connectivity, one of the fastest-growing technical features for new vehicles, has attracted the attention of many companies that hope to offer services and garner revenue by using data from vehicles. But before any market can emerge, data companies and vehicle owners will have to believe data integrity is ensured.
To better inform and equip mobility engineers dealing with these challenges, SAE International has released a new book series from Juan R. Pimentel that explores automated vehicle safety concepts and technologies.
Through this work, Wind River and Airbiquity look to enable secure and intelligent software updates and data management for these vehicles through over-the-air (OTA) programming technology. The work may also lead to similar solutions for traditional aerospace and unmanned aircraft system (UAS) industries.