Handouts 2015 - Embedded Testing

09:00	Eröffnung und Einführung in die Thematik Gerhard Versteegen, HLMC Events GmbH
09:15	Test von Embedded Software: wenn schon nur mit Wasser kochen, dann in Echtzeit Stephan Grünfelder
10:15	Kaffeepause und Besuch der Ausstellung
	Raum Madrid
10:45	Wie die Codeabdeckungsanalyse die Software Qualität nachhaltig verbessern kann Ingo Nickles, Vector Software
11:45	Zeit für Raumwechsel
11:55	Raspberry Pi im Embedded Testing - Tool or Toy? Michel Lawaty, Native Instruments GmbH
12:40	Mittagspause / Lunch Buffet & Besuch der Ausstellung
14:00	Integrating Jenkins with verification flows of Embedded Systems Oleg Nenashev, CloudBees Inc.
14:45	Zeit für Raumwechsel
14:55	Applying DevOps Principles to Software-Hardware Integration Tests Vassilis Rizopoulos, Zühlke
15:40	Kaffeepause und Besuch der Ausstellung
16:15	Risiko- und Modellbasiertes Testen als Grundstein zur erfolgreichen Absicherung von komplexen Systemen Dr. Dominique Xavier Kiefner, ICS-AG
ab 17:00	Get together Exzellentes Networking mit Teilnehmern, Referenten, Sponsoren und Ausstellern

09:00	Keynote: Für C++ Im Vergleich CANTATA6 und GoogleTest / GoogleMock Lukás Kunc, softgate gmbh
10:00	Zeit für Raumwechsel
	Raum Madrid	Raum Paris
10:10	BDD als Ansatz zum Automatisierten Testen von Embedded GUIs und HMIs Reginald Stadlbauer, froglogic GmbH	Improve test efficiency by Change-Based Testing Michal Jablonski, Vector Software
10:55	Kaffeepause und Besuch der Ausstellung
11:30	From Unit-Test to HIL: Formal Verification for safety critical requirements Markus Gros, BTC Embedded Systems AG
12:15	Mittagspause / Lunch Buffet & Besuch der Ausstellung
13:30	Unit Test for models and code in a safety-critical AUTOSAR project Sorin Stan, AdVa Software Engineering GmbH und Wolfgang Meincke, BTC Embedded Systems AG	In a world of bugs – how to become a successfull bug-hunter? Georg Lohrer
14:15	Zeit für Raumwechsel
14:25	Vermeidung kritischer Fehler durch Statische Analysen Dr. Daniel Kästner, AbsInt GmbH	Testabdeckung systematisch generieren Dr. Martin Beißer, sepp.med GmbH
15:10	Kaffeepause und Besuch der Ausstellung
15:45	Abschlusskeynote: Verification of ISO 26262 Safety-Related Software through Fault Injection during HIL testing Pierre-Henri Stanek, QA Systems
16:45	Ende der Embedded Testing 2015