Sound Methods and Effective Tools for Engineering Modeling and Analysis
|
|
- Simon Jonathan Dennis
- 6 years ago
- Views:
Transcription
1 Sound Methods and Effective Tools for Engineering Modeling and Analysis David Coppit Kevin Sullivan The College of William and Mary The University of Virginia Dept. of Computer Science Dept. of Computer Science
2 Summary Overview 2
3 Modeling & Analysis in Engineering Build model of system using tool Model expressed in modeling language Expression analyzed by tool Result influence design decisions Example: fault tree model for system reliability 3
4 What Does it Take to Succeed? Success Technical Success Economic Success Method Tool Validated Formal Semantics Verified Implementation Functionality and Usability Low Engineering Costs 4
5 Problems Reconciling conflicting requirements Usability/Function vs. Cost Dependability vs. Cost Obvious approaches not clearly feasible Lack proven, cost-effective CBSD approaches Lack proven, cost-effective formal methods Consequences Risks to public [Knight 2002] Cost barriers to development & acquisition Tools hard to learn and use 5
6 Technical Approach Novel, synergistic combination of techniques Package-oriented CBSD Targeted formal methods Hypothesis: technical & economic feasibility End-to-end experimental systems methodology Assess feasibility & profitability for real system End-to-End: ultimate evaluation by real users 6
7 Nova Screenshot 7
8 Case Study Dynamic Fault Tree Modeling 8
9 Case Study: Reliability Engineering Reliability modeling and analysis Fault-tolerant computer systems Complex failure modes Redundancy management 9
10 Traditional Static Fault Tree Overflow Faucet Stuck Drain Clogged Combinatorial failure modes: And, Or 10
11 Dynamic Fault Tree Explode 1 2 Arm Fire Dynamic construct: Order-dependent And 11
12 Markovian Semantics A Dynamic Fault Tree B 1 2 C Markov Chain A B C.1.01 A XB C A B CX.01.1 XA XB CX A XB CX 12
13 Problematical Example FDEP Explode 1 2 Power Loss Arm Fire 13
14 Problem: Semantics & Dependability 14
15 What Does a DFT Mean? How to map DFT s to MC s, in general? Typical approach A few small published examples Prototype proof of concept implementation Not good enough Significant errors [Coppit, Sullivan, Dugan 2000] Commercial tools share fault [Amari et. al 1999] 15
16 Formalizing Methods & Languages Formalize method and validate Formalize language syntax and semantics Informal and formal validation Hypothesis: Technically and cost effective Formalized DFTs DFT, MC, semantic mapping in Z [Spivey 1992] Informal SE/RE reviews Formal validation [Z/Eves] 16
17 A Snippet: Fault Tree È_FaultTree basicevents: F Event gates: F Event Explode Arm Fire inputs: Event seq Event, Ç dom inputs = gates Ag: gates ran (inputs(g)) z basicevents U gates Ag: gates! (IsInputTo(g, g, inputs)) Ð 17
18 18
19 Cost/Benefit Assessment Benefits Significant specification, coding errors found Language design significantly improved Cost 6 months part-time to develop spec (Coppit/Sullivan) 24 hours in group technical reviews 3 months learning Z/Eves & proving theorems Theorem proving too expensive (for us) 19
20 Problem: Usability and Function 20
21 CBSD for Tool Superstructures Usable tools are large & complex Core engine often small (10 4 LOC) Superstructure large (10 6 LOC) Interoperate, print, views, large models Packaging is problem [Shaw 1990] Component-based software development? 21
22 Package-Oriented Programming Packages as components [Sullivan&Knight 1995] Examples: MS Word, Visio, Mathcad Rich feature sets at very low cost Significant investments in usability Customizable, open, and composable Widely deployed and familiar to users Is this CBSD model viable? Proven for simple office automation tasks Can it support industrially viable tool development? 22
23 Promising but Risky [Coppit/Sullivan 2000] Galileo Word + Visio + Core, < 50 KLOC Integrated programmatic & user interfaces Multiple editing views, modular analysis, But Undocumented limitations Standards non-compliance Mismatch issues (in testing) Runtime Performance Issues Rapid component evolution No end-to-end evaluation 23
24 Function/Usability: End-User Evaluation Evaluated in three NASA-wide DFT workshops Surveyed 16 engineers and program managers from 12 different NASA groups and contractors Most engineers use such tools frequently Consequences of failure: billions, lives ~100 questions, designed according to standard practices [Dillman 1999] 24
25 End-User Evaluation Features and usability results Usability good or better than commercial tools Package familiarity significantly eased learning & use Several cited usability as the biggest surprise Adoption by NASA engineers (JSC/ISS) Expanded commitment to develop tool New version for LaRC and JSC NASA encouraging commercialization 25
26 Problem: Cost? 26
27 Nova: Putting the Pieces Together Synergistic combination of techniques POP can significantly reduce features & usability cost Provide resources for judicious formalization Galileo uses POP but not formal spec New, from scratch tool combines approaches Implements formally defined, revised DFT language More advanced POP-based interface About 30 KLOC, unoptimized solver 27
28 Bottom Line 28
29 Results Demonstrated feasibility & profitability Formally-based, easy to use tool at low cost Significant impact on NASA PRA activities 29
30 Conclusion Advance ability to deliver trustworthy, usable, and cost-effective modeling & analysis tools Potential to catalyze development, use of new approaches to engineering modeling & analysis Open question: verification of implementation Forthcoming: specification-based testing using Alloy to leverage investment in Z specification 30
31 31
Technical-oriented talk about the principles and benefits of the ASSUMEits approach and tooling
PROPRIETARY RIGHTS STATEMENT THIS DOCUMENT CONTAINS INFORMATION, WHICH IS PROPRIETARY TO THE ASSUME CONSORTIUM. NEITHER THIS DOCUMENT NOR THE INFORMATION CONTAINED HEREIN SHALL BE USED, DUPLICATED OR COMMUNICATED
More information24 Challenges in Deductive Software Verification
24 Challenges in Deductive Software Verification Reiner Hähnle 1 and Marieke Huisman 2 1 Technische Universität Darmstadt, Germany, haehnle@cs.tu-darmstadt.de 2 University of Twente, Enschede, The Netherlands,
More informationHCI of Software. Design Methodologies Tools CASE, UML, Patterns Interface Builders. design. implement
HCI of Software HCI of Software 1 Software (Engineering) is a subset of HCIs (CS/IT professionals are human) and should be experimentally studied. Software is expensive, major cost is human Software costs
More informationOther Transaction Authority (OTA)
Other Transaction Authority (OTA) Col Christopher Wegner SMC/PK 15 March 2017 Overview OTA Legal Basis Appropriate Use SMC Space Enterprise Consortium Q&A Special Topic. 2 Other Transactions Authority
More informationFRONT END INNOVATION Multidisciplinary innovation process
FRONT END INNOVATION Multidisciplinary innovation process CONTENT Front end innovation process Multidisciplinary innovation FRONT END AS A PART OF PRODUCT DEVELOPMENT PROCESS Business planning Production
More informationReadiness Assessment for Video Cell Phones SE 602
Readiness Assessment for Video Cell Phones SE 602 15 th March, 2006 Ketan Dadia Mike DiGiovanni Professor Wang Software Engineering Department Monmouth University West Long Branch, NJ 07764-1898 Executive
More informationDesign and Implementation Options for Digital Library Systems
International Journal of Systems Science and Applied Mathematics 2017; 2(3): 70-74 http://www.sciencepublishinggroup.com/j/ijssam doi: 10.11648/j.ijssam.20170203.12 Design and Implementation Options for
More informationAddis Ababa University New Mexico State University in collaboration with the Metal Engineering Corporation Systems Engineering Initiative
Addis Ababa University New Mexico State University in collaboration with the Metal Engineering Corporation Systems Engineering Initiative July15, 2013 Purpose of the Systems Engineering Initiative Using
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 informationModeling & Simulation Roadmap for JSTO-CBD IS CAPO
Institute for Defense Analyses 4850 Mark Center Drive Alexandria, Virginia 22311-1882 Modeling & Simulation Roadmap for JSTO-CBD IS CAPO Dr. Don A. Lloyd Dr. Jeffrey H. Grotte Mr. Douglas P. Schultz CBIS
More informationCan IP solutions trigger AS ? February DocID: DT-MAR002WHP10E _AS
Can IP solutions trigger AS5643-2.0? February 2018 DocID: DT-MAR002WHP10E _AS5643.20 1 Background Back around the turn of the century a remarkable decision was made within the aerospace industry: following
More informationImproved Methods for the Generation of Full-Ship Simulation/Analysis Models NSRP ASE Subcontract Agreement
Title Improved Methods for the Generation of Full-Ship Simulation/Analysis Models NSRP ASE Subcontract Agreement 2007-381 Executive overview Large full-ship analyses and simulations are performed today
More informationThe Promise and Realities of Additive Manufacturing (3D Printing) in Space Betsy Cantwell, PhD
The Promise and Realities of Additive Manufacturing (3D Printing) in Space Betsy Cantwell, PhD October 15, 2014 ASEB Meeting, Irvine, CA 1 Overview Background of the study Background on additive manufacturing
More informationThe Need for Gate-Level CDC
The Need for Gate-Level CDC Vikas Sachdeva Real Intent Inc., Sunnyvale, CA I. INTRODUCTION Multiple asynchronous clocks are a fact of life in today s SoC. Individual blocks have to run at different speeds
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 informationInnovation Progress and Future Outlook
Innovation Progress and Future Outlook David Whitlock, Director of Division Programs and Innovations Office January 29, 2016 Safety Moment January 29, 2016 2 Think 5 Ahead Program Encourages our people
More informationInterpretation von Software Qualitätsmetriken aus automatisierter statischer Analyse
Interpretation von Software Qualitätsmetriken aus automatisierter statischer Analyse Institut für Computertechnik ICT Institute of Computer Technology Andreas Gerstinger IIR Konferenz Software Testen &
More informationSPACE EXPLORATION AS A DRIVER FOR GROWTH ESA INITIATIVE TO PARTNER WITH PRIVATE SECTOR
SPACE EXPLORATION AS A DRIVER FOR GROWTH ESA INITIATIVE TO PARTNER WITH PRIVATE SECTOR BERNHARD HUFENBACH Head of Strategic Planning and Outreach Office, Directorate of Human Spaceflight and Robotic Exploration
More informationscinnovation-global.com Innovative Engineering Robust Solutions
scinnovation-global.com Innovative Engineering Robust Solutions SC INNOVATION IS A SPECIALIST ENGINEERING COMPANY, EXPERIENCED IN PROVIDING PRODUCTS AND SERVICES FOR DEMANDING ENVIRONMENTS WHERE QUALITY
More informationMeeting the Challenges of Formal Verification
Meeting the Challenges of Formal Verification Doug Fisher Synopsys Jean-Marc Forey - Synopsys 23rd May 2013 Synopsys 2013 1 In the next 30 minutes... Benefits and Challenges of Formal Verification Meeting
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 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 informationMap of Human Computer Interaction. Overview: Map of Human Computer Interaction
Map of Human Computer Interaction What does the discipline of HCI cover? Why study HCI? Overview: Map of Human Computer Interaction Use and Context Social Organization and Work Human-Machine Fit and Adaptation
More informationModel Based Design Of Medical Devices
Model Based Design Of Medical Devices A Tata Elxsi Perspective Tata Elxsi s Solutions - Medical Electronics Abstract Modeling and Simulation (M&S) is an important tool that may be employed in the end-to-end
More informationManufacturing Readiness Assessment Overview
Manufacturing Readiness Assessment Overview Integrity Service Excellence Jim Morgan AFRL/RXMS Air Force Research Lab 1 Overview What is a Manufacturing Readiness Assessment (MRA)? Why Manufacturing Readiness?
More informationCourse Summary. CLASSROOM: On-site Instructor-led Education WEBINAR: Instructor-led On-line Training ON-DEMAND: Virtual Self-Paced Learning
Course Summary CLASSROOM: On-site Instructor-led Education WEBINAR: Instructor-led On-line Training ON-DEMAND: Virtual Self-Paced Learning NO. COURSE NAME CLASSROOM* WEBINAR ON-DEMAND MBD/MBE EDUCATION
More informationInstrumentation, Controls, and Automation - Program 68
Instrumentation, Controls, and Automation - Program 68 Program Description Program Overview Utilities need to improve the capability to detect damage to plant equipment while preserving the focus of skilled
More informationEnd-to-End Privacy Accountability
End-to-End Privacy Accountability Denis Butin 1 and Daniel Le Métayer 2 1 TU Darmstadt 2 Inria, Université de Lyon TELERISE, 18 May 2015 1 / 17 Defining Accountability 2 / 17 Is Accountability Needed?
More informationThe Need for Hypotheses in Informatics
The Need for Hypotheses in Informatics Alan Bundy University of Edinburgh 9-Oct-10 1 The Significance of Research 9-Oct-10 2 Importance of Hypotheses Science and engineering proceed by the formulation
More informationDr. Ralf Sommer. Munich, March 8th, 2006 COM BTS DAT DF AMF. Presenter Dept Titel presentation Date Page 1
DATE 2006 Special Session: DFM/DFY Design for Manufacturability and Yield - Influence of Process Variations in Digital, Analog and Mixed-Signal Circuit Design DATE 06 Munich, March 8th, 2006 Presenter
More informationBrae Area Pre Decommissioning MARATHON BRAE. Brae Area Decommissioning Programme. June Revision 1.0
Brae Area Pre Decommissioning MARATHON BRAE Brae Area Decommissioning Programme June 2017 Revision 1.0 Why is Marathon Oil decommissioning? Decommissioning is a natural step in the life cycle of an oil
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 informationIngegneria del Software. 1: Concetti di base. Rif.: Ghezzi et.al., Ingegneria del software, II Ed.,Prentice Hall - Capitoli
Ingegneria del Software 1: Concetti di base Rif.: Ghezzi et.al., Ingegneria del software, II Ed.,Prentice Hall - Capitoli. 1-2-3. Organizzazione del corso Docente Prof. A. Calvagna Esame Prove scritte
More informationVerification of Autonomy Software
Verification of Autonomy Software Contact: Charles Pecheur (RIACS) pecheur@email.arc.nasa.gov with Tony Lindsey (QSS) Stacy Nelson (NelsonConsult) Reid Simmons (Carnegie Mellon) Alessandro Cimatti (IRST,
More informationUnderstand that technology has different levels of maturity and that lower maturity levels come with higher risks.
Technology 1 Agenda Understand that technology has different levels of maturity and that lower maturity levels come with higher risks. Introduce the Technology Readiness Level (TRL) scale used to assess
More informationDigital Engineering Support to Mission Engineering
21 st Annual National Defense Industrial Association Systems and Mission Engineering Conference Digital Engineering Support to Mission Engineering Philomena Zimmerman Dr. Judith Dahmann Office of the Under
More informationBest practices in product development: Design Studies & Trade-Off Analyses
Best practices in product development: Design Studies & Trade-Off Analyses This white paper examines the use of Design Studies & Trade-Off Analyses as a best practice in optimizing design decisions early
More informationRequirements and Safety Cases
Requirements and Safety Cases Prof. Chris Johnson, School of Computing Science, University of Glasgow. johnson@dcs.gla.ac.uk http://www.dcs.gla.ac.uk/~johnson Introduction Safety Requirements: Functional
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 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 informationCyber-Physical Systems: Challenges for Systems Engineering
Cyber-Physical Systems: Challenges for Systems Engineering agendacps Closing Event April 12th, 2012, EIT ICT Labs, Berlin Eva Geisberger fortiss An-Institut der Technischen Universität München Cyber-Physical
More informationDoes it Pay Off? Model-Based Verification and Validation of Embedded Systems!
Does it Pay Off? of Embedded Systems! Radboud Universiteit Nijmegen PROGRESS Minisymposium, Eindhoven, 31 May 2006 Contents Embedded Systems Design In general very complex task Failure of embedded systems
More informationCHAPTER 3 VENTURE CAPITAL FINANCING- PROCESS
I 'I'tuurv ('apiial A fonu^emenl Indian l-^xpcnence CHAPTER 3 VENTURE CAPITAL FINANCING- PROCESS S.No. 3.1 Particulars INTRODUCTION PAGE No. 49 3.2 3.3 PROMOTERS WITH THE PROJECT SELECTION PROCESS SUMMARY
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 informationDistributed Systems Programming (F21DS1) Formal Methods for Distributed Systems
Distributed Systems Programming (F21DS1) Formal Methods for Distributed Systems Andrew Ireland Department of Computer Science School of Mathematical and Computer Sciences Heriot-Watt University Edinburgh
More informationCRASH CART REDESIGN PROJECT (INNOVATION IN PROBLEM SOLVING)
CRASH CART REDESIGN PROJECT (INNOVATION IN PROBLEM SOLVING) MICHIGAN PHARMACISTS ASSOCIATION MEETING 2017 MARY E. BURKHARDT MS, RPH, FASHP, FSMSO AND STAFF AT VA ANN ARBOR HEALTHCARE SYSTEM CONFLICTS AND
More informationIntroduction to adoption of lean canvas in software test architecture design
Introduction to adoption of lean canvas in software test architecture design Padmaraj Nidagundi 1, Margarita Lukjanska 2 1 Riga Technical University, Kaļķu iela 1, Riga, Latvia. 2 Politecnico di Milano,
More information30 April 2 May 2018 ICC Sydney Unlocking the Future through Systems Engineering. sete2018.com.au. Ksenia Ivanova
30 April 2 May 2018 ICC Sydney Unlocking the Future through Systems Engineering sete2018.com.au Ksenia Ivanova Addressing Future Challenges for Defence Acquisition: A Methodological Perspective on Military
More informationMBSE Survey 2. INCOSE International Workshop Jacksonville, Florida Presented January 21-22, Prepared by Dr. Robert Cloutier Mary A.
MBSE Survey 2 INCOSE International Workshop Jacksonville, Florida Presented January 21-22, 2012 Prepared by Dr. Robert Cloutier Mary A. Bone Question 1 Please tell us about yourself. (Optional) International
More informationReverse Engineering A Roadmap
Reverse Engineering A Roadmap Hausi A. MŸller Jens Jahnke Dennis Smith Peggy Storey Scott Tilley Kenny Wong ICSE 2000 FoSE Track Limerick, Ireland, June 7, 2000 1 Outline n Brief history n Code reverse
More informationMaximizing Innovation Funding for Technology Development. MNP SR&ED Team. Presented by: Date:
Maximizing Innovation Funding for Technology Development Presented by: Date: MNP SR&ED Team February 27, 2018 Technological Innovation Strategy Innovation is incremental to technology advancement but it
More informationCroatian ideas on simplifying the CAP
PAYING AGENCY IN AGRICULTURE, FISHERIES AND RURAL DEVELOPMENT Croatian ideas on simplifying the CAP Karlo Banović, Sector for OTS control 2017 IACS Workshop, Ghent 30.5.2017 Contents Current use new technologies
More informationPatent (novel, non-obvious and useful) vs. Innovate Yes - we CAN do both! The 2015 ASQ Innovation Conference September 19-20
Patent (novel, non-obvious and useful) vs. Innovate Yes - we CAN do both! The 2015 ASQ Innovation Conference September 19-20 Invention (Patent) vs. Innovation Education vs. Training Can we start with this
More informationCompendium Overview. By John Hagel and John Seely Brown
Compendium Overview By John Hagel and John Seely Brown Over four years ago, we began to discern a new technology discontinuity on the horizon. At first, it came in the form of XML (extensible Markup Language)
More informationA Computing Research Perspective on a Learning Healthcare System. Kevin Sullivan Computer Science University of Virginia 4/11/2013
A Computing Research Perspective on a Learning Healthcare System Kevin Sullivan Computer Science University of Virginia 4/11/2013 Outline Motivation unmet potential, pressing need Goal use driven, fundamental
More informationMaking your ISO Flow Flawless Establishing Confidence in Verification Tools
Making your ISO 26262 Flow Flawless Establishing Confidence in Verification Tools Bryan Ramirez DVT Automotive Product Manager August 2015 What is Tool Confidence? Principle: If a tool supports any process
More informationComponent Based Design for Embedded Systems
Component Based Design for Embedded Systems Report on the US-EU Workshop July 7-8 th, 2005 in Paris http://www.artist-embedded.org/fp6/artist2events/pastevents/ist-nsf/ ssdf Table of Contents 1. Executive
More informationThe Ucd Kick-off Tool. Frederik Hoolhorst Mascha van der Voort
The Ucd Kick-off Tool Frederik Hoolhorst Mascha van der Voort Overview Ucd Kick-off Tool Design brief Development method selection 3 Desired results: selected 1 Stakeholder mapping 4 Development method
More informationCSE - Annual Research Review. From Informal WinWin Agreements to Formalized Requirements
CSE - Annual Research Review From Informal WinWin Agreements to Formalized Requirements Hasan Kitapci hkitapci@cse.usc.edu March 15, 2005 Introduction Overview EasyWinWin Requirements Negotiation and Requirements
More informationPervasive Services Engineering for SOAs
Pervasive Services Engineering for SOAs Dhaminda Abeywickrama (supervised by Sita Ramakrishnan) Clayton School of Information Technology, Monash University, Australia dhaminda.abeywickrama@infotech.monash.edu.au
More informationSYSTEMS ENGINEERING MANAGEMENT IN DOD ACQUISITION
Chapter 2 Systems Engineering Management in DoD Acquisition CHAPTER 2 SYSTEMS ENGINEERING MANAGEMENT IN DOD ACQUISITION 2.1 INTRODUCTION The DoD acquisition process has its foundation in federal policy
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 informationMoving from R&D to Manufacture
Moving from R&D to Manufacture Webinar to SBIR awardees May 9, 2013 Clara Asmail Senior Technical Advisor NIST MEP 1 Agenda Overview of NIST MEP program Technology Acceleration and MEP s role Sampling
More informationDesign and Operation of Micro-Gravity Dynamics and Controls Laboratories
Design and Operation of Micro-Gravity Dynamics and Controls Laboratories Georgia Institute of Technology Space Systems Engineering Conference Atlanta, GA GT-SSEC.F.4 Alvar Saenz-Otero David W. Miller MIT
More informationAre Rapid Fielding and Good Systems Engineering Mutually Exclusive?
Are Rapid Fielding and Good Systems Engineering Mutually Exclusive? Bill Decker Director, Technology Learning Center of Excellence Defense Acquisition University NDIA Systems Engineering Conference, October
More informationFree Cell Solver. Copyright 2001 Kevin Atkinson Shari Holstege December 11, 2001
Free Cell Solver Copyright 2001 Kevin Atkinson Shari Holstege December 11, 2001 Abstract We created an agent that plays the Free Cell version of Solitaire by searching through the space of possible sequences
More informationApplication and Analysis of Output Prediction Logic to a 16-bit Carry Look Ahead Adder
Application and Analysis of Output Prediction Logic to a 16-bit Carry Look Ahead Adder Lukasz Szafaryn University of Virginia Department of Computer Science lgs9a@cs.virginia.edu 1. ABSTRACT In this work,
More informationPrivacy and the EU GDPR US and UK Privacy Professionals
Privacy and the EU GDPR US and UK Privacy Professionals Independent research conducted by Dimensional Research on behalf of TrustArc US 888.878.7830 EU +44 (0)203.078.6495 www.trustarc.com 2017 TrustArc
More informationGETTING YOUR DIGITAL HOUSE IN ORDER
GETTING YOUR DIGITAL HOUSE IN ORDER STREAMLINING THE MBD AND DETAILING PROCESS WITH CREO Martin Neumüller Creo Product Management PTC Eindhoven, 2017 AGENDA 1. MBD opportunities and challenges 2. Creo
More informationFIATECH s Capital Projects Technology Roadmap: how we can use it today
FIATECH s Capital Projects Technology Roadmap: how we can use it today Ric Jackson Director The FIATECH Consortium National Streamlining Conference Washington, DC February 15-16, 2006 FIATECH Industry-led,
More informationWhy Moving from AutoCAD to AutoCAD MEP Just Makes Sense!
AUTOCAD MEP Why Moving from AutoCAD to AutoCAD MEP Just Makes Sense! If you create building mechanical, electrical, or plumbing (MEP) construction documents and are currently working with AutoCAD software
More informationIntermediate Systems Acquisition Course. Lesson 2.2 Selecting the Best Technical Alternative. Selecting the Best Technical Alternative
Selecting the Best Technical Alternative Science and technology (S&T) play a critical role in protecting our nation from terrorist attacks and natural disasters, as well as recovering from those catastrophic
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 informationValidation of ultra-high dependability 20 years on
Bev Littlewood, Lorenzo Strigini Centre for Software Reliability, City University, London EC1V 0HB In 1990, we submitted a paper to the Communications of the Association for Computing Machinery, with the
More informationCommittee on Astrobiology & Planetary Science (CAPS) Michael H. New, PhD Astrobiology Discipline Scientist
Committee on Astrobiology & Planetary Science (CAPS) Michael H. New, PhD Astrobiology Discipline Scientist Topics to be addressed Changes to Instrument Development Programs Update on Recent Workshops Origins
More informationEU GMP Evolution or Revolution Scope and drivers for EU GMP changes. August Gordon Farquharson
EU GMP Evolution or Revolution Scope and drivers for EU GMP changes August 2015 Gordon Farquharson EU & PIC/S Harmonisation at IWG level now Slide 2 PharmOut 2015 EU & PIC/S Harmonisation (1) What does
More informationNon-Functional Requirements (NFRs) Definitions
Non-Functional Requirements (NFRs) Definitions Quality criteria; metrics Example NFRs Product-oriented Software Qualities Making quality criteria specific Catalogues of NFRs Example: Reliability Process-oriented
More informationNASA Fundamental Aeronautics Program Jay Dryer Director, Fundamental Aeronautics Program Aeronautics Research Mission Directorate
National Aeronautics and Space Administration NASA Fundamental Aeronautics Program Jay Dryer Director, Fundamental Aeronautics Program Aeronautics Research Mission Directorate www.nasa.gov July 2012 NASA
More informationWhy BPM Is Unique & Important
Paper I in a Series: BPM Technology As Revolutionary Enabler A multi-part series presented by BPM.com for the purpose of exploring the reasons why BPM software technology is the most important technology
More informationGenerativity. Supporting innovation
Generativity Supporting innovation Supporting Innovation An II is constantly evolving, and without further innovation, any II will die. Generativity is a key concept to comprehend IIs and their evolution
More informationEngineering Autonomy
Engineering Autonomy Mr. Robert Gold Director, Engineering Enterprise Office of the Deputy Assistant Secretary of Defense for Systems Engineering 20th Annual NDIA Systems Engineering Conference Springfield,
More informationFormal Hardware Verification: Theory Meets Practice
Formal Hardware Verification: Theory Meets Practice Dr. Carl Seger Senior Principal Engineer Tools, Flows and Method Group Server Division Intel Corp. June 24, 2015 1 Quiz 1 Small Numbers Order the following
More informationInnovation in the identity domain: is ICAO s TRIP prepared for innovations?
Speech by Rhodia Maas, National Office for Identity Data, at ICAO conference, October 2017 Innovation in the identity domain: is ICAO s TRIP prepared for innovations? Ladies and gentlemen, first of all
More informationInfrastructure for Systematic Innovation Enterprise
Valeri Souchkov ICG www.xtriz.com This article discusses why automation still fails to increase innovative capabilities of organizations and proposes a systematic innovation infrastructure to improve innovation
More informationArticle. The Internet: A New Collection Method for the Census. by Anne-Marie Côté, Danielle Laroche
Component of Statistics Canada Catalogue no. 11-522-X Statistics Canada s International Symposium Series: Proceedings Article Symposium 2008: Data Collection: Challenges, Achievements and New Directions
More informationCourse Introduction and Overview of Software Engineering. Richard N. Taylor Informatics 211 Fall 2007
Course Introduction and Overview of Software Engineering Richard N. Taylor Informatics 211 Fall 2007 Software Engineering A discipline that deals with the building of software systems which are so large
More informationTechnology and Manufacturing Readiness Levels [Draft]
MC-P-10-53 This paper provides a set of scales indicating the state of technological development of a technology and its readiness for manufacture, derived from similar scales in the military and aerospace
More informationWoven TPS An Enabling Technology:! An alternate to vanishing heritage TPS!
WTPS Project Woven TPS An Enabling Technology:! An alternate to vanishing heritage TPS! Ethiraj Venkatapathy Woven TPS Project Manager & Chief Technologist Entry Systems and Technology Division NASA Ames
More informationForward Thinking Manufacturing. mic-tec.com
Forward Thinking Manufacturing mic-tec.com 02 03 Company Overview The Next Evolution The world is changing and with it comes new technology and innovation that will break the boundaries of what we once
More informationBellerophon: Tactical Theorem Proving for Hybrid Systems. Nathan Fulton, Stefan Mitsch, Brandon Bohrer, André Platzer Carnegie Mellon University
Bellerophon: Tactical Theorem Proving for Hybrid Systems Nathan Fulton, Stefan Mitsch, Brandon Bohrer, André Platzer Carnegie Mellon University Cyber-Physical Systems Cyber-Physical Systems combine computation
More informationA MULTIMEDIA CONSTELLATION DESIGN METHOD
A MULTIMEDIA CONSTELLATION DESIGN METHOD Bertrand Raffier JL. Palmade Alcatel Space Industries 6, av. JF. Champollion BP 87 07 Toulouse cx France e-mail: b.raffier.alcatel@e-mail.com Abstract In order
More informationGlobalizing Modeling Languages
Globalizing Modeling Languages Benoit Combemale, Julien Deantoni, Benoit Baudry, Robert B. France, Jean-Marc Jézéquel, Jeff Gray To cite this version: Benoit Combemale, Julien Deantoni, Benoit Baudry,
More informationDigital Engineering. Ms. Philomena Zimmerman. Deputy Director, Engineering Tools and Environments OUSD(R&E)/Systems Engineering
Digital Engineering Ms. Philomena Zimmerman Deputy Director, Engineering Tools and Environments OUSD(R&E)/Systems Engineering Practical Systems Measurement, Impact of Digital Engineering on Measurement
More informationHOW TO BUY DEALERSHIP SOFTWARE
SOFTWARE HOW TO BUY DEALERSHIP Buying software is a big decision! There s the Overall expense Implementation time New training In short, it affects the entire organization. So you ve got to get it right.
More information2018 ASSESS Update. Analysis, Simulation and Systems Engineering Software Strategies
2018 ASSESS Update Analysis, Simulation and Systems Engineering Software Strategies The ASSESS Initiative The ASSESS Initiative was formed to bring together key players to guide and influence strategies
More informationLinking Smart Specialization with Technology Transfer in Science and Technology Park Planning
Linking Smart Specialization with Technology Transfer in Science and Technology Park Planning EU4Innovation: Fostering Research-Industry Links 1 st October 2018, Tbilisi Mr. Nikos Giannoulidis Director
More informationFrom Purple Prose to Machine-Checkable Proofs: Levels of rigor in family history tools
From Purple Prose to Machine-Checkable Proofs: Levels of rigor in family history tools Dr. Luther A. Tychonievich, Ph.D. Dept. Computer Science, University of Virginia TSC Coordinator, Family History Information
More informationEngaging Innate Human Cognitive Capabilities to Coordinate Human Interruption in Human- Computer Interaction: The HAIL System
Engaging Innate Human Cognitive Capabilities to Coordinate Human Interruption in Human- Computer Interaction: The HAIL System Operator Console Cognitive System Components Weapon System HAIL Engine Dr.
More informationAAL2BUSINESS Towards successful commercialization of AAL solutions
AAL2BUSINESS Towards successful commercialization of AAL solutions AGENDA 1. AAL2Business support action Introduction, objectives and big picture of services? (10 min) 2. Better commercial success with
More informationIndustrial Innovation Information Days Brussels 3-4 October 2017
Industrial Innovation Information Days Brussels 3-4 October 2017 NMBP Programme 2018 TOPICS FACTORIES OF THE FUTURE (FOF) DG RTD & DG CNECT DT-FOF-05-2019: Open Innovation for collaborative production
More information