Refine Your Search

Search Results

Article

Software needs security, and security needs software: a scientific overview

2019-04-22
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.
Article

2019 NYIAS Wrap Up

2019-04-20
2019 NYIAS New York Auto Show Corsair GLS Mint Outback EQC Quiantu Highlander
Article

Collins Aerospace taps Wind River Helix virtualization platform to future-proof avionics

2019-04-19
Future airspace will be filled with unmanned aircraft systems (UAS) or drones, commercial aircraft, helicopters, and more. Several prototypes are currently targeting urban air mobility (UAM) platforms, such as air taxis, and revolutionary aircraft models like next-generation commercial supersonic aircraft. Add to this autonomous swarm technologies, enabling manned-unmanned teaming, and systems for future vertical lift and it’s clear that the technology wave can easily become overwhelming.
X