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 118 - Minneapolis, MN - October 2016
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.1 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	The Trusted Systems group in the Rockwell Collins Advanced Technology Center develops mathematical analysis tools for verification of the safety and security properties of embedded software in aerospace systems. I will give a short update on several current projects. 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 in-flight on a small quadcopter and Boeing's Unmanned Little Bird helicopter. In the NASA AMASE project we are extending our AADL architectue modeling and analysis tools to perform the system safety analyses required by ARP4754A and ARP4761. In the Army AIPD project we are investigating the maturity and effectiveness of architectural modeling and analysis tools for use in the Future Vertical Lift (FVL) next-generation family of helicopters. In the AFRL HALWA project we are developing prototype system architecture models for an unmanned "loyal wingman" aircraft and analyzing their safety properties.