17. bis 19. September 2013, Parkhotel Stuttgart Messe-Airport, Stuttgart/Germany

Transkript

1 5. EUROFORUM-Jahrestagung 5 th EUROFORUM Conference ISO Auswirkungen der neuen Norm auf sicherheitsrelevante elektrische/elektronische Systeme in Kraftfahrzeugen How the New Norm Affects Safety-Relevant Electrical/Electronic Vehicle Systems 17. bis 19. September 2013, Parkhotel Stuttgart Messe-Airport, Stuttgart/Germany Frühbucherrabatt bis 26. Juli 2013 Early Booking Discount until 26 July 2013 CHAIR: Diskutieren Sie mit diesen Experten: Discuss with the following experts: Prof. Dr Dr h.c. Manfred Broy, Ordinarius Software & Systems Engineering, Technical University Munich, Informatics Institute In Kooperation mit/ in cooperation with AbsInt Angewandte Informatik GmbH ACE Associated Compiler Experts bv Berner & Mattner Systemtechnik GmbH Bird & Bird LLP Brose Fahrzeugteile GmbH & Co. KG Daimler AG ESCRYPT GmbH - Embedded Security ETAS GmbH Fachhochschule FH Campus Wien FEV GmbH Institut für Qualitäts- und Zuverlässigkeitsmanagement GmbH Institute for Quality, Safety and Transportation GmbH (iqst) KUGLER MAAG CIE GmbH MAGNA Powertrain AG & Co. KG Method Park Software AG MIRA Limited Model Engineering Solutions GmbH Noerr LLP ON Semiconductor Prozesswerk GmbH Robert Bosch GmbH samoconsult GmbH ServiceXpert Gesellschaft für Service- Informationssysteme mbh SGS-TÜV Saar GmbH Skytechnology srl Tagueri AG TATA ELXSI TTTech Automotive GmbH University of Duisburg-Essen University of Konstanz VDE Prüf- und Zertifizierungsinstitut GmbH Validas AG Volkswagen AG SPECIAL: Automotive Security und ihre Wechselwirkungen mit Funktionaler Sicherheit SPECIAL: Automotive Security and its interdependencies with Functional Safety Konferenz in Deutsch/Englisch Conference in German/English

2 5 gute Gründe für Ihre Konferenzteilnahme 5 reasons for your conference participation Das eigene Wissen und das eigene Netzwerk zum Thema ISO erweitern sowie vorhandene Geschäftskontakte pfl egen und vertiefen. Eigene Herausforderungen mit ISO Experten diskutieren. Stärken und Schwächen Ihrer gegenwärtigen ISO Strategien identifi zieren, indem Sie die Modelle anderer Hersteller kennen lernen. Lernen, was funktioniert und was nicht funktioniert, indem Sie hören, wie andere Firmen mit ISO verfahren. Ihren ROI steigern, indem Sie Geld und Zeit in Ihrer Firma sparen ISO Ansätze und Methoden gleich beim ersten Mal richtig machen. Expand your own ISO knowledge and network, and maintain and deepen existing business contacts. Discuss your own issues with ISO experts. Identify the strengths and weaknesses of your current ISO policies by getting to know the models of other producers. Learn what works and what does not, by hearing how companies deal with ISO Increase your Return on Investment by saving your organization money and time get your ISO policies and practices right fi rst time. Erster Tag, 17. September 2013 Day One, 17 September 2013 VORSITZ: Prof. Dr. Dr. h.c. Manfred Broy, Ordinarius Software & Systems Engineering, Technische Universität München, Institut für Informatik CHAIR: Prof. Dr Dr h.c. Manfred Broy, Ordinarius Software & Systems Engineering, Technical University Munich, Informatics Institute Empfang mit Kaffee und Tee, Ausgabe der Tagungsunterlagen Welcome with coffee and tea, Distribution of conference documentation Begrüßung durch den Vorsitzenden und Einführung in die Thematik Prof. Dr. Dr. h.c. Manfred Broy ANWENDUNGSDOMÄNEN Welcome by the Chair and introduction to the topic Prof. Dr Dr h.c. Manfred Broy APPLICATION DOMAINS Zukünftige Ausrichtungen und weitere Anwendungen der ISO Zukünftige Erweiterungen der ISO auf andere Fahrzeugklassen (Motorräder, Nutzfahrzeuge), insbesondere Anpassung der Konzeptphase bei Motorrädern Herausforderungen bei der Anwendung der Norm auf neue Technologien wie z.b. Fahrer-Assistenzsysteme und autonome Fahrzeuge Umgang mit domänenübergreifenden Anwendungen wie z.b. Verteidigungs- und Baumaschinen, in denen gemeinsame Technologien mit Straßenfahrzeugen eingesetzt werden Dr. David Ward, Head of Functional Safety und Dr. Ireri Ibarra, Functional safety consultant, MIRA Limited Erfahrungen aus der Umsetzung der ISO für elektrische Lenksysteme Übergang von IEC61508 auf ISO Gefährdungsanalysen für das Fahrzeug Umsetzung der Metriken Nachweisführung und Freigabe Externes Assessment Dr. Frank Schöttler, Fachverantwortlicher Funktionale Sicherheit, Abteilung Entwicklung HFE-2, Volkswagen AG Future directions and wider applications of ISO Future directions with regard to other types of vehicles scope extensions to commercial vehicles on the one hand, and motorcycles on the other. Specifically, we will describe how the concept phase might need to be adapted for motorcycles. Challenges when applying the standard to emerging technologies such as driver assistance systems and autonomous vehicles. Dealing with cross-sectorial applications such as defence and construction machinery, where common technologies with road vehicles may be used. Dr David Ward, Head of Functional Safety and Dr Ireri Ibarra, Functional safety consultant, MIRA Limited Experiences gained in implementing ISO for Electric Steering Systems Transit from IEC61508 to ISO Hazard analyses for vehicles Implementing metrics Documentation and approvals External assessment Dr Frank Schöttler, Head Development Unit HFE-2, Volkswagen AG 2

3 Erster Tag, 17. September 2013 Day One, 17 September Fragen und Diskussion Pause mit Kaffee und Tee Questions and Discussion Coffee and tea break Erweitertes Sicherheitskonzept und Design für Elektronische Steuergeräte Flexibles Konzept und Design das alle ASILs abdeckt Flexibles Konzept und Design zur Systemdegradation Optimierung eines hochflexiblen, hochkomplexen Systems Artagun Yesildere, N. America Safety Leader & Global Safety Coordinator, Diesel Gasoline Systems, Robert Bosch GmbH Advanced safety concept and design for Electronic Control Units Flexible concept and design covers all ASILs Flexible concept and design for system degradation methods Optimization of a high flexibility, high complexity system Artagun Yesildere, N. America Safety Leader & Global Safety Coordinator, Diesel Gasoline Systems, Robert Bosch GmbH Funktionale Sicherheit von Batteriesystemen Energiespeichersysteme im (Elektro-)Fahrzeug und im stationären Bereich Normative Grundlagen zur Funktionalen Sicherheit auf diesem Gebiet Praxisbeispiele zur Umsetzung der Funktionalen Sicherheit auf diesem Gebiet Oleg Lurie, Koordinationsstelle Funktionale Sicherheit, VDE Prüf- und Zertifizierungsinstitut GmbH Functional safety of battery systems Energy storage systems in (electric-)vehicles and stationary applications Normative basics about functional safety in this field Practical examples of the implementation of functional safety in this field Oleg Lurie, Coordination Functional Safety, VDE Prüf- und Zertifizierungsinstitut GmbH Fragen und Diskussion Gemeinsames Mittagessen AUTOMOTIVE SECURITY Informationssicherheit im Automobil: Gestern, heute und morgen Was sind die Gefahren? Gestern, heute und morgen? Wie kann all dies vonstatten gehen? Wie kann Automotive Security helfen? Was bringt die Zukunft? Was können Sie jetzt machen? Dr. Frederic Stumpf, Branch Manager Stuttgart, ESCRYPT GmbH - Embedded Security Weshalb die Safety- und Security-Communities zusammenarbeiten sollten Verlässlichkeitskonzepte Safety-Ziele und -Verfahren Bezug zur Implementierung von Security-Techniken Ansätze für ein gemeinsames Vorgehen beim Entwurf von Safety- und Security-Verfahren Prof. Dr. Klaus Echtle, Head of Research Group Dependability of Computing Systems ICB, University of Duisburg-Essen Sicherheit und Sicherung: Vorschlag für einen kombinierten Ansatz Dr. Simon Burton, Head of Software and Safety Consulting, ETAS GmbH Fragen und Diskussion Pause mit Kaffee und Tee Questions and Discussion Lunch together AUTOMOTIVE SECURITY Hacking cars taking a look back, a look at and a look ahead on automotive security What have been, are, and will become automotive IT security threats? How could all this happen? How can automotive security help? What comes next? What can you do now? Dr Frederic Stumpf, Branch Manager Stuttgart, ESCRYPT GmbH - Embedded Security Why should safety and security communities work together? Dependability concepts Safety goals and methods Relationship to implementations of security techniques Approaches to joint steps in safety and security design Prof. Dr Klaus Echtle, Head of Research Group Dependability of Computing Systems ICB, University of Duisburg-Essen Safety and security: A proposal for a combined approach Dr Simon Burton, Head of Software and Safety Consulting, ETAS GmbH Questions and Discussion Coffee and tea break 3

4 Erster Tag, 17. September 2013 Day One, 17 September 2013 SYSTEME UND ARCHITEKTUR Ein AUTOSAR kompatibler Ansatz zur Sicherung von Anwendungen gegen bösartige Angreifer Sichere, aber anfällige Infrastruktur Logistisch getrennte Netze: Besonderheiten und AUTOSAR Compliance Johannes Formann, Research Assistant, Research Group: Dependability of Computing Systems ICB, University of Duisburg-Essen Fahrzeugdiagnose über Connected Car Auswirkungen auf die Funktionale Sicherheit/Risiken? Anwendungsfälle der Fahrzeugdiagnose über Connected Car Risikobetrachtung und -maßnahmen, notwendige Schutzfunktionen Analyse von Security- und Datenschutzaspekten (z.b. bei einer Remote-Diagnose für Dritte) Alexander Levin, Senior Consultant, ServiceXpert Gesellschaft für Service-Informationssysteme mbh Klassifizierung von Fehlerpropagationstypen und Gegenmaßnahmen im Kontext der ISO Mechanismen der Fehlerpropagation und Inferenz in SW und HW Sicherheitsmaßnahmen zur Unterbindung der Fehlerpropagation und Auswirkung auf ASIL-Koexistenz Praktische Beispiele zur Umsetzung Dr.-Ing. Bernhard Kaiser, Leiter Competence Center Safety & Systems Engineering, Berner & Mattner Systemtechnik GmbH SYSTEMS AND ARCHITECTURE An AUTOSAR compliant approach to secure applications against malicious attacker Safe but vulnerable infrastructure Logically separated networks: Features and AUTOSAR compliance Extension towards fault and exploitable bug tolerance Johannes Formann, Research Assistant, Research Group: Dependability of Computing Systems ICB, University of Duisburg-Essen Vehicle diagnosis via Connected Car impact on functional safety/risks? Case studies of vehicle diagnosis via Connected Car Risk assessment and activities, necessary protection functionality Analysis of security and data protection aspects (e.g., during third party remote diagnoses) Alexander Levin, Senior Consultant, ServiceXpert Gesellschaft für Service-Informationssysteme mbh Classification of failure Propagation Types and Counter Measures in the Context of ISO Mechanisms of ailure propagation and interference in SW and HW Safety measures for prevention of failure propagation and applicatoin to ASIL coexistence Application examples Dr-Ing. Bernhard Kaiser, Head Competence Center Safety & Systems Engineering, Berner & Mattner Systemtechnik GmbH Fragen und Diskussion Umtrunk im Hotel Questions and Discussion Drinks at the Hotel Im Anschluss an den ersten Veranstaltungstag lädt Sie EUROFORUM sehr herzlich zu einem Umtrunk ein. Lernen Sie Teilnehmer und Referenten kennen. Setzen Sie wichtige Gespräche des Tages fort und bauen Sie Ihr Netzwerk in Bezug auf ISO aus. To round off the first day, EUROFORUM invites you to get to know your fellow attendees and conference speakers better over drinks. This is a good opportunity to deepen important talks from the day, and to broaden your network of ISO expertise. Die Themen im Überblick Themes at a glance Anwendungsdomänen Automotive Security Systeme und Architektur Prozesse Rechtliche Aspekte Hardware und Metriken Software, Tools und Methoden General Applications Automotive Security Systems and Architecture Processes Legal Aspects Hardware and Metrics Software, Tools and Methods 4

5 Zweiter Tag, 18. September 2013 Day Two, 18 September Empfang mit Kaffee und Tee Welcome with coffee and tea Begrüßung durch den Vorsitzenden Prof. Dr. Dr. h.c. Manfred Broy PROZESSE Welcome by the Chair Prof. Dr Dr h.c. Manfred Broy PROCESSES Ein strukturierter Ansatz zur vollständigen Identifikation von Gefährdungen nach ISO Systematische Ableitung von Fahrszenarien und Fehlfunktionen Strukturierte Identifikation von Gefährdungen Nachvollziehbarkeit und Vollständigkeit der Vorgehensweise Dr.-Ing. Tobias Ständer, Senior Safety Expert, Institute for Quality, Safety and Transportation GmbH (iqst) Co-Autoren: Sebastian Knüfermann, iqst Felix Reinbold, iva TU Braunschweig Udo Steininger, TÜV SÜD Automotive GmbH Requirements Engineering im Kontext der Funktionalen Sicherheit Was fordert die ISO 26262? Stand der Technik bzgl. Anforderungsmanagement Requirementsengineering im V-Modell Best-Practices für die Umsetzung in unterschiedlichen Projektklassen Dr. Benno Stützel, Geschäftsführer, Prozesswerk GmbH und Stephen Norton, Product Manager Automotive Functional Safety, SGS-TÜV Saar GmbH Management der funktionalen Sicherheit und der Sicherheitsnachweis in der Praxis Das Management der funktionalen Sicherheit in Bezug auf den Sicherheitsnachweiß Der Weg zu einem belastbaren Sicherheitsnachweis Der Vorteil eines gelebten Sicherheitsnachweisprozesses Der Sicherheitsnachweis in der Praxis Zbigniew Bober, Senior Berater und Teamleiter für Funktionale Sicherheit, Tagueri AG A structured approach for complete identification of hazardous events according to ISO Systematic derivation of driving scenarios and malfunctions Structured identification of hazardous events Traceability and completeness of the procedure Dr-Ing. Tobias Ständer, Senior Safety Expert, Institute for Quality, Safety and Transportation GmbH (iqst) Co-authors: Sebastian Knüfermann, iqst Felix Reinbold, iva TU Braunschweig Udo Steininger, TÜV SÜD Automotive GmbH Requirements Engineering in the context of functional safety What does ISO require? Technical status of Requirements Engineering Requirements Engineering in the V model Best practices for implementation in various project classes Dr Benno Stützel, CEO, Prozesswerk GmbH and Stephen Norton, Product Manager Automotive Functional Safety, SGS-TÜV Saar GmbH Safety Management and Safety Case in practice Functional Safety Management regarding the Safety Case The way to a resilient safety case Benefits of a lived safety case process The safety case in practice Zbigniew Bober, senior consultant and team leader for Functional Safety, Tagueri AG Fragen und Diskussion Pause mit Kaffee und Tee Questions and Discussion Coffee and tea break 5

6 Zweiter Tag, 18. September 2013 Day Two, 18 September Anforderungen an ein Safety Management-System (SaMS) Anforderungen, die die ISO hinsichtlich Qualitäts- bzw. Safety Management stellt Aspekte, die bei der Errichtung und Etablierung eines Safety- Managementsystems zu berücksichtigen sind Aufbau eines Safety-Management-Systems, damit es sich einfach in ein QM-System nach ISO/TS integrieren lässt Kriterien zur Beurteilung des Nutzens der Management- Integration von Safety und Qualität DI(FH) Werner Schauer, Forschung & Entwicklung, Fachhochschule FH Campus Wien Das Erreichen von Funktionaler Sicherheit während der Entwicklung eines Hardware-ASIC Wie die Entwicklung eines ASIC in den von der ISO vorgegebenen Prozess passt Verknüpfung der Arbeitsprodukte und Werkzeuge, um Funktionale Sicherheit zu gewährleisten Die wichtigsten Herausforderungen während verschiedener Entwicklungen Yves Renard, Automotive Business Unit Functional Safety Manager, ON Semiconductor Requirements of a Safety-Management-System (SaMS) Requirements of the ISO standard regarding management of quality and safety Aspects of a safety management system to be considered during its design and establishment Structuring a safety management system for a facilitated integration into a quality management system acc. ISO/TS Criteria for evaluating benefits of integrating safety management and quality management DI(FH) Werner Schauer, Vienna Institute for Safety & Systems Engineering Reaching functional safety during the development of an hardware ASIC How developing an ASIC fits in the complete flow defined by ISO Linking the work products and tools in order to reach functional safety Main challenges encountered during the different developments Yves Renard, Automotive Business Unit Functional Safety Manager, ON Semiconductor Fragen und Diskussion Gemeinsames Mittagessen Questions and Discussion Lunch together Paralleluniversen vermeiden: Wie integrieren wir ISO Anforderungen in unsere Prozesslandschaft? Safety-Anforderungen bieten die Chance für zielgerichtete Prozessrevisionen, damit Abläufe insgesamt effektiver und effizienter werden Beispiel 1: Konsolidierung gewachsener Prozesse (Hardware/Mechanik und Software) Beispiel 2: Optimierung von unterstützenden Prozessen, wie beispielsweise Change Request, Problem und Configuration Management Steffen Herrmann, Senior Process Consultant, KUGLER MAAG CIE GmbH Avoiding parallel universes: How do we integrate ISO requirements in our process landscape? Safety requirements offer opportunities for targeted process revision to make workflows more effective and more efficient overall Example 1: Consolidating organic processes (hardware/mechanics and software) Example 2: Optimizing supportive processes such as Change Requests, Problem and Configuration Management Steffen Herrmann, Senior Process Consultant, KUGLER MAAG CIE GmbH Einführung von ISO in einem Unternehmen mit einem Qualitätsmanagement System basierend auf CMMI Einführung in die CMMI Prozessgebiete, die für ISO relevant sind CMMI Anforderungen abgebildet auf Anforderungen der ISO für unterstützende Prozesse Integrierte Entwicklung: Ein Life-Cycle für sicherheitsbezogene und nicht sicherheitsbezogene Entwicklung Inken Sontag, Project Engineer, FEV GmbH Automotive SPICE als Indikator und Werkzeug für Prozesse zur Funktionalen Sicherheit nach ISO Audits zur Funktionalen Sicherheit versus Automotive SPICE Assessments Erstellung und Beurteilung von Prozessen zur Funktionalen Sicherheit mit Hilfe von Automotive SPICE Ein gemeinsamer Ansatz Introducing ISO in a company with a CMMI-based quality management system Introduction to CMMI process areas that are relevant for ISO CMMI requirements mapped to ISO requirements for supporting processes Integrated development: one lifecycle for safety-related and non safety-related development Inken Sontag, Project Engineer, FEV GmbH Automotive SPICE as an indicator for the capability of Functional Safety processes in accordance with ISO Functional Safety audits vs. Automotive SPICE assessments Design and assessment of Functional Safety processes with help of Automotive SPICE A joint approach 6

7 Zweiter Tag, 18. September 2013 Day Two, 18 September 2013 Stärken und Schwächen eines gemeinsamen Ansatzes Dipl.-Ing. Timo Karasch, Senior Consultant, Method Park Consulting AG und Martin Stock, Project Manager, SGS-TÜV Saar GmbH AIDA-Modell: Integration von ISO mit Automotive SPICE, Agile und CMMI AIDA (Assistant for an Integrated Development Assessment) Modell unterstützt die Implementation von ISO in einem Unternehmen, das bereits eine Organization nach Automotive SPICE oder CMMI-DEV besitzt Das AIDA-Modell wird sowohl von OEMS als auch von Tier 1/2-Lieferanten bereits angewendet Die Weiterentwicklung des AIDA-Modells in Richtung CMMI und dessen +SAFE-Erweiterung sowie in Richtung eines agilen Software-Entwicklungsprozesses Dr. Ernesto Viale, Business Unit Manager, Skytechnology srl Strength and weaknesses of a joint approach Dipl.-Ing. Timo Karasch, Senior Consultant, Method Park Consulting AG and Martin Stock, Project Manager, SGS-TÜV Saar GmbH Integrating ISO with Automotive SPICE, Agile and CMMI How AIDA (Assistant for an Integrated Development Assessment) Model helps in implementing ISO in a company with Automotive SPICE processes landscape Results of AIDA Model application by OEMs and Tier 1 and Tier 2 suppliers The evolution of the AIDA Model towards CMMI and +SAFE safety extension, and towards the Agile software development lifecycle Dr Ernesto Viale, Business Unit Manager, Skytechnology srl Fragen und Diskussion Pause mit Kaffee und Tee RECHTLICHE GRUNDLAGEN UND STAND DER NEUEN ISO Questions and Discussion Coffee and tea break LEGAL BASICS AND STATUS OF THE NEW ISO Erfüllung der Technischen Normen ein Internationaler Vergleich der Vertrags-, Schadens- und Produkthaftung Vertragshaftung unter Zivilrecht und Gewohnheitsrecht ISO und dessen Implementierung im Vertragsrecht Deliktsrecht, Sorgfaltspflicht und technische Vorschriften Auswirkungen von ISO auf Produkthaftung was geschieht in anderen Zuständigkeitsbereichen? Dr. Alexander Duisberg, Rechtsanwalt, Bird & Bird LLP Anwendung der ISO auch eine rechtliche Herausforderung? Rechtliche Anforderungen bei der Umsetzung technischer Normen Auslegung und Anwendung in Zusammenarbeit mit den Zulieferern Berücksichtigung bei der Vertragsgestaltung Andreas Reuter, Rechtsanwalt Compliance with technical standards an international comparison of contractual, tort and product liability Contract liability under civil and common law ISO and its implementation into contract law Law of tort, duties of care and technical standards The impact of ISO on product liability what is happening in other jurisdictions? Dr Alexander Duisberg, Lawyer, Bird & Bird LLP Applying ISO a legal challenge too? Legal requirements when implementing technical standards Interpretation and application in collaboration with suppliers Factoring into legal agreements Andreas Reuter, Lawyer Überblick über die jüngere BGH-Rechtsprechung zur Produkthaftung Bedeutungszuwachs des ProdHaftG Konstruktion und Instruktion im Lichte des BGH Wechselwirkungen zur staatlichen Kontrolle Prof. Dr. Thomas Klindt, Rechtsanwalt, Partner, Noerr LLP Overview of recent BGH jurisdiction on product liability Growing significance of product liability Construction and instruction in the light of the Federal Court of Justice Interdependencies with state controls Prof. Dr Thomas Klindt, Lawyer, Partner, Noerr LLP Fragen und Diskussion Abendveranstaltung - Wir bringen Sie zusammen! Questions and Discussion Evening event - we connect you! 7

8 Dritter Tag, 19. September 2013 Day Three, 19 September Empfang mit Kaffee und Tee Welcome with coffee and tea Begrüßung und Zusammenfassung des vorherigen Tages durch den Vorsitzenden Prof. Dr. Dr. h.c. Manfred Broy HARDWARE UND METRIKEN Latente Fehler in der ISO (Mögliche Interpretationen und übliche Fallen) Definition der latenten Fehler in der ISO Fehlerklassifizierung der ISO Praxisbeispiele (diagnostizierter HW-Teil, redundante Sensoren, ECC) Latent Fault Metric ein Rechenbeispiel und die Interpretation der Ergebnisse Adam Schnellbach, Sachgebietsleiter Funktionale Sicherheit, MAGNA Powertrain AG & Co. KG Neue Vorgehensweise für einen automotiven Betriebsbewährtheitsnachweis nach ISO Wichtigkeit der Funktionalen Sicherheit Schwachstellen identifizieren in dem Betriebsbewährtheitsnachweis nach ISO Vorstellung einer neu entwickelten Vorgehensweise für den automotiven Betriebsbewährtheitsnachweis Validierung und Verifizierung der Praxistauglichkeit anhand eines konkreten realen Beispiels Dr.-Ing. Marco Schlummer, Geschäftsführer, Leiter Funktionale Sicherheit, Institut für Qualitäts- und Zuverlässigkeitsmanagement GmbH Co-Autoren: Dr.-Ing. Dirk Althaus, Geschäftsführer, Technischer Leiter, Institut für Qualitäts- und Zuverlässigkeitsmanagement GmbH Andreas Gottschol, Abteilung RD/FAA, Aktive Sicherheit/Assistenzsysteme, Daimler AG Hardware-Architektur-Metriken: Berechnungen und Qualifikation der Werkzeuge nach ISO Berechnung der Fehlerraten der zugehörigen Hardware-Komponenten des Sicherheitszieles Einschätzung des Diagnosedeckungsgrads durch Sicherheitsmechanismen Berechnung von Single- und Latent-Point-Metriken sowie Vergleich mit den in ISO vorgebenen Werten Qualifizierung der Software-Tools gemäß ISO Sobha Rani Ekkirala, Spezialist, TATA ELXSI Welcome and summary of the previous day by the Chair Prof. Dr Dr h.c. Manfred Broy HARDWARE AND METRICS Latent faults in ISO (possible interpretations and common pitfalls) Definition of latent faults in ISO Fault classification of ISO Practical examples (diagnosed HW component, redundant sensors, ECC) Latent fault metric quantitative example and interpretation of results Adam Schnellbach, Head Functional Security, MAGNA Powertrain AG & Co. KG New approach for an automotive proven-in-use argument according to ISO Importance of functional safety Identifying vulnerabilities in Proven-in-Use argumentation according to ISO Introduction of a new approach for automotive proof-in-use Validation and verification of road capability, using a real-life example Dr-Ing. Marco Schlummer, CEO, Head Functional Safety, Institut für Qualitäts- und Zuverlässigkeitsmanagement GmbH Co-authors: Dr-Ing. Dirk Althaus, CEO, Technical Head, Institut für Qualitäts- und Zuverlässigkeitsmanagement GmbH Andreas Gottschol, RD/FAA Department, Active Safety/Assistance Systems, Daimler AG Hardware architectural metrics: calculations and qualification of tools to ISO Calculating failure rates of hardware parts associated with the safety objective Estimating diagnostic coverage provided by safety mechanisms Calculating single-point and latent-point fault metrics and comparisons with target values specified in ISO Qualification of software tools as per ISO Sobha Rani Ekkirala, Specialist, TATA ELXSI Fragen und Diskussion Pause mit Kaffee und Tee Questions and discussion Coffee and tea break 8

9 Dritter Tag, 19. September 2013 Day Three, 19 September 2013 SYSTEME UND ARCHITEKTUR SYSTEMS AND ARCHITECTURE ISO in der Praxis Mythen um Gefahren und Risikoanalysen Wiederkehrende Probleme und Mythen bzgl. Gefahren und Risikoanalysen werden aufgelöst wie z.b.: Die Möglichkeit eines Toten bedeutet zwingend eine Severity von S3 Exposure adressiert nur die Wahrscheinlichkeit des Fahrszenarios Für Konsistenz mit FMEAs müssen Fehlerfälle mit B=10 einen ASIL zugewiesen bekommen Systeme, die nur Sicherheitsziele mit Klassifikation QM haben, sind nicht sicherheitsrelevant Dr. Pierre Metz, Organizational Safety Manager, Brose Fahrzeugteile GmbH & Co. KG ISO in practice resolving myths with hazard & risk analyses Recurring problems and myths with HRA are clarified such as: The possibility of a dead individual means S3 Exposure addresses the probability of the scenario only When making FMEAs consistent with HRAs, elements with B=10 must receive an ASIL Systems classified as QM are not safety-relevant Dr Pierre Metz, Organizational Safety Manager, Brose Fahrzeugteile GmbH & Co. KG SOFTWARE UND TOOLS SOFTWARE AND TOOLS Umsetzung von ISO für die modellbasierte SW-Entwicklung Modellbasierte SW-Entwicklung ist an sich bereits ein wichtiger Ansatz für die Umsetzung der ISO Die vollständige Definition des SW-Entwicklungsprozesses dient als Blue-Print für firmeneigene Spezialisierungen Geeignete Automatisierung der SW-Entwicklung und Qualitätssicherung reduziert die Entwicklungszeit Dr. Heiko Dörr, Geschäftsführer, Model Engineering Solutions GmbH Implementation of ISO for model-based SW development Model-based SW development is already an important approach when implementing ISO Full definition of the SW development process serves as a blueprint for in-house specializations Appropriate automation of SW development and quality assurance reduces development times Dr Heiko Dörr, CEO, Model Engineering Solutions GmbH Modellbasierte Entwicklung und Sicherheitsanalyse im Kontext der ISO Wie kann modellbasierte Entwicklung im Kontext der ISO eingesetzt werden? Wie können Teilbereiche der Sicherheitsanalyse durch formale Methoden unterstützt und automatisiert werden? Erfahrungen und Lessons Learned Florian Leitner-Fischer, M. Sc.,Chair for Software Engineering, Department of Computer and Information Science, Universität Konstanz Model-based engineering and formal safety analysis in the context of ISO How can model-based engineering be used in an ISO context? How can safety analysis steps be supported and automated with formal methods? Experiences and lessons learned Florian Leitner-Fischer, M. Sc.,Chair for Software Engineering, Department of Computer and Information Science, University of Konstanz Fragen und Diskussion Gemeinsames Mittagessen Questions and Discussion Lunch together Statische Analyse der generierten RTE für sicherheitsrelevante AUTOSAR-Projekte Das generierte AUTOSAR Runtime Environment (RTE), notwendig für den Datenaustausch zwischen Softwarekomponenten, ist sehr schwierig auf Korrektheit zu prüfen Die Verifikation basiert auf statischer Code-Analyse des generierten RTE-Codes Die Teile der RTE, die nicht auf Basis einer Konfiguration verifiziert werden können, werden identifiziert Die Reports des RTE-Verifkationstools können verwendet werden, um den Verifikationsprozess an sich zu prüfen Dr. Bernhard Rumpler, Project Manager, TTTech Computertechnik AG Static analysis of generated RTE code for safety relevant AUTOSAR projects The generated AUTOSAR runtime environment (RTE) is very hard to validate for correctness Static analysis of the generated RTE code is used to verify correctness Code parts that cannot be traced to any specification are identified The reports of the RTE verification tool can be used to check the verification process itself Dr Bernhard Rumpler, Project Manager, TTTech Computertechnik AG 9

10 Dritter Tag, 19. September 2013 Day Three, 19 September Nachweis der Zuverlässigkeit von Verifikationswerkzeugen Anforderungen der ISO zur Qualifizierung von Software-Tools Abstrakte Interpretation als formale Methode zum Nachweis nicht-funktionaler SW-Eigenschaften: Timing, Stackverbrauch, Laufzeitfehler Universale Argumentationsstrategie zum Nachweis der Verlässlichkeit von Verifikations-Tools Komponenten und Funktionsweise automatischer Tool-Qualifizierung Dr.-Ing. Daniel Kästner, CTO, AbsInt Angewandte Informatik GmbH Providing confidence in verification tool results ISO requirements for software tool qualification Abstract Interpretation as formal method for proving non-functional software properties: timing, stack usage, runtime errors Universal reasoning strategy for providing confidence in the results of verification tools Components and implementation of automatic tool qualification kits Dr-Ing. Daniel Kästner, CTO, AbsInt Angewandte Informatik GmbH Qualifizierung und Zertifizierung von Compilern Marcel Beemster, Senior software engineer, ACE Associated Compiler Experts bv Qualification and certification of compilers Marcel Beemster, Senior software engineer, ACE Associated Compiler Experts bv Fragen und Diskussion Pause mit Kaffee und Tee Questions and Discussion Coffee and tea break Optimierung der Kosten für Tool Qualification Kosten und Nutzen der Tool Qualification Formalisierung der Kosten von Werkzeugketten Kostenoptimierung mittels SAT-Solver Anwendungsbeispiele Dr. Jürgen Klarmann, Senior Engineer Functional Safety, ETAS GmbH Dr. Oscar Slotosch, Vorstandsvorsitzender, Validas AG Tool qualification: cost optimization Tool qualification: costs & benefits Formalization of tool chain costs Optimization of costs using SAT Solver Practical examples Dr Jürgen Klarmann, Senior Engineer Functional Safety, ETAS GmbH Dr Oscar Slotosch, CEO, Validas AG Quo vadis tool qualification? Praxiserfahrungen mit der Toolklassifikation und -qualifizierung gemäß ISO Trends und Verbesserungspotentiale Ideen für die Optimierung des Toolklassifikationsprozesses Dr. Mirko Conrad, CTO, samoconsult GmbH Ines Fey, CEO, samoconsult GmbH Quo vadis tool qualification? Lessons learned from applying tool classification and qualification acc. to ISO Trends and areas for improvement Ideas for optimizing the tool classification process Dr Mirko Conrad, CEO, samoconsult GmbH Ines Fey, CTO, samoconsult GmbH Fragen und Diskussion Ende der Konferenz Questions and discussion End of conference Ihre Ansprechpartner Your contacts INHALT UND KONZEPTION: CONTENT AND CONCEPT: Ass. jur. Leonie Harmal Senior Conference Manager Phone: +49 (0)211/ ORGANISATION: ORGANIZATION: Michéle Reiher Senior Conference Coordinator Phone: +49 (0)211/ SPONSORING & AUSSTELLUNG: Haben Sie Interesse an Sponsoring- und Ausstellungsmöglichkeiten? Für nähere Informationen steht Ihnen gerne zur Verfügung: SPONSORING & EXHIBITION: Interested in sponsoring and exhibition opportunities? For details, please contact: Tobias Schalamon Senior Sales Manager Phone: +49 (0)2 11/

11 Sponsoring & Exhibition The following exhibitors have already signed up: AbsInt provides tools for validation, verification and certification of safety-critical software. Key products are the ait Worst-case Execution Time Analyzer for obtaining timing guarantees, StackAnalyzer for proving the absence of stack overflows, and the Astrée analyzer for proving the absence of runtime errors. All tools can be qualified according to contemporary safety standards. AbsInt GmbH Science Park Saarbruecken, Germany Engineers Consulting provides full-scope support in the field of functional safety. In addition to our consulting and training services, we offer our customers a modular development environment in our product Safety Office X2. This product leads the user through the entire safety case and simplifies the required traceability process using a variety of system interfaces. Engineers Consulting GmbH Forsmannstrasse 22a Hamburg, Germany ikv++ technologies ag is a KPIT Cummins company based in Berlin, Germany. We have more than 10 years experience in offering cutting edge system analysis, design and development products and solutions to the embedded software market. medini analyze is our integrated tool which implements efficiently core activities of the functional safety analysis according to ISO and integrates them with the existing development processes of electronic and software in the automotive industry. ikv++ technologies ag Dessauer Strasse 28/ Berlin, Germany It s not enough to have your process definitions look good on paper. In fact, process improvements will only create value for your corporation when the employees follow through with putting the strategic intent into action. This is the reason behind Kugler Maag Cie s success, an integrated approach combining effective process definition and practical organizational change. KUGLER MAAG CIE GmbH Leibnizstrasse Kornwestheim, Germany Situated in Berlin, Freiburg, Basle and Geneva, SynSpace is aligned international as a consulting company specialized in process-, project- and quality-management. Since 1990, we support well-known customers predominant automotive companies in introducing and optimizing methods and normative standards as ISO 26262, CMMI and Automotive SPICE. SynSpace GmbH Kartäuserstrasse Freiburg, Germany Display of company information: APIS Informationstechnologien GmbH is the leader in the field of software tools for FMEA, Risk Analysis and Functional Safety. Important OEM and automotive suppliers trust in this software tool for more than 20 years. They are using APIS IQ-FMEA PRO or APIS IQ-RM PRO to support their process of the ISO If you want to know more please get in touch with our company - APIS Informationstechnologien GmbH Wolfenbuetteler Strasse 31b Braunschweig, Germany 11

12 EUROFORUM Deutschland SE, Postfach , Düsseldorf Your personal registration code Register Now Online! or fill in and fax it to: +49(0)2 11/ Ja, ich nehme/wir nehmen teil an der Jahrestagung vom 17. bis 19. September 2013 zum Preis von 2.999,- zzgl. MwSt. p. P. [P M013] [Ich kann jederzeit ohne zusätzliche Kosten einen Ersatzteilnehmer benennen. Im Preis sind ausführliche Tagungsunterlagen enthalten.] Die Buchung einzelner Tage zum Preis von 1.799, zzgl. MwSt. p. P. oder zwei Tagen zum Preis von 2.199, zzgl. MwSt. p. P. ist möglich. Bitte teilen Sie uns Ihre Kombinationswünsche auf der Anmeldung mit: Bitte informieren Sie mich über Ausstellungs- und Sponsoringmöglichkeiten. Ich kann nicht teilnehmen. Senden Sie mir bitte die Tagungs unterlagen zum Preis von 449, zzgl. MwSt. Ich möchte meine Adresse wie angegeben korrigieren lassen. [Wir nehmen Ihre Adressänderung auch gerne telefonisch auf: 02 11/ ] Yes, I/we will attend the Annual Conference (17 19 September 2013) for a fee of 2.999,- plus VAT p. P. [P M013] [The fee covers full conference documentation. A substitute may attend in your place at no additional cost.] You can also book a single day for 1.799, plus VAT p. P. or two days for 2.199, plus VAT p. P. Please let us know which combination you require when booking: Beachten Sie auch unsere Rabatte für Gruppenbuchungen! Please also check out our discounts for group bookings! Für weitere Informationen rufen Sie uns bitte an. Please call us for further information. Bei Anmeldung bis zum 26. Juli 2013 erhalten Sie einen Rabatt von 200,. Register by 26 July 2013 to claim your discount of 200,. Please send me details of exhibition and sponsoring opportunities. I cannot take part in this event but I am interested in the documentations. Please send me the documentations at a price of 399, plus VAT p. P. Please amend my address as shown. [Should you wish to change your address by telephone, please dial +49(0)211/ ] Name Name Position/Abteilung Job title/division Telefon Phone Geburtsjahr Year of birth Die EUROFORUM Deutschland SE darf mich über verschiedenste Angebote von sich, Konzern- und Partnerunternehmen wie folgt zu Werbezwecken informieren: Zusendung per Ja Nein Zusendung per Fax: Ja Nein EUROFORUM Deutschland SE may contact me about various products and services offered by it as well as by companies of the Group and co-operation partners: Yes No Fax: Yes No Firma Company Anschrift Address Anmeldung erfolgt durch Contact person Position Job title Datum, Unterschrift Date, signature Bitte ausfüllen, falls die Rechnungsanschrift von der Kundenanschrift abweicht: Please fill in if invoice address is different from customer s address Name Name Abteilung Department Anschrift Address Fax Fax CONDITIONS OF PARTICIPATION. The attendance fee per person, which includes conference documentation, lunches, tea/coffee and evening dinner, is payable on receipt of the invoice. Once your registration has been received you will be sent a confirmation slip. Registrations can be cancelled (in writing please) free of charge up to 14 days before the event. When a cancellation is made within 14 days of the conference date, half the participation fee will be reimbursed. In the event of cancellation on the day of the conference, or failure to attend, the full fee will be payable. The registered delegate may of course send a substitute at no additional cost. The organisers reserve the right to amend the programme of events if necessary. Discounts on group bookings depend on the number of people booked as delegates on the date of the event. DATA PROTECTION. EUROFORUM Deutschland SE uses the data collected in connection with your order and use of our services and products within the applicable legal limits for the purpose of performing our services, and to provide you with information by post and about further offers by us, companies of our Group or co-operation partners, which are similar to the services of which you availed yourself previously. If, during the use of the data, it is transmitted to countries lacking an adequate level of data protection, we will create sufficient guarantees to protect the data. Furthermore, we will use your data if you have given us your consent to do so. You may object to the use of your data for advertising purposes or to being contacted by or fax at any time by contacting EUROFORUM Deutschland SE, Postfach , Düsseldorf, Germany. Our customer services (Phone: +49 (0) ) shall be pleased to accept requests for changes. YOUR ROOM RESERVATION. In the conference hotel, there is a limi ted allocation of rooms available at a reduced price. Please arrange the room reservation directly with the hotel quoting the reference Euroforum event. Sie finden unsere AGBs auf Deutsch unter: September 2013, Parkhotel Stuttgart Messe-Airport Filderbahnstraße 2, Leinfelden-Echterdingen, Germany Phone: +49 (0)7 11/ At the end of the first day, the hotel Parkhotel Stuttgart Messe-Airport invites you to a get together. Contact by fax: +49 (0)211/ by phone: +49 (0)211/ [Michéle Reiher] switchboard: +49 (0)2 11/ by mail: EUROFORUM Deutschland SE Postfach , Düsseldorf by anmeldung@euroforum.com info@euroforum.com Internet: