A New Approach to the Design and Verification of Complex Systems
|
|
- Caren Allison
- 5 years ago
- Views:
Transcription
1 A New Approach to the Design and Verification of Complex Systems Research Scientist Palo Alto Research Center Intelligent Systems Laboratory Embedded Reasoning Area Tolga Kurtoglu, Ph.D.
2 Complexity Highly integrated system Large number of interacting components Mostly nonlinear component interactions Design constraints are rigid Feasible design space is tight Challenges Beyond the grasp of any one individual Difficult to consider all potential system states Hard to capture and model all component interactions Difficult to quantify risk and uncertainty Hard to handle disturbances safely and effectively
3 Complexity Demands a systematic approach to the design process waterfall model fountain model V-model spiral model agile model Standard practice MIL-STD STD- 449A [1969] Aerospace Automotive Defense
4 Is the V-model V good enough? Various government programs (NASA, NSF, DARPA) are attempting to improve current systems engineering practices DARPA s s new META (I&II) program is focused solely on revolutionizing methods for design and verification of complex systems s
5 How can we achieve this vision? How can we maximize performance and time to deliver while minimizing waste and inefficiency? Cost Identification and Elimination of Design Flaws Design Test & Certification Cost Design Identification and Elimination of Design Flaws Test & Certification Time Time By introducing an enabling suite of automated design tools to manage design complexity A novel model-based approach to systems engineering eliminates most hardware-in in-the loop testing for verification
6 ARRoW (Adaptive, Reflective, Robust Workflow) Objective: Compress design and verification timelines for complex cyber-physical systems by reducing delay-inducing design issues and by accelerating redesign. Model-based qualitative/ quantitative testing that tolerates abstraction imperfection, progressively builds certificate of correctness Design assisted by optimized model-based composition and diagnosis information Model-based diagnosis identifies conflicts directs redesign Approach: Three interlaced workflow threads continuously design, test, and diagnose the complete system through progressively more concrete abstraction layers.
7 ARRoW (Adaptive, Reflective, Robust Workflow) DARPA024r3 A novel model-based approach to systems engineering
8 ARRoW Unique Features Multi-Level Hierarchy of Design Abstractions Qualitative Reasoning Engine for Design Look Ahead Metrics Development for Assessment of Dynamic Design Complexity and Adaptability Model-Based Diagnosis for Design Flaw Analysis Model Integration and Meta Design-Language Probabilistic Verification for Issuance of Design Certificate of Correctness
9 ARRoW Qualitative Reasoning Engine Enables the tractable construction of exhaustive behavior traces It creates the scaffolding necessary to incrementally and efficiently derive probabilistic certificates of correctness Enables us to compute practical measures of complexity based on dynamic behaviors Avoids relying solely on static enumerative measurements
10 ARRoW Adaptability and Complexity Metrics Metrics capture complexity, robustness, and adaptability of candidate designs at varying levels of abstraction ability to better understand the potential impacts on reliability, maintainability, cost, and system performance Metrics address the full range of lifecycle uncertainties of concern to developers requirements creep, design space complexity, structural complexity, behavior complexity (number of distinct behavioral paths) development complexity (likelihood of design failures)
11 ARRoW Multi-Objective Design Optimization Assists the designers in selecting the components and design that achieve an optimal tradeoff between performance, complexity, and adaptabilit Tradeoff is better framed as a multi-objective problem Key goal for a design system is the continuous computation and presentation of the Pareto front ARRoW supports early design space exploration ARRoW adopts and improves upon the constraint satisfaction- based approaches ARRoW also builds on research in using surrogate models
12 ARRoW Probabilistic Certificate of Correctness Probability that a particular design will successfully pass a use case, or set of use cases Examples: probability that a vehicle will move at a top speed > 60 mph for one hour will accelerate to 60 mph in less than 3 seconds will successfully execute a mission plan in an allotted time Compute probabilistic certificate of correction given use case, U, and plant model, M Use case is expressed as a flexible plan Plant model represents dynamic behavior of design
13 Future Research Questions Can Qualitative Reasoning (QR) live up to the task? How to effectively generate auto/assisted design alternatives for domain specific complex design problems? How to evaluate the value of early architectural designs? How to perform functional (probabilistic) verification? How to guarantee correct by construction designs to eliminate/reduce testing and verification burden?
14 Thank you! Questions?
Requirements Gathering using Object- Oriented Models
Requirements Gathering using Object- Oriented Models Cycle de vie d un logiciel Software Life Cycle The "software lifecycle" refers to all stages of software development from design to disappearance. The
More informationAutomated Driving Systems with Model-Based Design for ISO 26262:2018 and SOTIF
Automated Driving Systems with Model-Based Design for ISO 26262:2018 and SOTIF Konstantin Dmitriev The MathWorks, Inc. Certification and Standards Group 2018 The MathWorks, Inc. 1 Agenda Use of simulation
More informationNASA Technology Road Map: Materials and Structures. R. Byron Pipes
NASA Technology Road Map: Materials and Structures R. Byron Pipes John L. Bray Distinguished Professor of Engineering School of Materials Engineering, Purdue University bpipes@purdue.edu PMMS Center 1
More informationExecutive Summary. Chapter 1. Overview of Control
Chapter 1 Executive Summary Rapid advances in computing, communications, and sensing technology offer unprecedented opportunities for the field of control to expand its contributions to the economic and
More informationWilliam Milam Ford Motor Co
Sharing technology for a stronger America Verification Challenges in Automotive Embedded Systems William Milam Ford Motor Co Chair USCAR CPS Task Force 10/20/2011 What is USCAR? The United States Council
More informationStanford Center for AI Safety
Stanford Center for AI Safety Clark Barrett, David L. Dill, Mykel J. Kochenderfer, Dorsa Sadigh 1 Introduction Software-based systems play important roles in many areas of modern life, including manufacturing,
More informationCredible Autocoding for Verification of Autonomous Systems. Juan-Pablo Afman Graduate Researcher Georgia Institute of Technology
Credible Autocoding for Verification of Autonomous Systems Juan-Pablo Afman Graduate Researcher Georgia Institute of Technology Agenda 2 Introduction Expert s Domain Next Generation Autocoding Formal methods
More informationSystems Engineering Overview. Axel Claudio Alex Gonzalez
Systems Engineering Overview Axel Claudio Alex Gonzalez Objectives Provide additional insights into Systems and into Systems Engineering Walkthrough the different phases of the product lifecycle Discuss
More informationThe Drive for Innovation in Systems Engineering
The Drive for Innovation in Systems Engineering D. Scott Lucero Office of the Deputy Assistant Secretary of Defense for Systems Engineering 20th Annual NDIA Systems Engineering Conference Springfield,
More informationObject-oriented Analysis and Design
Object-oriented Analysis and Design Stages in a Software Project Requirements Writing Understanding the Client s environment and needs. Analysis Identifying the concepts (classes) in the problem domain
More informationPragmatic Strategies for Adopting Model-Based Design for Embedded Applications. The MathWorks, Inc.
Pragmatic Strategies for Adopting Model-Based Design for Embedded Applications Larry E. Kendrick, PhD The MathWorks, Inc. Senior Principle Technical Consultant Introduction What s MBD? Why do it? Make
More informationMaking DARPA META Goals Come True: How do we Revolutionize Verification and Validation for Complex Systems?
Making DARPA META Goals Come True: How do we Revolutionize Verification and Validation for Complex Systems? Dr. Kirstie L. Bellman Computers and Software Division; Aerospace Integration Science Center
More informationDEFENSE ACQUISITION UNIVERSITY EMPLOYEE SELF-ASSESSMENT. Outcomes and Enablers
Outcomes and Enablers 1 From an engineering leadership perspective, the student will describe elements of DoD systems engineering policy and process across the Defense acquisition life-cycle in accordance
More informationAutomation and Control Electrical Engineering
Automation and Control Electrical Engineering Technical University of Denmark DTU-Building 326 DK-2800 Kgs. Lyngby Denmark aut.elektro.dtu.dk Ole Ravn Total students ~9.300 including Ph.D. 1.150 and Int.
More informationDesign Principles for Survivable System Architecture
Design Principles for Survivable System Architecture 1 st IEEE Systems Conference April 10, 2007 Matthew Richards Research Assistant, MIT Engineering Systems Division Daniel Hastings, Ph.D. Professor,
More informationUNIT VIII SYSTEM METHODOLOGY 2014
SYSTEM METHODOLOGY: UNIT VIII SYSTEM METHODOLOGY 2014 The need for a Systems Methodology was perceived in the second half of the 20th Century, to show how and why systems engineering worked and was so
More informationAdvancing the Use of the Digital System Model Taxonomy
Advancing the Use of the Digital System Model Taxonomy Mrs. Philomena Phil Zimmerman Deputy Director, Engineering Tools & Environments Office of the Deputy Assistant Secretary of Defense for Systems Engineering
More informationChapter 2 Mechatronics Disrupted
Chapter 2 Mechatronics Disrupted Maarten Steinbuch 2.1 How It Started The field of mechatronics started in the 1970s when mechanical systems needed more accurate controlled motions. This forced both industry
More informationAutomated Software Engineering Writing Code to Help You Write Code. Gregory Gay CSCE Computing in the Modern World October 27, 2015
Automated Software Engineering Writing Code to Help You Write Code Gregory Gay CSCE 190 - Computing in the Modern World October 27, 2015 Software Engineering The development and evolution of high-quality
More informationModeling and Simulation Made Easy with Simulink Carlos Osorio Principal Application Engineer MathWorks Natick, MA
Modeling and Simulation Made Easy with Simulink Carlos Osorio Principal Application Engineer MathWorks Natick, MA 2013 The MathWorks, Inc. 1 Questions covered in this presentation 1. Why do we do modeling
More informationCyber Physical Systems: Next Generation of Embedded Systems
Institute for Software Integrated Systems Vanderbilt University Cyber Physical Systems: Next Generation of Embedded Systems Janos Sztipanovits ISIS, Vanderbilt University 27 September, 2010 Outline Cyber
More informationStevens Institute of Technology & Systems Engineering Research Center (SERC)
Stevens Institute of Technology & Systems Engineering Research Center (SERC) Transforming Systems Engineering through a Holistic Approach to Model Centric Engineering Presented to: NDIA 2014 By: Dr. Mark
More informationWhat is AI? AI is the reproduction of human reasoning and intelligent behavior by computational methods. an attempt of. Intelligent behavior Computer
What is AI? an attempt of AI is the reproduction of human reasoning and intelligent behavior by computational methods Intelligent behavior Computer Humans 1 What is AI? (R&N) Discipline that systematizes
More informationICT4 Manuf. Competence Center
ICT4 Manuf. Competence Center Prof. Yacine Ouzrout University Lumiere Lyon 2 ICT 4 Manufacturing Competence Center AI and CPS for Manufacturing Robot software testing Development of software technologies
More informationEngineered Resilient Systems DoD Science and Technology Priority
Engineered Resilient Systems DoD Science and Technology Priority Mr. Scott Lucero Deputy Director, Strategic Initiatives Office of the Deputy Assistant Secretary of Defense (Systems Engineering) Scott.Lucero@osd.mil
More informationTechnology Transfer: An Integrated Culture-Friendly Approach
Technology Transfer: An Integrated Culture-Friendly Approach I.J. Bate, A. Burns, T.O. Jackson, T.P. Kelly, W. Lam, P. Tongue, J.A. McDermid, A.L. Powell, J.E. Smith, A.J. Vickers, A.J. Wellings, B.R.
More informationIntroduction to Systems Engineering
p. 1/2 ENES 489P Hands-On Systems Engineering Projects Introduction to Systems Engineering Mark Austin E-mail: austin@isr.umd.edu Institute for Systems Research, University of Maryland, College Park Career
More informationUSAF Digital Thread Initiative Overview
USAF Digital Thread Initiative Overview Claudia V Kropas-Hughes AFLCMC/XZE Presented to NDIA M&S Committee April 8, 2014 Cleared for Public Release on 4 Apr 14, 88ABW-2014-1407 1 Agenda Digital Thread
More informationTest and Evaluation of Autonomous Systems & The Role of the T&E Community in the Requirements Process
Savunma Teknolojileri Mühendislik M ve Ticaret A.Ş. 24 th ANNUAL NATIONAL TEST & EVALUATION CONFERENCE Test and Evaluation of Autonomous Systems & The Role of the T&E Community in the Requirements Process
More informationSoftware-Intensive Systems Producibility
Pittsburgh, PA 15213-3890 Software-Intensive Systems Producibility Grady Campbell Sponsored by the U.S. Department of Defense 2006 by Carnegie Mellon University SSTC 2006. - page 1 Producibility
More informationThe secret behind mechatronics
The secret behind mechatronics Why companies will want to be part of the revolution In the 18th century, steam and mechanization powered the first Industrial Revolution. At the turn of the 20th century,
More informationDOE-NE Perspective on Proliferation Risk and Nuclear Fuel Cycles
DOE-NE Perspective on Proliferation Risk and Nuclear Fuel Cycles Ed McGinnis Deputy Assistant Secretary for International Nuclear Energy Policy and Cooperation August 1, 2011 Understanding and Minimizing
More informationDEVELOPING INTELLIGENT SYSTEMS METHODS, BEST PRACTICE AND CHALLENGES
DEVELOPING INTELLIGENT SYSTEMS METHODS, BEST PRACTICE AND CHALLENGES Prof. Dr.-Ing. habil. Ansgar Trächtler Folie 1 DEVELOPING INTELLIGENT SYSTEMS METHODS, BEST PRACTICE AND CHALLENGES Outline 1. Introduction
More informationCritical Embedded System introduction, course requirements
Critical Embedded System introduction, course requirements Ákos Horváth, Zoltán Micskei, András Vörös, Csaba Debreceni, Tamás Tóth ahorvath@mit.bme.hu Budapest University of Technology and Economics Department
More informationProposed Curriculum Master of Science in Systems Engineering for The MITRE Corporation
Proposed Curriculum Master of Science in Systems Engineering for The MITRE Corporation Core Requirements: (9 Credits) SYS 501 Concepts of Systems Engineering SYS 510 Systems Architecture and Design SYS
More informationHuman Systems Integration (HSI) and DevOps
Copyright 2018 by Frank Lacson. Permission granted to INCOSE to publish and use. Human Systems Integration (HSI) and DevOps Applying Agile Systems Engineering in DoD Systems Acquisition Frank C. Lacson,
More informationSYSTEMATIC MODEL BASED AND SEARCH BASED TESTING OF CYBER PHYSICAL SYSTEMS
Sophia Antipolis, French Riviera 20-22 October 2015 SYSTEMATIC MODEL BASED AND SEARCH BASED TESTING OF CYBER PHYSICAL SYSTEMS Shaukat Ali, PhD, Senior Research Scientist Email: shaukat@simula.no All rights
More informationCollier Research Releases HyperSizer v6 with Improved Design and Manufacturability Optimization for Composites
Collier Research Releases HyperSizer v6 with Improved Design and Manufacturability Optimization for Composites Unique design tool also works on advanced metal and hybrid material systems Hampton, VA, May
More informationCyber-Physical Systems
Cyber-Physical Systems Cody Kinneer Slides used with permission from: Dr. Sebastian J. I. Herzig Jet Propulsion Laboratory, California Institute of Technology Oct 2, 2017 The cost information contained
More informationCosts of Achieving Software Technology Readiness
Costs of Achieving Software Technology Readiness Arlene Minkiewicz Chief Scientist 17000 Commerce Parkway Mt. Laure, NJ 08054 arlene.minkiewicz@pricesystems.com 856-608-7222 Agenda Introduction Technology
More informationSmooth adoption of Verum s Dezyne to model software for a service tool
CASE STUDY Smooth adoption of Verum s Dezyne to model software for a service tool Dezyne is a software development tool developed by Verum, based on a Model Driven Engineering approach. Dezyne is primarily
More informationA SERVICE-ORIENTED SYSTEM ARCHITECTURE FOR THE HUMAN CENTERED DESIGN OF INTELLIGENT TRANSPORTATION SYSTEMS
Tools and methodologies for ITS design and drivers awareness A SERVICE-ORIENTED SYSTEM ARCHITECTURE FOR THE HUMAN CENTERED DESIGN OF INTELLIGENT TRANSPORTATION SYSTEMS Jan Gačnik, Oliver Häger, Marco Hannibal
More informationIntroduction To Cognitive Robots
Introduction To Cognitive Robots Prof. Brian Williams Rm 33-418 Wednesday, February 2 nd, 2004 Outline Examples of Robots as Explorers Course Objectives Student Introductions and Goals Introduction to
More informationDr. Cynthia Dion-Schwartz Acting Associate Director, SW and Embedded Systems, Defense Research and Engineering (DDR&E)
Software-Intensive Systems Producibility Initiative Dr. Cynthia Dion-Schwartz Acting Associate Director, SW and Embedded Systems, Defense Research and Engineering (DDR&E) Dr. Richard Turner Stevens Institute
More informationBuilding Effective Seed Models For Adaptive Process Control. John Campbell Director, APC Product Management AspenTech
Building Effective Seed Models For Adaptive Process Control John Campbell Director, APC Product Management AspenTech 2014 2014 Aspen Aspen Technology, Inc. Inc. All All rights rights reserved 1 Our Speaker:
More informationBuilding safe, smart, and efficient embedded systems for applications in life-critical control, communication, and computation. http://precise.seas.upenn.edu The Future of CPS We established the Penn Research
More informationRethinking CAD. Brent Stucker, Univ. of Louisville Pat Lincoln, SRI
Rethinking CAD Brent Stucker, Univ. of Louisville Pat Lincoln, SRI The views expressed are those of the author and do not reflect the official policy or position of the Department of Defense or the U.S.
More informationRFID for Continuous Monitoring in Dynamic Environments
RFID for Continuous Monitoring in Dynamic Environments Raymond Wagner, Ph.D. HDIAC Subject Matter Expert National Aeronautics and Space Administration (NASA), Johnson Space Center (EV8) July 18, 2018 Distribution
More informationThe Role of CREATE TM -AV in Realization of the Digital Thread
The Role of CREATE TM -AV in Realization of the Digital Thread Dr. Ed Kraft Associate Executive Director for Research University of Tennessee Space Institute October 25, 2017 NDIA 20 th Annual Systems
More informationThe Role of Computer Science and Software Technology in Organizing Universities for Industry 4.0 and Beyond
The Role of Computer Science and Software Technology in Organizing Universities for Industry 4.0 and Beyond Prof. dr. ir. Mehmet Aksit m.aksit@utwente.nl Department of Computer Science, University of Twente,
More informationAbout Software Engineering.
About Software Engineering pierre-alain.muller@uha.fr What is Software Engineering? Software Engineering Software development Engineering Let s s have a look at ICSE International Conference on Software
More informationGraduate Programs in Advanced Systems Engineering
Graduate Programs in Advanced Systems Engineering UTC Institute for Advanced Systems Engineering, University of Connecticut Mission To train the engineer of the next decade: the one who is not constrained
More informationIndustrial Experience with SPARK. Praxis Critical Systems
Industrial Experience with SPARK Roderick Chapman Praxis Critical Systems Outline Introduction SHOLIS The MULTOS CA Lockheed C130J A less successful project Conclusions Introduction Most Ada people know
More informationBehavioral Modeling of Digital Pre-Distortion Amplifier Systems
Behavioral Modeling of Digital Pre-Distortion Amplifier Systems By Tim Reeves, and Mike Mulligan, The MathWorks, Inc. ABSTRACT - With time to market pressures in the wireless telecomm industry shortened
More informationNational Instruments Accelerating Innovation and Discovery
National Instruments Accelerating Innovation and Discovery There s a way to do it better. Find it. Thomas Edison Engineers and scientists have the power to help meet the biggest challenges our planet faces
More informationOffice of Pharmaceutical Quality: Why, What, and How?
Office of Pharmaceutical Quality: Why, What, and How? Lawrence Yu, Ph.D. Deputy Director, Office of Pharmaceutical Quality FDA Center for Drug Evaluation and Research NIPTE Annual Scientific Conference
More informationComponent Based Mechatronics Modelling Methodology
Component Based Mechatronics Modelling Methodology R.Sell, M.Tamre Department of Mechatronics, Tallinn Technical University, Tallinn, Estonia ABSTRACT There is long history of developing modelling systems
More informationPhysics Based Sensor simulation
Physics Based Sensor simulation Jordan Gorrochotegui - Product Manager Software and Services Mike Phillips Software Engineer Restricted Siemens AG 2017 Realize innovation. Siemens offers solutions across
More informationSESAR EXPLORATORY RESEARCH. Dr. Stella Tkatchova 21/07/2015
SESAR EXPLORATORY RESEARCH Dr. Stella Tkatchova 21/07/2015 1 Why SESAR? European ATM - Essential component in air transport system (worth 8.4 billion/year*) 2 FOUNDING MEMBERS Complex infrastructure =
More informationA FRAMEWORK FOR PERFORMING V&V WITHIN REUSE-BASED SOFTWARE ENGINEERING
A FRAMEWORK FOR PERFORMING V&V WITHIN REUSE-BASED SOFTWARE ENGINEERING Edward A. Addy eaddy@wvu.edu NASA/WVU Software Research Laboratory ABSTRACT Verification and validation (V&V) is performed during
More informationResearch Statement Arunesh Sinha aruneshs/
Research Statement Arunesh Sinha aruneshs@usc.edu http://www-bcf.usc.edu/ aruneshs/ Research Theme My research lies at the intersection of Artificial Intelligence and Security 1 and Privacy. Security and
More informationEarthCube Conceptual Design: Enterprise Architecture for Transformative Research and Collaboration Across the Geosciences
EarthCube Conceptual Design: Enterprise Architecture for Transformative Research and Collaboration Across the Geosciences ILYA ZASLAVSKY, DAVID VALENTINE, AMARNATH GUPTA San Diego Supercomputer Center/UCSD
More informationPI: Rhoads. ERRoS: Energetic and Reactive Robotic Swarms
ERRoS: Energetic and Reactive Robotic Swarms 1 1 Introduction and Background As articulated in a recent presentation by the Deputy Assistant Secretary of the Army for Research and Technology, the future
More informationScientific Certification
Scientific Certification John Rushby Computer Science Laboratory SRI International Menlo Park, California, USA John Rushby, SR I Scientific Certification: 1 Does The Current Approach Work? Fuel emergency
More informationManufacturing Complexity in the World of Production
Manufacturing Complexity in the World of Production Sebastian Fixson Technology, Management and Policy Program (TMP) Massachusetts Institute of Technology fixson@mit.edu Outline of the Presentation for
More informationNew Methods for Architecture Selection and Conceptual Design:
New Methods for Architecture Selection and Conceptual Design: Space Systems, Policy, and Architecture Research Consortium (SSPARC) Program Overview Hugh McManus, Joyce Warmkessel, and the SSPARC team For
More informationWorkshop Session #3: Human Interaction with Embedded Virtual Simulations Summary of Discussion
: Summary of Discussion This workshop session was facilitated by Dr. Thomas Alexander (GER) and Dr. Sylvain Hourlier (FRA) and focused on interface technology and human effectiveness including sensors
More informationMultiple Fault Diagnosis from FMEA
Multiple Fault Diagnosis from FMEA Chris Price and Neil Taylor Department of Computer Science University of Wales, Aberystwyth Dyfed, SY23 3DB, United Kingdom cjp{nst}@aber.ac.uk Abstract The Failure Mode
More informationAutomated Testing of Autonomous Driving Assistance Systems
Automated Testing of Autonomous Driving Assistance Systems Lionel Briand Vector Testing Symposium, Stuttgart, 2018 SnT Centre Top level research in Information & Communication Technologies Created to fuel
More informationUNIT-III LIFE-CYCLE PHASES
INTRODUCTION: UNIT-III LIFE-CYCLE PHASES - If there is a well defined separation between research and development activities and production activities then the software is said to be in successful development
More informationDesign concepts for a Wideband HF ALE capability
Design concepts for a Wideband HF ALE capability W.N. Furman, E. Koski, J.W. Nieto harris.com THIS INFORMATION WAS APPROVED FOR PUBLISHING PER THE ITAR AS FUNDAMENTAL RESEARCH Presentation overview Background
More informationHigh Performance Computing
High Performance Computing and the Smart Grid Roger L. King Mississippi State University rking@cavs.msstate.edu 11 th i PCGRID 26 28 March 2014 The Need for High Performance Computing High performance
More informationToward a Conceptual Comparison Framework between CBSE and SOSE
Toward a Conceptual Comparison Framework between CBSE and SOSE Anthony Hock-koon and Mourad Oussalah University of Nantes, LINA 2 rue de la Houssiniere, 44322 NANTES, France {anthony.hock-koon,mourad.oussalah}@univ-nantes.fr
More informationA Technical Perspective on Cognitive Architectures
A Technical Perspective on Cognitive Architectures March 14, 2015 Guna Seetharaman Ph.D., FIEEE Information Intelligence and Analysis Division Information Directorate, Rome, NY Gunasekaran.seetharaman@us.af.mil
More informationNextGen Aviation Safety. Amy Pritchett Director, NASA Aviation Safety Program
NextGen Aviation Safety Amy Pritchett Director, NASA Aviation Safety Program NowGen Started for Safety! System Complexity Has Increased As Safety Has Also Increased! So, When We Talk About NextGen Safety
More informationDesign for Affordability in Complex Systems and Programs Using Tradespace-based Affordability Analysis
Design for Affordability in Complex Systems and Programs Using Tradespace-based Affordability Analysis Marcus S. Wu, Adam M. Ross, and Donna H. Rhodes Massachusetts Institute of Technology March 21 22,
More informationResearch on the Mechanism of Net-based Collaborative Product Design
2016 International Conference on Manufacturing Science and Information Engineering (ICMSIE 2016) ISBN: 978-1-60595-325-0 Research on the Mechanism of Net-based Collaborative Product Design QINHUA GUO and
More informationRequirements Analysis aka Requirements Engineering. Requirements Elicitation Process
C870, Advanced Software Engineering, Requirements Analysis aka Requirements Engineering Defining the WHAT Requirements Elicitation Process Client Us System SRS 1 C870, Advanced Software Engineering, Requirements
More informationPrototyping: Accelerating the Adoption of Transformative Capabilities
Prototyping: Accelerating the Adoption of Transformative Capabilities Mr. Elmer Roman Director, Joint Capability Technology Demonstration (JCTD) DASD, Emerging Capability & Prototyping (EC&P) 10/27/2016
More informationAward , PI: Goldman
Report on the Planning Meeting for the National NSF Workshop on Medical Device Innovation Using Cyber Physical Systems July 18-19, 2012, National Science Foundation, Arlington, VA Background The emerging
More informationRevolutionizing Engineering Science through Simulation May 2006
Revolutionizing Engineering Science through Simulation May 2006 Report of the National Science Foundation Blue Ribbon Panel on Simulation-Based Engineering Science EXECUTIVE SUMMARY Simulation refers to
More informationARTEMIS The Embedded Systems European Technology Platform
ARTEMIS The Embedded Systems European Technology Platform Technology Platforms : the concept Conditions A recipe for success Industry in the Lead Flexibility Transparency and clear rules of participation
More informationAutonomy Test & Evaluation Verification & Validation (ATEVV) Challenge Area
Autonomy Test & Evaluation Verification & Validation (ATEVV) Challenge Area Stuart Young, ARL ATEVV Tri-Chair i NDIA National Test & Evaluation Conference 3 March 2016 Outline ATEVV Perspective on Autonomy
More informationModules for Graduate Certificate in Construction Productivity Enhancement Coming up soon Tentatively from January 2019 SkillsFuture funding may apply
Modules for Graduate Certificate in Construction Productivity Enhancement Coming up soon Tentatively from January 2019 SkillsFuture funding may apply 1. CE5808A Digital Design Using BIM Technologies 2.
More informationEnterprise Architecture 3.0: Designing Successful Endeavors Chapter II the Way Ahead
Enterprise Architecture 3.0: Designing Successful Endeavors Chapter II the Way Ahead Leonard Fehskens Chief Editor, Journal of Enterprise Architecture Version of 18 January 2016 Truth in Presenting Disclosure
More informationAerospace Software* Cost and Timescale Reduction *and complex electronic hardware
Aerospace Software* Cost and Timescale Reduction *and complex electronic hardware Andrew Hawthorn Deputy Director, Intelligent Systems / Altran UK and SECT-AIR WP4 Lead on behalf of the SECT-AIR Consortium
More informationHow to perform transfer path analysis
Siemens PLM Software How to perform transfer path analysis How are transfer paths measured To create a TPA model the global system has to be divided into an active and a passive part, the former containing
More informationACE3 Working Group Session, March 2, 2005
ACE3 Working Group Session, March 2, 2005 Intensive s The Synergy of Architecture, Life Cycle Models, and Reviews Dr. Peter Hantos The Aerospace Corporation 2003-2005. The Aerospace Corporation. All Rights
More informationScience Policy Research Report: The Use of Innovation Prizes in Government
Science Policy Research Report: The Use of Innovation Prizes in Government Luciano Kay Institute for Social, Behavioral, and Economic Research University of California Santa Barbara Workshop on Government
More informationReal-Time Spectrum Management for Wireless Networks
Real-Time Spectrum Management for Wireless Networks Dan Stevenson, Arnold Bragg RTI International, Inc. Research Triangle Park, NC Outline Problem statement Disruptive idea Details: approach, issues, architecture
More informationSEE MORE, SMARTER. We design the most advanced vision systems to bring humanity to any device.
SEE MORE, SMARTER OUR VISION Immervision Enables Intelligent Vision OUR MISSION We design the most advanced vision systems to bring humanity to any device. ABOUT US Immervision enables intelligent vision
More informationDistributed Control-as-a-Service with Wireless Swarm Systems"
Distributed Control-as-a-Service with Wireless Swarm Systems" Prof. Rahul Mangharam Director, Real-Time & Embedded Systems Lab Dept. Electrical & Systems Engineering Dept. Computer & Information Science
More informationTHE UW SPACE ENGINEERING & EXPLORATION PROGRAM: INVESTING IN THE FUTURE OF AERONAUTICS & ASTRONAUTICS EDUCATION AND RESEARCH
THE UW SPACE ENGINEERING & EXPLORATION PROGRAM: INVESTING IN THE FUTURE OF AERONAUTICS & ASTRONAUTICS EDUCATION AND RESEARCH Since the dawn of humankind, space has captured our imagination, and knowledge
More informationRobot Hands: Mechanics, Contact Constraints, and Design for Open-loop Performance
Robot Hands: Mechanics, Contact Constraints, and Design for Open-loop Performance Aaron M. Dollar John J. Lee Associate Professor of Mechanical Engineering and Materials Science Aerial Robotics Yale GRAB
More information* SkillsFuture credit (available for Singapore Citizens, subject to approval)
Modules for Graduate Certificate in Construction Productivity Enhancement * SkillsFuture credit (available for Singapore Citizens, subject to approval) ^ SkillsFuture Singapore (SSG) subsidy available
More informationMid Term Exam SES 405 Exploration Systems Engineering 3 March Your Name
Mid Term Exam SES 405 Exploration Systems Engineering 3 March 2016 --------------------------------------------------------------------- Your Name Short Definitions (2 points each): Heuristics - refers
More informationNEW YORK STATE TEACHER CERTIFICATION EXAMINATIONS
NEW YORK STATE TEACHER CERTIFICATION EXAMINATIONS TEST DESIGN AND FRAMEWORK June 2018 Authorized for Distribution by the New York State Education Department This test design and framework document is designed
More informationGlossary of terms. Short explanation
Glossary Concept Module. Video Short explanation Abstraction 2.4 Capturing the essence of the behavior of interest (getting a model or representation) Action in the control Derivative 4.2 The control signal
More informationTowards an ISO compliant OSLCbased Tool Chain Enabling Continuous Self-assessment
Towards an ISO 26262-compliant OSLCbased Tool Chain Enabling Continuous Self-assessment Barbara Gallina 1 with contribution from and Mattias Nyberg 2 1 Mälardalen University, Västerås, Sweden barbara.gallina@mdh.se
More informationMAGNT Research Report (ISSN ) Vol.6(1). PP , Controlling Cost and Time of Construction Projects Using Neural Network
Controlling Cost and Time of Construction Projects Using Neural Network Li Ping Lo Faculty of Computer Science and Engineering Beijing University China Abstract In order to achieve optimized management,
More information