Aerospace Control and Guidance Systems Committee

Announcements

You must first log in to access prior meeting presentations, register for a meeting, or nominate some for the Ward Award.

If you do not have a login account, or cannot remember the email address associated with your account, please click on the Application Form link below.

Login

Site Search

Search our site:

Upcoming Events

Photos

Meeting Highlights New!

Subcommittee S

Prior Meetings

Abstracts may be viewed by anyone. Presentations are only available to active members who have logged in.

Meeting 132
(coming soon)

Home

Ward Memorial Award

Planning Advisory Board

Downloads

Constitution and By-Laws

About

History

Contact Us

← Return to agenda

Meeting	ACGS Committee Meeting 115 - Portland, OR - March 2015
Agenda Location	4 GENERAL COMMITTEE TECHNICAL SESSION 4.2 Research Institutions, Industry, and University Reports 4.2.1 Research Institutions and Companies 4.2.1.4 Rockwell Collins
Title	Rockwell Collins
Presenter	Darren Cofer
Available Downloads*	presentation
	Downloads are available to members who are logged in and either Active* or attended this meeting.
Abstract	Darren Cofer Rockwell Collins ATC update The final report and models from our NASA DO-333 Case Studies project are now publicly available. In this project we used three different types of formal analysis tools to satisfy the software certification objectives for different elements of an avionics system. In the DARPA HACMS project we are using formal methods to build aircraft software that will be robust against many classes of cyber-attack. We are demonstrating our results on a small quadcopter and Boeing's Unmanned Little Bird helicopter. Our NASA-funded project to investigate certification barriers associated adaptive and intelligent software has been completed. I will report on the results in my presentation on Friday.