Log in to use our free company, program and sector update tracker feature.

Front page

Rockwell Collins, NASA team to develop new analysis tools to verify safety of flight critical systems

The National Aeronautics and Space Administration (NASA) has selected Rockwell Collins to develop new software analysis tools for verifying the safety of flight critical systems for future commercial aircraft. Under the terms of the one-year contract, Rockwell Collins will develop a set of software analysis tools, conduct demonstrations, and make recommendations to NASA.

Avionics systems are increasing in complexity as new capabilities are added that reduce carbon emissions, increase navigation performance and prepare for the FAA NextGen airspace initiative. This increased complexity brings the need for new methods for analysis that will assure that the system will operate safely under all conditions.

“Complex avionics systems can literally have billions of modes and states,” said John Borghese, vice president of the Rockwell Collins Advanced Technology Center. “By incorporating formal mathematical verification – also known as Formal Methods - we can detect and remove software bugs and security vulnerabilities early in the development process when it's less costly to correct errors.”

Rockwell Collins leadership in Formal Methods began with basic research into the methodology and tool development over a decade ago. Recently Rockwell Collins was awarded a $16 million Defense Advanced Research Projects Agency (DARPA) program, High-Assurance Cyber Military Systems (HACMS), to develop new Formal Methods tools to provide cyber security solutions for unmanned air vehicles.

Press release issued by Rockwell Collins Inc. on August 7, 2013


 Contact details from our directory:
Rockwell Collins Inc. Head-Up Displays, Radio Communications Equipment, Moving Maps, Enhanced Vision Systems (EVS), LCD Displays, Engine Indicator Instruments, Cabin Management Systems, Automatic Flight Control Systems, Inflight Entertainment, Automatic Direction Finders, Cabin Address Systems, Autopilots, Radar/Radio Altimeters, Distance Measuring Equipment, VOR (Omnirange) Receivers, Avionics Management Systems, Air-to-Ground Data Links, Multi-Mode Receivers (MMR), Engine Control Quadrants, Control Panels, Aircraft & Helicopter Controllers, Collision Avoidance Systems/TCAS, Helmet-Mounted Displays (HMD), Weather Mapping Radar, Inertial Components & Systems, Attitude and Heading Reference Systems, Navigation Antennas, Transceivers, Flight Recorders, Cockpit Printers, Flight Directors, Flight Management Systems, Electronic Flight Instrument Systems, Air Data Computers, Onboard Computers, UAV Control Software, GPS, Simulation Systems, Surveillance/Air Defense Radar, Engine Controls, Terrain Awareness and Warning Systems, Horizontal Situation Indicator, Instrument Landing Systems, Command, Control & Intelligence Systems
NASA Armstrong Flight Research Center Research/Consulting Services, Testing Services


 Related directory sectors:
Indicators and Instruments
Flight and Data Management

Enhanced listings:

Reduce the time spent on current projects by using ESDU – engineering data and software that have been approved and endorsed by professional institutions.

General Plastics Manufacturing Co.
General Plastics has been supplying OEMs, Tier 1 and Tier 2 companies with flame-retardant foam core materials and custom flexible foam molded parts for aircraft flight decks and interior cabins for over 50 years.

Quintus Technologies
Quintus Technologies is a global leading provider of high pressure fluid cell presses and hydroform deep-draw presses for sheet metal forming

Victrex Plc
New VICTREX® AE250 composites and hybrid molding technology are changing the equation in Aerospace composites – find out more!

Samuel, Son & Co.
Looking for a quality metals supplier? Samuel can provide Aircraft Quality metals that meet Commercial and Military specifications

See our advertising tariff.


Monthly page limit exceeded. Please buy a subscription.

© Copyright of Airframer Limited, operated under licence by Stansted News Limited 2016. Terms & Conditions of reading.