Umfassendes Architekturmodell Durchgängige Modellierung verschiedener Aspekte eines Systems. Alexander Harhurin, Judith Thyssen
|
|
- Wilhelmine Heintze
- vor 8 Jahren
- Abrufe
Transkript
1 Umfassendes Architekturmodell Durchgängige Modellierung verschiedener Aspekte eines Systems Alexander Harhurin, Judith Thyssen
2 Agenda Einführung: Architekturmodell Nutzungsperspektive Logische Perspektive Technische Perspektive Geometrische Perspektive Übergänge zwischen Perspektiven Zusammenfassung 2
3 Einführung: Architekturmodell
4 Von isolierten Lösungen zu einem durchgängigen Einsatz von Modellen Situation Today Ideal Situation High Abstraction High Abstraction Our mission Low Abstraction Low Abstraction Domain agnostic Domain appropriate Domain agnostic Domain appropriate Systematik an Abstrakationsebenen/Architekturmodell als Leitfaden für einen durchgängigen Entwicklungsprozess 4
5 Abstraktionsebenen-Systematik Zielsetzung Zielsetzung: Bereitstellung einer grundlegende Systematik für einen durchgängigen Entwicklungsprozess, die es erlaubt unterschiedliche Aspekte des zu entwickelnde System klar voneinander getrennt zu modellieren und organisatorische Strukturen (Zulieferer/Integratoren-Beziehungen) abzubilden. Geplantes Vorgehen: 1. Bereitstellung & Diskussion einer grundlegenden Systematik 2. Bereitstellung von fachliche Metamodelle, d.h. domänenübergreifende Kern-Modellierungskonzepte für einzelnen Ebenen 3. Exemplarische domänen-spezifische Ausprägungen 4. Prototypische Umsetzung in AF3 5
6 Software Development Perspectives Akademisches Vorgehen: User Functionality Logical Architectuer Technical Architecture Refinement Deployment Low details High details 6
7 Probleme Ein umfangreiches System (Auto, Flugzeug) aus der Black-Box- Sicht zu beschreiben ist unmöglich Man geht in der Praxis nicht strikt Top-Down vor: Bestimmte Teilsysteme existieren bereits HW-Topologie ist oft vorgegeben Ein größeres System wird zunächst nicht formal sondern aus Erfahrung in Teilsysteme unterteilt (Flugzeug besteht aus Flügen, Cockpit, Kabine, etc.) Lösungsvorschlag: Zweidimensionale Systembeschreibung 7
8 Abstraktionsebenen-Systematik 8
9 Zwei Dimensionen der Matrix 1. Dimension: SW-Development Perspectives Getrennte Modellierung unterschiedlicher Aspekte des Systems Komplexitätsreduktion Von abstrakten Funktionshierarchien bis zum deployten System inkl. Geometrischer Anordnung 2. Dimension: Decomposition Layers Schrittweise Dekomposition und Modellierung des Gesamtsystems Erlaubt Abbildung organisatorischer Strukturen (arbeitsteiligen Prozess mit Zulieferen/Integrator-Beziehung) 9
10 Dekompositionsebenen Merkmale: Schrittweise Dekomposition des Gesamtsystems in Subsysteme; Relativer Systembegriff: Systemgrenze wechselt bei Übergang zwischen Dekompositionsebenen Gesamtfahrzeug Sensorik Steuerung Aktuatoren Subsystem bei Integrator = System bei Zulieferer Dekompositonsebenen nicht a priori vorgegeben, sondern abhängig von Domäne, Unternehmen, konkreten Entwicklungsgegenstand Ziele: Unterstützt arbeitsteiligen Prozess, bei dem Teilsysteme von Zulieferern entwickelt werden; Ermöglicht Zickzack-Vorgehen: Anforderungen an das ganze System Erste logische Architektur Anforderungen an einzelne Teilsysteme Zerlegung der Teilsysteme in Komponenten 10
11 Dekompositionsebenen 11
12 Nutzungsperspektive (Funktionale Architektur)
13 Ziele Modellierung des Systemverhaltens aus Sicht der Nutzer des Systems (Blackbox-Sicht) Nutzer: menschliche Nutzer, umliegende Systeme, Sensorik/Aktorik, Definition der Systemgrenze syntaktisches Interface, abstrakter Informationsaustausch Hierarchische Strukturierung der Gesamtfunktionalität aus Sicht der System-Nutzer Formalisierung der funktionalen Anforderungen Bindeglied zwischen RE und Design Konsolidierung der funktionalen Anforderungen durch formale Spezifikation und Analyse Erkennen und Modellieren von funktionalen Abhängigkeiten (Feature Interaction) 13
14 Inhalt Funktionale Spezifikation ist eine Menge einzelner Szenarien; Ein Szenario ist ein zeitlicher Ablauf von Ein- und Ausgabeereignissen; Black-Box-Sicht: Szenarien sind an der Systemgrenze sichtbar; Adressierte Fragenstellungen: Validierung: Entsprechen Szenarien den Anforderungen? Konsistenzprüfung: Gibt es Widersprüche in Anforderungen? Feature Interaction: Alle Wechselwirkungen berücksichtigt? Umgebung System Umgebung 14
15 Funktionshierarchie Funktionshierarchie besteht aus Atomaren Funktionen Kombinierten Funktionen Querbeziehungen B A C Kombinierte Funktion D E F G Atomare Funktion H K L M Querbeziehung 15
16 Funktion Formalisiert ein Szenario; Gegeben durch eine syntaktische Schnittstelle und eine (partielle) Abbildung von Eingaben auf Ausgaben m i1,1 m i1,2 m i1,3 m i2,1 m i2,2 m i2,3 i1 i 2 Funktion o 1 m o1,1 m o1,2 m o1,3 m o2,1 m o2,2 m o2,3 m i3,1 m i3,2 m i3,3 o 2 i 3 16
17 Funktion (2) Mögliche Notationstechniken: I/O Automaten; I/O Tabellen; Sequenzdiagramme Env Sys cspeed?x/minstr! cspeed?x/minstr!p(y,z) idle active cdistance?z/minstr! rdistance?y/minstr!p(y,z) 17
18 Funktionskombination Parallele Komposition aller atomaren Funktionen; Unter Berücksichtigung von Querbeziehungen. Querbeziehungen sind domänenspezifisch; Beispiele: Priorität: Ein Interaktionsmuster hat Vorrang vor dem anderen; Reihenfolge: Ein Interaktionsmuster muss vor dem anderen ausgeführt werden; XOR: Entweder eine oder die andere Funktion etc. 18
19 Metamodell 19
20 Beispiel:ACC Tempomat ACCsteuerung Abstandsregelung Tempomat/G Tempomat/K Abstand Stop&Go Abstand/G Abstand/K 20
21 ACC: Funktionshierarchie 21
22 ACC: Funktionskombination 22
23 ACC: Funktionsspezifikation 23
24 Vorteile einer formalen Spezifikation Anforderungsmodell ist simulierbar validierbar; Automatisch analysierbar konsistent (widerspruchfrei); Generierung von Testfällen; Formale Basis für den Übergang zum Design: Mapping; Traceability; Verifikation; Formal aber handhabbar wegen Abstraktion von allen technischen Details. 24
25 Logische Perspektive
26 Inhalt Übergang von der Problemdomäne zu der Lösungsdomäne White-Box-Sicht: die interne Struktur des Systems High-Level-Design: erster Schritt Richtung der Implementierung Struktur der Funktionalität unter Berücksichtigung von: Qualitätsmerkmalen (wie z.b. Modifizierbarkeit, Verfügbarkeit, Sicherheit, Testbarkeit, etc.) Vorhandene HW-Topologie Organisationsstruktur Erfahrung etc. 26
27 Netzwerk von Komponenten Communication Network Sender Medium Receiver Medium Network Manager Besteht aus einer Familie von Komponenten, die über Kanäle untereinander und mit ihrer Umgebung verbunden sind. Gegeben durch eine syntaktische Schnittstelle und eine totale Abbildung von Eingaben auf Ausgaben Meist etablierte Notationstechnik: Komponentendiagramme und I/O Automaten 27
28 Modellierungstool AutoFocus Struktur Daten Verhalten weitere Informationen unter 28
29 ACC 29
30 ACC (2) 30
31 Component Hierarchy of ACC ACC System ACC PCS ACC Core ACC On Off Condition ConstantSpeed FollowUp ACC Core Condition DesiredSpeed SpeedControl DesiredDistance DistanceControl 31
32 Beitrag zur durchgängigen Entwicklung Wiederverwendung: Teilsysteme Bibliotheken Bibliotheken Teilsysteme Restrukturierung gemäß Qualitätsmerkmalen Traceability: Funktionale Anforderungen Funktionen logische Komponenten Code-Generierung Deployment: logische Komponenten auf ECUs. 32
33 Technische Perspektive
34 Technische Architektur Beschreibung der Zielplattform, d.h. der HW-Topologie und der Hauptcharakteristika der HW-Elemente Beschreibung der Sensorik, Aktorik und HMI Überprüfung von Echtzeiteigenschaften unter Berücksichtigung der Zielplattform 34
35 ACC 35
36 ACC: Deployment 36
37 Generated Code 37
38 Geometrische Perspektive
39 Geometrische Perspektive Geometrische Anordnung der HW-Komponenten Überprüfung geometrischer Eigenschaften, z.b. sind redundant ausgelegte Funktionen mindestens x Meter voneinander entfernt Für ZP-AP 1 steht die geometrische Sicht nicht im Vordergrund 39
40 Übergange zwischen Perspektiven
41 Zwei Dimensionen der Beschreibung 41
42 Übergänge Nutzungsperspektive Logische Perspektive N:1-Abbildung ist einfach N:M-Abbildung: laufende Arbeit Logische Perspektive Technische Perspektive Deployment Component Deployment (N:1-Abbildung der atomaren Komponenten) Port Deployment Code-Generierung Technische Architektur ist Architekturtreiber der Logischen Architektur Technische Perspektive Geometrische Perspektive: Deployment Geometrische Architektur ist ein Architekturtreiber der Logischen Architektur. 42
43 Zickzack-Vorgehen 43
44 Offene Fragen Wie werden Funktionen auf Komponenten abgebildet? n:1 n:m Wie werden Querbeziehungen abgebildet? 44
45 Analyse der Modelle
46 Formal Verification Model Checking Properties for AutoFocus model Export to SMV Model Checker 46
47 Formal Specification Example Properties OnOffArbiter Termination on brake (116) Absence of the check whether driver brakes in a transition No non-zero acceleration when inactive: CoreArbiter Constant-Speed-Control Condition (122) 47
48 ACC: Model Checking Results for the logical architecture of the ACC Approximately 20 properties formalised Three properties falsified and corresponding faults found All other properties proven correct 48
49 Test Case Generation and Execution Requirements differences in behavior? SUT build apply to model of SUT test case specification Test Case Generator abstract test cases Test Driver executable test cases 49
50 Tests from the Test Model Real functional tests faults which already reside in the implementation model different views on requirements Test model independently developed More abstract manual Requirements manual Implementation Model Test Model generate generate Code dv = vs v; if (dv < 0) { decr();... test Test Cases Env SUT 50
51 Random Tests with Usage Profile New enhancement to our AutoFOCUS Test Generation Tool Individual Settings for every input port probability of NoVal probability distribution of values probability of value change 51
52 ACC: Testing Results Generated 120 test cases each from system and test model: Generation takes only a few seconds in approx. 80% of test steps no error could be identified 3 differences between test model and system model identified (potential faults) 1 issue in test driver detected Most test cases reached one of these failure states after some time 52
53 Summary: Verification Different kinds of errors were found: Testing: Several gaps in the specification identified Increased stability and robustness of the system Model Checking: Mainly implementation faults identified A precise definition of the requirements and the system is key to an efficient verification! 53
54 Zusammenfassung
55 Von isolierten Lösungen zu einem durchgängigen Einsatz von Modellen Situation Today Ideal Situation High Abstraction High Abstraction Our mission Low Abstraction Low Abstraction Domain agnostic Domain appropriate Domain agnostic Domain appropriate Systematik an Abstrakationsebenen als Framework für einen durchgängigen Entwicklungsprozess 55
56 Model Engineering Environmentr develop and analyze Tooling Environment processes Model Repository support Holistic Architectural Model Architecture Views part of Product Model materialize refers to based on based on based on Method Definition Semantic Domain Comprehensive Modeling Theory 56
Seamless 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
Mehrarlanis Software AG SOA Architektonische und technische Grundlagen Andreas Holubek
arlanis Software AG SOA Architektonische und technische Grundlagen Andreas Holubek Speaker Andreas Holubek VP Engineering andreas.holubek@arlanis.com arlanis Software AG, D-14467 Potsdam 2009, arlanis
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
MehrModellgetriebene Entwicklungsprozesse in der Praxis - eine Bestandsaufnahme. Tillmann Schall, anaptecs GmbH
Modellgetriebene Entwicklungsprozesse in der Praxis - eine Bestandsaufnahme Tillmann Schall, anaptecs GmbH : Agenda Grundlagen modellgetriebener Entwicklungsprozesse Schritte zur Einführung Erfahrungen
MehrBPM im Kontext von Unternehmensarchitekturen. Konstantin Gress
BPM im Kontext von Unternehmensarchitekturen Konstantin Gress Agenda 1 Worum geht s BPM, EA und SOA im Überblick 2 Link zwischen EA und BPM 3 Link zwischen SOA und BPM 4 Wie spielt das zusammen? 5 Q&A
MehrRequirements Engineering Übung 8 Systemmodellierung im RE
Requirements Engineering Übung 8 modellierung im RE Dr. Birgit Penzenstadler, Dr. Daniel Méndez, Jonas Eckhardt 11. Dezember 2012 Übung 8 Aufgabe 1: Modelle als Sichten auf ein Aufgabe 2: Von Anwendungsfällen
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
MehrActiveCharts. Verknüpfung von Modellen und Code bei der modellgetriebenen Softwareentwicklung mit UML 2.0
Jens Kohlmeyer 05. März 2007 Institut für Programmiermethodik und Compilerbau ActiveCharts Verknüpfung von Modellen und Code bei der modellgetriebenen Softwareentwicklung mit UML 2.0 Seite 2 Übersicht
MehrModellierung verteilter Systeme Grundlagen der Programm und Systementwicklung
Modellierung verteilter Systeme Grundlagen der Programm und Systementwicklung Wintersemester 2009/10 Prof. Dr. Dr. h.c. Manfred Broy Unter Mitarbeit von Dr. K. Spies, Dr. M. Spichkova, L. Heinemann, P.
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
MehrSoftware-Engineering
FH Wedel Prof. Dr. Sebastian Iwanowski SWE2 Folie 1 Software-Engineering Sebastian Iwanowski FH Wedel Kapitel 2: Grundbegriffe und Prinzipien FH Wedel Prof. Dr. Sebastian Iwanowski SWE2 Folie 2 Grundbegriffe
MehrSoftwaretechnik (Allgemeine Informatik) Überblick
Softwaretechnik (Allgemeine Informatik) Überblick 1 Einführung und Überblick 2 Abstraktion 3 Objektorientiertes Vorgehensmodell 4 Methoden der Anforderungs- und Problembereichsanalyse 5 UML-Diagramme 6
MehrÜbungsklausur vom 7. Dez. 2007
Übungsklausur vom 7. Dez. 2007 Ein Lösungsmuster Teilbereiche der Softwaretechnik Software Anforderungen Software Entwurf Software Konstruktion Software Test Software Wartung Software Konfigurationsmanagement
MehrErfahrungsbreicht... Von der Auswahl bis zur Verwendung von Contour im Grossunternehmen.
Stefan Topp Honeywell International SARL 16. Februar 2012 Erfahrungsbreicht... Von der Auswahl bis zur Verwendung von Contour im Grossunternehmen. 1 Agenda Hintergruende Der Auswahlprozess Ausrollen von
MehrLean Modeling - Datenmodelle und Geschäftsregeln einfach und präzise mit natürlicher Sprache spezifizieren
Lean Modeling - Datenmodelle und Geschäftsregeln einfach und präzise mit natürlicher Sprache spezifizieren Mirko Seifert, DevBoost GmbH 12. November 2013, ASQF Modeling Day 2013, Nürnberg Agenda 1. Der
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
MehrMarkus Pister (Autor) Integration formaler Fehlereinflussanalyse in die Funktionsentwicklung bei der Automobilindustrie
Markus Pister (Autor) Integration formaler Fehlereinflussanalyse in die Funktionsentwicklung bei der Automobilindustrie https://cuvillier.de/de/shop/publications/1145 Copyright: Cuvillier Verlag, Inhaberin
MehrPhasen. Gliederung. Rational Unified Process
Rational Unified Process Version 4.0 Version 4.1 Version 5.1 Version 5.5 Version 2000 Version 2001 1996 1997 1998 1999 2000 2001 Rational Approach Objectory Process OMT Booch SQA Test Process Requirements
MehrGliederung. Einführung Phasen Ten Essentials Werkzeugunterstützung Aktivitäten, Rollen, Artefakte Werkzeug zur patternorientierten Softwareentwicklung
Peter Forbrig RUP 1 Gliederung Einführung Phasen Ten Essentials Werkzeugunterstützung Aktivitäten, Rollen, Artefakte Werkzeug zur patternorientierten Softwareentwicklung Peter Forbrig RUP 2 Rational Unified
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
MehrSoftwaretechnik. Fomuso Ekellem WS 2011/12
WS 2011/12 Inhalt Projektvorstellung Übung 1 Wiederholung zusammengefasst Planungsphase Lernziele Ziele und Inhalt der Planungsphase Anlass und Aufgabestellung(Was ist dabei erförderlich) Requirement Engineering
Mehrextreme Programming (XP) Hermann Götz Sergij Paholchak Agenda Was ist XP? Grundprinzipien Der Entwicklungsprozess Die Projektplanung Praktiken Vorteile und Nachteile Wann macht XP Sinn für ein Projekt?
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
MehrAgenda. Lösungsentwicklungsprozess Rahmenbedingungen für arvato SPL Entwicklungsarchitektur
Lösungsorientierte Software Produktlinienentwicklung in heterogenen Systemlandschaften Andreas Wübbeke Dr. Thomas von der Maßen Workshop Produktlinien im Kontext 2009 25.05.2009 Agenda Ausgangssituation:
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
MehrInformationswirtschaft II Rational Unified Process (RUP)
Informationswirtschaft II Rational Unified Process (RUP) Wolfgang H. Janko, Michael Hahsler und Stefan Koch Inhalt Historische Entwicklung Kennzeichen von RUP Lebenszyklus und Phasen Arbeitsabläufe Das
MehrInformationswirtschaft II
Rational Unified Process (RUP) Informationswirtschaft II Wolfgang H. Janko, Michael Hahsler und Stefan Koch Seite 1 Inhalt Historische Entwicklung Kennzeichen von RUP Lebenszyklus und Phasen Arbeitsabläufe
MehrRequirements Engineering für IT Systeme
Requirements Engineering für IT Systeme Warum Systemanforderungen mit Unternehmenszielen anfangen Holger Dexel Webinar, 24.06.2013 Agenda Anforderungsdefinitionen Von der Herausforderung zur Lösung - ein
MehrDie Integration von Requirements Management, Software Configuration Management und Change Management mit der MKS Integrity Suite 2006
Die Integration von Requirements Management, Software Configuration Management und Change Management mit der MKS Integrity Suite 2006 Oliver Böhm MKS GmbH Agenda Überblick Der Entwicklungsprozess: Requirements
MehrInformationssystemanalyse Use Cases 11 1
Informationssystemanalyse Use Cases 11 1 Use Cases Slide 1 Als ein populäres Mittel um Anforderungen zu erfassen und Systeme zu beschreiben, werden Use Cases benutzt. Sie bilden die Basis für eine umfassendere
MehrVom Konzept direkt ins Cockpit: Optimierte HMI-Entwicklung mittels automatischer Codegenerierung
: Optimierte HMI-Entwicklung mittels automatischer Codegenerierung Christian Semmler MT323 Human Factors Engineering Seite 1 Gliederung HMI-Entwicklungsprozess Werkzeuge Einsatz an einem Beispielprojekt
MehrTaking RM Agile. Erfahrungen aus dem Übergang von traditioneller Entwicklung zu Scrum
Taking RM Agile CLICK TO EDIT MASTER OPTION 1 Erfahrungen aus dem Übergang von traditioneller Entwicklung zu Scrum Click to edit Master subtitle style Christian Christophoridis Requirements Management
MehrRequirements-basiertes Testen am Beispiel des NI Requirements Gateways
Requirements-basiertes Testen am Beispiel des NI Requirements Gateways National Instruments VIP Kongress München, M 8. Oktober 2008 Joachim Schulz QualityPark GmbH V-Modell Demands Business Requirement
MehrSoftwareentwicklung aus Sicht des Gehirns
Softwareentwicklung aus Sicht Business Unit Manager Folie 1 3. Juli 2008 Ziele Das Ziel ist die Beantwortung der folgenden Fragen: 1. Wie lösen Softwareentwickler Probleme kognitiv? 2. Welche Auswirkungen
MehrSome Software Engineering Principles
David L. Parnas: Some Software Engineering Principles Marco Oppel 30.06.2004 Seminar Software-Architektur Institut für Informatik Humboldt Universität zu Berlin 1 Problemstellung Software Engineering Multi-Personen
MehrVon Requirements zutests. gç~åüáãkpåüìäò]èì~äáíóé~êâkçé
Von Requirements zus gç~åüáãkpåüìäò]èì~äáíóé~êâkçé QualityPark Ihr Partner im Lifecycle Management Process Management Requirements Engineering IT & Development Process Expertise Process Implementation
MehrGeschäftsprozesse: Modellierung und Analyse
Geschäftsprozesse: Modellierung und Analyse 1. Ausgangssituation 2. Begriffe 3. Modellierungsmethoden 4. Modellarten 5. Vorgehensprinzipien 6. Analyse 7. Werkzeuge Modellierung Modellierung: Modell: Prozess
MehrRobert Hartmann Public v1.0 (Feb 2015) Architektur & Agilität - Praxisbericht
Robert Hartmann Public v1.0 (Feb 2015) Architektur & Agilität - Praxisbericht 1 Agenda Vorstellung Architektur & Agilität Industriedomäne Praxisbeispiele Wie geht es weiter? 2/26/2015 2 Vorstellung Robert
MehrDevOps bei den ID Build-Automatisierung statt Silo-Betrieb
DevOps bei den ID Build-Automatisierung statt Silo-Betrieb SWS Entwicklertreffen vom 1.10.2015 Benno Luthiger 1.10.2015 1 Ausgangslage Kundenwunsch: Stabiles System, das schnell reagiert ( Betrieb) Neue
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
MehrEinsatz automatischer Testdatengenerierung im modellbasierten Test
Einsatz automatischer Testdatengenerierung im modellbasierten Test Sadegh Sadeghipour sadegh.sadeghipour@itpower.de Gustav-Meyer-Allee 25 / Gebäude 12 13355 Berlin www.itpower.de Modellbasierte Software-Entwicklung
MehrWas ist Software-Architektur?
Was ist Software-Architektur? Stephan Schulze Martin Knobloch 28.04.2004 Seminar: Software-Architektur Humboldt Universität zu Berlin sschulze knobloch@informatik.hu-berlin.de Gliederung Begriffsbestimmung
MehrArchitekturplanung und IS-Portfolio-
Architekturplanung und IS-Portfolio- management Gliederung 1.Einführung 2.Architekturplanung 3.IS-Portfoliomanagement 4.AP und IS-PM 5.Fazit 2 1. Einführung Problem: Verschiedene Software im Unternehmen
Mehr5.3 Das vrealize-automation-rollenkonzept
5.3 Das vrealize-automation-nkonzept 87 5.3 Das vrealize-automation-nkonzept Nachdem wir in diesem Kapitel bereits die wichtigsten logischen Konzepte von vrealize Automation erläutert haben, werfen wir
MehrUse Cases. Die Sicht des Nutzers. Fortgeschrittenenpraktikum SS 2004
Use Cases Die Sicht des Nutzers Fortgeschrittenenpraktikum SS 2004 Gunar Fiedler Lehrstuhl für Technologie der Informationssysteme Kontakt: fiedler@is.informatik.uni-kiel.de Use Cases 2 Was ist ein Use
MehrLars Ebrecht. Echtzeit 2011, GI VDI/VDE, Boppard 04. November 2011
Entwurfsverfahren Das atomare Element als Meta-Modell zur tabellarischen Verhaltensbeschreibung von Echtzeitsystemen Lars Ebrecht Echtzeit 2011, GI VDI/VDE, Boppard 04. November 2011 Echtzeitbetrieb im
MehrSO WERDEN LÖSUNGEN HÖCHSTEN ANSPRÜCHEN
MO. 27. SEP. 2004, 17:00 UHR HIGH-END REQUIREMENTS ENGINEERING IT FÜR FINANZDIENSTLEISTER: SO WERDEN LÖSUNGEN HÖCHSTEN ANSPRÜCHEN GERECHT GERECHT MIT ROUNDTABLE-DISKUSSION WIRD PRÄSENTIERT VON MEDIENPARTNER
MehrGrundlagen Software Engineering
Grundlagen Software Engineering Rational Unified Process () GSE: Prof. Dr. Liggesmeyer, 1 Rational Unified Process () Software Entwicklungsprozess Anpassbares und erweiterbares Grundgerüst Sprache der
MehrTypisierung des Replikationsplan Wirries, Denis Datenbankspezialist
Typisierung des Replikationsplan Wirries, Denis Datenbankspezialist Feintypisierung - Überblick Ergebnisse Ergebnisse aus aus anderen anderen Arbeitsergebnissen Arbeitsergebnissen Replikationsplan Replikationsplan
MehrEntwicklungsoptimierung mit einem ALM Tool Positionierung mit Fallstudie
Entwicklungsoptimierung mit einem ALM Tool Positionierung mit Fallstudie Gerald Heller Agenda Standortbestimmung ALM Typischer industrieller Setup und Probleme Vorstellung von QualityCenter als ALM tool
MehrHow to Survive an Audit with Real-Time Traceability and Gap Analysis. Martin Kochloefl, Software Solutions Consultant Seapine Software
How to Survive an Audit with Real-Time Traceability and Gap Analysis Martin Kochloefl, Software Solutions Consultant Seapine Software Agenda Was ist Traceability? Wo wird Traceability verwendet? Warum
MehrContents. Interaction Flow / Process Flow. Structure Maps. Reference Zone. Wireframes / Mock-Up
Contents 5d 5e 5f 5g Interaction Flow / Process Flow Structure Maps Reference Zone Wireframes / Mock-Up 5d Interaction Flow (Frontend, sichtbar) / Process Flow (Backend, nicht sichtbar) Flow Chart: A Flowchart
MehrDer Design-Workflow im Software-Entwicklungs-Prozess
Der -Workflow im Software-Entwicklungs-Prozess Universität Bonn, Vorlesung Softwaretechnologie SS 2000 1 Der -Workflow stellt zum Ende der Elaborations- und Anfang der Konstruktionsphase den Schwerpunkt
MehrDurchgängiger System-/Software- Entwicklungsprozess in der Luftfahrt
urchgängiger System-/Software- Entwicklungsprozess in der Luftfahrt GL F T6.2 und T6.4 Workshop Brücke zwischen Systemdesign und Softwareentwicklung in der Luft- und aumfahrt r. Herbert Klenk, ES eutschland
MehrSoftwareanforderungsanalyse
Softwareanforderungsanalyse Evolution von Anforderungen Burkhardt Renz Institut für SoftwareArchitektur der Technischen Hochschule Mittelhessen Wintersemester 2015/16 Evolution von Anforderungen Anforderungen
MehrDesign Pattern - Strukturmuster. CAS SWE - OOAD Marco Hunziker Klaus Imfeld Frédéric Bächler Marcel Lüthi
Design Pattern - Strukturmuster CAS SWE - OOAD Marco Hunziker Klaus Imfeld Frédéric Bächler Marcel Lüthi Agenda Einleitung Strukturmuster Fassade Model View Controller Vergleich 2 Einleitung Strukturmuster
MehrSwitching. Übung 7 Spanning Tree. 7.1 Szenario
Übung 7 Spanning Tree 7.1 Szenario In der folgenden Übung konfigurieren Sie Spanning Tree. An jeweils einem Switch schließen Sie Ihre Rechner über Port 24 an. Beide Switche sind direkt über 2 Patchkabel
MehrFunktionale Sicherheit Testing unter
Funktionale Sicherheit Testing unter den Bedingungen der Safety Integrity Levels Präsentation auf dem Neu-Ulmer Test-Engineering Day Sebastian Stiemke, MissingLinkElectronics, Neu-Ulm 1 Inhalt Idee hinter
MehrTransparente SOA Governance mit Modellierung. OOP 2010 München, 28. Januar 2010, 12:30 Uhr Modeling Day
Transparente SOA Governance mit Modellierung OOP 2010 München, 28. Januar 2010, 12:30 Uhr Modeling Day I N H A L T 1. SOA Governance 2. Service Repositories 3. SOA Governance mit Modellen I N H A L T 1.
Mehr4. AuD Tafelübung T-C3
4. AuD Tafelübung T-C3 Simon Ruderich 17. November 2010 Arrays Unregelmäßige Arrays i n t [ ] [ ] x = new i n t [ 3 ] [ 4 ] ; x [ 2 ] = new i n t [ 2 ] ; for ( i n t i = 0; i < x. l e n g t h ; i ++) {
MehrTrends in der Agilität Dr. Martin Geier
Projektmanagement Agil Trends in der Agilität Dr. Martin Geier Zahlen und Fakten Fakten Gründung 2001 Standorte: Deutschland: Erlangen, München USA: Detroit, Miami Auszeichnungen 2004 2008 2011 2006, 2007,
MehrErfolgreiche Realisierung von grossen Softwareprojekten
Software Engineering Erfolgreiche Realisierung von grossen Softwareprojekten Requirements Management Fachhochschule Lübeck, 7. Dezember 2001 Thomas Dahlmanns dahlmanns@pixelpark.com (040) 43203 26 >> 1
MehrMit Legacy-Systemen in die Zukunft. adviion. in die Zukunft. Dr. Roland Schätzle
Mit Legacy-Systemen in die Zukunft Dr. Roland Schätzle Der Weg zur Entscheidung 2 Situation Geschäftliche und softwaretechnische Qualität der aktuellen Lösung? Lohnen sich weitere Investitionen? Migration??
MehrKomponentenbasierte Softwareentwicklung
Seminar WS04 Komponentenbasierte Softwareentwicklung Karl Pauls Software-Komponente A software component is a unit of composition with contractually specified interfaces and explicit context dependencies
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
MehrSeminar Timed Automata
Einführungsveranstaltung Thomas Noll Henrik Bohnenkamp Software Modeling and Verification Group 17. Juli 2008 Zielsetzung Einführung Termine Themen Inhalt des Seminars Methoden zur Gewährleistung der Korrektheit
MehrVerfügbarkeit von Applikationen und Failover Szenarien. Winfried Wojtenek. wojtenek@mac.com
Verfügbarkeit von Applikationen und Failover Szenarien Winfried Wojtenek wojtenek@mac.com Verfügbarkeit % Tage Stunden Minuten 99.000 3 16 36 99.500 1 20 48 99.900 0 9 46 99.990 0 0 53 99.999 0 0 5 Tabelle
MehrWhiteStarUML Tutorial
WhiteStarUML Tutorial Autor: Simon Balázs, BME IIT, 2015. Übersetzung: Kovács Márton, 2015. Installation Herunterladen und installieren Sie das WhiteStarUML: http://sourceforge.net/projects/whitestaruml/
MehrDiplomarbeit. Konzeption und Implementierung einer automatisierten Testumgebung. Thomas Wehrspann. 10. Dezember 2008
Konzeption und Implementierung einer automatisierten Testumgebung, 10. Dezember 2008 1 Gliederung Einleitung Softwaretests Beispiel Konzeption Zusammenfassung 2 Einleitung Komplexität von Softwaresystemen
MehrUmsetzung des OrViA-Frameworks mit ARIS
Umsetzung des OrViA-Frameworks mit ARIS Sebastian Stein sebastian.stein@ids-scheer.com IDS Scheer AG PROJEKTTRÄGER Agenda Motivation Kurzüberblick SOA Strukturierte Anforderungsanalyse mit ARIS Validierung
MehrINNOVATOR im Entwicklungsprozess
Erfahrungsbericht INNOVATOR im Entwicklungsprozess Basis für Host- und Java-Anwendungen Dr. Carl-Werner Oehlrich, Principal Consultant MID GmbH Das Modellierungswerkzeug INNOVATOR Geschäftsprozess-Modellierung
MehrIT-Beratung: Vom Geschäftsprozess zur IT-Lösung
Ralf Heib Senior Vice-President Geschäftsleitung DACH IT-Beratung: Vom Geschäftsprozess zur IT-Lösung www.ids-scheer.com Wofür steht IDS Scheer? Wir machen unsere Kunden in ihrem Geschäft erfolgreicher.
MehrBeispielhaft MDSD in der Praxis. Dr. Shota Okujava shota.okujava@isento.de www.isento.de
Beispielhaft MDSD in der Praxis Dr. Shota Okujava shota.okujava@isento.de www.isento.de Agenda Einführung Softwareentwicklungsprozess und MDSD Technologien und Werkzeuge Demo Entwicklung der Metamodelle
MehrUniversität Paderborn Die Universität der Informationsgesellschaft. Validierung und Verifikation (inkl. Testen, Model-Checking, Theorem Proving)
Universität Paderborn Die Universität der Informationsgesellschaft Analyse, Entwurf und Implementierung zuverlässiger Software und (inkl., Model-Checking, Theorem Proving) Torsten Bresser torbre@uni-paderborn.de
MehrDie Softwareentwicklungsphasen!
Softwareentwicklung Die Softwareentwicklungsphasen! Die Bezeichnungen der Phasen sind keine speziellen Begriffe der Informatik, sondern den allgemeinen Prinzipien zur Produktion integrierter Systeme entliehen.
MehrJürgen Schwab, debis Systemhaus
Jürgen Schwab, debis Systemhaus 1 Komponenten - Markt VAA - Referenzmodell: eine komponentenorientierte Anwendungsarchitektur März 99 99 2 Die Voraussetzungen für einen Komponentenmarkt sind so gut wie
MehrEin einfaches Modell zur Fehlerfortpflanzung
Ein einfaches Modell zur Fehlerfortpflanzung Jens Chr. Lisner lisner@dc.uni-due.de ICB / Universität Duisburg-Essen AK Fehlertoleranz 11/2006 p. Problemstellung Üblich bei der Formalisierung von Systemen:
MehrRequirements Engineering bei IXOS - mit Beteiligung von User Experience
Requirements Engineering bei IXOS - mit Beteiligung von User Experience MMC Paderborn, 2004-09-07 Petra Kowallik User Interaction Designer IXOS Software AG Copyright 1995-2004 Open Text Inc. All rights
MehrArchitekturbeschreibung im C2-Stil
Architekturbeschreibung im C2-Stil Architekturbeschreibungssprachen Tobias Melzner Fachgruppe Spezikation und Modellierung von Softwaresystemen Fakultät für Elektrotechnik, Informatik und Mathematik Universität
MehrT1 - Fundamentaler Testprozess
AK 2 am Armin Beer, Support Center Test der Software- Entwicklung 1 für einen erfolgreichen Test? Projektteam strebt nach Qualität Aufwände sind eingeplant (Richtwerte) 20 bis 30% des Gesamtaufwandes In
MehrInhalt. Motivation Techniken des MDE. Fallbeispiele
ISE-Seminar 2012 Inhalt Motivation Techniken des MDE Computer Aided Software Engineering (CASE) Domain-Specific-Languages (DSL) Model Driven Architecture (MDA) Fallbeispiele Motivation Automatische Codegenerierung
MehrErfahrungen über den Einsatz einer agilen Entwicklungsmethode fürdie Produktentwicklung unterstützt durch Polarion ALM forsubversion
Erfahrungen über den Einsatz einer agilen Entwicklungsmethode fürdie Produktentwicklung unterstützt durch Polarion ALM forsubversion Nikolay Entin, Robert Neher Polarion Software GmbH, Lautlinger Weg 3,70567
MehrPolicy-Framework (PFW) - Eine Methode zur Umsetzung von Sicherheits-Policies im Cloud-Computing
Policy-Framework (PFW) - Eine Methode zur Umsetzung von Sicherheits-Policies im Cloud-Computing Alexander Blehm, Volha Kalach, Alexander Kicherer, Gustav Murawski, Tim Waizenegger, Matthias Wieland CloudCycle'14
MehrSEA. Modellgetriebene Softwareentwicklung in der BA
SEA Modellgetriebene Softwareentwicklung in der BA MDA bei der BA Ziele/Vorteile: für die Fachabteilung für die Systementwicklung für den Betrieb Wie wird MDA in der BA umgesetzt? Seite 2 MDA bei der BA
MehrRequirements Management mit RequisitePro. Rational in der IBM Software Group. Der Rational Unified Process als Basis für die Projektarbeit
IBM Software Group IBM Rational mit RequisitePro Hubert Biskup hubert.biskup@de.ibm.com Agenda Rational in der IBM Software Group Der Rational Unified Process als Basis für die Projektarbeit mit Rational
MehrSoftwareentwicklungspraktikum Sommersemester 2007. Grobentwurf
Softwareentwicklungspraktikum Sommersemester 2007 Grobentwurf Auftraggeber Technische Universität Braunschweig
MehrAbbildung 1: Tool-Qualification-Kits für Testwell CTC++ Test Coverage Analyser
Qualification-Kit für Testwell CTC++ In der sicherheitskritischen Softwareentwicklung müssen die im Projekt eingesetzten Werkzeuge zunächst klassifiziert werden (Tool Classification). Diese Klassifizierung
MehrÜbungen zur Softwaretechnik
Technische Universität München Fakultät für Informatik Lehrstuhl IV: Software & Systems Engineering Markus Pister, Dr. Bernhard Rumpe WS 2002/2003 Lösungsblatt 9 17. Dezember 2002 www4.in.tum.de/~rumpe/se
MehrAndreas Lux 16.03.2010. Verknüpfung unterschiedlicher Modellsprachen (BPMN, UML, DSL) zur Anforderungsanalyse
Andreas Lux 16.03.2010 Verknüpfung unterschiedlicher Modellsprachen (BPMN, UML, DSL) zur Anforderungsanalyse Warum unterschiedliche Sprachen? Nicht alle Probleme eignen sich, um mit Standardsprachen beschrieben
MehrKünstliches binäres Neuron
Künstliches binäres Neuron G.Döben-Henisch Fachbereich Informatik und Ingenieurwissenschaften FH Frankfurt am Main University of Applied Sciences D-60318 Frankfurt am Main Germany Email: doeben at fb2.fh-frankfurt.de
MehrSession 8: Projektvorstellung Transferprojekt itsowl-tt-savez 18. August 2015, Gütersloh. www.its-owl.de
Session 8: Projektvorstellung Transferprojekt itsowl-tt-savez 18. August 2015, Gütersloh www.its-owl.de Agenda Abschlusspräsentation itsowl-tt-savez Einführung Zielsetzung Ergebnisse Resümee und Ausblick
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
MehrMetaNavigation der effizienteste Weg maximalen Mehrwert aus BI Metadaten zu ziehen
MetaNavigation der effizienteste Weg maximalen Mehrwert aus BI Metadaten zu ziehen Pasquale Grippo Senior Manager/Business Unit Manager BI 18/20.10.2011 Oracle Business Analytics Summits Düsseldorf/München
MehrScaling Scrum Nexus professionell umsetzen
Scaling Scrum Nexus professionell umsetzen Frankfurter Entwicklertag 2016 Fahd Al-Fatish Agile Coach, Professional Scrum Trainer Dr. Reinhard Schmitt Organisationsberater und Trainer Skalierung bedeutet
MehrMobile Apps: Von der Entwicklung bis zum Test mit HP Software
Mobile Apps: Von der Entwicklung bis zum Test mit HP Software Amir Khan Presales Consultant Software Hewlett-Packard (Schweiz) GmbH HP Invent 2015 Copyright 2015 Hewlett-Packard Development Company, L.P.
MehrRequirements-Engineering Requirements-Engineering
-Engineering Copyright Chr. Schaffer, Fachhochschule Hagenberg, MTD 1 Was ist ein Requirement? IEEE-Standard (IEEE-726 83) A condition or capability needed by a user to solve a problem or achieve an objective.
MehrParallels Mac Management 3.5
Parallels Mac Management 3.5 Deployment-Handbuch 25. Februar 2015 Copyright 1999 2015 Parallels IP Holdings GmbH und Tochterunternehmen. Alle Rechte vorbehalten. Alle anderen hierin erwähnten Marken und
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
MehrEinführung in Generatives Programmieren. Bastian Molkenthin
Einführung in Generatives Programmieren Bastian Molkenthin Motivation Industrielle Entwicklung *!!*,(% % - #$% #!" + '( & )!* Softwareentwicklung Rückblick auf Objektorientierung Objektorientierte Softwareentwicklung
Mehr