Presentation is loading. Please wait.

Presentation is loading. Please wait.

© Copyright 2013 Rockwell Collins All rights reserved. Company Official and Proprietary Rockwell Collins and Formal Methods September 20, 2013.

Published byJulianne Cleverley Modified over 9 years ago

Similar presentations

Presentation on theme: "© Copyright 2013 Rockwell Collins All rights reserved. Company Official and Proprietary Rockwell Collins and Formal Methods September 20, 2013."— Presentation transcript:

1 © Copyright 2013 Rockwell Collins All rights reserved. Company Official and Proprietary Rockwell Collins and Formal Methods September 20, 2013

2 © Copyright 2013 Rockwell Collins All rights reserved. Company Official and Proprietary 2 Insert pictures into these angled boxes. Height should be 3.44 inches. Who we are: An innovator in the design, production and support of aerospace and defense solutions A global company operating from more than 60 locations in 27 countries 20,000 employees with 4700 engineers A balanced business across markets: Government 58%, Commercial 42% $4.7 billion in sales (2012) Our core competencies include... Communication/NavigationFlight Control Information Electronic Warfare Management Simulation Situational Awareness Rockwell Collins demonstrates a commitment to innovation with 9 % of sales as IR&D investment: Double the industry average

3 © Copyright 2013 Rockwell Collins All rights reserved. Company Official and Proprietary 3 Aviation Electronics and Airborne / Mobile Communications Systems for Commercial and Military Applications Worldwide Rockwell Collins

4 © Copyright 2013 Rockwell Collins All rights reserved. Company Official and Proprietary 4 Advanced Technology Center Charter: Identify, Develop and Mature Technologies that Provide Growth for Rockwell Collins Support Business Units in Evaluation of Advanced Technology Partner with Companies and Universities for Advanced Research Key Technology Areas: Formal Methods Networked Communication Systems Radio and Optical Systems Navigation and Control Avionics & Cabin Systems Information Assurance Automated Analysis Info & Computing Systems Modeling and Simulation

5 © Copyright 2013 Rockwell Collins All rights reserved. Company Official and Proprietary 5 Trusted Systems 18 Research Engineers Technical Expertise –Cyber Defense Operations –Information Assurance Encryption Data Separation Data Security –Formal Methods Thoerem Proving Model Checking Symbolic Execution

6 © 2013 Rockwell Collins, All rights reserved. Slide 6 Today Technology Progression in Avionics Technology PneumaticElectromechanicalAnalogDigital Federated Electronics Electromechanical and Pneumatic Instruments Optical Networking Technology Networked Avionics Avionics 1930-19602010+1970-2010

7 © 2013 Rockwell Collins, All rights reserved. Slide 7 Software Complexity Explosion! Our customers have recognized this problem and are sounding the alarm!

8 © 2013 Rockwell Collins All rights reserved. Rockwell Collins Proprietary Information Utility of Formal Methods Ex post facto verification –Has been used to meet certification requirements Common Criteria EAL 6+ –Finds subtle errors Early detection of errors –Allows errors to be addressed early in design process –Less rework -> lower costs Increase of automation –Push button implementation, testing, and verification –Remove humans from tedious, error prone activities 8

9 © 2013 Rockwell Collins All rights reserved. Rockwell Collins Proprietary Information AAMP5 Microcode Verification (PVS) 1994199619982000200220042006199220082010 AAMP-FV Microcode Verification (PVS) AAMP5 Partitioning (PVS) JEM Java μProc (PVS) FGS Mode Confusion Study (PVS) FCP 2002 Microcode (ACL2) AAMP7 Separation Kernel (ACL2) FGS Mode Confusion PVS) FGS Safety Analysis (RSML -e, NuSMV) ADGS 2100 (Simulink, NuSMV) NASA Aviation Safety AFRL Greenhills Integrity RTOS (ACL2) Mixed Crit. Architectures vFaat (ACL2, PVS) NSA SHADE (ACL2) Turnstile (SPARK) Guardol App (ACL2, Prover) 2012 AF Crypto Mod Crypto Control (Prover) DataFlow Logic (ACL2) Cyber Seedling (ACL2) DARPA META (AADL) AVM (AADL) FM Application (Kind) Guardol (ACL2, Prover) CerTA FCS (NuSMV, Prover) System Arch Tools (AADL)

10 © 2013 Rockwell Collins All rights reserved. Rockwell Collins Proprietary Information FY 13 Formal Methods Projects CustomerProgram(complete) DARPAC2M2L (FY13) DARPAHACMS (FY17) DARPARapid (FY16) NASAAFCS (FY16) AFRLSwPI (FY15) NASAFCSR (FY13) AFRLCertaAMOR (ongoing) CPSDPikeWerks (FY13) SPAWARDornerWorks (FY14) InternalAuto Test (FY13) NSAGuardol (FY14) 10 Compositional reasoning Data flow analysis DO-178C formal methods guidebook example Requirements modeling and analysis Software cost reduction Robust firewall / guard

11 © 2013 Rockwell Collins All rights reserved. Rockwell Collins Proprietary Information Potential Formal Methods Application Areas Cyber –Vulnerability analysis –Cyber resilient design –Demonstrate salient properties of cyber payloads Unmanned Systems –Design, V&V of adaptive/autonomous behavior Rapid Capability Deployment –Insertion of new technology/capability into fielded high assurance systems 11

12 © 2013 Rockwell Collins All rights reserved. Rockwell Collins Proprietary Information Contact Information Corporate Web Site –www.rockwellcollins.comwww.rockwellcollins.com –www.rockwellcollins.com/Careers.aspx Formal Specification and Analysis Job Posting –https://rockwellcollins.taleo.net/careersection/jobdetail.ftl?job=577014https://rockwellcollins.taleo.net/careersection/jobdetail.ftl?job=577014 Ray Richards –rjricha1@rockwellcollins.com –319 295 6709 12

Download ppt "© Copyright 2013 Rockwell Collins All rights reserved. Company Official and Proprietary Rockwell Collins and Formal Methods September 20, 2013."

Similar presentations

Enabling Technology Innovation using Open Source Software

Enabling Technology Innovation using Open Source Software
Trusted Computing in Government Networks May 16, 2007 Richard C. (Dick) Schaeffer, Jr. Information Assurance Director National Security Agency.

Trusted Computing in Government Networks May 16, 2007 Richard C. (Dick) Schaeffer, Jr. Information Assurance Director National Security Agency.
1 Multi-Function Multi-mode Digital Avionics (MMDA) NASA Glenn Research Center – End of FY05 Status Presented to ICAO ACP WGC-11 GRC/James Budinger September.

1 Multi-Function Multi-mode Digital Avionics (MMDA) NASA Glenn Research Center – End of FY05 Status Presented to ICAO ACP WGC-11 GRC/James Budinger September.
Chapter 1 Business Driven Technology

Chapter 1 Business Driven Technology
Thanks to Microsoft Azure’s Scalability, BA Minds Delivers a Cost-Effective CRM Solution to Small and Medium-Sized Enterprises in Latin America MICROSOFT.

Thanks to Microsoft Azure’s Scalability, BA Minds Delivers a Cost-Effective CRM Solution to Small and Medium-Sized Enterprises in Latin America MICROSOFT.
Lesson 1: Introduction to IT Business and Careers

Lesson 1: Introduction to IT Business and Careers
Aviation Safety ProgramSingle Aircraft Accident Prevention April 1. 2003 1 NCC-1-377, Honeywell Tucson Design, Implementation, and Verification of Fault-Tolerant.

Aviation Safety ProgramSingle Aircraft Accident Prevention April NCC-1-377, Honeywell Tucson Design, Implementation, and Verification of Fault-Tolerant.
Dagstuhl Intro Mike Whalen. 2 Mike Whalen My main goal is to reduce software verification and validation (V&V) cost and increasing.

Dagstuhl Intro Mike Whalen. 2 Mike Whalen My main goal is to reduce software verification and validation (V&V) cost and increasing.
GENI: Global Environment for Networking Innovations Larry Landweber Senior Advisor NSF:CISE Joint Techs Madison, WI July 17, 2006.

GENI: Global Environment for Networking Innovations Larry Landweber Senior Advisor NSF:CISE Joint Techs Madison, WI July 17, 2006.
© Copyright 2009 Rockwell Collins, Inc. All rights reserved. Formal Methods for Critical Systems Dr. Steven P. Miller Midwest Verification Day September.

© Copyright 2009 Rockwell Collins, Inc. All rights reserved. Formal Methods for Critical Systems Dr. Steven P. Miller Midwest Verification Day September.
INFORMATION SYSTEMS & GLOBAL SERVICES Craig Solem, CISSP Lockheed Martin Information Systems and Global Services Program Manager, Joint Medical information.

INFORMATION SYSTEMS & GLOBAL SERVICES Craig Solem, CISSP Lockheed Martin Information Systems and Global Services Program Manager, Joint Medical information.
Sensor Systems Division Trusted Situational Awareness A System that Improves the Function and Security of Surveillance Systems used by Law Enforcement,

Sensor Systems Division Trusted Situational Awareness A System that Improves the Function and Security of Surveillance Systems used by Law Enforcement,
Advanced Technology Center Slide 1 Formal Verification of Flight Critical Software Dr. Steven P. Miller Advanced Computing Systems Elise A. Anderson Commercial.

Advanced Technology Center Slide 1 Formal Verification of Flight Critical Software Dr. Steven P. Miller Advanced Computing Systems Elise A. Anderson Commercial.
Advanced Technology Center Slide 1 Formal Methods in Safety-Critical Systems Dr. Steven P. Miller Advanced Computing Systems Rockwell Collins 400 Collins.

Advanced Technology Center Slide 1 Formal Methods in Safety-Critical Systems Dr. Steven P. Miller Advanced Computing Systems Rockwell Collins 400 Collins.
Maritime Security: Our Approach. Who is CUBIC?  Cubic Corporation (Amex) is an innovative supplier of products, systems and services to government and.

Maritime Security: Our Approach. Who is CUBIC?  Cubic Corporation (Amex) is an innovative supplier of products, systems and services to government and.
Significant Work. Extraordinary People. SRA. Property Management Solutions for Unique Identification, AIT, and the Supply Chain March 30, 2011 Susan Pearson,

Significant Work. Extraordinary People. SRA. Property Management Solutions for Unique Identification, AIT, and the Supply Chain March 30, 2011 Susan Pearson,
2003 Indigo Technology, Inc. All Rights Reserved Alliance Portfolio Computing Infrastructure Services Customer Relationship Management Engineering Services.

2003 Indigo Technology, Inc. All Rights Reserved Alliance Portfolio Computing Infrastructure Services Customer Relationship Management Engineering Services.
OPM Cybersecurity Competencies by Occupation (Technical Competencies) 2210085508540391 Information Technology Management Series Electronics Engineering.

OPM Cybersecurity Competencies by Occupation (Technical Competencies) Information Technology Management Series Electronics Engineering.
Unified Logs and Reporting for Hybrid Centralized Management

Unified Logs and Reporting for Hybrid Centralized Management
MyCloudIT Removes the Complexity of Moving Cloud Customers’ Entire IT Infrastructures to Microsoft Azure – Including the Desktop MICROSOFT AZURE ISV: MYCLOUDIT.

MyCloudIT Removes the Complexity of Moving Cloud Customers’ Entire IT Infrastructures to Microsoft Azure – Including the Desktop MICROSOFT AZURE ISV: MYCLOUDIT.

Similar presentations

Ads by Google