PG Mauritius Entwicklung automotiver Softwaresysteme
|
|
- Frieda Martina Kohl
- vor 6 Jahren
- Abrufe
Transkript
1 PG Mauritius Entwicklung automotiver Softwaresysteme Wilhelm Schäfer, Matthias Gehrke, Joel Greenyer, Stefan Henkler, Dietrich Travkin
2 Inhalt I. Motivation II. Aufgabenstellung III. Beispiel IV. Ziele & Was euch erwartet V. Organisatorisches PG Mauritius Stefan Henkler - 2
3 I. Auto und Software Engineering? o 61 Steuergeräte Davon 45 verschiedene o Nur drei entkoppelte Bussysteme inklusive eines optischen (3860 m Kabel; 64 Kg) o Ca Signale in 250 Bus -Nachrichten PG Mauritius Stefan Henkler - 3
4 Automotives Software Engineering o Charakteristika Harte Echtzeit Starke Ressourcenbeschränkung Hochgradig vernetzt Hohe Anforderung an Sicherheit und Zuverlässigkeit o Herausforderungen Dramatischer Anstieg der Komplexität (durch Vernetzung/Kommunikation) Heterogenität bei Hardware und Software Lieferkette mit Herstellern und Zuliefern [Liggesmeyer&Rombach2005, chapter 16] [Schuffele&Zurawka2004] PG Mauritius Stefan Henkler - 4
5 II. Aufgabenstellung o Betrachtungsgegenstand: Requirements Engineering Spezifikation von Anforderungen Verifikation und Validierung von Anforderungen Spezielles Augenmerk auf Kommunikation zwischen Komponenten/Subsystemen o Aufgabenstellung: Wie kann trotz der extrem steigenden Komplexität (z.b. durch die steigenden Kommunikation) Anforderungen geeignet Systematisiert, verifiziert und validiert werden In einen Entwurf überführt werden o Lösungsidee: Übertragen und anpassen von Ergebnissen aus dem Requirements- und Software-Engineering auf die AUTOSAR Architektur ( PG Mauritius Stefan Henkler - 5
6 Betrachtungsgegenstand Automotives Software Engineering Anforderungen Anforderungen werden an die einzelnen Zulieferer weitergeben 1 1 Zulieferer Design Hersteller hat Vorstellung Über das Gesamtprodukt Hersteller Teng Tload Vehicle Dynamics PG Mauritius Stefan Henkler - 6
7 Betrachtungsgegenstand Automotives Software Engineering Anforderungen 1 1 Zulieferer entwerfen Komponenten Unabhängig voneinander Zulieferer Design Teng Tload Hersteller Vehicle Dynamics Teng Tload Vehicle Dynamics PG Mauritius Stefan Henkler - 7
8 Betrachtungsgegenstand Automotives Software Engineering Anforderungen 1 1 Zulieferer Design Teng Tload Hersteller Vehicle Dynamics Teng Problemfall Kommunikation: Zusammenschalten der Komponenten schlägt häufig fehl, da die Kommunikation nicht geeignet Berücksichtigt wird Validierung Tload Vehicle Dynamics PG Mauritius Stefan Henkler - 8
9 Betrachtungsgegenstand Automotives Software Engineering Anforderungen 1 1 Anforderungen Überdeckt? Zulieferer Design Teng Tload Hersteller Vehicle Dynamics Teng Validierung Tload Vehicle Dynamics PG Mauritius Stefan Henkler - 9
10 Aufgabenstellung Automotives Software Engineering Anforderungen 1 1 Trotz steigender Komplexität: Anforderungen systematisieren, validieren und in Entwurf überführen Design Zulieferer Teng Tload Hersteller Vehicle Dynamics Validierung Teng Tload Vehicle Dynamics PG Mauritius Stefan Henkler - 10
11 Lösungsidee Anforderungen 1 1 Zulieferer Design Teng Tload Hersteller Vehicle Dynamics Teng Tload Übertragen und anpassen von Ergebnissen aus dem Requierements und Software Engineering auf die AUTOSAR Architektur ( Vehicle Dynamics PG Mauritius Stefan Henkler - 11
12 III. Beispiel Verhaltenssynthese Im folgenden wird am Beispiel des Shuttle Konvois (Railcab - eine Synthese von Kommunikationsverhalten vorgestellt. Ausgangspunkt sind dabei Sequenzdiagramme zur Interaktionsbeschreibung von Komponenten. Die Sequenzdiagramme sind dabei eine Art Anforderungsbeschreibungssprache. Die Verhaltensdiagramme werden hier als eine Modellierungssprache für den Entwurf verwendet, aus denen C++ Code generiert werden kann. Aufbauend auf dieser Arbeit können im Rahmen der PG weitere Verhaltenssynthese Verfahren erschlossen werden, in dem zum Beispiel weitere Anforderungsbeschreibungssprachen betrachtet werden. Z.B. die Umgebungsbeschreibung oder die Zielbeschreibung. Ähnlich zu dem Beispiel der Verhaltenssynthese kann auch eine automatische Testableitung aus gegeben Szenarien der Anforderungen erfolgen. Um diese Verfahren umzusetzen fallen unter anderem folgende Arbeiten an: Entwicklung eines Metamodells für die Modellierungssprache(n) (Anforderung und Entwurf) Auf Basis des Metamodells Editoren entwickeln (Eclipse, GEF, ) Auf Basis des Metamodells Synthese Verfahren entwickeln / Testgenerierungen entwickeln / Constraints für Formale Verifikation entwickeln Implementierungssprache Java, IDE Eclipse, Eclipse Frameworks wie GEF PG Mauritius Stefan Henkler - 12
13 Beispiel Verhaltenssynthese o Szenarien zur Beschreibung von Interaktionen zwischen Komponenten F ABA Tool Suite RT Synthese des Kommunikationsverhaltens Formale Verifikation des Verhaltens (Deadlock Freiheit) C++ Code Generierung aus den Verhaltensmodellen U J SequenceDiagram??? Timed Constraint Graph (Analysis) Structure Timed Constraint Graph (Analysis) Pattern (Modeling/Refinement) Lokale Fehler Timed Automata Code (Verification) Holger Giese, Stefan Henkler, Martin Hirsch, and Florian Klein, 'Nobody's perfect: Interactive Synthesis from Parametrized Real-Time Scenarios', in Proc. of the 5th ICSE 2006 Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06),Shanghai, China, pp , ACM Press, May PG Mauritius Stefan Henkler - 13
14 Beispiel Verhaltenssynthese o Szenarien zur Beschreibung von Interaktionen zwischen Komponenten Hier befinden wir uns noch bei einer Form der Anforderungsbeschreibung F U J ABA Tool Suite RT??? Structure Structure SequenceDiagram (Modeling) PG Mauritius Stefan Henkler - 14
15 Beispiel Verhaltenssynthese o Überführen der Szenarien in Timed Constraint Graphen, auf denen analysen durchgeführt werden F U J ABA Tool Suite RT??? Monitor Channel1 Actuator Structure Structure SequenceDiagram (lbm,p1,g) Wait LT1 (0,TOut4,c) Timed Constraint Graph (Analysis) DoLifeTick (lbm,p2,g) Initiate! (0,p3,w)? (0,p4,w) ready (lbm2,lbm2,g) Sent (lbm,p5,g) synchronisation MC: (lbc,lbc,g) received (bd_l, bd_u,g) forward (lbc,lbc,g) ready?! (0,p10,w) (0,p9,w) synchronisation CA: Wait InitReceive (lba2,lba2,g) received (lba,p13,g) (lba,p14,g) Timed Constraint Graph (Analysis) PG Mauritius Stefan Henkler - 15
16 Beispiel Verhaltenssynthese o Aus den Timed Constraint Graphen können Statecharts (Realtime Statecharts) synthetisiert werden Jetzt befinden wir uns im Entwurf F U J ABA Tool Suite RT Monitor Channel1 Actuator Wait LT1 (0,TOut4,c) (lbm,p1,g) DoLifeTick (lbm,p2,g) Initiate!? (0,p3,w) (0,p4,w) ready??? Structure Structure SequenceDiagram synchronisation MC: (lbc,lbc,g) (lbm2,lbm2,g) received Wait Sent (lba,p13,g) (bd_l, bd_u,g) InitReceive?! forward (0,p10,w) Monitor Channel1 (0,p9,w) Actuator synchronisation CA: (lbm,p5,g) (lba2,lba2,g) (lbc,lbc,g) received ready Wait LT1 (lba,p14,g) (0,TOut4,c) (lbm,p1,g) Timed Constraint Graph (Analysis) Pattern (Modeling/Refinement) DoLifeTick (lbm,p2,g) Initiate! (0,p3,w)? (0,p4,w) ready (lbm2,lbm2,g) Sent (lbm,p5,g) synchronisation MC: (lbc,lbc,g) received (bd_l, bd_u,g) forward (lbc,lbc,g) ready?! (0,p10,w) (0,p9,w) synchronisation CA: Wait InitReceive (lba2,lba2,g) received (lba,p13,g) (lba,p14,g) Pattern (Modeling/Refinement) PG Mauritius Stefan Henkler - 16
17 Beispiel Verhaltenssynthese o Durch Überführung der Realtime Statecharts nach Timed Automata, lässt sich das Modell formal verifizieren F U J ABA Tool Suite RT Monitor Channel1 Actuator Wait LT1 (0,TOut4,c) (lbm,p1,g) DoLifeTick (lbm,p2,g) Initiate!? (0,p3,w) (0,p4,w) ready??? Structure Structure SequenceDiagram synchronisation MC: (lbc,lbc,g) (lbm2,lbm2,g) received Wait Sent (lba,p13,g) (bd_l, bd_u,g) InitReceive?! forward (0,p10,w) (0,p9,w) synchronisation CA: (lbm,p5,g) (lba2,lba2,g) (lbc,lbc,g) received ready (lba,p14,g) Timed Constraint Graph (Analysis) Pattern (Modeling/Refinement) Code Timed Automata (Verification) Timed Automata (Verification) PG Mauritius Stefan Henkler - 17
18 Beispiel Verhaltenssynthese o Aus dem Realtime Statecharts Modell wird c++ Code generiert F U J ABA Tool Suite RT Monitor Channel1 Actuator Wait LT1 (0,TOut4,c) (lbm,p1,g) DoLifeTick (lbm,p2,g) Initiate!? (0,p3,w) (0,p4,w) ready??? Structure Structure SequenceDiagram synchronisation MC: (lbc,lbc,g) (lbm2,lbm2,g) received Wait Sent (lba,p13,g) (bd_l, bd_u,g) InitReceive?! forward (0,p10,w) (0,p9,w) synchronisation CA: (lbm,p5,g) (lba2,lba2,g) (lbc,lbc,g) received ready (lba,p14,g) Timed Constraint Graph (Analysis) Pattern (Modeling/Refinement) Code Timed Automata (Verification) Code PG Mauritius Stefan Henkler - 18
19 Beispiel Verhaltenssynthese o Gesamtüberblick über alle beteiligten Phasen Anforderungen, Entwurf und Implementierung (Code Generierung) F U J ABA Tool Suite RT Monitor Channel1 Actuator Wait LT1 (0,TOut4,c) (lbm,p1,g) DoLifeTick (lbm,p2,g) Initiate!? (0,p3,w) (0,p4,w) ready??? Structure Structure SequenceDiagram synchronisation MC: (lbc,lbc,g) (lbm2,lbm2,g) received Wait Sent (lba,p13,g) (bd_l, bd_u,g) InitReceive?! forward (0,p10,w) (0,p9,w) synchronisation CA: (lbm,p5,g) (lba2,lba2,g) (lbc,lbc,g) received ready (lba,p14,g) Timed Constraint Graph (Analysis) Pattern (Modeling/Refinement) Code Timed Automata (Verification) PG Mauritius Stefan Henkler - 19
20 IV. Ziele o Systematisierung der Anforderungsbeschreibung im Automobilbereich o Maßnahmen zur Steigerung der Validität der Anforderungen bis in den Entwurf o Rückführen von Validierungsergebnissen in die Anforderungsbeschreibungen Welche Anforderungen sind erfüllt und/oder überprüft? PG Mauritius Stefan Henkler - 20
21 Was euch erwartet PG Mauritius Stefan Henkler - 21
22 Was euch erwartet o Mischung aus Theorie und Praxis o Kennenlernen von topaktuellen Technologien und Modellierungsmethoden - mit domänenübergreifender Relevanz o Ausgewogene und kreative Teilaufgaben: Konzepte entwickeln, die dann in Editoren, Modellen, Algorithmen umgesetzt werden o Evaluierung an einem praxisrelevanten Anwendungsbeispiel PG Mauritius Stefan Henkler - 22
23 V. Organisatorisches o Prüfungsleistung: Projektgruppe (SWT) o Perspektiven Diplomarbeiten/SHK Tätigkeiten Die Fachgruppen Software Engineering und Database and Information Systems sind Nummer 1 in Deutschland im Bereich Software Engineering, weltweit Top 16 (Communications of the ACM (Juni 2007) ) s-lab und Industrie o Anmeldung: max. 15 Plätze Heute: Liste im Anschluss an Alle Vorträge Danach: an Stefan Henkler <shenkler@upb.de> o Weitere Informationen <shenkler@upb.de> PG Mauritius Stefan Henkler - 23
24 Organisatorisches o Prüfungsleistung: Projektgruppe (SWT) o Perspektiven Diplomarbeiten/SHK Tätigkeiten Die Fachgruppen Software Engineering und Database and Information Systems sind Nummer 1 in Deutschland im Bereich Software Engineering, weltweit Top 16 (Communications of the ACM (Juni 2007) ) s-lab und Industrie o Anmeldung: max. 15 Plätze Heute: Liste im Anschluss an Alle Vorträge Danach: an Stefan Henkler <shenkler@upb.de> o Weitere Informationen <shenkler@upb.de> PG Mauritius Stefan Henkler - 24
FRAUNHOFER-INSTITUT FÜR PRODUKTIONSTECHNOLOGIE IPT PROJEKTGRUPPE ENTWURFSTECHNIK MECHATRONIK
FRAUNHOFER-INSTITUT FÜR PRODUKTIONSTECHNOLOGIE IPT PROJEKTGRUPPE ENTWURFSTECHNIK MECHATRONIK DIE METHODE FÜR DEN SOFTWAREENTWURF VERNETZTER MECHATRONISCHER SYSTEME Innovative Funktionen moderner mechatronischer
MehrProjektgruppe SHUTTLE II
1. Besprechung 16.10.2003 Sven Burmester, Rainer Feldmann, Florian Klein, Matthias Tichy AG Softwaretechnik Email: hg@upb.de Prof. Dr. Wilhelm Schäfer Projektgruppe SHUTTLE II Safe Holons for a Ubiquitous
MehrProseminar: Moderne Technologien für die Entwicklung von verteilten, dynamischen Anwendungen
Proseminar: Moderne Technologien für die Entwicklung von verteilten, dynamischen Anwendungen Einführung Prof. Dr. Joel Greenyer 3. April 2013 Organisation Leitung: Joel Greenyer Büro: g322 email: greenyer@inf.uni-hannover.de
MehrComparing Software Factories and Software Product Lines
Comparing Software Factories and Software Product Lines Martin Kleine kleine.martin@gmx.de Betreuer: Andreas Wuebbeke Agenda Motivation Zentrale Konzepte Software Produktlinien Software Factories Vergleich
MehrModellbasierte Softwareentwicklung eines Kamera basierten Scheinwerfer-Adaptions-Algorithmus. Gerd Mauthe
Modellbasierte Softwareentwicklung eines Kamera basierten Scheinwerfer-Adaptions-Algorithmus Gerd Mauthe München 10.05.2016 MATLAB Expo 2016 Inhalte Vorstellung Thema Algorithmus Konzepte Implementierung
MehrTransfer von Prozessen des Software-Produktlinien Engineering in die Elektrik/Elektronik- Architekturentwicklung von Fahrzeugen
Transfer von Prozessen des Software-Produktlinien Engineering in die Elektrik/Elektronik- entwicklung von Fahrzeugen Martin Jaensch, Dr. Bernd Hedenetz, Markus Conrath Daimler AG Prof. Dr. Klaus D. Müller-Glaser
MehrVortrag zum Hauptseminar Hardware/Software Co-Design
Fakultät Informatik Institut für Technische Informatik, Professur für VLSI-Entwurfssysteme, Diagnostik und Architektur Vortrag zum Hauptseminar Hardware/Software Co-Design Robert Mißbach Dresden, 02.07.2008
MehrEntwurfsmuster und Softwarearchitekturen für sicherheitskritische Systeme
1 Entwurfsmuster und Softwarearchitekturen für sicherheitskritische Systeme Für das Seminar Analyse, Entwurf und Implementierung zuverlässiger Software Von: Andreas Seibel Betreut durch: Dr. Holger Giese
MehrAktuelle Fortschritte von MDAbasierten Entwicklungsansätzen im Bereich Fahrerassistenzsysteme
Fakultät Informatik Institut f ür Angewandte Inf ormatik, Prof essur TIS Aktuelle Fortschritte von MDAbasierten Entwicklungsansätzen im Bereich Fahrerassistenzsysteme Hauptseminar Technische Informationssysteme
MehrGrundlagen des Software Engineering für Automotive Systems. Hauptseminar im WS 2012 / 2013
Grundlagen des Software Engineering für Automotive Systems Hauptseminar im WS 2012 / 2013 Automotive Software Engineering Heutzutage werden Innovationen im Automobil überwiegend in Software realisiert.
MehrAgilität trifft Funktionale Sicherheit
Agilität trifft Funktionale Sicherheit Wie agil können FuSi Projekte sein? Dipl.-Ing. (FH) Martin Heininger HEICON Global Engineering Agiles Manifest 12 Prinzipien hinter dem Agilen Manifest FuSi Softwareentwicklung
MehrSeminar: Fehlertolerante und Selbstheilende Systeme
Seminar: Fehlertolerante und Selbstheilende Systeme Juniorprofessor Dr. Holger Giese, Stefan Henkler, Matthias Tichy FG Softwaretechnik Raum E 3.165 Tele. 60-3321 [hg,mtt,shenkler]@upb.de Fehlertoleranz
MehrFormale Entwicklung objektorientierter Software
Formale Entwicklung objektorientierter Software Praktikum im Wintersemester 2007/2008 Prof. P.H. Schmitt, Dr. Thomas Käufl, Christian Engel, Benjamin Weiß 24. Oktober 2007 Formale Entwicklung objektorientierter
MehrEin Testprozess für Modellbasiertes Testen
Ein Testprozess für Modellbasiertes Testen Seminar: Software-Qualitätssicherung Tobias Eckardt 8. Juli 2008 Testen von Softwaresystemen Fehler in einer adaptiven Geschwindigkeitsregelung (engl. adaptive
MehrSoftware-Engineering in der Servicerobotik Der Weg zum modellgetriebenen Softwareentwurf
Servicerobotik Autonome Mobile Serviceroboter Software-Engineering in der Servicerobotik Der Weg zum modellgetriebenen Softwareentwurf, Dennis Stampfer und Christian Schlegel Institut für Informatik Hochschule
MehrZiele und Tätigkeiten von Architekten
Ziele und Tätigkeiten von Architekten Definition Software Architektur o A software architecture provides a model of a whole software system that is composed of internal behavioral units (i.e. components)
MehrErweiterte Vorgehensmodelle für die Entwicklung echtzeitfähiger, hochintegrierter, multifunktionaler Steuergeräte-Plattformen
Erweiterte Vorgehensmodelle für die Entwicklung echtzeitfähiger, hochintegrierter, multifunktionaler Steuergeräte-Plattformen Andreas Baudisch, AUDI AG Dr. Kai Richter, Symtavision GmbH Stefan Sollmann,
MehrModellgetriebene Softwareentwicklung für Robotiksysteme
Servicerobotik Autonome Mobile Serviceroboter für Robotiksysteme, Dennis Stampfer und Christian Schlegel Fakultät Informatik ZAFH Servicerobotik Hochschule Ulm http://smart-robotics.sourceforge.net/ http://www.zafh-servicerobotik.de/ulm/index.php
MehrMethode zur Entwicklung sicherheitskritischer eingebetteter Systeme mittels deterministischer UML-Modelle
Methode zur Entwicklung sicherheitskritischer eingebetteter Systeme mittels deterministischer UML-Modelle Workshop "Entwicklung zuverlässiger Software-Systeme" MSc Dipl.- Ing. Zamira Daw Regensburg, 18.
MehrScheduling for Time-Triggered Network Communication
Scheduling for Time-Triggered Network Communication Jan Kamieth jan.kamieth@informatik.haw-hamburg.de Hochschule für Angewandte Wissenschaften Hamburg 14. Juni 2012 Agenda (1)Rückblick (2)Verwandte Arbeiten
MehrModellbasierte Testautomatisierung mit Fitnesse
Modellbasierte Testautomatisierung mit Fitnesse Tilo Sauer, GEBIT Solutions GmbH Berlin, Düsseldorf, Stuttgart Copyright 2011 GEBIT Solutions Agenda Motivation Big Picture Kurzvorstellung Entwicklungsprozess
MehrTiming-fokussiertes Design eingebetteter Systeme Matthias Dörfel, doerfel@inchron.com Tapio Kramer, kramer@inchron.com
Timing-fokussiertes Design eingebetteter Systeme Matthias Dörfel, doerfel@inchron.com Tapio Kramer, kramer@inchron.com Durch Design-Fehler entstandene Timing-Probleme werden häufig erst sehr spät im Entwicklungsprozess
MehrKonzeption und Entwicklung eines sicheren Cloudbasierten Internetbanking-Systems mit
Konzeption und Entwicklung eines sicheren Cloudbasierten Internetbanking-Systems mit anschließender Sicherheitsanalyse auf Basis von Business Process Mining im SoSe 2011 & Prof. Jan Jürjens, Dr. Holger
MehrTelling TestStories Modellbasiertes Akzeptanz Testen Serviceorientierter Systeme
Telling TestStories Modellbasiertes Akzeptanz Testen Serviceorientierter Systeme Michael Felderer Workshop Requirements Engineering meets Testing Bad Honnef, 5. Juni 2008 1 Überblick Grundbegriffe Motivation
MehrKürzlich abgeschlossene Diplom- und Masterarbeiten
Kürzlich abgeschlossene Diplom- und Masterarbeiten Aufbereitung von Altlasten-Datenbanken 2006 Aufzählen von Modellen für poröse Strukturen 2006 Design and Implementation of a Database Application for
MehrDomänenspezifisch entwickeln mit UML (Vortrag mit Demo)
Gert Bikker, Kevin Barwich, Arne Noyer Domänenspezifisch entwickeln mit UML (Vortrag mit Demo) Die Modellierung mit UML bietet auch für eingebettete Systeme viele Vorteile. Um die Vorteile effizient nutzen
MehrOSEK-OS. Oliver Botschkowski. oliver.botschkowski@udo.edu. PG AutoLab Seminarwochenende 21.-23. Oktober 2007. AutoLab
OSEK-OS Oliver Botschkowski oliver.botschkowski@udo.edu PG Seminarwochenende 21.-23. Oktober 2007 1 Überblick Einleitung Motivation Ziele Vorteile Einführung in OSEK-OS Architektur Task Management Interrupt
MehrLaufzeitverifikation
Laufzeitverifikation Martin Möser Seminar Fehlertolerante und Selbstheilende Systeme: Verifikation und Validierung autonomer Systeme Martin Möser - 1 Einführung / Motivation Autonome Systeme Komplexes
Mehrmodellzentrierter Test
modellzentrierter Test Systematisierung und Effizienzsteigerung durch den Einsatz von Modellen E. Herzog, G. Klebes, F. Prester sepp.med GmbH MDSD Today 2008, Über uns Metamethoden für innovative Software-
MehrRealisierung eines Getriebe- HiL mit VeLoDyn, NI PXI RT- System und NI VeriStand
Realisierung eines Getriebe- HiL mit VeLoDyn, NI PXI RT- System und NI VeriStand NI-Automotive-Technologietag Benjamin Grote Wolfsburg, 25.05.2011 Innovationen in Serie Inhalt NI-Automotive-Technologietag
MehrEntwicklungsbegleitende Verifikation von AUTOSAR Steuergerätefunktionen auf Basis einer Test-RTE und SiL-Simulation
Entwicklungsbegleitende Verifikation von AUTOSAR Steuergerätefunktionen auf Basis einer Test-RTE und SiL-Simulation GI-Fachgruppe Test, Analyse und Verification von Software (TAV) 30. Treffen: 17. und
MehrHW/SW CODESIGN. Echtzeitverhalten. Mehmet Ozgan 0526530. 17. November 2015
HW/SW CODESIGN Echtzeitverhalten 17. November 2015 Mehmet Ozgan 0526530 ÜBERBLICK 1. Echtzeitsysteme 2. Hardware im Zeitbereich 3. Software im Zeitbereich 2 ECHTZEITSYSTEME REAL-TIME SYSTEM Ein Echtzeitsystem
MehrSpecifying Patterns for Dynamic Pattern Instance Recognition with UML 2.0 Sequence Diagrams. Lothar Wendehals. Universität Paderborn
Specifying Patterns for Dynamic Pattern Instance Recognition with UML 2.0 Sequence Diagrams Lothar Wendehals 6. Workshop Software-Reengineering Bad Honnef, 3. - 5. Mai 2004 Motivation Unterstützung des
MehrThemen für Abschlussarbeiten/Praktika im Bereich FlexRay
Kopfarbeit mit Spaßfaktor Kopfarbeit mit Spaßfaktor Von A3 bis Z4 wir sind marktführend in der Entwicklung von Softwarewerkzeugen und komponenten für die Vernetzung von Steuergeräten in Fahrzeugen. Über
MehrLarge Scale Data Management
Large Scale Data Management Beirat für Informationsgesellschaft / GOING LOCAL Wien, 21. November 2011 Prof. Dr. Wolrad Rommel FTW Forschungszentrum Telekommunikation Wien rommel@ftw.at Gartner's 2011 Hype
MehrVorlesung Donnerstags, 10.00 bis 11.30 Uhr, HS12 Übung Dienstags, 14.00 bis 15.30 Uhr 4-5 ÜbungsbläMer (Programmieraufgaben)
Komponenten Einführung Organisatorisches 2+1 SWS Vorlesung Donnerstags, 10.00 bis 11.30 Uhr, HS12 Übung Dienstags, 14.00 bis 15.30 Uhr 4-5 ÜbungsbläMer (Programmieraufgaben) Klausur 28. Februar 2013 Unterlagen
MehrProbeklausur. Lenz Belzner. January 26, 2015. Lenz Belzner Probeklausur January 26, 2015 1 / 16
Probeklausur Lenz Belzner January 26, 2015 Lenz Belzner Probeklausur January 26, 2015 1 / 16 Definieren Sie Software Engineering in Abgrenzung zu Individual Programming. Ingenieursdisziplin professionelle
MehrEINFÜHRUNG IN DIE WIRTSCHAFTSINFORMATIK -ÜBUNGEN- Marina Tropmann-Frick mtr@is.informatik.uni-kiel.de www.is.informatik.uni-kiel.
EINFÜHRUNG IN DIE WIRTSCHAFTSINFORMATIK -ÜBUNGEN- Marina Tropmann-Frick mtr@is.informatik.uni-kiel.de www.is.informatik.uni-kiel.de/~mtr FRAGEN / ANMERKUNGEN Vorlesung Neue Übungsaufgaben MODELLIERUNG
MehrRequirements Engineering I
Norbert Seyff Requirements Engineering I UML Unified Modeling Language! 2006-2012 Martin Glinz und Norbert Seyff. Alle Rechte vorbehalten. Speicherung und Wiedergabe für den persönlichen, nicht kommerziellen
MehrEvolution vs. semantische Konsistenz
Evolution vs. semantische Konsistenz Workshop des GI-AK Traceability, Dortmund J. Jürjens Das Forschungsprojekt ClouDAT (Förderkennzeichen 300267102) wird/wurde durch das Land NRW und Europäischen Fonds
MehrMOF Meta Object Facility. Veranstaltungsvortrag im Rahmen der Projektgruppe ComponentTools
MOF Meta Object Facility Veranstaltungsvortrag im Rahmen der Projektgruppe ComponentTools Überblick Object Management Group (OMG) Model Driven Architecture (MDA) Exkurs: Modelle, Metamodelle MOF Architektur
Mehrwe keep you ahead Ihr leistungsstarker und zuverlässiger Partner für computerunterstützte Prozesse.
we keep you ahead electronics vehicle engineering solutions Zukunft CAx Methoden, ist ein steuerbarer Training & Support. Gedanke. Ihr leistungsstarker und zuverlässiger Partner für computerunterstützte
MehrSystemdenken und Gestaltungsmethodik System-Modellierung
Systemdenken und Gestaltungsmethodik System-Modellierung Prof. Dr.-Ing. Stefan Brunthaler TFH Wildau 2008ff Master Telematik Ausgangsbasis Es liegt ein kosten-nutzen-optimales Lösungskonzept vor. Die Architektur
MehrVorlesung Automotive Software Engineering Prüfung Wintersemester 2014/15 TU Darmstadt, FB 18 und FB 20
Vorlesung Automotive Software Engineering Prüfung Wintersemester 2014/15 TU Darmstadt, FB 18 und FB 20 Prof. Dr. rer. nat. Bernhard Hohlfeld Bernhard.Hohlfeld@mailbox.tu-dresden.de Technische Universität
MehrSeamless Model-based Engineering of a Reactive System
Seamless Model-based Engineering of a Reactive System Seminar im Wintersemester 2013/2014 Andreas Vogelsang, Sebastian Eder, Georg Hackenberg, Maximilian Junker http://www4.in.tum.de/lehre/seminare/ws1314/seamless/
MehrFunktionale Sicherheit ISO 26262 Schwerpunkt Requirements Engineering,
Funktionale Sicherheit ISO 26262 Schwerpunkt Requirements Engineering, Manfred Broy Lehrstuhl für Software & Systems Engineering Technische Universität München Institut für Informatik ISO 26262 Functional
MehrSoftware- und Systementwicklung
Software- und Systementwicklung Seminar: Designing for Privacy 11.11.2009 Moritz Vossenberg Inhalt Vorgehensmodelle Wasserfallmodell V-Modell Phasen (Pflichtenheft) UML Klassendiagramm Sequenzdiagramm
MehrModel-Based Design für AUTOSAR Komponenten
W H I T E P A P E R Model-Based Design für AUTOSAR Komponenten Autoren: Guido Sandmann Automotive Marketing Manager EMEA Dr. Hans Martin Ritt Senior Teamleader Application Engineering Dr. Joachim Schlosser
MehrMDRE die nächste Generation des Requirements Engineerings
MDRE die nächste Generation des Requirements Engineerings Tom Krauß, GEBIT Solutions GmbH Copyright 2007 GEBIT Solutions Agenda Requirements Engineering heute eine Bestandsaufnahme Modell-Driven Requirements
MehrModeling Security Aspects of Network Aggregation Protocols. Fachgespräch Sensornetze 2009 14. August 2009
Modeling Security Aspects of Network Aggregation Protocols Frank Werner Raoul Steffen Fachgespräch Sensornetze 2009 14. August 2009 Motivation Formale Methoden: Einsatz mathematischer Modelle und Techniken
Mehr16 Architekturentwurf Einführung und Überblick
Teil III: Software-Architekturentwurf 16 Architekturentwurf Einführung und Überblick 16.1 Software entwerfen Warum? Beim Arbeiten im Kleinen nicht oder nur ansatzweise (Detailentwurf) Größere Software
MehrMultidisziplinäre und verteilte Simulationen in der Industrie
Multidisziplinäre und verteilte Simulationen in der Industrie Marc Lob Forum»Virtualisierung und Grid Computing«Stuttgart, 27. Mai 2008 Inhalt Gekoppelte Multi-Physics-Simulation Reconfigurable Computing
MehrEreignisgesteuertes Ressourcenmanagement mit der Oracle SOA-Suite
Ereignisgesteuertes Ressourcenmanagement mit der Oracle SOA-Suite DOAG Konferenz Nürnberg, 22. November 2007 Gliederung Ziele der Entwicklung Internet Standard Management Framework Basis: Java component
MehrFIBEX Theorie und Praxis
CRST GmbH FIBEX Theorie und Praxis Thomas Criegee CRST GmbH Münchener Str. 4a D-83 Gauting Tel. 089-893043/45 www.crst.de Göpel Automotive Days 007 Jena, 9. Juni 007 Inhalt Theorie Praxis Tools FIBEX =
MehrZuverlässige Informationsbereitstellung in energiebewussten ubiquitären Systemen (ZeuS)
Zuverlässige Informationsbereitstellung in energiebewussten ubiquitären Systemen () Vergleich von Ansätzen zur Netzwerkanalyse in drahtlosen Sensornetzen Joachim Wilke,, Markus Bestehorn, Zinaida Benenson,
MehrSchnupperkurs. Steigerung gder Effizienz bei der Anwendungserstellung mit Hilfe von. Dipl. Ing.(FH) Rüdiger Ellmauer. Applications Engineer
Schnupperkurs Steigerung gder Effizienz bei der Anwendungserstellung mit Hilfe von LabVIEW Toolkits Dipl. Ing.(FH) Rüdiger Ellmauer Applications Engineer Umgebung zur Erstellung von Mess und Automatisierungssoftware
MehrMethoden zur Visualisierung von ereignisdiskreten Analysedaten
Fakultät Informatik, Institut für Angewandte Informatik, Professur Technische Informationssysteme Methoden zur Visualisierung von ereignisdiskreten Analysedaten Referent: Hendrik Freund Betreuer: Vladimir
MehrModellierung von Echtzeitsystemen mit dem UML CASE Tool Telelogic Tau G2 Developer
Modellierung von Echtzeitsystemen mit dem UML CASE Tool Telelogic Tau G2 Developer Holger Sinnerbrink Einführung Firmenentwicklung Gründung von Telelogic 1983 als Forschungs- und Entwicklungsabteilung
MehrSeminar Programmierung und Reaktive Systeme
Seminar Programmierung und Reaktive Systeme Qualitätssicherung Softwareintensiver Eingebetteter Systeme Betreuer: Sascha Lity, Hauke Baller in Kooperation mit dem Institut für Softwaretechnik und Fahrzeuginformatik
MehrApplication Requirements Engineering
Application Requirements Engineering - Fokus: Ableitung von Produktanforderungen - Günter Halmans / Prof. Dr. Klaus Pohl Software Systems Engineering ICB (Institute for Computer Science and Business Information
MehrGrundlagen der Programm- und Systementwicklung
Grundlagen der Programm- und Systementwicklung Technische Universität München Institut für Informatik Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy Unter Mitarbeit von Dr. Maria Spichkova
MehrSoftwaretechnik. Fomuso Ekellem WS 2011/12
WS 2011/12 Inhalt Wiederholung Weitere Begriffe Programmierung im Großem (Programmierung von Software als Ganzes) Prozess-Modelle 2 Wiederholung: Prozesse Prozesse sind hierarchische Gruppierungen von
MehrIT-Transformation How to run changing systems
IT-Transformation How to run changing systems Vortrag auf der SKIL 2012 Leipzig, 25.9.2012 Agenda/Inhalt 1 IT-Transformation: Begriffsklärung 2 IT-Transformation: Hauptherausforderungen und wie man damit
MehrEntwurf autonomer mobiler Systeme
Entwurf autonomer mobiler Systeme NI LabVIEW Robotics als Standardhard- und - softwareplattform für mobile Robotersysteme Jochen Klier AE-Specialists Manager Agenda Herausforderungen in der Robotik LabVIEW
MehrVirtuelle simulationsbasierte Systementwicklung im DLR. Rolf Hempel, DLR Simulations- und Softwaretechnik
Virtuelle simulationsbasierte Systementwicklung im DLR Aufgabenspektrum und Bedarf der Zusammenarbeit Rolf Hempel, DLR Simulations- und Softwaretechnik Folie 1 Übersicht Anlaß und Aufgabenstellung Trends
MehrPraktikum Software Engineering: Verfahren und Werkzeuge
Praktikum Software Engineering: Verfahren und Werkzeuge Lehrstuhl für Software Engineering (Informatik 11) Verfahren und Werkzeuge Seite 1 Software Engineering Absichten, Aufgaben Systemnutzung Anforderungsspezifikation
MehrSystem Integration. and its compliance testing necessities. Automotive BUS Systems + Ethernet, Stuttgart, 10 Dec 2013.
System Integration and its compliance testing necessities Automotive BUS Systems + Ethernet, Stuttgart, 10 Dec 2013 Georg Janker CTO experts in automotive data communication Agenda 1. Motivation 2. Positionierung
MehrA Domain Specific Language for Project Execution Models
A Domain Specific Language for Project Execution Models Eugen Wachtel, Marco Kuhrmann, Georg Kalus Institut für Informatik Software & Systems Engineering Inhalt Einführung und Hintergrund Problembereiche
MehrErfolgreicher Einsatz von modellbasierter Softwareentwicklung - Praxisbericht
Platz für ein Bild (optional) Erfolgreicher Einsatz von modellbasierter Softwareentwicklung - Praxisbericht 1.0 1.1 Elektronik? Was heisst modellbasierte Software-Entwicklung für uns? Was sind für eine
MehrSafer Software Formale Methoden für ISO26262
Safer Software Formale Methoden für ISO26262 Dr. Stefan Gulan COC Systems Engineering Functional Safety Entwicklung Was Wie Wie genau Anforderungen Design Produkt Seite 3 Entwicklung nach ISO26262 Funktionale
MehrGuido de Melo 5.2.2007 Fachvortrag, Uni Ulm UML 2.0. Für den Einsatz in der Praxis
Guido de Melo 5.2.2007 Fachvortrag, Uni Ulm UML 2.0 Für den Einsatz in der Praxis Seite 2 Überblick 1. Ziele 2. Warum das alles? 3. Was ist UML 4. Diagrammarten 5. Umfeld Seite 3 1. Ziele 1. Ziele dieses
MehrWerkzeuge für Datenbank Handwerker: IBM Data Studio und IBM Optim QWT
Werkzeuge für Datenbank Handwerker: IBM Data Studio und IBM Optim QWT Neue Technologien effizient nutzen Ehningen, 3. Juli 2014 Rodney Krick rk@aformatik.de aformatik Training & Consulting GmbH & Co. KG
MehrWerkzeuggestützte Softwareprüfung
Werkzeuggestützte Softwareprüfung Simulationen und Prototypen Markus Spehling Gliederung Prototypen Motivation Zusammenfassung Prototypen Simulation Motivation Zusammenfassung Simulation DEMO NetBeans
MehrOracle JDeveloper 10 g
Oracle JDeveloper 10 g Modellierung Evgenia Rosa Business Unit Application Server ORACLE Deutschland GmbH Agenda Warum Modellierung? UML Modellierung Anwendungsfall (Use Case)-Modellierung Aktivitätenmodellierung
MehrAlgorithmen und Datenstrukturen CS1017
Algorithmen und Datenstrukturen CS1017 Th. Letschert TH Mittelhessen Gießen University of Applied Sciences Organisatorisches und Einführung Lehrpersonal Dozent Dr. Letschert Tutoren Alissia Sauer Jonas
MehrModellbasierte Entwicklung im Kontext von Medizingeräten
up FPGA Modellbasierte Entwicklung im Kontext von Medizingeräten Gemeinsamer Ausgangspunkt für Software- und Hardwareentwicklung Osnabrück, 06.02.2014, Wanja Schöpfer Agenda 1 Einleitung 2 Modellbasierte
MehrSoftware Engineering II
Software Engineering II Codegenerierung für den SmartIO Editor mit der Modeling Workflow Engine Wintersemester 10/111 Fachgebiet Software Engineering Albert Zündorf / Wiederholung Bisher im Laufe des Semesters
MehrVisual Studio 2010 Neues für Architekten
1 conplement AG 2009. All rights reserved. NIK Technologieseminar Visual Studio 2010 und.net 4.0 inside Visual Studio 2010 Neues für Architekten 16. November 2009 Thomas Hemmer Daniel Meixner conplement
MehrZusicherungen und Laufzeit Überwachungen in der modellbasierten Software Entwicklung
Zusicherungen und Laufzeit Überwachungen in der modellbasierten Software Entwicklung Methoden Design Integration STZ Softwaretechnik Andreas Rau STZ Softwaretechnik Im Gaugenmaier 20 73730 Esslingen Email:
MehrDatenhaltung für Android. Model First
Datenhaltung für Android Model First Frederik Götz, Johannes Tysiak 26.05.2011 Unser Ziel! 26.05.2011 Datenhaltung in Android - Model First» Frederik Götz, Johannes Tysiak 2 Agenda Android Quickstart Datenhaltung
MehrDie Integration zukünftiger In-Car Multimedia Systeme unter Verwendung von Virtualisierung und Multi-Core Plattformen
Die Integration zukünftiger In-Car Multimedia Systeme unter Verwendung von Virtualisierung und Multi-Core Plattformen 0. November 0 Sergio Vergata, Andreas Knirsch, Joachim Wietzke Echtzeit 0 Agenda Motivation
MehrModellbasierte Funktionsentwicklung für Komfortsteuergeräte
Modellbasierte Funktionsentwicklung für Komfortsteuergeräte Vorgehensweise, Ergebnisse und Potenziale Torsten Klein Business Team Manager Modellbasierte Entwicklung Internationale Zuliefererbörse, Wolfsburg,
MehrEinführung in die Informationsverarbeitung Teil Thaller. Stunde VII: Planen und Realisieren
Einführung in die Informationsverarbeitung Teil Thaller Stunde VII: Planen und Realisieren Manfred Thaller, Universität zu Köln Köln 18. Dezember 2014 Rekapitulation Der Gang der Argumentation 1. Der Rohstoff:
MehrProjektseminar Softwaresysteme
Projektseminar Softwaresysteme Themenvorstellung und Kick-Off Sommersemester 2015 Géza Kulcsár geza.kulcsar@es.tu.darmstadt.de ES Real-Time Systems Lab Prof. Dr. rer. nat. Andy Schürr Dept. of Electrical
Mehrdomänenspezifischenprogrammiersprachen
Effiziente Entwicklung vonautosar-komponenten mit domänenspezifischenprogrammiersprachen Dr. Frank Höwing LINEAS Automotive GmbH Theodor-Heuss-Str. 2 D-38122 Braunschweig frank.hoewing@lineas.de Abstract:
MehrCustomer-specific software for autonomous driving and driver assistance (ADAS)
This press release is approved for publication. Press Release Chemnitz, February 6 th, 2014 Customer-specific software for autonomous driving and driver assistance (ADAS) With the new product line Baselabs
Mehr2. Automatische Codegenerierung mittels dynamischer Spezialisierung
2 Automatische Codegenerierung mittels dynamischer Spezialisierung 1/16 Quelle: Vicente Pelechano, Oscar Pastor, Emilio Insfran Automated code generation of dynamic specializations: An approach based on
MehrKOMPETENZ IN SOFTWARE
KOMPETENZ IN SOFTWARE Software- und App-Entwicklung Automotive-Software Elektromobilität Collaboration und Business Intelligence BATTERY STATUS BATTERY STATUS c4c engineering GmbH kompetenz in Software,
MehrEin Vortrag für den Arbeitskreis Requirements GI München am 15.10.2012 Referent: Dipl.-Ing. (FH) Paul Huber, MBA http://www.gi-muc-ak-req.
Ein Vortrag für den Arbeitskreis Requirements GI München am 15.10.2012 Referent: Dipl.-Ing. (FH) Paul Huber, MBA http://www.gi-muc-ak-req.de Das bin ich Dipl.-Ing. (FH) Paul Huber, MBA seit 2006 Ingenieurbüro
MehrABSICHERUNG MODELLBASIERTER SICHERHEITSKRITISCHER AVIONIK SOFTWARE Dr. Elke Salecker
ABSICHERUNG MODELLBASIERTER SICHERHEITSKRITISCHER AVIONIK SOFTWARE Dr. Elke Salecker MOTIVATION Fahrzeug-Software wird modellbasiert mit Simulink/TargetLink entwickelt & DO331/DO-178C ermöglicht modellbasierte
MehrEinführung in Generatives Programmieren. Bastian Molkenthin
Einführung in Generatives Programmieren Bastian Molkenthin Motivation Industrielle Entwicklung *!!*,(% % - #$% #!" + '( & )!* Softwareentwicklung Rückblick auf Objektorientierung Objektorientierte Softwareentwicklung
Mehr09.01.14. Vorlesung Programmieren. Unified Modeling Language (UML) Unified Modeling Language (UML) Unified Modeling Language (UML)
Vorlesung Programmieren Unified Modeling Language (UML) Prof. Dr. Stefan Fischer Institut für Telematik, Universität zu Lübeck http://www.itm.uni-luebeck.de/people/fischer Unified Modeling Language (UML)
MehrVorlesung Programmieren
Vorlesung Programmieren Unified Modeling Language (UML) Prof. Dr. Stefan Fischer Institut für Telematik, Universität zu Lübeck http://www.itm.uni-luebeck.de/people/fischer Unified Modeling Language (UML)
MehrLanguage Workbench. Aktuelle Themen der Softwaretechnologie. Vortrag von: Arthur Rehm Steven Cardoso. Betreut von: Prof. Dr.
Language Workbench Vortrag von:! Aktuelle Themen der Softwaretechnologie Arthur Rehm Steven Cardoso Betreut von: Prof. Dr. Reichenbach [1] !2 Index Kontext Domain Specific Language (DSL) Language Workbench
MehrEinführung in modellgetriebene Softwareentwicklung. 24. Oktober 2012
Einführung in modellgetriebene Softwareentwicklung 24. Oktober 2012 Überblick Was sind die Grundprinzipien der modellgetriebenen Softwareentwicklung? Entwicklung einer MDD-Infrastruktur Modellgetriebene
MehrMonitoring von. Sebastian Theiss. Innovationsforum Software Saxony Dresden, 24. April 2009
TU Dresden» Informatik» ngewandte Informatik» Technische Informationssysteme Einsatz von genten zum Monitoring von utomatisierungssystemen Vladimir Vasyutynskyy Sebastian Theiss Innovationsforum Software
Mehrintence automotive electronics Ausführbare Spezifikation Der Weg zu besseren Anforderungen
intence automotive electronics Ausführbare Spezifikation Der Weg zu besseren Anforderungen Kurzvorstellung intence Agenda KURZVORSTELLUNG intence automotive electronics Wurde 2007 gegründet und ist Entwicklungspartner
MehrTestkonzept eines UAV Missionsplaners
Testkonzept eines UAV Missionsplaners Christoph Torens, Florian Adolf German Aerospace Center (DLR) Institute of Flight Systems, Dept. Unmanned Aircraft DGLR Workshop 2013 Durchgängige Entwicklung von
MehrCopyright 2014 Delta Software Technology GmbH. All Rights reserved.
Karlsruhe, 21. Mai 2014 Softwareentwicklung - Modellgetrieben und trotzdem agil Daniela Schilling Delta Software Technology GmbH The Perfect Way to Better Software Modellgetriebene Entwicklung Garant für
MehrFormale Methoden: Ein Überblick
Formale Methoden, Heinrich Rust, Lehrstuhl für Software-Systemtechnik, BTU Cottbus, 2004-09-16, p. 1 Formale Methoden: Ein Überblick Heinrich Rust Lehrstuhl für Software-Systemtechnik BTU Cottbus 2004-09-16
Mehr