Inhaltsverzeichnis. Keynote. Analyse & Design I und II

Transkript

1 Inhaltsverzeichnis Keynote Embedded Software Engineering - Weichen stellen für die Zukunft 17 Peter Liggesmeyer, TU Kaiserslautern und Fraunhofer IESE Robert Eschbach, Fraunhofer IESE, Ralf Kalmar, Fraunhofer IESE Mario Trapp, Fraunhofer IESE, Dirk Zeckzer, TV Kaiserslautern Analyse & Design I und II Wie komme ich zu nachvollziehbaren Anforderungen? 24 Wie sich Traceability pragmatisch etablieren lässt Paul U'entzel, Method Park Software Fallstrick nichtfunktionale Anforderungen 30 Tipps und Erfahrungen aus der Praxis Emre Koeymen, CI Setcon GoF Design Patterns in Embedded Systemen? 37 Wann Sie Design Patterns nutzen sollten Karl Nieratschker, SKT-Nieratschker Zuverlässige Zustandsautomaten entwerfen 43 Modellieren und testen gemäß Entwurfskriterien und Sicherheitsanforderungen Jörg Robra, Georg-Shnon-Ohm-Hoclischule Nürnberg Zeitgemäßes Design von M2M-Amvendungen 52 Einführung und Obersicht Klaus-Dieter Walter, SSV Software Systems Parallele Architekturen für rechenintensive Aufgaben 56 Charakteristika und Strategien für den Systementwurf Volkhard Klinger, FHDW Automatisieren mit Standardkomponenten 62 Mit fertiger Hard- und Software zum maßgeschneiderten System Markus Schleicher, infoteam Software Extrafunktionale Anforderungen in UML/SysML 66 Zeit, Energie und Zuverlässigkeit im Entwurf abbilden Frank Slomka, Universität Ulm (et al.) Bibliografische Informationen digitalisiert durch

2 Modellierung UML-Profile für zeitkritische Architekturen 72 Der aktuelle Stand der Modellierung mit UML Martin Lokietsch, IBM (et al.) Modellbasiert entwickeln - ja oder nein? 79 Vorurteile und ihre Relevanz in der Praxis Johannes Scheier, EVOCEAN MDSD mit DSLs und Eclipse 83 Modellbasierte Softwareentwicklung mit domänenspezifischen Sprachen und Eclipse Bernhard Merkte, SICK Modellieren und Code generieren mit UML/SysML 87 Drei zentrale Fragestellungen und ihre Antworten Andreas Foltinek, IMACS Codegenerierung aus UML2-Aktivitätsdiagrammen 94 Notwendige Randbedingungen und Praxistipps RalfEbert (et al.) Modellbasierte Testautomatisierung mit LabVIEW und Simulink 104 Eine Kombination für frühe entwicklungsbegleitende Softwaretests Dirk Beinert, infoteam Software Testen mit dem OMG Testing Profile 112 Von der modellbasierten Entwicklung zum modellbasierten Test Frank Braun, IBM Schnittstellen formal prüfen 117 Ein einfacher, aber effizienter Weg zu mehr Qualität Thomas Schütz, Protos Software (et al.) Mit Eclipse vom Modell zum Device (Kompaktseminar) 126 Eclipse Open-Source-Technologien zum Kennenlernen Axel Terßoth, itemis (et al.) Sichere Software Software-Qualität - eine Glaubensfrage!? 134 Neue Aspekte der systematischen Qualitätssicherung Jürgen Mottok, Universität Regensburg Sichere Embedded Software entwickeln 149 Grundlagen des High Assurance Software Engineering" André Schmitz, Green Hills Software Sicherheitsgerichtete Softwareentwicklung nach IEC Überblick und Tipps für die Praxis OlafC. Winne, Quategra

3 Plug-In Functional Safety 161 Eine Functional Safety Library für Deeply Embedded Echtzeitsysteme Martin Schrape, Infineon Technologies (et al.) GUI-Design Schicke Web-UIs trotz ressourcenbeschränkter Systeme 168 Ansprechende Web-Benutzerschnittstelle mit dem Google Web-Toolkit Christoph Hecht. Aastra-DeTeWe Performante Embedded Linux Web GUIs mit AJAX und DBUS 171 Einsatz von Web 2.0 Technologien auf deeply embedded Prozessoren Björn Bürger, Pengutronix (et al.) GUI-Designs in einer globalisierten Welt 172 Erfahrungsbericht zur Intemationalisierung von Software Stefanie C. Zürn, macio (et al.) Modernes Usability Engineering im industriellen Umfeld 178 Entwicklung einer Bedienersoftware für Laserschneiden per Fingerdruck RolfHöpli, Zühlke Engineering (et al.) Implementierung C++0x kommt! 184 Eine Vorschau auf den neuen ISO/ANSI-Standard Martin Weitzcl, Technische Beratung für EDV C++ für sicherheitskritische Systeme 189 Eine Übersicht zu JSF C++ und MISRA C++ Günter Obiltschnig, Applied Informatics Software Engineering Objektorientiert Programmieren mit C 194 Wie Sie objektorientierte Techniken und Konstrukte in C umsetzen Frank Listing, MicroConsult Embedded Unit-Tests und Mocking mit CMock 202 Mehr Qualität durch frühes Testen Simon Raffeiner, Leitwerk (et al.) High-Speed-Software zum Nulltarif dank Multicore? 210 Nutzung von Singlecore-Software auf Multicore-Architekturen Karl Nieratschker, SKT-Nieratschker

4 Data Modeling and Access on Embedded Systems 216 A Brief Comparison of Network and Relational Models Douglas Wilson, Birdstep Technology Hypervisor und ausgewählte Anwendungsszenarien 229 Jonas Dietsche, Wind River Drahtlos mit WiFi, Bluetooth, NFC & Co 230 Überblick über die wichtigsten Wireless-Protokolle André Schmitz, Green Hills Software Echtzeit & RTOS Real-Time Architekturdesign - Jonglieren mit der Zeit 236 Auswahl und Einsatz von Scheduling Pattern und RTOS Andreas Willert, Willert Software Tools (et al.) Was ist maximale Latenz und wie wird diese bestimmt? 240 Vor- und Nachteile sowie Hintergründe zu bewährten Messverfahren Carsten Emde, OSADL Timing-fokussiertes Systemdesign 252 Ein Weg zu robusten, echtzeitfähigen Systemarchitekturen Tapio Kramer, INCHRON Managing Software Timing Behavior 257 Practical Techniques to Obtain Accurate Timing Measurements Nicholas Merriam, Rapita Systems Keine Angst vor Linux 260 Wirbelwind-Tour durch ein uraltes aber erstaunlich modernes Betriebssystem Martin Weitzel, Technische Beratungfiir EDV Individuelle Linux-Systeme mit Open-Source Software 265 Was benötige ich für die Erstellung meines Embedded Linux-Systems? Andreas Klinger, IT-Klinger Echtzeit-Linux mit dem Realtime Preemption Patch 271 Vergleich von Echtzeitverhalten auf unterschiedlichen Plattformen Jan Altenberg, Linutronix Android-OS auf neuen Wegen 280 Welche Eignung das Handy-OS für andere Embedded Systeme mitbringt Jürgen Fey, Androidian Windows Embedded CE kompakt 281 Einsichten in die Entwicklung mit Windows Embedded CE 6.0 R2 und R3 Jochen Dieckfoß, Elektrobit Automotive 10

5 Automatische Analyse und Optimierung des Zeitverhaltens 282 Flaschenhälse, Gegenmaßnahmen und Verbesserungspotenziale Jens Braunes, pis programmierbare Logik & Systeme Software optimieren für den Intel Atom Prozessor 290 Maximale Performance für Ihre Software-Applikation Uli Dumschat, Intel Java Embedded Java erklärt in 40 Minuten 309 Was Sie über Java in Embedded Systemen wissen sollten Hans Kamutzki, MicroDoc OSGI in Embedded Software: Wofür und wie? 313 Mit der Open-Source Plattform Dienste modularisieren und verwalten Christine Mitterbauer, MicroDoc Sicherheitskritische Anwendungen mit Java 317 Überblick über die wichtigsten Standards und Möglichkeiten Andy Walter, aicas Java in MILS-Systemen 323 Standardsoftware schneller portieren und Sicherheitsprobleme reduzieren Frank Lippert, Aonix (et al.) Test & Qualität Integrationstests eingebetteter Software 330 Temporaler Komponententest mit dem Werkzeug Tessy Frank Büchner, Hitex Source Code Analysis in an Agile World 337 Understanding the Relationship Between Bug-free Code and Agile Development Todd Landry, Klocwork Testkonzepte für Multitarget-Entwicklungen 345 Erfahrungen und Empfehlungen Karsten Pahnke, emsys Embedded Systems (et al.) Software-Metriken gezielt einsetzen 346 Prozedurale und objektorientierte Software-Metriken für unterschiedliche Zwecke Daniel Fischer, Hoclischule Offenburg (et al.) Automatisierte dynamische Echtzeittests für jedermann 355 Tipps für erfolgreiche Hardware-in-the-Loop-Tests Stephan Ahrends, National Instrument 11

6 Anforderungsbasiertes Testen in Theorie und Praxis 361 Ergebnisse und Resümee zahlreicher Audits Oliver Böhm, MKS Der statische Analysator Astrée 369 Nachweis der Abwesenheit von Laufzeitfehlern in sicherheitskritischer Software Daniel Kästner, Abs Int Softwareanalyse und Erosionsschutz (Kompaktseminar) 374 Die innere Qualität von Software als Schlüssel für den langfristigen Erfolg Rainer Koschke, Universität Bremen (et al.) Open Source Das Innovations-Netzwerk Eclipse 381 Industrieprojekte und Kollaborationsmöglichkeiten der Open-Source-Community Ralph Mueller, Eclipse Foundation Entwickeln und testen mit Eclipse Frameworks 384 Bericht über den gelebten Entwicklungsprozess der KSB AG Jochen Mades, KSB (et al.) Open Source und Recht 391 Was ist zu beachten, wenn ich Open-Source Software nutzen, weiterentwickeln und vertreiben will? Carsten Emde, Open Source Automation Development Lab Open-Source Prozesse für Embedded Projekte 401 Wie man Prozesse aus dem Open-Source Umfeld auf industrielle Embedded Projekte übertragen kann Robert Schwebe!, Pengutronix Open-Source-basiertes Tooling für die verteilte Entwicklung 402 Strategische Aspekte für den Einsatz Stefan Zegenhagen, emlix Einführung eines modellbasierten Entwicklungsprozesses mit Open-Source Tools 406 Erfahrungsbericht zur Einführung textueller domänenspezifischer Sprachen in einem mittelständischen Unternehmen Andreas Graf, itemis (et al.) Effiziente, portierbare Implementierung anspruchsvoller GUIs 410 Eine auf Open-Source Software basierende Lösung unter Verwendung objektorientierter Programmierung Frank Walzer, Texas Instruments 12

7 Software Engineering Management Software Engineering als eine Funktion der Zeit 418 Kann man vorhersagen, wann die Software fertig wird? Robert Berger, Reliable Embedded Systems Requirements Engineering und präzises Testen 425 Was wir von IT-Projekten lernen können Gabriele Frenzel, NewTec (et al.) Dokumentation: Nutzen Sie den Reuse-Faktor! 427 Wie Sie schnell qualitativ hochwertige Dokumentation erstellen und pflegen Elke Grundmann, Comet Communication Oops, I Did it Again 432 Wie Sie lernen, mit Ihren Software-Klonen zu leben Rainer Koschke, Universität Btvmen Software-Architektur und der Zahn der Zeit 441 Wie wirken sich Erosionsprozesse aus? Bernhard Merkte, SICK (et al.) Änderungs- und Konfigurationsmanagement variantenreicher Systeme 445 Typische Probleme, die der Effizienz im Weg stehen Danilo Beuche, pure-systems Den ALM-Aufstieg problemlos meistern 450 Application Lifecycle Management Tools für sicherheitskritische Systeme einführen Ulrich Becker, Method Park Software Management Erfolgreiche Pressearbeit für kleine und mittlere Unternehmen 456 So klappt's auch mit der Fachpresse Johann Wiesböck, Vogel Business Media Nutzungsrechte und Haftung bei Embedded Software 466 Die wichtigsten Grundsätze Wolf Günther, Kanzlei Dr. Erben (et al.) Marktorientiertes Produktmanagement 472 Wie Sie die richtigen Innovationen für Ihre nächsten Produkte finden Oliver Lucht, IBM, Rational Software Capability Maturity Model Integration 478 Höhere Effizienz und Effektivität im Software-Entwicklungsprozess mit CMMI Angela Werbik, ZSI (et al.) Das Manifest der bioagilen Softwareentwicklung 487 Agile Softwareentwicklung trifft Bionik Peter Schmidt, intence (et al.) 13

8 Schätze heben mit der systemischen Aufstellung 498 Wie Sie komplexe Zusammenhänge und Beziehungsgeflechte im Projekt wahrnehmen und erkennen Birgit Ebertz, Birgit Ebertz Consulting (et al.) Externe Entwicklungsleistungen - vom Fluch zum Segen 504 Wichtige Aspekte, um externe Dienstleister optimal einzubinden Uwe Strohbeck, RT-RK (et al.) Forschung & Lehre Ansätze zur verteilten echtzeitfähigen Simulation 508 Erfahrungen und Beispiele zum Einsatz des XCP-Protokolls Sebastian Hinzmann, Ostfalia Hochschule Software Engineering in der Servicerobotik 513 Der Weg zum modellgetriebenen Softwareentwurf Andreas Steck, Dennis Stampfer und Christian Schlegel, Hochschule Ulm Deterministische Embedded Systeme aus UML-Modellen 517 Codegenerierung aus UML-Aktivitäts-, Zustands- und Verteilungsdiagrammen ZamiraDaw, Flor Alvarez, Christian Englert, Rüdiger Willenberg, Marcus Vetter, Hochschule Mannheim Domänenbezogen entwickeln mit Open-Source 524 Tool-Framework auf Basis von Eclipse Modeling und Graphical Modeling Framework Kevin Barwich, Arne Noyer, Mathias Langer, Ostfalia Hochschule für angewandte Wissenschaften Benchmarks und Vergleich von MCUs und CPUs 530 Ein universelles System für den Vergleich von Eigenschaften und Leistungsfähigkeit Thomas Stolze, Klaus-Dietrich Kramer, Wolfgang Fengler, Hochschule Harz Umstieg von Single-auf Multiprozessorsysteme 536 Partitionierung von Taskssystemen mit Static Scheduling Michael Deubzer, Jürgen Mottok, LaS 3, University of Applied Science Regensburg, Ulrich Marguli, 1 mal 1 Software, Michael Niemetz, Gerhard Wirrer, Continental Automotive Softwareintensive mechatronische Systeme 543 Kontinuierliche Veränderungen intelligenter Systeme beherrschen Markus Friedrich, TU München/Lehrstuhl Um Mensch & Team Egotrips in Projekten 551 Verschleierungs- und Täuschungsaktionen in Projekten - Ursachen, Wirkungen und Gegenmaßnahmen Peter Siwon, MicroConsult 14 Sind wir nicht alle ein wenig anders!? 556 Unterschiedliche Typen im Team und wie man mit ihnen umgeht Rudolf Eckmüller, Rudolf Eckmüller Consulting

9 Effiziente Teamarbeit als Basis für den Projekterfolg 560 Die Praxis erfolgreicher Kommunikation Siegfried Weigert, ibw Siegfried Weigert Industrieberatung Systeme und systemisches Denken 565 Ganzheitliche Ansätze in der Systementwicklung Thomas Franzen, Thomas Franzen Projektberatung Fachdidaktik Software Engineering: Zeitgemäße Lern- und Lehrstrategien 576 Pair Teaching und Bloom'sche Taxonomie Axel Böttcher, Dr. Matthias Christoph Utesch, Hochschule München Anwendung der Bloom'sehen Taxonomie auf Lehrinhalte des Software-Engineerings 583 Reimer Studt, Hochschule Landshut, Jürgen, Mottok, Hochschule Regensburg, Matthias Utesch, Hochschule München, Dieter Landes, Hochschule Coburg Agile Softwareentwicklung als Thema einer internationalen Lehrveranstaltung Ein didaktischer Erfahrungsbericht Philipp Brune, Hochschule Neu-Ulm Konstruktivistische Didaktik- ein Rezept für eine bessere Software Engineering Ausbildung? 601 Jürgen Mottok, Hochschule Regensburg, LaS, Georg Hagel, Hochschule Kempten Matthias Utesch, Hochschule München, Franz Waldherr, Zentrum für Hochschuldidaktik Erfahrungsberichte zu Serious Gaming - C#-Entwicklung mit AntMe! 611 Software Engineering Lernerfolge mit Spiel, Spaß und Spannung Matthias C. Utesch, Dominik Bösl, Patrie Boscolo, Christine Helfer, Hochschule München Aktivierende Lehre im Software Engineering durch Gruppenpuzzle und Lernen durch Lehren - Ein Erfahrungsbericht 617 Veronika Thurner, Hochschule München Lehrkonzepte zur Vermittlung ingenieurmäßiger Entwicklung von Software mit der UML 623 Kevin Riebandt, Gert Bikker, Christina Braun-Wagner, Ostfalia - Hochschule für angewandte Wissenschaften Weitere A utorenbeiträge Modifikation des Taskzustandsmodells des LLREF-Schedulers auf einem Dual-Core-Prozessor. 628 S. Krämer, J. Mottok, Laboratory for Safe and Secure Systems, Hochschule Regensburg H. Meier, Laborßr Industrielle Elektronik Hochschule Regensburg Beschreibung eines kooperativen Tasksystems mit OSEK-konformen Scheduler durch Petri Netze 637 Michael Schorer, Jürgen Mottok, Hochschule Regensburg, Stefan Kuntz, Continental 15

10 Migration Overhead in Multiprocessor Scheduling 645 G. Stamatescu, D. Popescu, University Politehnica, M. Deubzer, J. Mottok LaS 3, University of Applied Science Diskussion des Einsatzes von Safely Embedded Software in FPGA-Architekturen M. Steindl, J. Mottok, Hochschule Regensburg, LaS 3, H. Meier, F. Schiller, M. Fruechtl, Technische Universität München 654 Anwendung der universellen Testsystem-Architektur für automatisierte Software-Funktionstests 662 Dmitry Korotkiy, Bernd Spiegelberger, Technische Universität München Anforderungs- und Testmanagement für mechatronische Systeme 668 Alexander Naß (itm), Hendrik Dettmering (Prozesswerk), Bernd Spiegelberger (itm) Mechatronischer Benchmark für Entwicklungsvorhaben im deutschen Maschinenund Anlagenbau 673 Bernd Spiegelberger, Dmitry Korotkiy, TU München, Rainer Steuer, ITQ Ein dynamisches Hardware-Software-Codesign für eingebettete echtzeitfähige Roboter- Kontrolleinheit basierte auf HW/SW- (Um-)Verteilung 680 Hossam Addeen Ramadan, Günter Kemnitz Institut für Informatik - Technische Universität Clausthal Device Emulation mittels OSGi und Flash 685 Marcus Harringer, MicroDoc Embedded Echtzeitanwendungen schneller entwickeln - mit Lab VIEW auf Mikroprozessoren 688 Marco Schmid, Schmid Engineering Entwicklung mobiler industrieller Handmessgeräte mit Lab VIEW Embedded 696 Marco Schmid, Schmid Engineering, Gerhard Schlicht, CC&I Computer Communication & Interface Rapid Protoyping für Embedded Robotik/Motion- und Automatisierungsanwendungen 706 Marco Schmid, Schmid Engineering, Gerhard Schlicht, CC&I Computer Communication & Interface Notwendigkeit und Nutzen von Software-Architekturen für Embedded Systems 715 Uwe Werner, iocon Für Ihre Notizen..721 Firmenverzeichnis: Alle Aussteller von A bis Z