Transcript
Fünf Tage Embedded Software Engineering pur: Alles was Sie für Ihre Projekte wissen müssen Vortragsprogramm Embedded Software Engineering Kongress 3. bis 7. Dezember 2012 Congress Center Stadthalle Sindelfingen Eine Veranstaltung von ELEKTRONIKPRAXIS und MicroConsult. Alle Informationen auch unter: 2012 1. Tag Montag, 3. Dezember 2012 Raum II/III Großer Saal 1a Kleiner Saal 1b 09:00 12:30 10:30 11:00 KAFFEEPAUSE RTOS-Grundlagen Thomas Batt, MicroConsult Grundlagen des zeitbasierten Software Engineerings Prof. Dr. Christian Siemers, TU Clausthal (et al.) C: Spracherweiterung und formale Methoden Markus Völter, freiberuflicher Berater & Coach (et al.) Android-Applikationsent wicklung eine Einführung Frank Listing, MicroConsult Embedded Design mit Open-Source- Tools Jan Altenberg, linutronix 12:30 13:30 MITTAGSPAUSE Raum Großer Saal 1b II/III Kleiner Saal 1a 13:30 17:00 15:00 15:30 KAFFEEPAUSE Die Essenzen der Software- Qualitätssicherung Prof. Dr. Rainer Koschke, Universität Bremen Scrum eine Einführung C++ Statements richtig auswählen Echtzeit- Linux-Systeme Prozesse erfolgreich gestalten und optimieren Heiko Gimpel, Mixed Mode Dieter Volland, MicroConsult Andreas Klinger, IT-Klinger Thomas Batt, MicroConsult 17:00 ENDE 2. Tag Dienstag, 4. Dezember :45 09:30 Open Space: Embedded Software Engineering Erklärung der Methode, Organisation von Open-Space-Gruppen Nutzen Sie die Chance, an diesem Kongresstag Arbeitsgruppen zu gründen oder zu finden, in denen Sie Ihre Themen oder Lösungsansätze diskutieren. Raum Großer Saal I Kleiner Saal II/III Implementierung I Echtzeit I Trace & Codeanalyse Open Source 09:45 10:25 Das objektorientierte Paradigma Alexander Huwaldt, Laser & Co. Solutions Simulation und Analyse kombinieren Prof. Dr.-Ing. Frank Slomka, Universität Ulm Tracedaten auf die Festplatte streamen Oliver Oppitz, Lauterbach Software-Plattformen produkt übergreifend planen, entwickeln, managen Dr. Uwe Kracke, emlix 10:25 10:35 KURZE PAUSE 10:35 11:15 Software-Paradigmen Frank Listing, MicroConsult Echtzeit in virtualisierten Systemen Heinz Egger, linutronix (et al.) Die neue Trace-Welt Jens Braunes, PLS Programmierbare Logik & Systeme Eclipse-Anpassung für die Embedded- Softwareentwicklung Long Zhao, IAV (et al.) 11:15 11:45 KAFFEEPAUSE 11:45 12:25 Fallstricke cleverer C-Programmierung Martin Gisbert, IAR Systems Virtualisierung von Hardware unter Echtzeitanforderungen Jens Harnisch, Infineon Technologies Code-Checker ausreizen Matthias Kraaz, Zühlke Engineering Schnittstellen voll im Griff Dr. Klaus Birken, itemis 12:25 12:35 KURZE PAUSE 12:35 13:15 Die nächste Generation der C- und C++-Standards André Schmitz, Green Hills Software Mixed Criticality Softwarearchitekturen Christoph Ficek, Symtavision (et al.) Code-Coverage auf Embedded-Systemen Prof. Dr. Daniel Fischer, Hochschule Offenburg (et al.) MQTT Everywhere Nicolas Helou, MicroDoc Computersysteme 13:15 14:45 MITTAGSPAUSE Raum Großer Saal I Kleiner Saal II/III Implementierung II Echtzeit II Multicore Mensch-Maschine 14:45 15:25 CMake - Write Once, Build Everywhere Dr.-Ing. Jörn Tümmler, SMA Solar Technology Tiefschlaf statt Ammenschlaf Dr. Carsten Emde, Open Source Automation Development Lab (OSADL) Paradigmenwechsel durch Multicore Matthias Pruksch, sepp.med 7 Schritte zur guten Mensch-Maschinen- Schnittstelle Florian Portmann, Arendi 15:25 15:35 KURZE PAUSE 15:35 16:15 Objektorientierte und modulare Treiberarchitekturen für eingebettete Systeme Manuel Andreu, Fraunhofer IIS Reducing RTOS Overhead John Carbone, Express Logic Mehrkernsysteme für safetykritische Echtzeitsysteme Anton Hattendorf, fortiss (et al.) Requirements Management & Engineering in Concert Dr. Katja Landgraf, Slitisa 16:15 16:45 KAFFEEPAUSE 16:45 17:25 Implementierung von DSP-Algorithmen RTOS für ressourcenarme Mikrocontroller? Meeting Multiprocessor Challenges HMI rechtzeitig fertig dank Geräte-Simulation Prof. Dr.-Ing. Ferdinand Englberger, Universität der Bundeswehr München Prof. Dr.-Ing. Peter Gober, Beuth Hochschule für Technik Berlin (et al.) Steve Howard, Klocwork Steffen Sammann, macio 17:25 17:35 KURZE PAUSE 17:35 18:15 Initialisierung und Erstellung von Low-Level-Treibern Ingo Pohle, MicroConsult Entwurf und Simulation mechatronischer Echtzeitsysteme Dr. Robert Wagner, Solunar (et al.) Timingeffekte in eingebetteten Multicore-Systemen Stefan Schmidhuber, Hochschule Regensburg (et al.) NextGen Industrial Robotcontrol Martin Hieronymus, NORDAKADEMIE (et al.) 18:15 ENDE 18:30 ENTWICKLERPARTY KÜHLE BIERE, GUTE GESPRÄCHE, ENTSPANNTE ATMOSPHÄRE Mit freundlicher Unterstützung von: 19:00 21:00 OPEN-SPACE-ARBEITSGRUPPEN ab 9:00 Uhr Ausstellung: 4D Engineering, Axivion, bbv Software Services, dspace, EASYCODE, ELEKTRONIKPRAXIS, emlix, emtrion, ETAS, Express Logic, Fraunhofer IESE, GIGATRONIK-Gruppe, Green Hills Software, HighTec EDV- Systeme, Hitex, IAR Systems, IMACS, Infineon Technologies, Intland Software, isystem, Klocwork, Lauterbach, LDRA, linutronix, macio, MicroConsult, National Instruments, Noser Engineering, Parasoft, PLS Programmierbare Logik & Systeme, Protos Software, pure-systems, QA Systems, QNX Software Systems, SafeTRANS, sepp.med, Software Quality Lab, SparxSystems, Vector Informatik, Vector Software, Verifysoft Technology, Willert Software Tools, Zühlke 3. Tag Mittwoch, 5. Dezember :45 09:30 KEYNOTE Sinn und Unsinn in Unternehmen heute Was Sie tun und lieber lassen sollten, wenn Sie Wert auf einen attraktiven Arbeitsort legen. Theresia Volk, Autorin des Buches Unternehmen Wahnsinn Raum Großer Saal Kleiner Saal I II/III Architekturdesign I Modellierung I Management I Forschung & Lehre I 09:45 10:25 Komplexe Software- Architekturen im Griff Dr. Carola Lilienthal, C1 WPS Software Engineering mit UML und C Thomas Batt, MicroConsult Kunden auf die Couch! Ralf Bongard, ISARTAL akademie Cosimulations-Framework für technische Produktionsprozesse Volkhard Klinger, FHDW Hannover 10:25 10:35 KURZE PAUSE 10:35 11:15 Software-Design vs. Software-Architektur Andreas Willert, Willert Software Tools UML-konforme Cosimulation Prof. Dr.-Ing. Detlef Justen, Ostfalia-Hochschule (et al.) Zehn Tipps zum Troubleshooting Maik Pfingsten, blueshaper UG Simulationsbasierte Reliability-Analyse Stefan Krämer, Hochschule Regensburg (et al.) 11:15 11:45 KAFFEEPAUSE 11:45 12:25 Mit Rapid Prototyping Redesigns verhindern Marco Schmid, Schmid Elektronik Evolutionsunterstützung für komplexe, modellbasierte Software-Produktlinien Daniel Merschen, RWTH Aachen (et al.) Von Scrum über DevOps zu ITIL Udo Pracht, IT-Consulting Udo Pracht KESO - Multi-JVM für Deeply Embedded Systeme Isabella Stilkerich, FAU Erlangen-Nürnberg (et al.) 12:25 12:35 KURZE PAUSE 12:35 13:15 Dokumentation - voll unagil? Stefan Zörner, oose Innovative Informatik Modellierung von zeitkontinuierlichen Systemen mit UML Walter van der Heiden, Willert Software Tools Expeditionsmitglieder gesucht! Susanne Lakoni, Agilonauts Lakoni & Partner Benchmarking parallelisierbarer Algorithmen auf CUDA-Architekturen Martin Alfranseder, Hochschule Regensburg (et al.) 13:15 14:45 MITTAGSPAUSE Raum Großer Saal Kleiner Saal I II/III Architekturdesign II Modellierung II Management II Forschung & Lehre II 14:45 15:25 Modellbasierte Entwicklung variantenreicher Systeme mit AUTOSAR und Simulink Dr. Danilo Beuche, pure-systems (et al.) From the Model to the Target Mark Richardson, LDRA Agile Embedded-Entwicklung mit Scrum & Kanban Urs Böhm, Noser Engineering Spezifikation mechatronischer Produkte mittels Anforderungs-/ Test-Codesign Alexander Naß, TU München (et al.) 15:25 15:35 KURZE PAUSE 15:35 16:15 Virtualisierung für Infotainment André Schmitz, Green Hills Software Gestaltung portabler Klassen Alexander Huwaldt, Laser & Co. Solutions Achtung, Kulturwandel! Vom Pionier zum Serienentwickler Jürgen Steger, Siemens Modellbasiertes Debuggen und Testen von eingebetteten Systemen Arne Noyer, Ostfalia Hochschule (et al.) 16:15 16:45 KAFFEEPAUSE 16:45 17:25 Welche Rolle spielt das Physical in Cyber-Physical Systems? Prof. Dr.-Ing. Frank Slomka, Universität Ulm (et al.) Praxisbericht: eine erweiterbare Modellierungsplattform Jan Ortner, Schaeffler Technologies (et al.) Outsourcing aus dem Blickwinkel der Software- Qualitätssicherung Stephan Drozniak, B. Braun Melsungen (et al.) Das Forschungsprojekt EVELIN Prof. Dr. Jürgen Mottok, Regensburg University of Applied Sciences (et al.) 17:25 17:35 KURZE PAUSE 17:35 18:15 Cloud Services für Embedded-Systeme Klaus-Dieter Walter, SSV Software Systems Modellbasierte Verifikation von Steuergeräten Dr. Andreas Jakobs, Truma Gerätetechnik (et al.) Steuergeräte-Entwicklung in kleinen und mittelgroßen Unternehmen Michael Reke, VEMAC (et al.) Poster-Session zu 8 aktuellen Themen aus Forschung und Lehre Details finden Sie auf 18:15 ENDE 18:30 ABENDBUFFET UND ABENDVERANSTALTUNG Wer hat das Projekt ermordet? Szenen aus der Pathologie Heiter-makaber-erkenntnisreiche Ursachenforschung von Rudolf Eckmüller und Peter Siwon Mit freundlicher Unterstützung von: ab 9:00 Uhr Ausstellung: 4D Engineering, Axivion, bbv Software Services, dspace, EASYCODE, ELEKTRONIKPRAXIS, emlix, emtrion, ETAS, Express Logic, Fraunhofer IESE, GIGATRONIK-Gruppe, Green Hills Software, HighTec EDV- Systeme, Hitex, IAR Systems, IMACS, Infineon Technologies, Intland Software, isystem, Klocwork, Lauterbach, LDRA, linutronix, macio, MicroConsult, National Instruments, Noser Engineering, Parasoft, PLS Programmierbare Logik & Systeme, Protos Software, pure-systems, QA Systems, QNX Software Systems, SafeTRANS, sepp.med, Software Quality Lab, SparxSystems, Vector Informatik, Vector Software, Verifysoft Technology, Willert Software Tools, Zühlke 4. Tag Donnerstag, 6. Dezember :45 09:30 KEYNOTE Was will mein Kunde wirklich? Systemanalyse auf den Punkt gebracht. Chris Rupp, Gründerin der SOPHIST GmbH Raum Großer Saal Kleiner Saal II/III I Software Engineering Management I Test & Qualität I Sichere Software I Mensch & Team I 09:45 10:25 Vom Umgang mit Risiko Dr. Thomas Liedtke, ICS AG Testen im Software-Lebenszyklus Dieter Volland, MicroConsult Hat das Zeitalter der formalen Methoden schon begonnen? Chris Hobbs, QNX Software Systems (et al.) Das 10-Punkte-Programm einer erfolgreichen Karriere Renate Schuh-Eder, SchuhEder Consulting 10:25 10:35 KURZE PAUSE 10:35 11:15 Bugfree Zone Dr. Petra Langjahr, Bosch Engineering (et al.) Behaviour-driven Development mit C++ Michel Estermann, bbv Software Services Security in industriellen Anwendungen Dr.-Ing. René Graf, Siemens (et al.) Agile Entwicklung in heterogenen Teams Peter Maurer, Maurer & Treutner 11:15 11:45 KAFFEEPAUSE 11:45 12:25 Softwarevarianten im Griff Prof. Dr. Rainer Koschke, Universität Bremen DfST: Design for System Testability Markus Rentschler, Hirschmann Automation & Control (et al.) Aus der Krise zur erfolgreichen Zertifizierung nach IEC SIL 3 Dr. Thomas Liedtke, ICS Gepflegter Umgang mit Kritik Dr. Thomas Rose, soveo 12:25 12:35 KURZE PAUSE 12:35 13:15 Anforderungs- und System modellierung in großen Projekten Automatisch generierte Testfalldaten für die Zertifizierung? Klassifizierung und Qualifikation von Software-Tools Fragen statt sagen Peter Siwon, MicroConsult Dennis Landmann, Fraunhofer IESE Ronald Heimberg, QA Systems Gudrun Neumann, SGS-TÜV Saar 13:15 14:45 MITTAGSPAUSE Raum I Großer Saal Kleiner Saal II/III Software Engineering Management II Test & Qualität II Sichere Software II Apps 14:45 15:25 Automate and Eliminate Colin Hood, Colin Hood Systems Engineering Software wirtschaftlich testen Matthias Kraaz, Zühlke Engineering ISO Quo vadis? Stefan Kriso, Robert Bosch Apps - eine Domäne der Smartphones? Dr. Uwe Kracke, emlix 15:25 15:35 KURZE PAUSE 15:35 16:15 Funktionsmodelle in der modell basierten Softwareentwicklung Matthias Symann, dspace Leichtgewichtiges Softwaretesten im Embedded-Umfeld Simon Zerawa, Software Quality Lab Praxisbewährte Methoden für das Testen von sicherheitskritischen Systemen Stephan Ahrends, National Instruments Germany (et al.) Apps go Industrial Andy Walter, macio 16:15 16:45 KAFFEEPAUSE 16:45 17:25 Reducing Effort and Avoiding Pitfalls in Adapting to ISO Urban Ingelsson, Semcon (et al.) Gezielte Wartung mit Hilfe von Fehlerprävention Manuel Bordasch, Institut für Automatisierungs- und Softwaretechnik (et al.) Praxisbericht Funktionale Sicherheit Andreas Keller, MESCO Engineering Softwarequalität in der mobilen Welt Dominik Franke, RWTH Aachen (et al.) 17:25 17:35 KURZE PAUSE 17:35 18:15 Modellbasierter Test: Simulation von Testfällen und auto matische Testausführung in einer HIL Thomas Franke, AFRA (et al.) Kein Spaß an Code Reviews? Automatische Verifikation! Denis Worschow, MathWorks (et al.) Verifizierung und Validierung für die IEC Winfried Schröder, Vector Software (et al.) Erfahrungsbericht zu Appcelerator Titanium Prof. Dr. Marianne von Schwerin, Hochschule Ulm (et al.) 18:15 ENDE ab 9:00 Uhr Ausstellung: 4D Engineering, Axivion, bbv Software Services, dspace, EASYCODE, ELEKTRONIKPRAXIS, emlix, emtrion, ETAS, Express Logic, Fraunhofer IESE, GIGATRONIK-Gruppe, Green Hills Software, HighTec EDV- Systeme, Hitex, IAR Systems, IMACS, Infineon Technologies, Intland Software, isystem, Klocwork, Lauterbach, LDRA, linutronix, macio, MicroConsult, National Instruments, Noser Engineering, Parasoft, PLS Programmierbare Logik & Systeme, Protos Software, pure-systems, QA Systems, QNX Software Systems, SafeTRANS, sepp.med, Software Quality Lab, SparxSystems, Vector Informatik, Vector Software, Verifysoft Technology, Willert Software Tools, Zühlke 5. Tag Freitag, 7. Dezember 2012 Raum Kleiner Saal Großer Saal II/III 1b 1a Simple C++ Unit- und Integrationstest von eingebetteter Software in C Automatische Testfallgenerierung Den Varianten-Dschungel effizient durchforsten und kultivieren Irren ist menschlich! 09:00 12:30 10:30 11:00 KAFFEEPAUSE Mit modernen Features zu einfacherem Code Prof. Peter Sommerlad, HSR Rapperswil Was Unit- bzw Integrationstest ist und wie man gute Testfälle dafür findet Frank Büchner, Hitex Development Tools Vom Requirement über das Modell zum Testfall Dr. rer. nat. Martin Beißer, sepp.med (et al.) Herausforderungen, typische Fehler, praxistaugliche Ansätze, Werkzeuge Dr. Martin Becker, Fraunhofer IESE (et al.) Fehlerquellen in Projekten verstehen, erkennen und beseitigen Peter Siwon, MicroConsult 12:30 13:30 MITTAGSPAUSE 13:30 15:30 Fortsetzung Kompaktseminar: Simple C++ Fortsetzung Kompaktseminar: Unit- und Integrationstest von eingebetteter Software in C Fortsetzung Kompaktseminar: Automatische Testfallgenerierung Fortsetzung Kompaktseminar: Den Varianten-Dschungel effizient durchforsten und kultivieren Fortsetzung Kompaktseminar: Irren ist menschlich! 15:30 ENDE Nach dem Kongress Stand Änderungen vorbehalten Bei der umfangreichen Programmauswahl fällt die Entscheidung für einen Vortrag nicht immer leicht. Doch es ist vorgesorgt. Ein Kongressband gedruckt oder digital - fasst alle Vorträge zusammen, um Beiträge nachzulesen oder inhaltlich Revue passieren zu lassen. Als Teilnehmer 2012 stehen Ihnen der Kongressband sowie die Vortragsfolien, sofern vom Referenten freigegeben, außerdem zusätzlich im Internet zum Download zur Verfügung. Die vollständigen Inhalte des Kongressbandes finden Sie ab dem ersten Kongresstag online Vortragsfolien in der Regel spätestens 14 Tage nach dem Kongress. Wir bitten um Verständnis, wenn aus nutzungsrechtlichen oder unternehmensinternen Gründen Referenten ihre Folien nicht zum allgemeinen Download zur Verfügung stellen können. In solchen Fällen kann es sinnvoll sein, den jeweiligen Autor direkt zu kontaktieren.
