TagungsbandEmbedded Software Engineering Kongress 2013

2. bis 6. Dezember 2013, Sindelfingen

Zugang zu den elektronischen Kongressunterlagen

(Tagungsband sowie Vortragsfolien soweit von den Referenten freigegeben) unter:

www.ese-kongress.de/downloads

User: gast2013Passwort: ESE$gast2013

3

Inhaltsverzeichnis

Der Status Quo im Requirements Engineering

Herausforderungen und Lösungen durch modellbasierte Techniken 19

Dr. Thorsten Weyer, Universität Duisburg-Essen,

paluno - The Ruhr Institutefor Software Technology Essen

Anforderungen für ausfallsichere Produkte

Risiken minimieren - schon bei der Anforderungsdefinition 23

Blaise Rey-Mermet, EVOCEAN

Hilfe, meine Software-Architektur erodiert!

Wie Software-Architekturen ihre Struktur und Stringenz behalten 29

Prof. Dr. Rainer Koschke, Universität Bremen

Das Rad nicht immer neu erfinden

Architekturmuster im Embedded-Umfeld einsetzen 37

Frank Listing, MicroConsult

Design Patterns im Projekteinsatz: Erfahrungen aus der Praxis

Problembereiche, Fallstricke, Tipps zur richtigen Anwendung 42

Karl Nieratschker, SKTNieratschker

Vom Steuergerät zur Funktion - eine neue PerspektiveTools und Methoden für die funktionsorientierte Entwicklung 48

Andreas Graf, itemis

Adaptive AutomobilfunksystemeSoftware-Defined Radio: Ein Schlüssel zu mehr Flexibilität 56

Norman Franchi, Georg Fischer, Robert Weigel; Friedrich-Alexander-Universität Erlangen-Nürnberg;Lehrstuhlfür Technische Elektronik

Automatisierung in der SoftwareentwicklungDer Weg zur effektiven Erstellung von Softwaresystemen 63

Prof. Dr. rer. nat. Lars Grunske, Universität Stuttgart

6

MODELLIERUNG

Model Driven Software Engineering (MDSE) in der Praxis

Eine Standortbestimmung 66

Andreas Willert, Willert Software Tools

Kosten und Nutzen modellbasierter Softwareentwicklung

Ergebnisse einer globalen, toolunabhängigen Studie 75

Dr. Jens Zimmermann, Ahran

Software Design Needs Software Architecture

Liefert die UML uns dazu die richtigen Mittel? 83

Jürgen Härtung, Kölsch, Altmann Software & Management Consulting

Proven Practices to Integrate Modeling and ProgrammingHow to Integrate Models and Code 91

Juha-Pekka Tolvanen, MetaCase

Prozessintegration modellbasierter Software-EntwicklungswerkzeugeVerteilte SW-Entwicklung in einem heterogenen Toolumfeld 100

Matthias Symann, dSPACE

Model-Based Software Deployment on Multicore Processors

Balancing Performance, power and reliability 105

J. Reimer van Kampenhout, Robert Hilbrich, Fraunhofer FOKUS

Modellbasierte und klassische Entwicklung kombinieren

Model vs. geschriebener Code - welche Aufteilung ist sinnvoll? 111

Roman Bretz, LieberLieber Software

Systems-Engineering mit der SysML

Wichtige Diagramme, Notationen und Anwendungen im Überblick 112

Thomas Batt, MicroConsult

7

ECHTZEIT

Aktuelle Multithreading-KonzepteVon Memory Barriers, Futures und Lock-Free-Structures 125

Franca Chiappori, bbv Software Services

Searching for a Minimal-Resource Automotive Scheduler

How to Achieve Low Memory and Runtime Overhead 134

Andräs Horväth, Läszlö Gianone, Bence Töth; Knorr-Bremse R&D Institute Budapest

RTOS Tasks Reloaded

Praxistipps für erfolgreich angewandtes Multitasking 141

Willi Flühmann, Noser Engineering

David oder Goliath? Erzielen schneller Start-up-Zeiten

Vergleich großer Betriebssysteme mit kleinen RTOS 149

Kei Thomsen, MicroSys Electronics

Echtzeit-Analyse ohne On-Chip Trace

Funktions- und Task-Profiling über Standard I/O 154

Armin Stingl, iSYSTEM

Echtzeitsoftware-Entwicklung von der Planung bis zur Integration

Handhabung von Zeitanforderungen, Budgets und Beobachtungen 160

Dr. Simon Schliecker, Maurice Sebastian, Symtavision

Echtzeit-Analyse durch effiziente Source-InstrumentierungEine Debug-Methode für kritische Laufzeitbedingungen 165

Hubert Haberstock, Intel

Embedded Software und Adaptivität - gegensätzliche Ziele?

Programmierkonzepte für die Systeme von morgen 168

Michael Geisinger, fortiss

8

SICHERE SOFTWARE

Herausforderungen bei der Entwicklung safety-kritischer Multi-Core-SystemeVirtualisierung im sicherheitskritischen Umfeld 173

Michael Gaudlitz, Wind River

Einhaltung von Sicherheitsstandards in der Software-EntwicklungWie soll man konform bleiben, ohne die Innovation zu ersticken? 179

Marcin Zwawa, Parasoft

Code-Coverage-Analyse für DO-178 und ISO 26262

Prinzipien und Potenziale eines Ansatzes mit modernen Trace-Schnittstellen 184

Christoph Sax, Lauterbach

Sicherheitskritische Software effizient testen

Software-Verifikation eines Medizinproduktes in der Praxis 190

Robert Stemplinger, Carsten Leidreiter; brightONE Embedded Systems

Multi-Core - Ende der funktionalen Sicherheit?

Komplexe Hardware versus vorhersagbare Systeme 196

Matthias Pruksch, sepp.med

Die Item Definition - erste Hürde der ISO 26262

Systemgrenzen festlegen und die Konsequenzen verstehen 203

Stefan Kriso, Robert Bosch

Funktionale Sicherheit - ein Softwarethema?

Ein Saftey-Software-Stack für ein Hardware-Referenzdesign 215

Björn Sander, Hitex Development Tools

Sichere Fernwartung über das Internet

Implementierung, Skalierbarkeit, Zugriffs- und Datenschutz 220

Günter Obiltschnig, Applied Informatics Software Engineering

9

MULTICORE

Multicore im Embedded System - Wie geht das?

Welche besonderen Aufgaben kommen auf die Entwickler zu? 225

Renate Schultes, MicroConsult

Analyse der Timing Eigenschaften von Multi-Core-EchtzeitsystemenKombination von Signallaufketten und modellbasierter Simulation 232

Thomas Hinterwimmer, Prof. Dr. Jürgen Mottok, Hochschule Regensburg;Dr. Michael Deubzer, Dr. Martin Hobelsberger, Timing-Architects Embedded Systems

Virtualisierungskonzepte für eingebettete Multicore-SystemeSind die Anforderungen an Sicherheit und Echtzeitfähigkeit erfüllbar? 243

Dr. Karsten Schmidt, Andre Kohn, Sven Schönberg, Audi Electronics Venture;

RolfSchneider, A UDI; Jens Harnisch, Udo Dannebaum, Infineon Technologies

Embedded-Multicoresysteme parallel programmierenDer MTAPI-Standard der Multicore Association im Überblick 251

Urs Gleim, Siemens, Corporate Technology; Markus Levy, The Multicore Association

MISRA-C:2012 kennenlernen

Wie C-Programmierer sich wirksam vor Pannen schützen 258

Matthias Kraaz, Zühlke Engineering

C++14 - das einfachere C++

Was ist neu und wichtig, was steckt dahinter? 264

Prof. Peter Sommerlad, IFSInstitutefor Software, HSR Rapperswil

Noise-Cancelling Embedded C Code Development

Using a DSL and Code Generation to Improve Software Quality 271

Dr. Darren Buttle, ETAS

Compiler-FehlerWelche Arten gibt es und wie beherrsche ich sie? 276

Andre Schmitz, Green Hills Software

10

lMPLENTIERUING 11

Compiler- oder Compilierungs-Validation?Wie Sie auf teure zertifizierte Compiler verzichten können 282

Chris Hobbs, Marcus Bortel, QNX Software Systems

Powermanagement in der Praxis

Embedded-Systeme energieeffizient designen 288

Thomas Waldecker, TQ-Systems

Ist Ihr Embedded System bereit für das Internet der Dinge?

Anforderungen an Werkzeuge, Methoden, Interoperabilität und Sicherheit 293

Klaus-Dieter Walter, SSV Software Systems

Embedded statt SPS für AnlagensteuerungenAlternative Softwareentwicklungsmethoden und deren Auswirkungen 298

Robert Schachner, RSTIndustrie Automation; Thomas Schütz, Protos Software

Ein Bild sagt mehr als tausend Zahlen

Der Debugger als Oszilloskop und Logikanalysator? 304

Jens Braunes, PLS Programmierbare Logik & Systeme

Ein Leitfaden durch das Dickicht der CodeanalyseA Quick Guide to Static Analysis 309

Dr. RalfHuuck, Red Lizard Software

Bug Hunting mit statischer CodeanalyseTickende Zeitbomben im Code effizient aufspüren 313

RolandBär, Andreas Behr, Verifysoft Technology; Prof. Dr. Daniel Fischer, Hochschule Offenburg

Speicherschutz durch Nutzung einer MPU

Anwendungsmöglichkeiten am Beispiel eines ARM Cortex-M4 Prozessors 323

Thomas Grieger, P+Z Engineering; Achim Daub, Universität Stuttgart

11

IMPLEMENTIERUNG IV

Modulare Software ohne Overhead - geht das?

Hochoptimierte Embedded-Software muss kein Monolith sein 328

Matthias Bauer, redlogix Software & System Engineering

Rapid Prototyping in der Praxis

Mit grafischer Programmierung Kreativität entfesseln 336

Marco Schmid, Schmid Elektronik, Schweiz

Trotz Sicherheitslücken sicher durch den TÜV kommen

Mit „C" auf der sicheren Seite 345

Martin Gisbert, IAR Systems

Best Practices für den AUTOSAR-Alltag

Herausforderungen kennen, Fallstricke vermeiden, Erfahrungen nutzen 348

Andreas Lachenschmidt, Sebastian Höller, iNTENCE automotive electronics

Softwareentwicklung als Handwerkskunst

Hintergründe von Software Craftsmanship und Clean Code 353

Stephan Roth, oose Innovative Informatik

modTF - ein modulares Framework zur TestautomatisierungDurchgehende Traceability von den Anforderungen zu den Testresultaten 358

Kristian Trenkel, Florian Spiteller, Hans Rauch, iSyst Intelligente Systeme;Ulrich Heinkel, TU Chemnitz

Formale Methoden in kleinen und mittleren Unternehmen

Ein Framework zur Umsetzung formaler Verfahren in KMUs 368

Sebastian Grobosch, Michael Reke, VEMAC;

Stefan Kowalewski, EmbeddedSoftware Laboratory, RWTHAachen

Durch Simulatorkopplung zu virtuellen PrototypenFunktionen in einem realistischen Systemkontext evaluieren 375

Thomas Kuhn, Fraunhofer IESE

NLI - ein Qualitätsturbo für Software?

Neurolinguistische Informatik im Softwaretest verwenden 381

Michael T. Pilawa, PILAWA; Samuele Di Lernia, AIZO

Unit Tests und Test-Driven Development für Embedded

Wartbaren Code schreiben, Legacy Code beherrschen 391

Dr. Martin Grill, GIGATRONIK-Gruppe

12

Automatisierter Modultest für Validierung und Verifikation

Qualität heben und Zertifizierungskriterien nachweisen 399

Ingo Nickles, Vector Software

Den Prüfstand prüfen - Testdefinition im Automobilumfeld

Modellbasierte Methoden zur Verbesserung der Testfallspezifikation 409

Dr. Udo Oligschläger, FEV

Linux Secured Integrity schützt vor Angriffen aus dem Netz

Überprüfbare System-Integrität für Bootvorgang und Runtime 415

Holger Dengler, linutronix

Wer garantiert eigentlich, dass Linux korrekt funktioniert?

Ein Blick hinter die Kulissen des Linux-Qualitätsmanagements 420

Dr. Carsten Emde, Open Source Automation Development Lab (OSADL)

Linux ohne Frankenstein-DNA: das Yocto ProjectZeit und Nerven sparen mit Yocto Project statt RYO Linux 426

Hans Jürgen Rauscher, Wind River

Was ist eigentlich „Copyleft", muss man das wissen?

Ja, denn das Wortspiel führt leicht in die Irre 431

Dr. Carsten Emde, Open Source Automation Development Lab (OSADL)

Android Embedded entdecken

Warum sich ein Blick auf den Newcomer lohnt 435

Christian Meder, inovex

Native Android und Java-Entwicklung mit JNI

Kritische Stellen unter die Lupe genommen 438

Matthias Knappik, MicoDoc Computersysteme

Interfaces dynamisch beschreiben mit Franca

Open-Source-Tools helfen bei der Softwarequalität 444

Dr. Klaus Birken, itemis

Bedarfsgerechte Darstellung von Prozessen

Entwicklungsprozesse auch für Entwickler 454

Annette Kempf, Eclipseina, Thomas Schütz, Protos Software

13

GUI

GUI 2.0 im industriellen Umfeld

Realisierung einer fluiden Touch-GUI mit Qt Quick 2 und QML 463

Jahn Fuchs, Zühlke Engineering; Florian Behrens, Toptica Photonics

Interaktion zwischen QML und C++

Modernes GUI-Design mit Qt5 und QML 465

Jürgen Messerer, bbv Software Services

Embedded Grafik - visualisieren ohne zu programmierenModellansatz für die Entwicklung von Grafikoberflächen 472

Klaus Gerstendörfer, XiSys Software

Apps plattformunabhängig entwickeln

Möglichkeiten und Grenzen von HTML5 und JavaScript 477

Frank Listing, MicroConsult

FORSCHUNG a LEHRE

Biosignale messen und identifizieren

Architektur eines modularen Systems für die Medizintechnik 481

Prof. Dr. Volkhard Klinger, FHDWHannover

Systematisch Compiler testen mit CCFuzz

Wie genetische Algorithmen C-Compiler zum Schwitzen bringen 488

Andrer Tarasevic, Prof. Andreas Zeller, Lehrstuhlfür Softwaretechnik, Universität des Saarlandes

Komplexe Flugzeugsysteme modellbasiert entwerfen

Entwurfsunsicherheiten durch Modellbildung minimieren 493

Nils Fischer, Mark Wiegmann, Department Fahrzeugtechnik und Flugzeugbau, HA W-Hamburg

AUTOSAR-Komponenten modellieren

Durchgängig modellbasierte Entwicklung auf allen Ebenen 500

Mathias Langer, Arne Noyer, Günter Kircher, Gert Bikker, Elke Pulvermüller;Institutfür Verteilte Systeme, Ostfalia Hochschule Wolfenbüttel

Synchronisationsverfahren in Embedded MulticoresystemenEffizientes Ressourcen-Management 506

Martin Alfranseder, Tobias Kropf Ostbayerische Tech. Hochschule Regensburg;Jürgen Mottok, LaS, Fakultät Elektro-und Informationstechnik;Christian Siemers, Technische Universität Clausthal, Institutfür Informatik

14

Remotetesting von eingebetteten SystemenEin modellbasierter Ansatz zum Testen von Mehrprozessorsystemen mittels CAN-Bus 515

Florian Pramme, Günther Kircher, Arne Noyer; Institutför Verteilte Systeme, Ostfalia Hochschule Wolfenbüttel;Harald Richter, Institutfür Informatik, Technische Universität Clausthal

Kompetenzorientiertes Lehren und Lernen von Requirements Engineering

Anforderungsanalyse unter Verwendung innovativer Lehr- und Lernmittel 521

Martina Müller-Amthor, Andreas Baumgärtner, Dr. Georg Hagel, Tobias Gegner, Hochschule Kempten

Vereinheitlichung von CodegeneratorenUniverselles Generator-Modell statt proprietäre Generatoren 533

Arne Noyer, Florian Pramme, Elke Pulvermüller, Gert Bikker, Mathias Langer, Michael Spieker,Alexander Tanke, Alexander Horn, Institutfür Verteilte Systeme, Ostfalia Hochschule Wolfenbüttel

AMALTHEA

Plattform für kontinuierliche, modellbasierte Entwicklung 538

Andreas Sailer, Stefan Schmidhuber, Jürgen Mottok, Ostbayerische Technische Hochschule

Regensburg (OTH); Michael Deubzer, Timing-Architects Embedded Systems

Vom generierten zum effizienten Code

Simulink-Code für harte Echtzeitanforderungen optimieren 545

Thomas Stolze, Klaus-Dietrich Kramer, Hochschule Harz

Dynamische Systemwartung durch Fehlerprävention 551

Manuel Bordasch, Universität Stuttgart; Institutfür Automatisierungs- und Softwaretechnik

Robotersoftwareentwicklung mit Java OSGi

Einsatz objektorientierter Konzepte im industriellen Umfeld 556

Kai Hufenbach, Techniker Krankenkasse; Falko Schönteich, Martin Hieronymus, NORDAKADEMIE

Team- und Leitungskompetenz durch Lehr-Lernprojekte 566

Alexander Soska, Michael Schümm, Irmgard Schroll-Decker,Michael Niemetz, Jürgen Mottok, OstbayerischeTechnische Hochschule Regensburg (OTH)

Mut zu Fehlern, um die Qualität zu steigern

Fault-Injection zur Steigerung der Zuverlässigkeit 577

Stefan Krämer, Jürgen Mottok, Ostbayerische Technische Hochschule Regensburg;Erol Simsek, Armin Stingl, iSYSTEMför Informatiksysteme;

Michael Deubzer, Martin Hobelsberger, Timing-Architects Embedded Systems

Zentrales Steuerungssystem eines Rettungsroboters

Analyse und Bewertung von Leistungsfähigkeit und Nutzen 586

Werner Alexander Isop, Dr. Wolfgang Werth, Martin Sereinig, Stefan Quendler; FH-Kärnten (CUAS)

15

Große Ziele, kleine Schritte

Agilität als Erfolgsfaktor

Dr. Carola Lilienthal, Cl WPS

594

Requirements-Spezifikation im agilen Umfeld

Einsatzmöglichkeiten und Fallstricke der gängigen Methoden

Johannes Bergsmann, Software Quality Lab

599

Warum eigentlich (immer) Serum?

Agile Ansätze an die Unternehmenskultur anpassen 613

Oliver Knittel, Otmar Seckinger, Method Park Engineering

Software wiederverwenden und Bibliotheken entwickeln

Mit Komponenten-Libraries den Enrwicklungsaufwand senken 619

Hendrik Hantzko, Baker Hughes

Wer hat Angst vor CMMI?

Kleines Team und formelle Prozesse: ein Erfahrungsbericht 624

Andreas Stucki, Solcept

Den Konfigurations-Alltag meistern

Konfigurationsmanagement - von der Wunschvorstellung zur Praxis 628

Marcus Grande, Seuffer

Idealweltliche Vorstellung von Entwicklung und Realität im Codeline ManagementDie Mainline-Methode zur Versionierung in der Entwicklung 634

RalfGronkowski, Perforce Software

Datenfusion für die Integration von unbemannten Fluggeräten im allgemeinen Luftraum

Erfolgsfaktoren für das Systemengineering im multi-nationalen Umfeld 641

Thomas Rapp, EADS Cassidian

MANAGEMENT

Lean Systems EngineeringWie komplexe Produkte effizienter entwickelt werden 649

Maik Pfingsten, Zukunftsarchitekten-Podcast.de

Vertrauen ist gut, Kontrolle besser, Motivation am besten

Wie viel Freiheit verträgt gute Softwareentwicklung? 651

Stephan Drozniak, Fresenius Kabi, Thomas Eisenbarth, Axivion

16

Willkommen im Flachland!

Flache Hierarchien: Vom Leiter zum Team-Coach selbstorganisierter Teams 654

Susanne Lakoni, cinco.Systems; Michael Thiel, Partner Netzwerk agilonauts

Antreiber contra innerer Schweinehund

Warum übertriebene Leistungsorientierung sinnlos ist 659

Peter Siwon, MicroConsult

Distanzen und Erfolgsfaktoren im IT-Nearshoring

Ergebnisse einer Fallstudienserie 662

PD Dr. Daniel Beimborn, Alexander von Stetten; Otto-Friedrich-UniversitätBamberg,Lehrstuhlfür Wirtschaftsinformatik

Workshops effektiv und zielorientiert gestalten

Vorbereitung, Durchführung, Moderation und Nachbereitung 669

Thomas Batt, MicroConsult

Hat der Kunde immer Recht?

Warum Recht Teil des Projektmanagements werden muss 676

Prof. Dr. Lambert Grosskopf, Universität Bremen

Kulturen prallen aufeinander

Gruppendynamik und Kulturen im Veränderungsprozess 677

RudolfEckmüller, RudolfEckmüller Consulting

1MPULSV0RTRÄGE

Alles verändert sich - und Sie wissen wie!

Veränderungsprozesse aktiv unterstützen und steuern 681

Peter Siwon, RudolfEckmüller, Die Vortragsprofis

Die Körpersprache der Souveränität

Kompetenz zeigen und Sympathie gewinnen 684

Johannes Florin

Firmenverzeichnis: Alle Aussteller von A bis Z 689

Inserentenverzeichnis

iSystem 4. US

17