![[VIDEO] Fox in jar approaches humans for help](http://cdn.ph.upi.com/sblc/i/9041371612823/13716055047048/2/VIDEO-Fox-in-jar-approaches-humans-for-help.jpg "[VIDEO] Fox in jar approaches humans for help")
![[VIDEO] Florida man jumps off boat, rides whale shark](http://cdn.ph.upi.com/sblc/i/9041371612823/13715193328231/4/VIDEO-Florida-man-jumps-off-boat-rides-whale-shark.jpg "[VIDEO] Florida man jumps off boat, rides whale shark")
![[PHOTOS] 2013 Miss USA competition in Las Vegas](http://cdn.ph.upi.com/sblc/9041371612823/7/PHOTOS-2013-Miss-USA-competition-in-Las-Vegas.jpg "[PHOTOS] 2013 Miss USA competition in Las Vegas")
![[PHOTOS] 2013 Celebrity Couples](http://cdn.ph.upi.com/sblc/9041371612823/8/PHOTOS-2013-Celebrity-Couples.jpg "[PHOTOS] 2013 Celebrity Couples")
1.
Poolside photos of 59-year-old Christie Brinkley are a Web sensation
NATIONAL HARBOR, Md., Sept. 19 (UPI) -- Cybersecurity solutions for U.S. unmanned aerial vehicles and other networked-enabled military vehicles are to be developed by Rockwell Collins.
The work was commissioned for the Unmanned V portion of the High-Assurance Cyber Military Systems program by the U.S. Defense Advanced Research Projects Agency.
The prime contract is for 4 1/2 half years. The monetary value of the award wasn't disclosed.
DARPA's High-Assurance Cyber Military Systems program aims to develop technology for the construction of high-assurance cyber-physical systems. It will require a fundamentally different approach from that used by software developers to enable "semi-automated code synthesis from executable, formal specifications," Rockwell Collins said.
"Making sure software is designed correctly from the beginning is paramount to guarantee the security of military computing platforms," said John Borghese, vice president of the Rockwell Collins Advanced Technology Center.
Rockwell Collins is the team leader for the project. Joining it are Boeing, Galois, National ICT Australia and the University of Minnesota.
|
|
|
|
|
|
| Additional Security Industry Stories | |
REYKJAVIK, Iceland, June 19 (UPI) --
Iceland's new prime minister this week cited the country's mackerel fishing dispute with the European Union as a prime example of the value of sovereignty.
|
PARIS, June 18 (UPI) --
MBDA's Meteor air-to-air missile is to be integrated onto Eurofighter Typhoon fighters, complementing missile systems already used by the aircraft.
|
Properties repossessed by lenders in the first quarter took an average of 477 days to complete the foreclosure process, up from 414 days in the previous...
|
Nobody likes spending cuts but the champion of that attitude is clearly President Barack Obama, who seems to have a very clear pain-avoidance agenda.
|
| Stories | Photos | Comments |
View Caption
