We think you have liked this presentation. If you wish to download it, please recommend it to your friends in any social system. Share buttons are a little bit lower. Thank you!
Presentation is loading. Please wait.
Published byJulianne Cleverley
Modified about 1 year ago
© Copyright 2013 Rockwell Collins All rights reserved. Company Official and Proprietary Rockwell Collins and Formal Methods September 20, 2013
© 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
© 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
© 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
© 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
© 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
© 2013 Rockwell Collins, All rights reserved. Slide 7 Software Complexity Explosion! Our customers have recognized this problem and are sounding the alarm!
© 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
© 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)
© 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
© 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
© 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 –firstname.lastname@example.org –319 295 6709 12
Advanced Technology Center Slide 1 Formal Verification of Flight Critical Software Dr. Steven P. Miller Advanced Computing Systems Elise A. Anderson Commercial.
© Copyright 2008 Rockwell Collins, Inc. All rights reserved. Proprietary Information Rockwell Collins SAE ACGSC Meeting 102 General Committee Briefing.
Page 1 Advanced Technology Center HCSS 03 – April 2003 vFaat: von Neumann Formal Analysis and Annotation Tool David Greve Dr. Matthew Wilding Rockwell.
Advanced Technology Center Slide 1 Model-Based Design & Analysis Dr. Steven P. Miller Advanced Computing Systems Rockwell Collins 400 Collins Road NE,
Advanced Technology Center Slide 1 Formal Methods in Safety-Critical Systems Dr. Steven P. Miller Advanced Computing Systems Rockwell Collins 400 Collins.
Dagstuhl Intro Mike Whalen. 2 Mike Whalen My main goal is to reduce software verification and validation (V&V) cost and increasing.
© 2016 Rockwell Collins. All rights reserved. Rockwell Collins Wellness Overview.
© Copyright 2009 Rockwell Collins, Inc. All rights reserved. Formal Methods for Critical Systems Dr. Steven P. Miller Midwest Verification Day September.
Page 1 Advanced Technology Center HCSS 03 – April 2003 A High-Assurance Partitioned Development Environment David Greve and Matthew Wilding Rockwell Collins.
I.U. Professional Opportunities Orientation Program Kristin Gaines IT Manager.
Distribution limited to Jeppesen Personnel Jeppesen Proprietary - Copyright © 2011Jeppesen. All rights reserved. IMA Partnerships The Way Forward Rob Knapp.
Significant Work. Extraordinary People. SRA. Property Management Solutions for Unique Identification, AIT, and the Supply Chain March 30, 2011 Susan Pearson,
Thanks to Microsoft Azure’s Scalability, BA Minds Delivers a Cost-Effective CRM Solution to Small and Medium-Sized Enterprises in Latin America MICROSOFT.
FY2011 Harris Corporation Overview Page 1 Harris Corporation Overview.
Overview 4Core Technology Group, Inc. is a woman/ veteran owned full-service IT and Cyber Security firm based in Historic Petersburg, Virginia. Founded.
1 As a public interest company, MITRE works in partnership with the government to address issues of critical national
Enabling Technology Innovation using Open Source Software Black Duck Software Tammi Pirri SNHU Presentation.
Built on Azure, Moodle Helps Educators Create Proprietary Private Web Sites Filled with Dynamic Courses that Extend Learning Anytime, Anywhere MICROSOFT.
The Company at a Glance AMETEK is a leading global manufacturer of electronic instruments and electromechanical devices CLEAR VISIONSOUND STRATEGIESSOLID.
Copyright © 20XX Raytheon Company. All rights reserved. Fostering Indiana Technology Engaging In Long Term Partnerships Tim Morris
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 I.U. Professional Opportunities Orientation Program Kristin Gaines Manager, Global Financial Support & Services.
Copyright © 2014 Rockwell Automation, Inc. All Rights Reserved. PUBLIC PUBLIC CO900G Electrical Controls Engineering Career Paths University of.
Maritime Security: Our Approach. Who is CUBIC? Cubic Corporation (Amex) is an innovative supplier of products, systems and services to government and.
With the Help of the Microsoft Azure Platform, Devbridge Group Provides Powerful, Flexible, and Scalable Responsive Web Solutions MICROSOFT AZURE ISV PROFILE:
Embedded Systems - the Neural Backbone of Society ARTEMIS Industry Association ARTEMIS, from successful R&D to cutting-edge Innovation Rolf Ernst, TU Braunschweig.
Electronics, Intelligence & Support Systems Solutions & Integration Charleston, South Carolina Overview.
© Siemens AG, CT SE 1, Dr. A. Ulrich C O R P O R A T E T E C H N O L O G Y Research at Siemens CT SE Software & Engineering Development Techniques.
INFORMATION SYSTEMS & GLOBAL SERVICES Craig Solem, CISSP Lockheed Martin Information Systems and Global Services Program Manager, Joint Medical information.
THE VALUE OF BREADTH Christopher Oster Lockheed Martin SERC Fellow Copyright Christopher Oster © 2012 All Rights Reserved.
CHIEF EXECUTIVE OFFICER KoolSpan, The Trust Company.
2003 Indigo Technology, Inc. All Rights Reserved Alliance Portfolio Computing Infrastructure Services Customer Relationship Management Engineering Services.
Activu-Powered Video Wall Prominently Featured during President Obama’s Visit to the National Cybersecurity and Communications Integration Center On January.
Copyright© 2002 Avaya Inc. All rights reserved Anna Dorcey Director, Avaya DeveloperConnection Program August 4, 2004 Partnering in the VOIP World Anna.
National Information Assurance Partnership NIAP 2000 Building More Secure Systems for the New Millenium sm.
OPM Cybersecurity Competencies by Occupation (Technical Competencies) Information Technology Management Series Electronics Engineering.
© 2009 IBM Corporation Delivering Quality Service with IBM Service Management April 13 th, 2009.
© 2016 Catalyze, Inc. Go-To-Market Services HIPAA Compliance in the Cloud: Catalyze Provides Microsoft Azure Customers with a HITRUST Certified Platform-as-a-Service.
Microsoft Azure Powers the Convenios e Obras Module for the Connected Government Solution, Which Can Integrate, Speed Up Decision-Making MICROSOFT AZURE.
Lesson 1: Introduction to IT Business and Careers.
1 New Development Techniques: New Challenges for Verification and Validation Mats Heimdahl Critical Systems Research Group Department of Computer Science.
From Information Assurance to Trusted Systems – A Strategic Shift Patricia A. Muoio Chief, NSA Trusted Systems Research (formerly known as National Information.
Revolutionized, Automated Cash and Gratuity Management for the Hospitality Industry, Thanks to Microsoft Azure MICROSOFT AZURE APP BUILDER PROFILE: Evention.
Citrix Partner Update The Citrix Delivery Centre.
Powered by Microsoft Azure, Auctori Is the Next Generation in Multilingual, Global, Search Engine Optimized Web Content Management Systems MICROSOFT AZURE.
GameChanger’s Rate Quote Issue Solution is Deployed to Microsoft Azure for a Fast, Flexible Direct to Consumer Insurance Sales Solution MICROSOFT AZURE.
CHAPTER 7 THE INTERNET AND INTRANETS 1/11. What is the Internet? 2/11 Large computer network ARPANET (Dept of Defense) It is international and growing.
Sensor Systems Division Trusted Situational Awareness A System that Improves the Function and Security of Surveillance Systems used by Law Enforcement,
© 2017 SlidePlayer.com Inc. All rights reserved.