Integrating Viewpoints in the Development of CPS
|
|
- Randall Oliver
- 5 years ago
- Views:
Transcription
1 Integrating Viewpoints in the Development of CS Martin Törngren rofessor in Embedded Control Systems, ICES director Division of Mechatronics, KTH Royal Institute of Technology Joint work with Matthias Biehl, Jad Elkhoury, Frederic Loiret, Magnus ersson and Ahsan Qamar, KTH, and Stavros Tripakis, atricia Derler and Edward Lee, UC Berkeley
2 Research areas in the group ECS Group: Autonomy System Architecture Design and Optimization Innovative roduct Concepts Model Based Design Multiview Modeling Tool Integration Safety CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 2
3 CS like demo Manifested by, and courtesy of, the Berkeley juggling club CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 3
4 Different viewpoints and concerns CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 4
5 Sensing, estimation and control Vehicle dynamics roject Management Viewpoints and relationships Software ECU/electronics Architecture Networking CAN database Integration tests Safety Quality Maintenance, After-market roduction/ parameterization Diagnostics, Support tools Mechanical components CAD, DM ower ropulsion Thermal CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 5
6 Main messages CS come with growing functionality, extent and concerns More advanced engineering environments: viewpoints and relations between them We need to engineer and deal with viewpoint systems Viewpoint contracts Dependency modeling Systematic and efficient tool integration Beyond traditional stakeholders CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 6
7 Outline CS Characterization Engineering Environments roblem analysis Multiview modeling Integrating viewpoints Contracts, Dependency modeling, Tool integration Discussion Wrap-up CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 7
8 CS characteristics Stringent requirements Heterogeneity Extent and scale (compared to ES) Autonomy Non-technical challenges Socio-technical systems CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 8
9 Mechanics vs. Mechatronics; adding flexible information processing and flow Module 1 Computer HW & SW Drives Control Actuators Sensors Mechanics Environment Computer HW & SW Drives Control Actuators Sensors Mechanics Module n Logic and information flow Laws of physics CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 9
10 urely mechanical vehicle Sus/C Brake Steer Wheel Diff Trans Clutch Eng Driver Susp Brake Steer X X X X X X Wheel X X X X Diff X X Trans X X Clutch X X Eng X Driver X X X X Mechanical relations CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 10
11 Fully programmable vehicle! Sus/C Brake Steer Wheel Diff Trans Clutch Eng Driver Susp X+ X+ Brake X+ X+ Steer X+ X+ Wheel X X X+ X Diff X+ X+ Trans X+ X+ Clutch X+ X+ Eng X+ Driver X+ X+ X+ rogrammable relations X ossible change CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 11
12 Technology evolution Social media Internet Telecom Wired Wireless Computation Analog and digital Google Facebook WWW Mobile internet GSM GS ihone Distributed control CAN Ethernet WLAN Bluetooth WirelessHART Zigbee RFID NFC Microprocessor Multicore MEMS Motes CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 12
13 Autonomous vehicles E-Corner, Siemens Daimler-Chrysler latooning competition (Scania and KTH) Local, global communication: - V2V, V2I, Internet, positioning New Opportunities and Challenges! Beyond traditional stakeholders Scaling problems Components Devices Subsystems Systems SoS - Society CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 13
14 eople rocesses - Technology Organization - Competence - Responsibilities - Communication rocess - Analysis - Modelling/tool use - Synthesis/decisions Social Integration Technology: roducts & Tools - Function - Implementation Model Based Integration Architecture Integration CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 14
15 Complexity Here taken in relation to human abilities to deal with different aspects and their relations Requirements, components and networks Behaviors and interactions Digital state space Hybrid systems roduct variants Life-cycle usages otential faults, errors and failures CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 15
16 How do we manage complexity when developing technical systems? Divide and conquer Applied to products and systems (supporting artefacts, organizations) Abstraction Modeling, at the right level of abstraction using the right formalism Ensuring integration / composability Interfaces, interrelationsships, assumptions By use of automation ( tools ) CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 16
17 Abstraction Modeling and simulation Multiple abstraction layers; Multiple views latform abstractions: AI s, services Controller latform lant Model validation Function design and analysis Tuning Controller Rapid Control rototyping Integration testing lant RTsimulation Controller Code generation; platform integration Unit testing CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 17
18 Aspects of product & support tools Scripts Traces Versions Configurations Application functionalities models code + Other functions! + Other requirements! scripts configs Mapping Architecture Reports Often forgotten: - Model management - Support models and tools Test cases Additional models Analysis results Change requests Concepts Dev. rod.. Oper/Maint. Technical engineering Information management Implemented by Integration scenarios Mapping Architecture (Tools & integration technology) CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 18
19 Outline CS Characterization Engineering Environments roblem analysis Multiview modeling Integrating viewpoints Contracts, Dependency modeling, Tool integration Discussion Wrap-up CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 19
20 Viewpoints and views Viewpoints The view is what you see - Stakeholder concerns Real-world/ - Concepts, theories, System frameworks, languages The viewpoint is where you look from Abstractions Models/Artefacts Views roduct properties Models Tools using models and providing services Terminology partly from the ISO/IEEE standard: Systems and software engineering Architecture description CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 20
21 One example multi-view reference model: 4+1 view model CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 21
22 Source: - ISO/IEEE standard CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 22
23 CAN Multiple views - Example Allocation Rain Sensor Driver Dashboard UI Driver Wiper Control SW Motor Driver - F ECU - DB ECU - C ECU - DB ECU Software structure Hardware structure Rain Sensor Driver Dashboard UI Driver Wiper Control SW Motor Driver Buttons Central ECU Dashboard ECU Rain sensor Front ECU Wiper Motor Software mode description On On Network diagram Of f M< 70 Auto Off M> 90 Front Central Dashboard Example models by Magnus ersson CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 23
24 Multiple views - Example Robot CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 24
25 Controller and Embedded system gaps Controller lant Little emphasis on effects due to embedded systems realization Delays, quantization, partial failures, resource sharing?? Embedded system platform SW HW Little emphasis on control specific requirements Assumed behavior, error handling Concepts, theory and tools mismatches - e.g. Discrete-time control theory vs. Fixed priority scheduling /rate monotonic CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 25
26 Tool Integration Challenge Reqs Reqs Reqs Lifecycle Lifecycle Lifecycle Lifecycle Requirements Engineering Lifecycle Engineering Design Engineering V&V Engineering Design Design Design Design Test Test Test Test Test Analysis Analysis Analysis Analysis Multiple Concerns & Domains Stakeholders Isolated Tools & Models rocesses and Tasks Integration Aspects Dependencies Integration Aspects Data Control Lack of methodologies for tool integration Lack of mature standards resentation latform rocess CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 26
27 ifest Desired tool integration capabilities A uniform approach to tool integration Dealing with complexity Tailorability, Evolvability and Scalability Lower threshhold to integrate tools Ability to define information and functionalities Access to information and functionalities of tools Manage information Data, control, presentation, process Support relevant standards CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 27
28 Outline CS Characterization Engineering Environments roblem analysis Multiview modeling Integrating viewpoints Contracts, Dependency modeling, Tool integration Discussion Wrap-up CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 28
29 Towards integrating viewpoints CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 29
30 Techniques Viewpoint contracts people level Establishing shared concepts, assumptions and constraints Dependency models Explicitly captures dependencies among properties of models Tool integration models Explicitly describes tools and their interactions CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 30
31 Viewpoint contracts Bridging conceptual and communication gaps Capturing Common concepts shared among two or more viewpoints Minimalistic Assumptions Constraints Currently dealt with informally CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 31
32 Example: Control-Embedded SW contracts Courtesy of. Derler, Design contracts presentation at CS conference 2013 CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 32
33 Control vs. Embedded software Courtesy of. Derler, Design contracts presentation at CS conference 2013 CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 33
34 Example: Control-Embedded SW contracts Courtesy of. Derler, Design contracts presentation at CS conference 2013 CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 34
35 Example contracts - Control- Embedded SW with timing constraints Courtesy of. Derler, Design contracts presentation at CS conference 2013 CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 35
36 Example contracts continued; Control-Embedded SW with timing constraints Agreement and obligations regarding functionalities and timing properties SW engineers: execute functions; meet timing requirements Control engineers: ensure correct closed-loop behavior Example contracts: ZET ~ the synchronous approach LET ~ the LC / Giotto approach BET ~ interpretation of FS DET ~ deadline monotonic scheduling TOL ~ Tolerances on time variations Basis for discussions and agreements Baseline for implementation Support for modeling and simulation CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 36
37 Support for Contract based design- methodology outline CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 37
38 Two Degree-Of-Freedom Robot Control the position of the robot with accuracy (CA) and avoid obstacle within the specified workspace (WS) Two design domains Mechanical design Control design Hw/Sw design Design variables L A, L B W A, W B Ɵ A, Ɵ B ϱ S A, S B M A, M B Origin O E CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 38
39 Dependency Graph Dependency model example CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 39
40 Snapshot of the dependency graph for Mechanical, Control and Hw/Sw design of the robot CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 40
41 CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 41
42 Analysis made possible Change management Consistency checking CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 42
43 Development of Mechatronic products Engineering Disciplines Control Engineer Requirements Engineer Hardware-Developers Verification Mechanical Engineer rocess rototyping Engineer System Architect Support Software-Developers CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 43
44 Challenges of Tool Integration Tools provide limited native integration island solutions difficult to connect tools to transfer data, to create traces, to create scripts involving multiple tools Hard to push workable tool integration standards Integration Concerns Semantic Structural Technical CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 44
45 Adapter Resources Tool Adapter Resources Tool Goal: Tool Chains Instantiation Authentication Tool Transformation Engine rocess Management Tool Traceability tool Tool Adapter Resources Tool Adapter Resources Basic services Data Data Tool Adapter Resources Lifecycle Data Tool Adapter Resources Change Impact Analysis ifest Integration Over Internet Framework Data Configuration Management UML tool Tool Adapter Resources Data R&A Data Data Data D&I V&V Data Tool Adapter Resources Tool Adapter Resources Tool Adapter Resources Tool Adapter Resources Tool Adapter Resources Tool Adapter Resources Tool Adapter Resources Tool Adapter Resources Tool Adapter Resources DOORS IRQA Traceability Non ifest Compliant tool Repository Simulink An Integration latform HW/SW co-design tool Test tool Analysis CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 45
46 Challenge: Lack of Methodologies and Tools for Building Tool Chains? Limited development support Mostly built manually Low levels of reuse High effort to build Lack of support tools ATL Java BEL Stakeholders WSDL OSLC CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 46
47 Approach Stakeholders Development Support: Design/Refinement Analysis Synthesis Modeling Language Tool Chain Impl. CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 47
48 Tool Integration Language (TIL) Concrete Syntax ToolAdapter DataChannel User TraceChannel Repository ControlChannel ToolChain Sequencer CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 48
49 Case Study: A TIL Model for an industrial embedded systems tool chain 49 CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 49
50 Status Several papers, reports, case studies and hd thesis on the presented viewpoint integration techniques Dependency modeling and Tool integration implemented as Domain specific modeling languages Viewpoint contracts so far applied to Control- Embedded systems and Control-Mechanical design 50 CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 50
51 Discussion Viewpoint integration techniques can be applied in different ways Informally / Formally Individually / Together Top-down / Bottom-up Complements other techniques such as Co-simulation Component contracts Integration specific views (e.g. ADLs, function models) CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 51
52 Outline CS Characterization Engineering Environments roblem analysis Multiview modeling Integrating viewpoints Contracts, Dependency modeling, Tool integration Discussion Wrap-up CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 52
53 Sensing, estimation and control Vehicle dynamics roject Management Viewpoints and relationships Software ECU/electronics Architecture Networking CAN database Integration tests Safety Quality Maintenance, After-market roduction/ parameterization Diagnostics, Support tools Mechanical components CAD, DM ower ropulsion Thermal CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 53
54 Summary and directions Trends: Functional growth, connectivity, scale, complexity Engineering of increasing no. of viewpoints and dependencies Make viewpoint, dependencies and tool interactions explicit Dealing with and designing dependencies Design contracts towards viewpoint contracts Dependency modeling Systematic tool integration Contact CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 54
55 References Fredrik Asplund, Lic. Thesis, Mechatronics, KTH (Oct. 2012): Tool Integration and Safety: A Foundation for Analyzing the Impact of Tool Integration on Non-functional roperties. Matthias Biehl, hd thesis, Mechatronics KTH (Jan. 2013): A Modeling Language for the Description and Development of Tool Chains for Embedded Systems. Ahsan Qamar, hd thesis, Mechatronics, KTH (March, 2013): Model and Dependency Management in Mechatronic Design. Magnus ersson, hd thesis, Mechatronics, KTH (June, 2013): A formalized approach to multi-view components for embedded systems. Martin Törngren, Matthias Biehl, Ahsan Qamar, Jad Elkhoury, and Frederic Loiret. Multiview Modeling and Integration for Mechatronics Engineering. roc. of the ACCM-Workshop on Mechatronic Design, Linz, Austria, November, atricia Derler, Edward Lee, Martin Törngren, Stavros Tripakis. Cyber-hysical System Design Contracts, ICCS '13: ACM/IEEE 4th International Conference on Cyber-hysical Systems, CS summerschool, July 9th, 2013, Grenoble Integrating Viewpoints by Martin Törngren 55
Towards systematic Model and Component based development of embedded systems
Towards systematic Model and Component based development of embedded systems Martin Törngren, martin@md.kth.se Embedded Control Systems group, Division of Mechatronics Department of Machine Design KTH
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 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 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 informationModel-Based Systems Engineering Methodologies. J. Bermejo Autonomous Systems Laboratory (ASLab)
Model-Based Systems Engineering Methodologies J. Bermejo Autonomous Systems Laboratory (ASLab) Contents Introduction Methodologies IBM Rational Telelogic Harmony SE (Harmony SE) IBM Rational Unified Process
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 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 informationMethodology for Agent-Oriented Software
ب.ظ 03:55 1 of 7 2006/10/27 Next: About this document... Methodology for Agent-Oriented Software Design Principal Investigator dr. Frank S. de Boer (frankb@cs.uu.nl) Summary The main research goal of this
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 informationAGENTS AND AGREEMENT TECHNOLOGIES: THE NEXT GENERATION OF DISTRIBUTED SYSTEMS
AGENTS AND AGREEMENT TECHNOLOGIES: THE NEXT GENERATION OF DISTRIBUTED SYSTEMS Vicent J. Botti Navarro Grupo de Tecnología Informática- Inteligencia Artificial Departamento de Sistemas Informáticos y Computación
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 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 informationOn-demand printable robots
On-demand printable robots Ankur Mehta Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology 3 Computational problem? 4 Physical problem? There s a robot for that.
More informationA Modeling Language for the Description and Development of Tool Chains for Embedded Systems MATTHIAS BIEHL
A Modeling Language for the Description and Development of Tool Chains for Embedded Systems MATTHIAS BIEHL Doctoral Thesis Stockholm, Sweden, 2013 TRITA-MMK 2012:09 ISSN 1400-1179 ISRN/KTH/MMK/R-12/09-SE
More informationThe AMADEOS SysML Profile for Cyber-physical Systems-of-Systems
AMADEOS Architecture for Multi-criticality Agile Dependable Evolutionary Open System-of-Systems FP7-ICT-2013.3.4 - Grant Agreement n 610535 The AMADEOS SysML Profile for Cyber-physical Systems-of-Systems
More informationTowards an MDA-based development methodology 1
Towards an MDA-based development methodology 1 Anastasius Gavras 1, Mariano Belaunde 2, Luís Ferreira Pires 3, João Paulo A. Almeida 3 1 Eurescom GmbH, 2 France Télécom R&D, 3 University of Twente 1 gavras@eurescom.de,
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 informationHardware-Software Co-Design Cosynthesis and Partitioning
Hardware-Software Co-Design Cosynthesis and Partitioning EE8205: Embedded Computer Systems http://www.ee.ryerson.ca/~courses/ee8205/ Dr. Gul N. Khan http://www.ee.ryerson.ca/~gnkhan Electrical and Computer
More informationComputer Aided Design of Electronics
Computer Aided Design of Electronics [Datorstödd Elektronikkonstruktion] Zebo Peng, Petru Eles, and Nima Aghaee Embedded Systems Laboratory IDA, Linköping University www.ida.liu.se/~tdts01 Electronic Systems
More informationRoadmapping efforts for research, education and innovation in Cyber Physical Systems
Roadmapping efforts for research, education and innovation in Cyber Physical Systems Martin Törngren Professor in Embedded Control Systems, ICES director Division of Mechatronics, KTH Royal Institute of
More informationSystems Modeling and Modularity Assessment for Embedded Computer Control Applications
Systems Modeling and Modularity Assessment for Embedded Computer Control Applications DEJIU CHEN!"#$ # %# &# '$#%& (" 1 &") #%#))' &"#$"*)))+"!'+#!! #, '+# )" -..!!/$'#% %(# (0%(#-. *!#) $!'* /. #$'$ "#$1'
More informationTechnical-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 informationMulti-View Design for Cyber-Physical Systems
Multi-View Design for Cyber-Physical Systems Hui Zhao, Ludovic Apvrille, Frédéric Mallet To cite this version: Hui Zhao, Ludovic Apvrille, Frédéric Mallet. Multi-View Design for Cyber-Physical Systems.
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 informationTowards a multi-view point safety contract Alejandra Ruiz 1, Tim Kelly 2, Huascar Espinoza 1
Author manuscript, published in "SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability
More informationCSE 435: Software Engineering
CSE 435: Software Engineering Dr. James Daly 3501 Engineering Building Office: 3501 EB, by appointment dalyjame at msu dot edu TAs: Vincent Ragusa and Mohammad Roohitavaf Helproom Tuesday: 2-4 pm, Wednesday
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 informationSOFTWARE ARCHITECTURE
SOFTWARE ARCHITECTURE Foundations, Theory, and Practice Richard N. Taylor University of California, Irvine Nenad Medvidovic University of Southern California Eric M. Dashofy The Aerospace Corporation WILEY
More informationHardware/Software Codesign of Real-Time Systems
ARTES Project Proposal Hardware/Software Codesign of Real-Time Systems Zebo Peng and Anders Törne Center for Embedded Systems Engineering (CESE) Dept. of Computer and Information Science Linköping University
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 informationEGS-CC. System Engineering Team. Commonality of Ground Systems. Executive Summary
System Engineering Team Prepared: System Engineering Team Date: Approved: System Engineering Team Leader Date: Authorized: Steering Board Date: Restriction of Disclosure: The copyright of this document
More informationProcess Planning - The Link Between Varying Products and their Manufacturing Systems p. 37
Definitions and Strategies Changeability - An Introduction p. 3 Motivation p. 3 Evolution of Factories p. 7 Deriving the Objects of Changeability p. 8 Elements of Changeable Manufacturing p. 10 Factory
More informationICES anniversary conference (day 2) ICES introduction. Martin Törngren
ICES anniversary conference (day 2) ICES introduction Martin Törngren Outline ICES fast facts and 10 year evolution - Updated Vision and goals Way of working and ways to engage 2 Opportunities and Challenges
More informationDomain Understanding and Requirements Elicitation
and Requirements Elicitation CS/SE 3RA3 Ryszard Janicki Department of Computing and Software, McMaster University, Hamilton, Ontario, Canada Ryszard Janicki 1/24 Previous Lecture: The requirement engineering
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 informationTowards EU-US Collaboration on the Internet of Things (IoT) & Cyber-physical Systems (CPS)
Towards EU-US Collaboration on the Internet of Things (IoT) & Cyber-physical Systems (CPS) Christian Sonntag Senior Researcher & Project Manager, TU Dortmund, Germany ICT Policy, Research and Innovation
More informationBy the end of this chapter, you should: Understand what is meant by engineering design. Understand the phases of the engineering design process.
By the end of this chapter, you should: Understand what is meant by engineering design. Understand the phases of the engineering design process. Be familiar with the attributes of successful engineers.
More informationTeaching Embedded Systems to Berkeley Undergraduates
Teaching Embedded Systems to Berkeley Undergraduates EECS124 at UC Berkeley co-developed by Edward A. Lee Sanjit A. Seshia Claire J. Tomlin http://chess.eecs.berkeley.edu/eecs124 CPSWeek CHESS Workshop
More informationCyPhers Project: Main Results
CyPhers Project: Main Results Saddek Bensalem / shortened Presentation by Sebastian Engell (CPSoS) SoS Open Workshop, Florence May 28, 2015 fortiss (Munich) KTH (Stockholm) U. Joseph Fourier (Grenoble)
More informationThe CPAL programming language. Lean Model-Driven Development through Model-Interpretation
The CPAL programming language Design, Simulate, Execute Embedded Systems Lean Model-Driven Development through Model-Interpretation Nicolas Navet, University of Luxembourg October 29 th, 2015 Talk @ CEA
More informationModel-Based Design as an Enabler for Supply Chain Collaboration
CO-DEVELOPMENT MANUFACTURING INNOVATION & SUPPORT Model-Based Design as an Enabler for Supply Chain Collaboration Richard Mijnheer, CEO, 3T Stephan van Beek, Technical Manager, MathWorks Richard Mijnheer
More informationHardware Implementation of Automatic Control Systems using FPGAs
Hardware Implementation of Automatic Control Systems using FPGAs Lecturer PhD Eng. Ionel BOSTAN Lecturer PhD Eng. Florin-Marian BÎRLEANU Romania Disclaimer: This presentation tries to show the current
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 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 informationReal-Time Testing Made Easy with Simulink Real-Time
Real-Time Testing Made Easy with Simulink Real-Time Andreas Uschold Application Engineer MathWorks Martin Rosser Technical Sales Engineer Speedgoat 2015 The MathWorks, Inc. 1 Model-Based Design Continuous
More informationFirst steps towards a mereo-operandi theory for a system feature-based architecting of cyber-physical systems
First steps towards a mereo-operandi theory for a system feature-based architecting of cyber-physical systems Shahab Pourtalebi, Imre Horváth, Eliab Z. Opiyo Faculty of Industrial Design Engineering Delft
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 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 informationEmbedded Robotics. Software Development & Education Center
Software Development & Education Center Embedded Robotics Robotics Development with ARM µp INTRODUCTION TO ROBOTICS Types of robots Legged robots Mobile robots Autonomous robots Manual robots Robotic arm
More informationLaurea Specialistica in Ingegneria. Ingegneria dell'automazione: Sistemi in Tempo Reale
Laurea Specialistica in Ingegneria dell'automazione Sistemi in Tempo Reale email: palopoli@sssup.it Tel. 050 883444 Introduzione Lecture schedule Introduction Selected topics on discrete time and sampled
More informationFunctionalDMU: Co-Simulation of Mechatronic Systems in a DMU Environment
FunctionalDMU: Co-Simulation of Mechatronic Systems in a DMU Environment André Stork, Mathias Wagner, Fraunhofer IGD; Peter Schneider, Fraunhofer IIS/EAS; Andreas Hinnerichs, Fraunhofer FOKUS; Thomas Bruder,
More informationTRB Workshop on the Future of Road Vehicle Automation
TRB Workshop on the Future of Road Vehicle Automation Steven E. Shladover University of California PATH Program ITFVHA Meeting, Vienna October 21, 2012 1 Outline TRB background Workshop organization Automation
More informationCenter for Hybrid and Embedded Software Systems. Hybrid & Embedded Software Systems
Center for Hybrid and Embedded Software Systems College of Engineering, University of California at Berkeley Presented by: Edward A. Lee, EECS, UC Berkeley Citris Founding Corporate Members Meeting, Feb.
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 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 informationA new approach to Model-Based Testing in Simulink
Presented by: Sean Wyatt 1 Public ETAS/COM-Ana 2013-10-19 ETAS GmbH 2013. All rights reserved, also regarding any disposal, exploitation, reproduction, Content 1 Need and Challenges for Function Developers
More informationBest practices for new project creation - a Large Industry view
Best practices for new project creation - a Large Industry view Knut Hufeld, +49 89 234 52653, knut.hufeld@infineon.com Infineon Technologies AG, 81726 Munich, Germany content 1 2 3 4 Motivation for funded
More informationSwarm Intelligence W7: Application of Machine- Learning Techniques to Automatic Control Design and Optimization
Swarm Intelligence W7: Application of Machine- Learning Techniques to Automatic Control Design and Optimization Learning to avoid obstacles Outline Problem encoding using GA and ANN Floreano and Mondada
More informationIntroduction to Real-Time Systems
Introduction to Real-Time Systems Real-Time Systems, Lecture 1 Martina Maggio and Karl-Erik Årzén 16 January 2018 Lund University, Department of Automatic Control Content [Real-Time Control System: Chapter
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 informationStandards and privacy engineering ISO, OASIS, PRIPARE and Other Important Developments
Standards and privacy engineering ISO, OASIS, PRIPARE and Other Important Developments Antonio Kung, CTO 25 rue du Général Foy, 75008 Paris www.trialog.com 9 May 2017 1 Introduction Speaker Engineering
More informationSYNTHESIZING AND SPECIFYING ARCHITECTURES FOR SYSTEM OF SYSTEMS
SYSTEM OF SYSTEMS ENGINEERING COLLABORATORS INFORMATION EXCHANGE (SOSECIE) SYNTHESIZING AND SPECIFYING ARCHITECTURES FOR SYSTEM OF SYSTEMS 28 APRIL 2015 C. Robert Kenley, PhD, ESEP Associate Professor
More informationModel-based Diagnosis Tutorial PHM-E 12
Model-based Diagnosis Tutorial PHM-E 12 Peter Struss Tech. Univ. of Munich Univ. College Cork OCC M Software GmbH struss@in.tum.de - 1 Outline 1 Introduction: Model-based Systems 2 Component-oriented (Qualitative)
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 informationCyber-Physical Systems Design: Foundations, Methods, and Integrated Tool Chains.
Cyber-Physical Systems Design: Foundations, Methods, and Integrated Tool Chains John.Fitzgerald@ncl.ac.uk Carl Gamble, Peter Gorm Larsen, Ken Pierce, Jim Woodcock 1 2008-2012: Industry deployment of advanced
More informationDigital Transformation. A Game Changer. How Does the Digital Transformation Affect Informatics as a Scientific Discipline?
Digital Transformation A Game Changer How Does the Digital Transformation Affect Informatics as a Scientific Discipline? Manfred Broy Technische Universität München Institut for Informatics ... the change
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 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 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 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 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 informationFramework Programme 7
Framework Programme 7 1 Joining the EU programmes as a Belarusian 1. Introduction to the Framework Programme 7 2. Focus on evaluation issues + exercise 3. Strategies for Belarusian organisations + exercise
More informationCPS-Ed 2014 Cyber-Physical Systems Education Workshop at UC Berkeley
CPS-Ed 2014 Cyber-Physical Systems Education Workshop at UC Berkeley David M. Auslander Mechanical Engineering University of California, Berkeley dma@me.berkeley.edu Agenda Cyber-Physical Systems Mechatronics
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 informationLast Time: Acting Humanly: The Full Turing Test
Last Time: Acting Humanly: The Full Turing Test Alan Turing's 1950 article Computing Machinery and Intelligence discussed conditions for considering a machine to be intelligent Can machines think? Can
More informationNandha Engineering College (Autonomous) Erode Examination -Sep 2018 Department Wise Time Table
B.E - Computer Science and Engineering F.N: 09.30 AM to 12.30 PM A.N: 01.30 AM to 04.30 PM Date Session Code Subject 14-11-2018 FN 13CSX08 Network Analysis and Management AN 13CSX15 Software Testing Methodologies
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 informationCyber-Physical Production Systems. Professor Svetan Ratchev University of Nottingham
Cyber-Physical Production Systems Professor Svetan Ratchev University of Nottingham Contents 1. Introduction 3 2. Key definitions 4 2.1 Cyber-Physical systems 4 2.2 Cyber-Physical Production Systems 4
More informationExCAPE. Rajeev Alur, Ras Bodik, Jeff Foster, Bjorn Hartmann, Lydia Kavraki,
ExCAPE Expeditions in Computer Augmented Program Engineering Rajeev Alur, Ras Bodik, Jeff Foster, Bjorn Hartmann, Lydia Kavraki, Hadas Kress-Gazit, Stephane Lafortune, Boon Loo, P. Madhusudan, d Milo Martin,
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 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 informationSearching for a Partner in.se
Searching for a Partner in.se Owner: Erik Herzog, Ph.D., CSEP, SAAB Technical Fellow Systems Engineering Date: 4/5-2015 Open Issue: 1 Outline Searching for a partner SAAB outline The aerospace challenge
More informationCHAPTER 1: INTRODUCTION TO SOFTWARE ENGINEERING DESIGN
CHAPTER 1: INTRODUCTION TO SOFTWARE ENGINEERING DESIGN SESSION II: OVERVIEW OF SOFTWARE ENGINEERING DESIGN Software Engineering Design: Theory and Practice by Carlos E. Otero Slides copyright 2012 by Carlos
More informationModule Role of Software in Complex Systems
Module Role of Software in Complex Systems Frogs vei 41 P.O. Box 235, NO-3603 Kongsberg Norway gaudisite@gmail.com Abstract This module addresses the role of software in complex systems Distribution This
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 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 informationDESIGN TECHNOLOGY FOR THE TRILLION-DEVICE FUTURE
DESIGN TECHNOLOGY FOR THE TRILLION-DEVICE FUTURE Alberto Sangiovanni-Vincentelli The Edgar L. and Harold H. Buttner Chair of EECS, University of California at Berkeley The Emerging IT Scene! The Cloud!
More informationIntroduction to co-simulation. What is HW-SW co-simulation?
Introduction to co-simulation CPSC489-501 Hardware-Software Codesign of Embedded Systems Mahapatra-TexasA&M-Fall 00 1 What is HW-SW co-simulation? A basic definition: Manipulating simulated hardware with
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 informationKnowledge Management for Command and Control
Knowledge Management for Command and Control Dr. Marion G. Ceruti, Dwight R. Wilcox and Brenda J. Powers Space and Naval Warfare Systems Center, San Diego, CA 9 th International Command and Control Research
More informationCOVER STORY. how this new architecture will help carmakers master the complexity of autonomous driving.
COVER STORY Semiconductors NXP ESTABLISHED AND NEW PLAYERS The era of self-driving cars places semiconductor companies at the center of important discussions about standards, methodologies, and design
More informationOntological Reasoning as an Enabler of Contract-Based Co-Design
1 2 Ontological Reasoning as an Enabler of Contract-Based Co-Design 3 4 5 6 7 8 9 10 Ken Vanherpen 1,3, Joachim Denil 1,2,3, Paul De Meulenaere 1,3, and Hans Vangheluwe 2,3,4 1 CoSys-Lab (FTI), University
More informationMOBY-DIC. Grant Agreement Number Model-based synthesis of digital electronic circuits for embedded control. Publishable summary
MOBY-DIC Grant Agreement Number 248858 Model-based synthesis of digital electronic circuits for embedded control Report version: 1 Due date: M24 (second periodic report) Period covered: December 1, 2010
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 informationRefinement and Evolution Issues in Bridging Requirements and Architectures
Refinement and Evolution Issues between Requirements and Product Line s 1 Refinement and Evolution Issues in Bridging Requirements and s Alexander Egyed, Paul Gruenbacher, and Nenad Medvidovic University
More informationOpen Architecture Summit 2017 Industry Panel: Getting Everyone On Board
Open Architecture Summit 2017 Industry Panel: Getting Everyone On Board Dr. Steven A. Davidson Director, Product Family Development and Open Systems Architecture Raytheon Space and Airborne Systems October
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 informationFAULT DETECTION AND DIAGNOSIS OF HIGH SPEED SWITCHING DEVICES IN POWER INVERTER
FAULT DETECTION AND DIAGNOSIS OF HIGH SPEED SWITCHING DEVICES IN POWER INVERTER R. B. Dhumale 1, S. D. Lokhande 2, N. D. Thombare 3, M. P. Ghatule 4 1 Department of Electronics and Telecommunication Engineering,
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 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 information