Industrial Embedded Systems - Design for Harsh Environment -

Similar documents
Report on Auroville Mobility Survey 2016

CREATE. CONNECT. LIVE. Ed Hepler Winner of the Qualcomm Tricorder XPRIZE

Environmental Protection

Requirements Engineering:

SUICIDE PREVENTION AND SUPPORT ON THE RAILWAYS

Projects By Prasanna Chandra 6th Edition Bing Pangxieore

Plans for COSMO-1 within the project COSMO-NExT

Universiti Teknologi MARA. Zakat Calculation System for Academy of Contemporary Islamic Studies (ACIS), UiTM Melaka Campus Jasin

ARIZONA STATE UNIVERSITY COLLEGE OF LAW PROPERTY LAW, SPRING Professor Karjala. FINAL EXAMINATION Part 1 (Essay Question) MODEL ANSWER

Syllabus for MUS 309 Biblical Foundations of Worship 3 Credit Hours Spring 2016

ABB STOTZ-KONTAKT GmbH ABB i-bus KNX DGN/S DALI Gateway for emergency lighting

FIDES FIDES. FIDES : general presentation

Human Resource Management (HRM) 199 hybrid managers 392

USER AWARENESS ON THE AUTHENTICITY OF HADITH IN THE INTERNET: A CASE STUDY

DEBATES and PROCEEDINGS

General Philosophy. Dr Peter Millican,, Hertford College. Lecture 4: Two Cartesian Topics

TRINITY METHODIST CHURCH, GLASLLWCH LANE, NEWPORT SAFEGUARDING POLICY

Sharia Economic and Finance Development Strategies

Dependability Of Engineering Systems: Modeling And Evaluation By Jovan M. Nahman

Slides by: Ms. Shree Jaswal

APRIL 2017 KNX DALI-Gateways DG/S x BU EPBP GPG Building Automation. Thorsten Reibel, Training & Qualification

Eurasian Pipelines: A Gordian Knot for Russia and Kazakhstan? Richard E. Ericson ECU

Global Nondestructive Examination (NDE) Equipment Market Research Report 2016

Safeguarding Children and Vulnerable Adults Policy for Welshpool Methodist Chapel.

A New Parameter for Maintaining Consistency in an Agent's Knowledge Base Using Truth Maintenance System

The next. Strategic Plan A Catholic Boys School in the Edmund Rice Tradition catering for Years 5 to 12

TERMS & CONDITIONS NEW YEAR'S EVE 2018/2019 The Great Gatsby at Zamoyski Palace Endorfina Foksal Foksal Street 2, Warsaw on

2nd International Workshop on Argument for Agreement and Assurance (AAA 2015), Kanagawa Japan, November 2015

Lahore University of Management Sciences

Syllabus for PRM 661 Introduction to Preaching 3 Credit Hours Fall 2013

Syllabus for GTHE 763 The Biblical Doctrine of Grace 3 Credit Hours Spring 2012

Index. K Knowles, M., 3 Kolb s learning cycle, 8, 203 Kolb s learning styles, 26, 110

Syllabus for GBIB 561 Old Testament Hermeneutics and Exegesis (Hebrew) 3 Credit Hours Fall 2010

MISSOURI S FRAMEWORK FOR CURRICULAR DEVELOPMENT IN MATH TOPIC I: PROBLEM SOLVING

Carolina Bachenheimer-Schaefer, Thorsten Reibel, Jürgen Schilder & Ilija Zivadinovic Global Application and Solution Team

Syllabus for GTHE 763 The Biblical Doctrine of Grace 3 Credit Hours Spring 2014

MUNICIPALITY OF BETHEL PARK

BACHELOR OF ARTS IN INTERCULTURAL STUDIES

Syllabus for THE 299 Introduction to Theology 3.0 Credit Hours Spring The purpose of this course is to enable the student to do the following:

Question Answering. CS486 / 686 University of Waterloo Lecture 23: April 1 st, CS486/686 Slides (c) 2014 P. Poupart 1

APAS assistant flexible production assistant

SYLLABUS. Department Syllabus. Philosophy of Religion

Syllabus for THE 299 Introduction to Theology 3.0 Credit Hours Fall The purpose of this course is to enable the student to do the following:

A. General competencies to be achieved. The student will be able to...

Seminars Organization

Syllabus for PRM 663 Text to Sermons 3 Credit hours Fall 2003

SWOT Analysis Religious Cultural Tourism

Energy is More The term energy is flexible

Guidance Note Statements of Significance and Statements of Needs Major Projects

Syllabus for GTHE 571 Church History I 3 Credit Hours Fall 2010

Of Biblical Proportions

Syllabus for PRM 553 Ministry in the Urban Setting 3.0 Credit Hours Spring 2015

UNITING CHURCH IN THE CITY

Syllabus for BIB 349 Israel in Christian Theology 3.0 Credit hours Fall 2014

Agriculture, Buildings and Grounds Committee Meeting Chenango County Office Building Committee Room Tuesday January 22, :00 am

DALI power line communication

DOES17 LONDON FROM CODE COMMIT TO PRODUCTION WITHIN A DAY TRANSCRIPT

Syllabus for GTHE 581 -Church History II 3 Credit Hours Spring 2015

CHU credits Place of Worship Assessment for Safety and Security Graduate. Course Description: Course Objectives: Course Texts:

Lahore University of Management Sciences. FINN 441 Islamic Banking and Finance Fall Semester 2014

Ch01. Knowledge. What does it mean to know something? and how can science help us know things? version 1.5

Surveying Prof. Bharat Lohani Department of Civil Engineering Indian Institute of Technology, Kanpur. Module - 7 Lecture - 3 Levelling and Contouring

Logosynthesis. Restoring the Flow of Frozen Energy. in the resolution of Trauma and Fear. Denrich Suryadi & Sandy Kartasasmita

Syllabus for GBIB 777 Exegesis of Romans (Greek) 3 Credit hours Fall 2012

Probability Foundations for Electrical Engineers Prof. Krishna Jagannathan Department of Electrical Engineering Indian Institute of Technology, Madras

Syllabus for PRM 669 Practice Preaching 2 Credit Hours Fall 2010

Prentice Hall The American Nation: Beginnings Through 1877 '2002 Correlated to: Chandler USD Social Studies Textbook Evaluation Instrument (Grade 8)

Portofolio Transcript

MEETING SUMMARY. Mobility Advisory Committee AGENDA

Bishop Montgomery High School Freshmen Religion Class Information Mrs. Joanne Svarda ex 352

KAEC: A City in the Making

Syllabus for GTHE 571 Church History I - ONLINE 3 Credit Hours Fall 2015

Old Testament Prophets: Ezekiel Course Syllabus, OT 6305(e) Fall Office Hours: Mon., Tues., Thurs. 10:00 12:00 PM; Wed. 1:00 3:00 PM.

Health Information Exchange

WEDNESDAY AM WORKSHOP #2: LIVING OFF THE GRID

Strategic Planning Update for the Diocese of Evansville

The Good Samaritan (I Can Read! / Adventure Bible) By David Miles READ ONLINE

THE AGE OF FAITH STORY CIVILIZATION VOL 4 WILL DURANT

Come to me, all you who are weary and burdened, and I will give you rest. Matthew 11:28

Missional Renaissance

1. Special Sundays relating to caring for God s earth (e.g. Creation Time, Environment Sunday, Rogation Sunday etc.) are celebrated in our church:

Simon Coenen Federal Agency for Nuclear Control Opleidingsdag ALARA BVS

2019 EVANGELISM PACKET

REACH UP TO GOD. engaging in daily bible study networks for daily Bible reading and study.

COLLEGE OF HEALTH SCIENCES Department of Kinesiology Sport and Recreation Office

Efficient Existing Public Buildings { BP no. 1 }

ST. STEPHEN S UNITED METHODIST CHURCH GUIDELINES FOR USE OF CHURCH PROPERTY AND FACILITIES

MR. SPEAKER: The hon. the Government House Leader.

EXPERTISE IN CUSTOMIZED FLOW SOLUTIONS

As you look at this file think about the inquiry questions that are provided, and be prepared to discuss them in your group.

Keynote Address by Mr. R. V. Shahi - Former Power Secretary, Government of India

HI-613 Christians at the Edge of Empire: The histories and identities of Middle East Christians

Immaculate Conception Church Religious Education Parent Handbook

Shariah Audit of Financial Institutions. August 26th - 27th, 2016 Lahore - Pakistan

2010 Church Building Conference

PROFITS THROUGH PRESERVATION

Syllabus for PRM 669 Practice Preaching 3 Credit Hours Fall 2013

DALI HELP & TROUBLESHOOTING

Commenter ID Number by Topic and Themes: Appendix B

DOWNLOAD OR READ : THE LOGIC BOOK PDF EBOOK EPUB MOBI

Transcription:

Industrial Embedded Systems - Design for Harsh Environment - Dr. Alexander Walsch alexander.walsch@ge.com IN2244 Part I - Introduction WS 2014/15 Technische Universität München

Learning Objective Requirements analysis (strategy, tools) Reliability in embedded systems design (HW + SW) Functional safety Design patterns (HW+SW) Verification +Validation We will focus on small footprint systems. A detailed understanding of hardware is essential. An organized approach to software development is key to address quality. A. Walsch, IN2244 WS2014/15 2

Why you Should attend You get credit Computer system design is about understanding and answering high-level requirements. Those requirements are usually very similar at a high level: Functionality Reduced life-cycle cost Increased availability Safety User experience A. Walsch, IN2244 WS2014/15 3

Lecture Organization 13.10.2014 Lecture 27.10.2014 Lecture 10.11.2014 Lecture 24.11.2014 Lecture 08.12.2014 Lecture 22.12.2014 Lecture 19.01.2015 Lecture/Q&A tbd exam (oral or written) Time? Handout? http://www6.in.tum.de/main/teachingws2014indembsystems A. Walsch, IN2244 WS2014/15 4

What is critical infrastructure? Motivation Motivation A. Walsch, IN2244 WS2013/14 5

Motivation Motivation What is critical infrastructure? (from wikipedia) a term used by governments to describe assets that are essential for the functioning of a society and economy. Most commonly associated with the term are facilities for: electricity generation, transmission and distribution oil and gas production, transport and distribution telecommunication water and food supply heating (e.g. natural gas, fuel oil, district heating) public health (hospitals, ambulances) transportation systems (fuel supply, railway network, airports, harbors) financial services (banking, clearing) Source: GE O&G security services (police, military). A. Walsch, IN2244 WS2014/15 6

Motivation II Motivation II How does this relate to this lecture? Critical infrastructure relies on computer systems, sometimes deeply embedded (depending on the hierarchical control level and the control strategy) a hidden technology: No-one cares if they do their job. A disaster if they fail. It is not only important what we do but also how and how well we do it process (especially in a regulated environment) integrity (there are a few but one counts more than others): reliability Why will it be even more important in the future? More and more electric systems (electrification) Autonomous systems (no human in the loop or teleoperation) A. Walsch, IN2244 WS2014/15 7

D. Patterson, J. Hennessy Some Books I Recommend Computer Organization and Design: The Hardware/Software Interface A. Tanenbaum Operating Systems Design and Implementation Computer architecture textbook Operating systems textbook J. Labrosse MicroC/OS-II Good introduction to RTOS D. Smith Reliability, Maintainability and Risk Reliability textbook B. Kernighan, D. Ritchie The C Programming Language Introduction to C L. Hatton Safer C Introduction to common pitfalls when using C D. Smith Safety Critical Systems Handbook Introduction to safety critical systems, especially taking IEC61508 into account C. Ericsson III Hazard Analysis Techniques for System Safety Dimitri P. Bertsekas, John N. Tsitsiklis A. Spillner, T. Linz Introduction to Probability Various techniques (FTA, ETA, FMEA, Markov,...) Probability theory Basiswissen Softwaretest General textbook on testing A. Walsch, IN2244 WS2014/15 8

Systems - What is a System? - System border, subsystems, interfaces, functions, objectives, environment, external interfaces High-level functions can be spread across subsystems. Components are basic building blocks (e.g. CPU). Source: Ericson, Hazard Analysis Techniques for System Safety A. Walsch, IN2244 WS2014/15 9

The V-Model A. Walsch, IN2244 WS2014/15 10

The V-Model II V-model on previous slide (covers system and software, y (vertical) = refinenement, x (horizontal) = time) A requirements driven approach Design gets more detailed as it proceeds in time Tests are defined at the time of design (testability - left wing of V) Tests are executed at the V+V stage (e.g. pass/fail - right wing of V) Iterative process that defines phases for design and testing Used for system, HW, SW Other processes: waterfall, spiral, agile Development process in general: defines steps, deliverables, reminds us so we do not forget anything A. Walsch, IN2244 WS2014/15 11

IEC 61508 General safety standard as a guideline Risk based approach to safety Importance of architecture Contains a lot of guidelines on hardware and software design We will try to not use terminology of the standard but rather concentrate on its concepts Link: http://en.wikipedia.org/wiki/iec_61508 The safety standard will serve as a design cookbook. A. Walsch, IN2244 WS2014/15 12

Example Systems from GE A. Walsch, IN2244 WS2014/15 13

Embedded System Development Main Drivers: Cost, Function, Performance, Dependability (trustworthiness) Source: Handbook of Software Reliability Engineering IEEE 1996, Michael R. Lyu A. Walsch, IN2244 WS2014/15 14