Upload
others
View
0
Download
0
Embed Size (px)
Citation preview
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