Holger Giese, Michaela Huhn, Ulrich Nickel, Bernhard Schätz (Eds.):
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme.
Informatik-Bericht 2009-01 TU Braunschweig, Institut für Software Systems Engineering 2009
- Michael Schlereth, Sebastian Rose, Andy Schürr:
Model Driven Automation Engineering - Characteristics and Challenges.
1-15
- Mathias Maurmaier, Peter Göhner:
Modellgetriebene Entwicklung von Automatisierungssystemen.
16-25
- Stephan Weißleder:
Semantic-Preserving Test Model Transformationsfor Interchangeable Coverage Criteria.
26-35
- Christian Dziobek, Jens Weiland:
Variantenmodellierung und -konfiguration eingebetteter automotive Software mit Simulink.
36-45
- Oliver Niggemann, Benno Stein, Thomas Spanuth, Heinrich Balzer:
Using Models for Dynamic System Diagnosis: A Case Study in Automotive Engineering.
46-56
- Kirsten Mewes:
Domain-specific Modeling, Validation, and Verification of Railway Control Systems.
57-66
- Karsten Schmidt, Philipp Janda:
Erfahrungen bei der modellbasierten Entwicklung von Fahrwerksregelfunktionen im AUTOSAR-Umfeld und notwendige Entwicklungsschritte.
67-74
- Christian Berger, Holger Krahn, Holger Rendel, Bernhard Rumpe:
Feature-basierte Modellierung und Verarbeitung von Produktlinien am Beispiel eingebetteter Software.
75-81
- Jan Meyer, Wilhelm Schäfer:
Automatische Analyse und Generierung von AUTOSAR-Konfigurationsdaten.
82-91
- Ulrich Epple:
Modellbasierte Entwicklung in der Prozessautomatisierung.
92-102
- Dennis Klar, Michaela Huhn:
Partial Order Algorithms for Model-based Diagnosis of Discrete Event Systems.
103-114
- Axel Zechner, Michaela Huhn:
Structural Analysis of Safety Case Arguments in a Model-based Development Environment.
115-127
- Armin Zimmermann, Jan Trowitzsch:
Reliability Evaluation of Distributed Embedded Systems With UML State Charts and Rare Event Simulation.
128-139
- Bernhard Schätz, Florian Hölzl, Torbjörn Lundkvist:
From Constraints to Design Space Exploration.
140-154
- Holger Giese, Stephan Hildebrandt, Stefan Neumann:
Towards Integrating SysML and AUTOSAR Modeling via Bidirectional Model Synchronization.
155-164
- Andreas Graf, Markus Völter:
A textual domain specific language for AUTOSAR.
165-170
- Ines Fey, Mirko Conrad:
Demonstrating IEC 61508 Compliance in Model-Based Design.
171-181
- Stefan Leue, Wei Wei:
An Executable and Extensible Formal Semantics for UML-RT.
182-188
- Jae-Won Choi, Anna Trögel, Ingo Stürmer:
TUDOOR - Ein Java Adapter für Telelogic DOORS.
189-194
Last update Fri May 25 08:26:03 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page