NILS SHONAN MEETING 048 INTEGRATION OF FORMAL METHODS AND TESTING FOR MODEL BASED SYSTEM-ENGINEERING. Werner Damm
|
|
- Anis Henry
- 5 years ago
- Views:
Transcription
1 NILS SHONAN MEETING 048 INTEGRATION OF FORMAL METHODS AND TESTING FOR MODEL BASED SYSTEM-ENGINEERING Werner Damm
2 Objective of meeting This meeting aims to provide a forum for researchers and practitioners working on Formal Methods (FM) and Testing to identify research issues toward bringing related ideas, techniques, theories and tools in both research areas to real industrial solutions.
3 Success Criteria 1. Gap analysis We have identified the major obstacles in industrial deployment of existing formal methods and testing and major gaps potentially seen by industry demanding new formal methods and tests for covering these
4 Success Criteria 2. Technology Push analysis We have identified the major new technology break-throughs in academic research in the areas of formal methods and testing
5 Success Criteria 3. Roadmap We have developed a technology roadmap, which identifies key technologies for resolving obstacles in industrial deployment key technology evolutions from break-thru results to close gaps and characterized their realizability as short term, medium term, long term
6 Resulting Flow of the Meeting Session 1 Gap Analysis (Chair: Prof. W. Damm) Day 1 09:00 15:30 Introductory presentation and open discussion to share understandings of major gaps and key obstacles Capatilize on key experience of industrial participants Take into account findings of relevant strategy documents
7 Resulting Flow of Meeting Technology Push Sessions initial proposal to consider four main vectors of technology innovations requirement-based modelling and verification, fault-based modelling and testing, compositional approaches to testing, learning approaches to testing Other vectors detected on-line!
8 Technology Push Sessions Short presentation (10 min) from each participants which contains brief explanation of his/her work and/or position how his/her work relates to one (or two) of the 4 vectors as shown below how his/her work contribute to the issues discussed in Day 1 what is missing to solve the issues discussed in Day 1
9 Technology Push Sessions Group discussion to consider how to reach the solution based on the findings and ideas from the members presentations. Organized in two blocks with two parallel groups each Each group elects moderator and reporter Reporter to present findings in roadmap plenary sessions, grouping findings along technology vectors
10 Technology Push Session Part I (2 group discussions I.A, I.B) Day 1 16:00 18:00 presentations/discussion Day 2 09:00 12:00 presentations/discussion Part II (2 group discussions II.A, II.B) Day 2 13:30 15:30 presentations/discussion Day 3 09:00 12:00 presentations/discussion Organizers have proposed teams for the four groups I.A, I.B, II.A, II.B mixing in particular research and industry Feel free to change group
11 Proposal for Groups Group A this room 1. Toshiaki Aoki, JAIST 2. Nikolaj Bjorner, Microsoft Research 3. Udo Brockmeyer, BTC Embedded Systems AG 4. Werner Damm, OFFIS 5. Wolfgang Grieskamp, Google 6. Reiner Haehnle, Technical University of Darmstadt 7. Tomoyuki Kaga, Toyota Motor Corporation 8. Takashi Kitamura, AIST 9. Alexandre Petrenko, CRIM 10. Jun Sun, Singapur University of Technology and Design 11. Kenji Taguchi, CAV Technologies/ AIST 12. Willem Visser, Stellenbosch University 13. Burkhart Wolff, University Paris-Sud 14. Matthias Woehrle, Bosch Group B room Cyrille Arth, AIST 2. Achim D. Brucker, SAP Research 3. Rance Cleaveland, University of Maryland 4. Darren Cofer, Rockwell Collins 5. Benjamin Krämer, Technical University of Munich 6. Takuro Kutsuna, Toyota Central R&D Labs. Inc. 7. Darko Marinov, University of Illinois 8. Mark Utting, University of Waikato 9. Jan Peleska, University of Bremen 10. Alexander Pretschner, Technical University of Munich 11. Makoto Takeyama, Kanagawa University 12. Tetsuya Tohdo, Denso Corporation 13. Margus Veanes, Microsoft Research 14. Michael Whalen, University of Minnesota (UMSEC)
12 Flow of Meeting Roadmap (Chair: Prof. A. Pretschner) Day 3 13:30 15:30 Presentations by reporters of Technology Push Sessions Day 4 09:30 12:00 Consolidating the results of the subgroups into a single roadmap
13 GAP ANALYSIS
14 Structure of presentation The following information is based on numerous discussion with automotive OEM/suppliers e.g. in my role as Chairman of SafeTRANS ( Focus on three gaps coping with complex environments coping with complex systems coping with disruptive technology changes
15 Coping with complex environments overarching challenge: assuring sufficient levels of consistency between world model: what the car believes to be true about its environment (surrounding traffic: position, speed, intention,., road: road surface, lanes, ) and the real world NOTE: both directions critical: not in real world not in world model in real world in world model
16 Understanding the world in which we act 16 Copyright Prevent Project
17 what aspects of the real world are essential?
18 The discrepancy between the real world and what the aircraft perceives as real decide over life and death Aircraft thought it was still airborne, because only two tons weight lasted on the wheels due to a strong side wind and the landing maneuver. The computer did not allow braking. The plane ran over the runway into a rampart.
19
20 why traditional testing fails classical approaches with verification using test vehicles do not scale to this level of complexity, are no longer cost effective (would require 100 Million km test driving)
21 can the driver take over? conditional automation (SAE terminology) how can we test whether the driver is able to take over within 10 secs? given that sufficient coverage by vehicle testing is commercially not viable
22 COPING WITH COMPLEX SYSTEMS
23 Copyright Prevent Project Complex Systems 23 Source: Aramis Project
24
25 Challenge I Heterogeneity and plurality of test objectives hundreds of classes of different test objectives Each class addresses specific business needs, such as reliability, availability, safety, robustness, maintainability, costs, etc, Each class requires specific methods to guide the transition from (typically informal) requirements to test cases executable on test platforms
26 Challenge II Pushing the technology frontier for testautomation and analysis methods Expressivity: covering all classes of mathematic models required to cover all test-objectives (probabilistic, timed, hybrid systems) covering all forms of representations of test models E.g. Matlab/Simulink Stateflow/Scade/UML, C-code,... Scalability To complexity of industrial applications Quality Reduction in indeterminate values for static analysis High model coverage for automatic test generation
27 COPING WITH DISRUPTIVE TECHNOLOGIES
28 Examples 1. from 1 function = 1 ECU to Autosar based implementations a) one ECU hosts several functions b) one function distributed over several ECUs 2. from single core to multi core processors 3. from 2d transistor realization to 3d transistor realization 4. massive cross-platform re-use
29 The challenge: Implicit assumptions no longer valid 1a interference between SW functions with different criticality levels on one ECU 1b loss of stability of control laws due to unpredictable jitter 2 unpredictability of Worst Case Execution times due to e.g. cache interferences 3 new types and distribution of failure models, e.g. aging, dependency on power intensity of application on surrounding cores
30 The problem record number of recalls e.g. in US alone 40 mill vehicles in 2013 Warranty Week estimates costs for recalls to reach 40,000 Million US $ in 2013
31 The need how can we mature processes such that implicit assumptions become explicit? how can we assure that a particular integration context meets such assumptions?
Integration of Formal Methods and Testing for Model-based Systems Engineering
ISSN 2186-7437 NII Shonan Meeting Report No. 2014-16 Integration of Formal Methods and Testing for Model-based Systems Engineering Tetsuya Tohdo (DENSO CORPORATION, Japan) Werner Damm (Carl von Ossietzky
More informationFindings of the Artist2 Workshop Beyond Autosar
Findings of the Artist2 Workshop Beyond Autosar Werner Damm OFFIS Acknowledgements This presentation reports on Results of the NoE Artist2, Workshop Beyond Autosar (co-organized with Albert Benveniste,
More informationIndustrial Applications and Challenges for Verifying Reactive Embedded Software. Tom Bienmüller, SC 2 Summer School, MPI Saarbrücken, August 2017
Industrial Applications and Challenges for Verifying Reactive Embedded Software Tom Bienmüller, SC 2 Summer School, MPI Saarbrücken, August 2017 Agenda 2 Who am I? Who is BTC Embedded Systems? Formal Methods
More informationSignificant Reduction of Validation Efforts for Dynamic Light Functions with FMI for Multi-Domain Integration and Test Platforms
Significant Reduction of Validation Efforts for Dynamic Light Functions with FMI for Multi-Domain Integration and Test Platforms Dr. Stefan-Alexander Schneider Johannes Frimberger BMW AG, 80788 Munich,
More informationPEGASUS Effectively ensuring automated driving. Prof. Dr.-Ing. Karsten Lemmer April 6, 2017
PEGASUS Effectively ensuring automated driving. Prof. Dr.-Ing. Karsten Lemmer April 6, 2017 Starting Position for Automated Driving Top issue! Technology works Confidence Testing differently automated
More informationSurvey on ODX (open diagnostics data exchange)
Survey on ODX (open diagnostics data exchange) Prof. Arun Tigadi, Anupama Pandey DEPARTMENT OF ELECTRONICS AND COMMUNICATION ENGINEERING arun.tigadi@gmail.com,cell:9886719354 K. L. E. Dr. M. S. SHESHGIRI
More informationDHS-DOD Software Assurance Forum, McLean VA 6 Oct 2008 Very loosely based on Daniel s 2007 briefing
DHS-DOD Software Assurance Forum, McLean VA 6 Oct 2008 Very loosely based on Daniel s 2007 briefing Software For Dependable Systems: Sufficient Evidence? John Rushby Computer Science Laboratory SRI International
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 informationAVACS Automatic Verification and Analysis of Complex Systems
AVACS Automatic Verification and Analysis of Complex s Werner Damm AVACS coordinator of Presentation The AVACS Vision Highlights of Phase II 2 Complex s Copyright Prevent Project 3 Source: Aramis Project
More informationARGUING THE SAFETY OF MACHINE LEARNING FOR HIGHLY AUTOMATED DRIVING USING ASSURANCE CASES LYDIA GAUERHOF BOSCH CORPORATE RESEARCH
ARGUING THE SAFETY OF MACHINE LEARNING FOR HIGHLY AUTOMATED DRIVING USING ASSURANCE CASES 14.12.2017 LYDIA GAUERHOF BOSCH CORPORATE RESEARCH Arguing Safety of Machine Learning for Highly Automated Driving
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 informationVirtual Homologation of Software- Intensive Safety Systems: From ESC to Automated Driving
Virtual Homologation of Software- Intensive Safety Systems: From ESC to Automated Driving Dr. Houssem Abdellatif Global Head Autonomous Driving & ADAS TÜV SÜD Auto Service Christian Gnandt Lead Engineer
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 informationVSI Labs The Build Up of Automated Driving
VSI Labs The Build Up of Automated Driving October - 2017 Agenda Opening Remarks Introduction and Background Customers Solutions VSI Labs Some Industry Content Opening Remarks Automated vehicle systems
More informationDavid Howarth. Business Development Manager Americas
David Howarth Business Development Manager Americas David Howarth IPG Automotive USA, Inc. Business Development Manager Americas david.howarth@ipg-automotive.com ni.com Testing Automated Driving Functions
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 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 informationreview core topics Session 2: Production
ECSEL-Austria New Activities Vienna, November 10-11, 2016 Venue: C3 Convention Center Alfred-Dallinger-Platz 1/ Schlachthausgasse 28 1030 Wien review core topics Session 2: Production Knut Hufeld, +49
More informationCombining ROS and AI for fail-operational automated driving
Combining ROS and AI for fail-operational automated driving Prof. Dr. Daniel Watzenig Virtual Vehicle Research Center, Graz, Austria and Institute of Automation and Control at Graz University of Technology
More informationThe GATEway Project London s Autonomous Push
The GATEway Project London s Autonomous Push 06/2016 Why TRL? Unrivalled industry position with a focus on mobility 80 years independent transport research Public and private sector with global reach 350+
More informationOn-chip Networks in Multi-core era
Friday, October 12th, 2012 On-chip Networks in Multi-core era Davide Zoni PhD Student email: zoni@elet.polimi.it webpage: home.dei.polimi.it/zoni Outline 2 Introduction Technology trends and challenges
More informationCOEN7501: Formal Hardware Verification
COEN7501: Formal Hardware Verification Prof. Sofiène Tahar Hardware Verification Group Electrical and Computer Engineering Concordia University Montréal, Quebec CANADA Accident at Carbide plant, India
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 informationITS radiocommunications toward automated driving systems in Japan
Session 1: ITS radiocommunications toward automated driving systems in Japan 25 March 2015 Helmond, the Netherland Takahiro Ueno Deputy Director, New-Generation Mobile Communications Office, Radio Dept.,
More informationTime Triggered Protocol (TTP/C): A Safety-Critical System Protocol
Time Triggered Protocol (TTP/C): A Safety-Critical System Protocol Literature Review EE382c Fall 1999 Howard Curtis Global Technology Services MCC Robert France Global Software Division Motorola, Inc.
More informationSTAGES-IBM RTC INTERFACE IN PRACTICE MICHAEL NERKAMP ROBERT BOSCH GMBH STAGES INSIGHTS, MARCH 14 TH 2018
STAGES-IBM RTC INTERFACE IN PRACTICE MICHAEL NERKAMP ROBERT BOSCH GMBH STAGES INSIGHTS, MARCH 14 TH 2018 Michael Nerkamp Member of Engineering Process Group in Chassis Systems Control (CC) Development
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 informationEmbracing Complexity. Gavin Walker Development Manager
Embracing Complexity Gavin Walker Development Manager 1 MATLAB and Simulink Proven Ability to Make the Complex Simpler 1970 Stanford Ph.D. thesis, with thousands of lines of Fortran code 2 MATLAB and Simulink
More informationBios and abstracts Day 1-27 th of September:
Bios and abstracts Day 1-27 th of September: Annika Steiber, CEO Innoway; Adjunct professor, Santa Clara University; Managing Director; Berkeley Research Group (BRG) Management in the digital age Abstract:
More informationCSCI 445 Laurent Itti. Group Robotics. Introduction to Robotics L. Itti & M. J. Mataric 1
Introduction to Robotics CSCI 445 Laurent Itti Group Robotics Introduction to Robotics L. Itti & M. J. Mataric 1 Today s Lecture Outline Defining group behavior Why group behavior is useful Why group behavior
More informationEMC simulation addresses ECU validation issues
EMC simulation addresses ECU validation issues A more straightforward validation of electromagnetic compatibility can be achieved by combining tools. By Stefan Heimburger, Andreas Barchanski, and Thorsten
More informationName of Customer Representative: n/a (program was funded by Rockwell Collins) Phone Number:
Phase I Submission Name of Program: Synthetic Vision System for Head-Up Display Name of Program Leader: Jean J. Pollari Phone Number: (319) 295-8219 Email: jjpollar@rockwellcollins.com Postage Address:
More informationAdaptive Action Selection without Explicit Communication for Multi-robot Box-pushing
Adaptive Action Selection without Explicit Communication for Multi-robot Box-pushing Seiji Yamada Jun ya Saito CISS, IGSSE, Tokyo Institute of Technology 4259 Nagatsuta, Midori, Yokohama 226-8502, JAPAN
More informationNew 2018* Executive Master Program Mobility Systems Engineering & Management. Technology + Management
New 2018* Executive Master Program Mobility Systems Engineering & Management Technology + Management *Subject to the approval procedure of KIT and the ministry for science, research and art in Baden-Württemberg
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 informationFAIL OPERATIONAL E/E SYSTEM CONCEPT FOR FUTURE APPLICATION IN ADAS AND AUTONOMOUS DRIVING
FAIL OPERATIONAL E/E SYSTEM CONCEPT FOR FUTURE APPLICATION IN ADAS AND AUTONOMOUS DRIVING Fail Safe Fail Operational Fault Tolerance ISO 26262 Hermann Kränzle, TÜV NORD Systems OUR FUNCTIONAL SAFETY CERTIFIED
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 informationSafe, Efficient and Effective Testing of Connected and Autonomous Vehicles Paul Jennings. Franco-British Symposium on ITS 5 th October 2016
Safe, Efficient and Effective Testing of Connected and Autonomous Vehicles Paul Jennings Franco-British Symposium on ITS 5 th October 2016 An academic department within the science faculty Established
More informationHorizon 2020 ICT Robotics Work Programme (draft - Publication: 20 October 2015)
NCP TRAINING BRUSSELS 07 OCTOBER 2015 1 Horizon 2020 ICT Robotics Work Programme 2016 2017 (draft - Publication: 20 October 2015) Cécile Huet Deputy Head of Unit Robotics Directorate General for Communication
More informationHACMS kickoff meeting: TA2
HACMS kickoff meeting: TA2 Technical Area 2: System Software John Rushby Computer Science Laboratory SRI International Menlo Park, CA John Rushby, SR I System Software 1 Introduction We are teamed with
More informationTesting in the Google car era Are we ready?
Testing in the Google car era Are we ready? Prof. Massimo Violante Politecnico di Torino Dep. of Control and Computer Engineering Nicola Frisco TXT e-solutions Head of Simulation & Training Systems The
More informationNew 2018* Executive Master Program Mobility Systems Engineering & Management. Technology + Management
New 2018* 110 01 10 01 010 0 Executive Master Program Mobility Systems Engineering & Management Technology + Management *Subject to the approval procedure of KIT and the ministry for science, research
More informationThe ISO Revision: Looking back and into the future
An Advanced Guide to ISO 26262 - ebook : Looking back and into the future Part 2 www.iso26262-conference.com : Looking back and into the future The 5th International Conference ISO 26262 will bring together
More informationReal-Time Systems Hermann Härtig Introduction
Real-Time Systems Hermann Härtig Introduction 08/10/10 Organisation Issues Web-Page http://os.inf.tu-dresden.de/studium/rts/ Subscribe to the mailing list!!! Time 3 SWS: 2 lectures + 1 exercises Thursday,
More informationEngineering Technology (2010) Sample work program A. September 2010
Engineering (2010) Sample work program A September 2010 Engineering (2010) Sample work program A Compiled by the Queensland Studies Authority September 2010 A work program is the school s plan of how the
More informationMulti-Core Execution of Parallelised Hard Real-Time Applications
Multi-Core Execution of Parallelised Hard Real-Time Applications Grant Agreement number: 287519, 3-year project, started: Oc1. 1, 2010 Period covered: Oct. 1, 2011 to Nov. 30, 2012 http://parmerasa.eu
More informationStrategic Considerations when Introducing Model Based Systems Engineering
Copyright 2015 by Christoph Bräuchle, Manfred Broy, Dominik Rüchardt. Permission granted to INCOSE to publish and use Strategic Considerations when Introducing Model Based Systems Engineering Christoph
More informationFinal Report Non Hit Car And Truck
Final Report Non Hit Car And Truck 2010-2013 Project within Vehicle and Traffic Safety Author: Anders Almevad Date 2014-03-17 Content 1. Executive summary... 3 2. Background... 3. Objective... 4. Project
More informationCopyright 2016 Rockwell Collins, Inc. All rights reserved. LVC for Autonomous Aircraft Systems Testing
LVC for Autonomous Aircraft Systems Testing Challenges - T&E of Autonomous A/C Regulatory Restrictions Desired test or demonstration context may not be available Flight Test Complexity More complex than
More informationA Winning Combination
A Winning Combination Risk factors Statements in this presentation that refer to future plans and expectations are forward-looking statements that involve a number of risks and uncertainties. Words such
More informationA.I in Automotive? Why and When.
A.I in Automotive? Why and When. AGENDA 01 02 03 04 Definitions A.I? A.I in automotive Now? Next big A.I breakthrough in Automotive 01 DEFINITIONS DEFINITIONS Artificial Intelligence Artificial Intelligence:
More informationPEGASUS General introduction to PEGASUS & Opening of the exhibition. Prof. Dr. Thomas Form 9th November 2017
PEGASUS General introduction to PEGASUS & Opening of the exhibition Prof. Dr. Thomas Form 9th November 2017 Starting Position for Automated Driving Top issue! Technology works Confidence Testing differently
More informationDevelopment of Concurrent Engineering Tool for Early Design of Mechatronics Product
210 Proceedings of the 8th International Conference on Innovation & Management Development of Concurrent Engineering Tool for Early Design of Mechatronics Product Yusuke Odoh, Tatsuya Kasamatsu, Tsuyoshi
More informationDENSO
DENSO www.densocorp-na.com Collaborative Automated Driving Description of Project DENSO is one of the biggest tier one suppliers in the automotive industry, and one of its main goals is to provide solutions
More informationBy Mark Hindsbo Vice President and General Manager, ANSYS
By Mark Hindsbo Vice President and General Manager, ANSYS For the products of tomorrow to become a reality, engineering simulation must change. It will evolve to be the tool for every engineer, for every
More informationV2X-Locate Positioning System Whitepaper
V2X-Locate Positioning System Whitepaper November 8, 2017 www.cohdawireless.com 1 Introduction The most important piece of information any autonomous system must know is its position in the world. This
More informationWorkshop on the Future of Nuclear Robotics Safety Cases
Workshop on the Future of Nuclear Robotics Safety Cases 11th September 2018 Manchester Organised by EPSRC RAIN Hub, Office for Nuclear Regulation, Assuring Autonomy International Programme, and EPSRC Verification
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 informationKÜNSTLICHE INTELLIGENZ JOBKILLER VON MORGEN?
KÜNSTLICHE INTELLIGENZ JOBKILLER VON MORGEN? Marc Stampfli https://www.linkedin.com/in/marcstampfli/ https://twitter.com/marc_stampfli E-Mail: mstampfli@nvidia.com INTELLIGENT ROBOTS AND SMART MACHINES
More informationHAVEit Highly Automated Vehicles for Intelligent Transport
HAVEit Highly Automated Vehicles for Intelligent Transport Holger Zeng Project Manager CONTINENTAL AUTOMOTIVE HAVEit General Information Project full title: Highly Automated Vehicles for Intelligent Transport
More informationHuman Factors: Unknowns, Knowns and the Forgotten
Human Factors: Unknowns, Knowns and the Forgotten Peter C. Burns Standards Research & Development, Motor Vehicle Safety Transport Canada 2018 SIP-adus Workshop: Human Factors 1 Outline Examples of bad
More informationDevelopment of a 24 GHz Band Peripheral Monitoring Radar
Special Issue OneF Automotive Technology Development of a 24 GHz Band Peripheral Monitoring Radar Yasushi Aoyagi * In recent years, the safety technology of automobiles has evolved into the collision avoidance
More informationIntelligent Transport Systems standardization in ITU. 8-9 October 2018 Detroit Michigan USA
Intelligent Transport Systems standardization in ITU 8-9 October 2018 Detroit Michigan USA : international organization with global presence 5 Elected Officials ~750 Staff from ~80 Countries Membership
More informationData collection and modeling for APTS and ATIS under Indian conditions - Challenges and Solutions
Data collection and modeling for APTS and ATIS under Indian conditions - Challenges and Solutions Lelitha Vanajakshi Dept. of Civil Engg. IIT Madras, India lelitha@iitm.ac.in Outline Introduction Automated
More informationAutonomy, how much human in the loop? Architecting systems for complex contexts
Architecting systems for complex contexts by Gerrit Muller University College of South East Norway e-mail: gaudisite@gmail.com www.gaudisite.nl Abstract The move from today s automotive archictectures
More informationTHE SCHOOL BUS. Figure 1
THE SCHOOL BUS Federal Motor Vehicle Safety Standards (FMVSS) 571.111 Standard 111 provides the requirements for rear view mirror systems for road vehicles, including the school bus in the US. The Standards
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 informationModeling and Simulation of Hybrid Electric Vehicle Power Systems
SAE TECHNICAL PAPER SERIES 2007-01-1592 Modeling and Simulation of Hybrid Electric Vehicle Power Systems Min Zhang Synopsys Inc Reprinted From: Automotive Electronics and Systems Reliability (SP-2088)
More informationArtemis for researchers? Werner Damm Chairman Artemis Center of Innovation Excellence for Transportation Chairman SafeTRANS
Artemis for researchers? Werner Damm Chairman Artemis Center of Innovation Excellence for Transportation Chairman SafeTRANS 2 Structure of Presentation About OFFIS About Artemis Chances and Benefits for
More informationAgilent 81150A Pulse Function Arbitrary Noise Generator Applications
Agilent 81150A Pulse Function Arbitrary Noise Generator Applications New 3-in-1 instrument: Accurate Pulse, Function Arbitrary and Noise Generation in a single box Version 1.0 Noise and Jitter Tolerance
More informationReal-time Cooperative Behavior for Tactical Mobile Robot Teams. September 10, 1998 Ronald C. Arkin and Thomas R. Collins Georgia Tech
Real-time Cooperative Behavior for Tactical Mobile Robot Teams September 10, 1998 Ronald C. Arkin and Thomas R. Collins Georgia Tech Objectives Build upon previous work with multiagent robotic behaviors
More informationDriving Simulators for Commercial Truck Drivers - Humans in the Loop
University of Iowa Iowa Research Online Driving Assessment Conference 2005 Driving Assessment Conference Jun 29th, 12:00 AM Driving Simulators for Commercial Truck Drivers - Humans in the Loop Talleah
More informationA BETTER LISTENER EXPERIENCE: HD RADIO TIME AND LEVEL ALIGNMENT
A BETTER LISTENER EXPERIENCE: HD RADIO TIME AND LEVEL ALIGNMENT NAB Broadcast Engineering Conference - April 17, 2016 1 HD RADIO TECHNOLOGY AND YOUR AUDIENCE More of your listeners are experiencing your
More informationSubsumption Architecture in Swarm Robotics. Cuong Nguyen Viet 16/11/2015
Subsumption Architecture in Swarm Robotics Cuong Nguyen Viet 16/11/2015 1 Table of content Motivation Subsumption Architecture Background Architecture decomposition Implementation Swarm robotics Swarm
More informationUnlock the power of location. Gjermund Jakobsen ITS Konferansen 2017
Unlock the power of location Gjermund Jakobsen ITS Konferansen 2017 50B 200 Countries mapped HERE in numbers Our world in numbers 7,000+ Employees in 56 countries focused on delivering the world s best
More informationDEMONSTRATIONAL SYSTEM FOR TRAINING IN FlexRay COMMUNICATION
XIX IMEKO World Congress Fundamental and Applied Metrology September 611, 29, Lisbon, Portugal DEMONSTRATIONAL SYSTEM FOR TRAINING IN COMMUNICATION Jan Malinsky 1, Petr Kocourek 2 1 Czech Technical University
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 informationLink: https://www.springerprofessional.de/en/virtual-test-driving-hardware-independent-integration-of-series-/
Link: https://www.springerprofessional.de/en/virtual-test-driving-hardware-independent-integration-of-series-/6429576 DEVELOPMENT SIMUL ATION VIRTUAL TEST DRIVING HARDWARE-INDEPENDENT INTEGRATION OF SERIES
More informationCASE Exchange Panel Incremental/Agile Methods Fit for Demands of Complex Aerospace Systems?
rick.dove@parshift.com, attributed copies permitted 1 CASE Exchange Panel Incremental/Agile Methods Fit for Demands of Complex Aerospace Systems? AIAA Aviation Forum, Denver, CO 6-June-2017, 2:00-5:00pm
More informationFI PPP. Necessity for Experimentation (in the continuity of the presentation delivered during the FIRE Week on in Lulea) Dr.
FI PPP Necessity Experimentation (in the continuity of the presentation delivered during the FIRE Week on 0.07.09 in Lulea) Dr. Didier Bourse 23..09 Stockholm FIA Kista Context & Status (/7) Future Internet
More informationStudy on a Simplified Converter Topology for Fault Tolerant Motor Drives
Study on a Simplified Converter Topology for Fault Tolerant Motor Drives L. Szabó, M. Ruba and D. Fodorean Technical University of Cluj, Department of Electrical Machines, Cluj, Romania Abstract Some of
More informationH2020 RIA COMANOID H2020-RIA
Ref. Ares(2016)2533586-01/06/2016 H2020 RIA COMANOID H2020-RIA-645097 Deliverable D4.1: Demonstrator specification report M6 D4.1 H2020-RIA-645097 COMANOID M6 Project acronym: Project full title: COMANOID
More informationThe Toyota Motor approach from basic research to product realization
Interview The Toyota Motor approach from basic research to product realization - Interview with Dr. Umeyama, General Manager, R&D Management Division - [Translation from Synthesiology, Vol.1, No.2, p.144-148
More informationAutomotive Engineering Summer Germany 2017 (AESG)
Automotive Engineering Summer Germany 2017 (AESG) 2 Do you know Darmstadt? close to Europe s third biggest Airport Home of one of Germanys Top 3 Universitys in Mechanical Engineering 20 minutes away from
More informationCivil Radar Systems.
Civil Radar Systems www.aselsan.com.tr Civil Radar Systems With extensive radar heritage exceeding 20 years, ASELSAN is a new generation manufacturer of indigenous, state-of-theart radar systems. ASELSAN
More informationNeural Networks The New Moore s Law
Neural Networks The New Moore s Law Chris Rowen, PhD, FIEEE CEO Cognite Ventures December 216 Outline Moore s Law Revisited: Efficiency Drives Productivity Embedded Neural Network Product Segments Efficiency
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 informationGF Machining Solutions Speed of Development : The Future of Machine Building. Sergei Schurov 23/06/2016
GF Machining Solutions Speed of Development : The Future of Machine Building Sergei Schurov 23/06/2016 Heritage Innovation Outlook Machine Tools Industry: Journey Through the Time Heritage Swiss Trains
More informationPerformance framework for Regional Air Navigation Planning and Implementation
GREPECAS/16 WP/21 International Civil Aviation Organization 02/03/11 CAR/SAM Regional Planning and Implementation Group (GREPECAS) Sixteenth Meeting of the CAR/SAM Regional Planning and Implementation
More informationNSF. Hybrid Systems: From Models to Code. Tom Henzinger. UC Berkeley. French Guyana, June 4, 1996 $800 million embedded software failure
Hybrid Systems: From Models to Code Tom Henzinger UC Berkeley NSF UC Berkeley: Chess Vanderbilt University: ISIS University of Memphis: MSI Foundations of Hybrid and Embedded Software Systems French Guyana,
More informationA premium passenger car is controlled and managed by 80+ Embedded Systems. Communication systems for vehicle electronics
Presentation overview Background automotive electronics, an application area for time triggered communication. Time triggered protocols A premium passenger car is controlled and managed by 80+ Embedded
More informationSafety Mechanism Implementation for Motor Applications in Automotive Microcontroller
Safety Mechanism Implementation for Motor Applications in Automotive Microcontroller Chethan Murarishetty, Guddeti Jayakrishna, Saujal Vaishnav Automotive Microcontroller Development Post Silicon Validation
More information23270: AUGMENTED REALITY FOR NAVIGATION AND INFORMATIONAL ADAS. Sergii Bykov Technical Lead Machine Learning 12 Oct 2017
23270: AUGMENTED REALITY FOR NAVIGATION AND INFORMATIONAL ADAS Sergii Bykov Technical Lead Machine Learning 12 Oct 2017 Product Vision Company Introduction Apostera GmbH with headquarter in Munich, was
More informationBridging Functional Safety Analysis and Software Architecture Assessment Safety scenarios in Architecture Trade-off Analysis Method (ATAM)
Bridging Functional Safety Analysis and Software Architecture Assessment Safety scenarios in Architecture Trade-off Analysis Method (ATAM) Miroslaw Staron Software Engineering Computer Science and Engineering
More informationResearch Planning Assignment 2
Research Planning Assignment 2 Sara Dersten Mälardalen University SE-72123 Västerås, Sweden sara.dersten@mdh.se September, 2009 Table of Contents 1 Research project... 2 1.1 Background... 2 1.2 Aim of
More informationMichelin Challenge Bibendum 2014
Michelin Challenge Bibendum 2014 CONTENT CHALLENGE BIBENDUM THINK & ACTION TANK TO HELP TRANSFORM MOBILITY Mobility challenges What is Challenge Bibendum The evolutions of Challenge Bibendum CHALLENGE
More informationSAFETY CASES: ARGUING THE SAFETY OF AUTONOMOUS SYSTEMS SIMON BURTON DAGSTUHL,
SAFETY CASES: ARGUING THE SAFETY OF AUTONOMOUS SYSTEMS SIMON BURTON DAGSTUHL, 17.02.2017 The need for safety cases Interaction and Security is becoming more than what happens when things break functional
More informationTRB Innovations in Travel Modeling Atlanta, June 25, 2018
Using an Activity-Based Model with Dynamic Traffic Simulation to Explore Scenarios for Private and Shared Autonomous Vehicle Use in Jacksonville with TRB Innovations in Travel Modeling Atlanta, June 25,
More informationEditorial: Aspect-oriented Technology and Software Quality
Software Quality Journal Vol. 12 No. 2, 2004 Editorial: Aspect-oriented Technology and Software Quality Aspect-oriented technology is a new programming paradigm that is receiving considerable attention
More informationSELF-EXPLAINING AUTONOMOUS SYSTEMS Werner Damm
SELF-EXPLAINING AUTONOMOUS SYSTEMS Werner Damm Interdisciplinary Research Center on Human Cyber Physical Systems Managing University Other Participating Organizations Institutions as Cooperation Partners
More information