Northeast Blackout of 2003
|
|
- Martina Ryan
- 8 years ago
- Views:
Transcription
1 Aug 13, 2003
2 Aug 14, 2003
3 Northeast Blackout of Millionen Menschen 60 Milliarden US$ because of a computer software bug in General Electric Energy's Unix-based XA/21 energy management system that prevented alarms from showing on their control system. This alarm system stalled because of a race condition bug. Ontario Aug 14, 2003
4
5
6
7 Software: Mehrwert oder Risiko? Technologien gegen Programmfehler Helmut Veith FORSYTE Group Faculty of Informatics, Vienna University of Technology Automatische Fehlersuche Software Model Checking Fehlervermeidung Rigorous Systems Engineering
8 Software: Mehrwert oder Risiko? Technologien gegen Programmfehler Helmut Veith FORSYTE Group Faculty of Informatics, Vienna University of Technology Automatische Fehlersuche Software Model Checking Fehlervermeidung Rigorous Systems Engineering
9 Limitations it ti of Human Reasoning Software design is teamwork over decades Driven by business imperatives First point of failure: Requirement Engineering Writing the wrong program
10 Limitations it ti of Human Reasoning Software design is teamwork over decades Driven by business imperatives First point of failure: Requirement Engineering Writing the wrong program Second point of failure: Software Errors Writing the program wrongly Reason: Mathematical Complexity
11 Limitations it ti of Human Reasoning Program Sizes Water Pump Pace Maker BMW 745i Boeing MS Vista / Linux Essentially long mathematical formulas Information content approaching human DNA Errors per Lines 250 Errors (typical software) 20 Errors (good software) 1 Error (Space Shuttle)
12 Managing Complexity Structured Thinking software engineering, programming languages Fault Tolerance Redundant Hardware Testing Empirical evidence Manpower Aviation: 40 program lines per week Mathematical Proof of Correctness Computer-generated Mathematical Proof of Correctness
13 Programs Analyzing Programs Self-Reference Psychology Philosophy Logic Computer Science Biology
14 Limitations of Machine Reasoning Alan Turing 1936 Program analysis by programs not possible.
15 Programs Analyzing Programs Approximate program analysis (reduction to finite state systems) E. Clarke, A. Emerson, J. Sifakis 1981 Turing Award 2007 Allen Emerson Edmund Clarke Joseph Sifakis
16 Software Model Checking C Code Static Analysis Spec Abstract Model Model Checker SMT SAT Abstract Counterexample Yes / No spurious Counterexample Analysis good Counterexample 2000s: development of industrial strength C model checkers rivals theorem proving for many verification tasks (Rushby) Microsoft product for Windows device driver verification
17 Programs Analyzing Programs software verification, this has been the Holy Grail of computer science for many decades but now in some very key areas, for example, driver verification, we re building tools that do actual proofs about the software and how it works in order to guarantee the reliability. (2002)
18 Software: Mehrwert oder Risiko? Technologien gegen Programmfehler Helmut Veith FORSYTE Group Faculty of Informatics, Vienna University of Technology Automatische Fehlersuche Software Model Checking Fehlervermeidung Rigorous Systems Engineering
19 Weight? Repair logistics? Component Reuse? Intellectual Property? Product Lines? Mechanical engineering process? ECU distribution? Deployment strategy? Certification? Variant tmanagement t? Power consumption? Physical Environment? Execution Time? Obsoliscence? Memory use? Dependability? HW or SW? FPGA or ASIC? Multicore? Safety? Cost per car?
20 Software Systems Engineering Mass Market 70 ECUs Inside Multidisciplinary Effort Mechanical Engineering i Electrical Engineering Computer Science Added value in automobile manufacturing Software Electronics Mechanics
21 System Design Challenge Constraints Software: algorithms, protocols, architectures, compilers, Hardware: speed, memory, power, failure rates, weight, size Environment: performance, robustness, integration / solution / compilation SYSTEM BLUEPRINT
22 System Design Challenge Constraints Software: algorithms, protocols, architectures, compilers, Hardware: speed, memory, power, failure rates, weight, size Environment: performance, robustness, Cost: development, HW, safety, certification, warranty, testing, Time: time to market, product lines, variants, component reuse integration / solution / compilation SYSTEM BLUEPRINT
23 Constraints System Design Challenge integration / solution / compilation SYSTEM BLUEPRINT
24 System Design Challenge Constraints heterogeneous global / horizontal analytical l + discrete transcend design layers multiple optimization criteria Guru Principle knows trade-offs holds global view maintains IP integration / solution / compilation SYSTEM BLUEPRINT
25 System Design Challenge Constraints heterogeneous global / horizontal analytical l + discrete transcend design layers multiple optimization criteria Multiple models & disciplines Transition between models Model validation i and integrationi Multiple orthogonal views Guru Exceeding Principle complexity integration / solution / compilation SYSTEM BLUEPRINT
26 System Design Challenge Constraints heterogeneous Multiple models & disciplines global / horizontal Transition between models analytical l + discrete Model validation i and integrationi transcend design layers Multiple orthogonal views Guru Principle multiple optimization criteria Exceeding complexity Formal methods needed integration / solution / compilation SYSTEM BLUEPRINT
27 Industrial Projects Automotive ti Industry Automotive Systems Engineering ( , 6 PhD TUM) Avionic Industry Avionic Software Engineering ( , 1 PhD student) Microsoft Research Evaluation of Resource Bounds ( , 1 PhD student)
28 Case Study Automotive Industry Added value in automobile manufacturing Mechanical engineering culture Software recognized as strategic t IP manufacturing No software engineering process Software Electronics Jungle of models and ontologies Mechanics Excessive warranty costs necessitate change Project Goals Domain exploration and assessment Seamless modeling framework Prototype automotive tool chain Accompanying software engineering process Technology proof of concept
29 Industrial Projects Automotive ti Industry Automotive Systems Engineering ( , 6 PhD TUM) Avionic Industry Avionic Software Engineering ( , 1 PhD student) Microsoft Research Evaluation of Resource Bounds ( , 1 PhD student) H. Veith 6/2010
30 Avionic Software Deployment decisions trial and error Project Goals predictability and efficiency simplified automated deployment resource aware composition reusability of function units (IMA - AADL) execution time estimation
31 Avionic Software Analysis Hardware analysis Hardware profile ( HW Data Sheet ) HW-parameters for execution time Analysis and modeling of the hardware and software Software analysis Symbolic execution time estimation (SW -> HW) Software profile ( SW Data Sheet ) SW-parameters for execution time
32 Avionic Software Analysis Hardware profile Software profile Model representation Analysis/Validation Refinement Furness SYSTEM BLUEPRINT
33 Avionic Software Analysis Hardware profile Software profile Model representation Analysis/Validation Refinement Furness SYSTEM BLUEPRINT
34 Industrial Projects Automotive ti Industry Automotive Systems Engineering ( , 6 PhD TUM) Avionic Industry Avionic Software Engineering ( , 1 PhD student) Microsoft Research Evaluation of Resource Bounds ( , 1 PhD student)
35 The Reachability-Bound Problem Given a control location X inside id a procedure P. i := 0; How often can X be visited inside P? Goal: A symbolic bound Bound(X) in terms of the inputs of P. Inputs: int n, C[] temp while (i < n) { j := i+1; while (j < n) { if (*) { X : temp[n] := new C(); j++; } i++; } j--; n--; } CPU time, memory, network bandwidth, power
36 Software: Mehrwert oder Risiko? Technologien gegen Programmfehler Helmut Veith FORSYTE Group Faculty of Informatics, Vienna University of Technology Automatische Fehlersuche Software Model Checking Fehlervermeidung Rigorous Systems Engineering
37 Rigorous Systems Engineering Interdisziplinäre Agenda Embedded Systems Computer-Aided Verification Fehlersuche a posteriori Logic Computer Aided Verification Rigorous Systems Engineering Mathematisches Design und Verifikation als Teil des Entwicklungsprozesses
38 Tu felix Austria
39 ARiSE Konsortium Tom Henzinger Krish Chatterjee Helmut Veith Ulrich Schmid Uwe Egly Laura Kovacs Roderick Bloem CAV CAV CAV Embedded Logik Logik CAV Armin Biere Christoph Kirsch CAV Embedded
40 Vorgeschichte Berkeley Professor Henzinger Adjunct Professor Henzinger PhD Chatterjee Postdoc Kirsch Stanford PhD Henzinger UC Santa Cruz Postdoc Chatterjee Colorado PhD Bloem Cornell Professor Henzinger Visiting Student Veith Carnegie Mellon Postdoc Biere Postdoc Veith Adjunct Professor Veith Delaware Master Henzinger
41 ARiSE Verein Wissenschaftliche h Gesellschaft Koordination & Zusammenarbeit Sichtbarkeit Nachwuchsförderung H. Veith, President R. Bloem, Chairman
42 Danke für Ihre Aufmerksamkeit! 42
The Course. http://www.cse.unsw.edu.au/~cs3153/
The Course http://www.cse.unsw.edu.au/~cs3153/ Lecturers Dr Peter Höfner NICTA L5 building Prof Rob van Glabbeek NICTA L5 building Dr Ralf Huuck NICTA ATP building 2 Plan/Schedule (1) Where and When Tuesday,
More informationThe SPES Methodology Modeling- and Analysis Techniques
The SPES Methodology Modeling- and Analysis Techniques Dr. Wolfgang Böhm Technische Universität München boehmw@in.tum.de Agenda SPES_XT Project Overview Some Basic Notions The SPES Methodology SPES_XT
More informationModel Checking based Software Verification
Model Checking based Software Verification 18.5-2006 Keijo Heljanko Keijo.Heljanko@tkk.fi Department of Computer Science and Engineering Helsinki University of Technology http://www.tcs.tkk.fi/~kepa/ 1/24
More informationCS Master Level Courses and Areas COURSE DESCRIPTIONS. CSCI 521 Real-Time Systems. CSCI 522 High Performance Computing
CS Master Level Courses and Areas The graduate courses offered may change over time, in response to new developments in computer science and the interests of faculty and students; the list of graduate
More informationSoftware Verification/Validation Methods and Tools... or Practical Formal Methods
Software Verification/Validation Methods and Tools... or Practical Formal Methods John Rushby Computer Science Laboratory SRI International Menlo Park, CA John Rushby, SR I Practical Formal Methods: 1
More informationSystem-on-Chip Design Verification: Challenges and State-of-the-art
System-on-Chip Design Verification: Challenges and State-of-the-art Prof. Sofiène Tahar Hardware Verification Group Concordia University Montréal, QC, CANADA MCSOC 12 Aizu-Wakamatsu, Fukushima, Japan September
More informationCenter for Hybrid and 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 informationDoctor of Philosophy in Computer Science
Doctor of Philosophy in Computer Science Background/Rationale The program aims to develop computer scientists who are armed with methods, tools and techniques from both theoretical and systems aspects
More informationPart I. Introduction
Part I. Introduction In the development of modern vehicles, the infotainment system [54] belongs to the innovative area. In comparison to the conventional areas such as the motor, body construction and
More informationDriving force. What future software needs. Potential research topics
Improving Software Robustness and Efficiency Driving force Processor core clock speed reach practical limit ~4GHz (power issue) Percentage of sustainable # of active transistors decrease; Increase in #
More informationTrends in Embedded Software Engineering
Trends in Embedded Software Engineering Prof. Dr. Wolfgang Pree Department of Computer Science Universität Salzburg cs.uni-salzburg.at MoDECS.cc PREEtec.com Contents Why focus on embedded software? Better
More informationSchool of Computer Science
School of Computer Science Computer Science - Honours Level - 2014/15 October 2014 General degree students wishing to enter 3000- level modules and non- graduating students wishing to enter 3000- level
More informationEldorado Research Institute. Photo: Halo, Aug 2008 Campinas sky in the first working day at new Eldorado building
Eldorado Research Institute Photo: Halo, Aug 2008 Campinas sky in the first working day at new Eldorado building Agenda Context: Sw offshoring and tech tendencies What is Eldorado Institute? Eldorado experience
More informationRigorous Software Development CSCI-GA 3033-009
Rigorous Software Development CSCI-GA 3033-009 Instructor: Thomas Wies Spring 2013 Lecture 1 Important Facts Office Hours: Thu 3-4pm, or by appointment Office: CIWW 407 Course web site: http://cs.nyu.edu/wies/teaching/rsd-13
More informationLecture 26 Enterprise Internet Computing 1. Enterprise computing 2. Enterprise Internet computing 3. Natures of enterprise computing 4.
Lecture 26 Enterprise Internet Computing 1. Enterprise computing 2. Enterprise Internet computing 3. Natures of enterprise computing 4. Platforms High end solutions Microsoft.Net Java technology 1 Enterprise
More informationLow-Level Verification of Embedded Software: Addressing the Challenge
Low-Level Verification of Embedded Software: Addressing the Challenge Sanjit A. Seshia Assistant Professor EECS, UC Berkeley FMCAD 2010 Panel October 2010 Abstraction Layers in Computing Algorithms, Protocols,
More informationComputer Science Information Sheet for entry in 2016. What is Computer Science?
Computer Science Information Sheet for entry in 2016 What is Computer Science? Computer Science is about understanding computer systems and networks at a deep level. Computers and the programs they run
More informationBuilding SMT-based Software Model Checkers: an Experience Report
Building SMT-based Software Model Checkers: an Experience Report Alessandro Armando Artificial Intelligence Laboratory (AI-Lab) Dipartimento di Informatica Sistemistica e Telematica (DIST) University of
More informationAutomated Theorem Proving - summary of lecture 1
Automated Theorem Proving - summary of lecture 1 1 Introduction Automated Theorem Proving (ATP) deals with the development of computer programs that show that some statement is a logical consequence of
More informationIntegrated Development of Distributed Real-Time Applications with Asynchronous Communication
Integrated Development of Distributed Real-Time Applications with Asynchronous Communication Marc Schanne International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES) 26-28 September
More informationCoverability for Parallel Programs
2015 http://excel.fit.vutbr.cz Coverability for Parallel Programs Lenka Turoňová* Abstract We improve existing method for the automatic verification of systems with parallel running processes. The technique
More informationModel Checking of Software
Model Checking of Software Patrice Godefroid Bell Laboratories, Lucent Technologies SpecNCheck Page 1 August 2001 A Brief History of Model Checking Prehistory: transformational programs and theorem proving
More informationECU State Manager Module Development and Design for Automotive Platform Software Based on AUTOSAR 4.0
ECU State Manager Module Development and Design for Automotive Platform Software Based on AUTOSAR 4.0 Dhanamjayan P.R. 1, Kuruvilla Jose 2, Manjusree S. 3 1 PG Scholar, Embedded Systems, 2 Specialist,
More informationDie wichtigsten Use Cases für MISRA, HIS, SQO, IEC, ISO und Co. - Warum Polyspace DIE Embedded Code-Verifikationslösung ist.
Die wichtigsten Use Cases für MISRA, HIS, SQO, IEC, ISO und Co. - Warum Polyspace DIE Embedded Code-Verifikationslösung ist. Christian Guß Application Engineer The MathWorks GmbH 2015 The MathWorks, Inc.
More informationMEng, BSc Applied Computer Science
School of Computing FACULTY OF ENGINEERING MEng, BSc Applied Computer Science Year 1 COMP1212 Computer Processor Effective programming depends on understanding not only how to give a machine instructions
More informationJava-based Functionality and Data Management in the Automobile. Prototyping at BMW Car IT GmbH. by Alexandre Saad, BMW Car IT GmbH, Munich/Germany
Java-based Functionality and Data Management in the Automobile. Prototyping at BMW Car IT GmbH. by Alexandre Saad, BMW Car IT GmbH, Munich/Germany The amount of electronic and software elements in vehicles
More informationopenmdm an Open Source Platform for Measured Data Management Dr. Dietmar Rapf, Michael Schwarzbach
openmdm an Open Source Platform for Measured Data Management Dr. Dietmar Rapf, Michael Schwarzbach Agenda History and Scope of measured data management ASAM ODS the basis for MDM systems openmdm How openmdm
More informationFormal Verification by Model Checking
Formal Verification by Model Checking Natasha Sharygina Carnegie Mellon University Guest Lectures at the Analysis of Software Artifacts Class, Spring 2005 1 Outline Lecture 1: Overview of Model Checking
More informationSoftware Engineering. How does software fail? Terminology CS / COE 1530
Software Engineering CS / COE 1530 Testing How does software fail? Wrong requirement: not what the customer wants Missing requirement Requirement impossible to implement Faulty design Faulty code Improperly
More informationSafety and security related features in AUTOSAR
Safety and security related features in Dr. Stefan Bunzel Spokesperson (Continental) Co-Authors: S. Fürst, Dr. J. Wagenhuber (BMW), Dr. F. Stappert (Continental) Automotive - Safety & Security 2010 22
More informationSystem Description: The MathWeb Software Bus for Distributed Mathematical Reasoning
System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning Jürgen Zimmer 1 and Michael Kohlhase 2 1 FB Informatik, Universität des Saarlandes jzimmer@mathweb.org 2 School of Computer
More informationPLM Center of Excellence PLM for Embedded Product Development - Challenges, Experiences and Solution. M a y 2 0 0 9
PLM Center of Excellence PLM for Embedded Product Development - Challenges, Experiences and Solution M a y 2 0 0 9 Table of Contents Abstract 3 Introduction 4 Embedded product development life cycle 4
More informationIntroduction to Formal Methods. Các Phương Pháp Hình Thức Cho Phát Triển Phần Mềm
Introduction to Formal Methods Các Phương Pháp Hình Thức Cho Phát Triển Phần Mềm Outline Introduction Formal Specification Formal Verification Model Checking Theorem Proving Introduction Good papers to
More informationT-79.186 Reactive Systems: Introduction and Finite State Automata
T-79.186 Reactive Systems: Introduction and Finite State Automata Timo Latvala 14.1.2004 Reactive Systems: Introduction and Finite State Automata 1-1 Reactive Systems Reactive systems are a class of software
More informationAutomotive Software Engineering
Automotive Software Engineering List of Chapters: 1. Introduction and Overview 1.1 The Driver Vehicle Environment System 1.1.1 Design and Method of Operation of Vehicle Electronic 1.1.2 Electronic of the
More informationModel Checking Distributed Software
Model Checking Distributed Software Sagar Chaki September 19, 2014 Software Engineering Institute Carnegie Mellon University Pittsburgh, PA 15213 Model Checking and Me 1997 : Ed visits IIT Kharagpur Just
More informationAdvanced Operating Systems (M) Dr Colin Perkins School of Computing Science University of Glasgow
Advanced Operating Systems (M) Dr Colin Perkins School of Computing Science University of Glasgow Rationale Radical changes to computing landscape; Desktop PC becoming irrelevant Heterogeneous, multicore,
More informationLecture 3 - Model-based Control Engineering
Lecture 3 - Model-based Control Engineering Control application and a platform Systems platform: hardware, systems software. Development steps Model-based design Control solution deployment and support
More informationValidation & Verification of Safety Critical Systems in the Aerospace Domain.
Validation & Verification of Safety Critical Systems in the Aerospace Domain. Workshop: Teststrategien und -techniken für Onboardsysteme in der Luft- und Raumfahrt 07.10.2008 Dipl. Ing. Jörg Hofmann 1
More informationDependability Driven Integration of Mixed Criticality SW Components
Dependability Driven Integration of Mixed Criticality SW Components Shariful Islam, Robert Lindström and Neeraj Suri Department of Computer Science TU Darmstadt, Germany {ripon,rl,suri}@informatik.tu-darmstadt.de
More informationProfessional Organization Checklist for the Computer Science Curriculum Updates. Association of Computing Machinery Computing Curricula 2008
Professional Organization Checklist for the Computer Science Curriculum Updates Association of Computing Machinery Computing Curricula 2008 The curriculum guidelines can be found in Appendix C of the report
More informationStatic Program Transformations for Efficient Software Model Checking
Static Program Transformations for Efficient Software Model Checking Shobha Vasudevan Jacob Abraham The University of Texas at Austin Dependable Systems Large and complex systems Software faults are major
More informationMaster Specialization in Digital Design: Design and Programming of Embedded Systems
Master Specialization in Digital Design: Design and Programming of Embedded Systems Jan Schmidt, Ph.D. Department of Digital Design Faculty of Information Technology Czech Technical University in Prague
More informationEingebettete Systeme. 4: Entwurfsmethodik, HW/SW Co-Design. Technische Informatik T T T
Eingebettete Systeme 4: Entwurfsmethodik, HW/SW Co-Design echnische Informatik System Level Design: ools and Flow Refinement of HW/SW Systems ools for HW/SW Co-Design C-based design of HW/SW Systems echnische
More informationMEng, BSc Computer Science with Artificial Intelligence
School of Computing FACULTY OF ENGINEERING MEng, BSc Computer Science with Artificial Intelligence Year 1 COMP1212 Computer Processor Effective programming depends on understanding not only how to give
More informationhttps://runtimeverification.com Grigore Rosu Founder, President and CEO Professor of Computer Science, University of Illinois
https://runtimeverification.com Grigore Rosu Founder, President and CEO Professor of Computer Science, University of Illinois Runtime Verification, Inc. (RV): startup company aimed at bringing the best
More informationSchool of Computer Science
School of Computer Science Computer Science - Honours Level - 2015/6 - August 2015 General degree students wishing to enter 3000- level modules and non- graduating students wishing to enter 3000- level
More informationSeven Challenges of Embedded Software Development
Corporate Technology Seven Challenges of Embedded Software Development EC consultation meeting New Platforms addressing mixed criticalities Brussels, Feb. 3, 2012 Urs Gleim Siemens AG Corporate Technology
More informationDevelopment of AUTOSAR Software Components within Model-Based Design
2008-01-0383 Development of AUTOSAR Software Components within Model-Based Design Copyright 2008 The MathWorks, Inc. Guido Sandmann Automotive Marketing Manager, EMEA The MathWorks Richard Thompson Senior
More informationThe MILS Component Integration Approach To Secure Information Sharing
The MILS Component Integration Approach To Secure Information Sharing Carolyn Boettcher, Raytheon, El Segundo CA Rance DeLong, LynuxWorks, San Jose CA John Rushby, SRI International, Menlo Park CA Wilmar
More informationFACULTY OF POSTGRADUATESTUDIES Master of Science in Computer Engineering The Future University
FACULTY OF POSTGRADUATESTUDIES Master of Science in Computer Engineering The Future University 2 Table of Contents: Page I. Introduction 1 II. Philosophy of the Program 2 III. Aims of the Program 2 IV.
More informationEmbedded systems in the Masters education at KTH
Embedded systems in the Masters education at KTH ICES 2 nd annual conference 1 New competence needs and role of KTH in a changing world? Which skills? Theory, Technology, Applications? Processes, Tools?
More information10 Gbps Line Speed Programmable Hardware for Open Source Network Applications*
10 Gbps Line Speed Programmable Hardware for Open Source Network Applications* Livio Ricciulli livio@metanetworks.org (408) 399-2284 http://www.metanetworks.org *Supported by the Division of Design Manufacturing
More informationModel Checking: An Introduction
Announcements Model Checking: An Introduction Meeting 2 Office hours M 1:30pm-2:30pm W 5:30pm-6:30pm (after class) and by appointment ECOT 621 Moodle problems? Fundamentals of Programming Languages CSCI
More informationELECTRICAL & POWER DISTRIBUTION
ELECTRICAL & POWER DISTRIBUTION END-TO-END ELECTRICAL WIRING INTERCONNECTION SYSTEMS (EWIS) Complete EWIS System Design Harness Installation Design Reconciliation of Wiring Diagrams (2D) & Harness Design
More informationSOFTWARE DEVELOPMENT FOR EMBEDDED SYSTEMS
SOFTWARE DEVELOPMENT FOR EMBEDDED SYSTEMS Trends and Challenges in Developing Software for Embedded Systems Motivation This survey addresses software development in the field of embedded systems. Our goal
More informationIntroduction into IEC 62304 Software life cycle for medical devices
Introduction into IEC 62304 Software life cycle for medical devices Christoph Gerber 4. September 2008 SPIQ 9/5/2008 1 Agenda Current Picture Regulatory requirements for medical device software IEC 62304
More informationHardware in the Loop (HIL) Testing VU 2.0, 182.117, WS 2008/09
Testen von Embedded Systems Hardware in the Loop (HIL) Testing VU 2.0, 182.117, WS 2008/09 Raimund dkirner Testing Embedded Software Testing the whole system including the physical environment is not possible
More informationTackling the Complexity of Timing-relevant Deployment Decisions in Multicore-based Embedded Automotive Software Systems Rolf Schneider, AUDI AG
Tackling the Complexity of Timing-relevant Deployment Decisions in Multicore-based Embedded Automotive Software Systems Rolf Schneider, AUDI AG 1 Topics Introduction Project ARAMiS ARAMiS Automotive LSSI
More informationSo#ware Engineering & Systems Engineering
1 So#ware Engineering & Systems Engineering Martin Griss Director, Silicon Valley Campus martingriss@svcmuedu 2 Carnegie Mellon Silicon Valley Established 2002 Heart of high tech ecosystem Education Research
More informationMicrosoft s Open CloudServer
Microsoft s Open CloudServer Page 1 Microsoft s Open CloudServer How is our cloud infrastructure server design different from traditional IT servers? It begins with scale. From the number of customers
More informationSoftware Development for Multiple OEMs Using Tool Configured Middleware for CAN Communication
01PC-422 Software Development for Multiple OEMs Using Tool Configured Middleware for CAN Communication Pascal Jost IAS, University of Stuttgart, Germany Stephan Hoffmann Vector CANtech Inc., USA Copyright
More informationParameters for Efficient Software Certification
Parameters for Efficient Software Certification Roland Wolfig, e0327070@student.tuwien.ac.at Vienna University of Technology, Real-Time Systems Group 1 Abstract Software certification is a common approach
More informationApplying 4+1 View Architecture with UML 2. White Paper
Applying 4+1 View Architecture with UML 2 White Paper Copyright 2007 FCGSS, all rights reserved. www.fcgss.com Introduction Unified Modeling Language (UML) has been available since 1997, and UML 2 was
More informationThe Advantages of Adaptive and Disributed Systems
Toward Certification of Adaptive Distributed Systems John M. Slaby, Lonnie R. Welch, Paul R. Work OMG's Workshop on Distributed Object Computing for Real-time and Embedded Systems July 10-13, 2006 - Arlington,
More informationCHANCES AND RISKS FOR SECURITY IN MULTICORE PROCESSORS
CHANCES AND RISKS FOR SECURITY IN MULTICORE PROCESSORS Prof. Dr.-Ing. Georg Sigl Institute for Security in Information Technology Technical University Munich sigl@tum.de Fraunhofer Research Institution
More informationMaster of Science (Electrical Engineering) MS(EE)
Master of Science (Electrical Engineering) MS(EE) 1. Mission Statement: The mission of the Electrical Engineering Department is to provide quality education to prepare students who will play a significant
More informationSoftware Development Workflow in Robotics
Software Development Workflow in Robotics Alois Knoll Simon Barner, Michael Geisinger, Markus Rickert Robotics and Embedded Systems Department of Informatics Technische Universität München ICRA 2009 Workshop
More informationTowards a Model-Based Safety Assessment Process of Safety Critical Embedded Systems. Peter Bunus petbu@ida.liu.se
Towards a Model-Based Safety Assessment Process of Safety Critical Embedded Systems Peter Bunus petbu@ida.liu.se Personal Presentation Peter Bunus Product and Technology Manager Responsible with the Technical
More informationVehicle Electronics. Services and Solutions to Manage the Complexity
Vehicle Electronics Services and Solutions to Manage the Complexity INNOVATIONS & DEVELOPMENT CYCLES Commercial vehicle manufacturers are experiencing a technological change. In addition to the rising
More informationMulti-core Curriculum Development at Georgia Tech: Experience and Future Steps
Multi-core Curriculum Development at Georgia Tech: Experience and Future Steps Ada Gavrilovska, Hsien-Hsin-Lee, Karsten Schwan, Sudha Yalamanchili, Matt Wolf CERCS Georgia Institute of Technology Background
More informationA Case Study of the Systems Engineering Process in Healthcare Informatics Quality Improvement. Systems Engineering. Ali M. Hodroj
A Case Study of the Systems Engineering Process in Healthcare Informatics Quality Improvement By Ali M. Hodroj Project Report submitted to the Faculty of the Maseeh School of Engineering and Computer Science
More informationFormal Specification and Verification
Formal Specification and Verification Stefan Ratschan Katedra číslicového návrhu Fakulta informačních technologíı České vysoké učení technické v Praze 2. 5. 2011 Stefan Ratschan (FIT ČVUT) PI-PSC 4 2.
More informationEchtzeittesten mit MathWorks leicht gemacht Simulink Real-Time Tobias Kuschmider Applikationsingenieur
Echtzeittesten mit MathWorks leicht gemacht Simulink Real-Time Tobias Kuschmider Applikationsingenieur 2015 The MathWorks, Inc. 1 Model-Based Design Continuous Verification and Validation Requirements
More informationPlease consult the Department of Engineering about the Computer Engineering Emphasis.
COMPUTER SCIENCE Computer science is a dynamically growing discipline. ABOUT THE PROGRAM The Department of Computer Science is committed to providing students with a program that includes the basic fundamentals
More informationSpecification and Analysis of Contracts Lecture 1 Introduction
Specification and Analysis of Contracts Lecture 1 Introduction Gerardo Schneider gerardo@ifi.uio.no http://folk.uio.no/gerardo/ Department of Informatics, University of Oslo SEFM School, Oct. 27 - Nov.
More informationSOC architecture and design
SOC architecture and design system-on-chip (SOC) processors: become components in a system SOC covers many topics processor: pipelined, superscalar, VLIW, array, vector storage: cache, embedded and external
More informationopenmdm an Open Source Platform for Measured Data Management Dr. Dietmar Rapf, Michael Schwarzbach
openmdm an Open Source Platform for Measured Data Management Dr. Dietmar Rapf, Michael Schwarzbach openmdm an Open Source Platform for Measured Data Management Seite 2 IT and PLM consulting business since
More informationSchool of Computer Science
Computer Science Honours Level 2013/14 August 2013 School of Computer Science Computer Science (CS) Modules CS3051 Software Engineering SCOTCAT Credits: 15 SCQF Level 9 Semester: 1 This module gives a
More informationVirtualization for Cloud Computing
Virtualization for Cloud Computing Dr. Sanjay P. Ahuja, Ph.D. 2010-14 FIS Distinguished Professor of Computer Science School of Computing, UNF CLOUD COMPUTING On demand provision of computational resources
More informationJava Environment for Parallel Realtime Development Platform Independent Software Development for Multicore Systems
Java Environment for Parallel Realtime Development Platform Independent Software Development for Multicore Systems Ingo Prötel, aicas GmbH Computing Frontiers 6 th of May 2008, Ischia, Italy Jeopard-Project:
More informationModel-based Testing of Automotive Systems
Model-based Testing of Automotive Systems Eckard Bringmann and Andreas Krämer ICST 08 Presented by Julia Rubin on November 21, 2012 Multidisciplinary Business 2 Supply Chain of Components 3 Innovation
More informationSystem-on. on-chip Design Flow. Prof. Jouni Tomberg Tampere University of Technology Institute of Digital and Computer Systems. jouni.tomberg@tut.
System-on on-chip Design Flow Prof. Jouni Tomberg Tampere University of Technology Institute of Digital and Computer Systems jouni.tomberg@tut.fi 26.03.2003 Jouni Tomberg / TUT 1 SoC - How and with whom?
More informationISO 26262 Introduction
ISO 26262 Introduction Prof. Christian Madritsch 2012 Table of Contents Structure of ISO 26262 Management of Functional Safety Product Development System Level Product Development Hardware Level Product
More informationService Oriented Architecture and the DBA Kathy Komer Aetna Inc. New England DB2 Users Group. Tuesday June 12 1:00-2:15
Service Oriented Architecture and the DBA Kathy Komer Aetna Inc. New England DB2 Users Group Tuesday June 12 1:00-2:15 Service Oriented Architecture and the DBA What is Service Oriented Architecture (SOA)
More informationSoftware: Driving Innovation for Engineered Products
Software: Driving Innovation for Engineered Products Software in products holds the key to innovations that improve quality, safety, and ease-of-use, as well as add new functions. Software simply makes
More informationSCADE System 17.0. Technical Data Sheet. System Requirements Analysis. Technical Data Sheet SCADE System 17.0 1
SCADE System 17.0 SCADE System is the product line of the ANSYS Embedded software family of products and solutions that empowers users with a systems design environment for use on systems with high dependability
More informationHow Microsoft Designs its Cloud-Scale Servers
How Microsoft Designs its Cloud-Scale Servers How Microsoft Designs its Cloud-Scale Servers Page 1 How Microsoft Designs its Cloud-Scale Servers How is cloud infrastructure server hardware design different
More informationSoftware Engineering Transfer Degree
www.capspace.org (01/17/2015) Software Engineering Transfer Degree This program of study is designed for associate-degree students intending to transfer into baccalaureate programs awarding software engineering
More informationFrom Big Data to Smart Data Thomas Hahn
Siemens Future Forum @ HANNOVER MESSE 2014 From Big to Smart Hannover Messe 2014 The Evolution of Big Digital data ~ 1960 warehousing ~1986 ~1993 Big data analytics Mining ~2015 Stream processing Digital
More informationFPGA area allocation for parallel C applications
1 FPGA area allocation for parallel C applications Vlad-Mihai Sima, Elena Moscu Panainte, Koen Bertels Computer Engineering Faculty of Electrical Engineering, Mathematics and Computer Science Delft University
More information1.1 The Nature of Software... Object-Oriented Software Engineering Practical Software Development using UML and Java. The Nature of Software...
1.1 The Nature of Software... Object-Oriented Software Engineering Practical Software Development using UML and Java Chapter 1: Software and Software Engineering Software is intangible Hard to understand
More informationTesting Decision Procedures for Security-by-Contract
Testing Decision Procedures for Security-by-Contract Nataliia Bielova, Ida Siahaan University of Trento Joint Workshop on Foundations of Computer Security, Automated Reasoning for Security Protocol Analysis
More informationon-chip and Embedded Software Perspectives and Needs
Systems-on on-chip and Embedded Software - Perspectives and Needs Miguel Santana Central R&D, STMicroelectronics STMicroelectronics Outline Current trends for SoCs Consequences and challenges Needs: Tackling
More informationCopyright. Network and Protocol Simulation. What is simulation? What is simulation? What is simulation? What is simulation?
Copyright Network and Protocol Simulation Michela Meo Maurizio M. Munafò Michela.Meo@polito.it Maurizio.Munafo@polito.it Quest opera è protetta dalla licenza Creative Commons NoDerivs-NonCommercial. Per
More informationIntegrating MBD and CBD Workflows for Automotive Control Software
Integrating MBD and CBD Workflows for Automotive Control Software V. B. Singh, Ajinkya Bhave, Dhvinay P V, Dilli Atturu Siemens Industry Software (India) Private Limited., SKCL Central Square - 1, Guindy
More informationSafe-E. Safe-E Introduction. Coordination: Andreas ECKEL TTTech Computertechnik AG andreas.eckel@tttech.com
Introduction Coordination: Andreas ECKEL TTTech Computertechnik AG andreas.eckel@tttech.com The Eurostars Project within the ITEA-2 Safe Project Eurostars : what is it and why?: Eurostars is an Eureka
More informationNew Methodologies in Smart Card Security Design. Y.GRESSUS Methodology and Secure ASIC development manager, Bull CP8
New Methodologies in Smart Card Security Design Y.GRESSUS Methodology and Secure ASIC development manager, Bull CP8 Japan Security Conference Page 2 Trends Opportunities New methodologies Summary Concurrent
More informationEmbedded & Real-time Operating Systems
Universität Dortmund 12 Embedded & Real-time Operating Systems Peter Marwedel, Informatik 12 Germany Application Knowledge Structure of this course New clustering 3: Embedded System HW 2: Specifications
More informationModel-based Test Case Generation for (Dynamic) Software Product Lines
Model-based Test Case Generation for (Dynamic) Software Product Lines The 6th Meeting on Feature-oriented Software Development 2014, May 04-07 Schloss Dagstuhl, Germany DFG Priority Programme 1593 Design
More information