Holger Giese, Bernhard Rumpe, Bernhard Schätz (Eds.):
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, Schloss Dagstuhl, Germany, 9.-13. Januar 2006, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme.
Informatik-Bericht 2006-1 TU Braunschweig, Institut für Software Systems Engineering 2006
- Michael von der Beeck:
Eignung der UML 2.0 zur Entwicklung von Bordnetzarchitekturen.
1-5
- Mirko Conrad, Heiko Dörr:
Einsatz von Modell-basierten Entwicklungstechniken in sicherheitsrelevanten Anwendungen: Herausforderungen und Lösungsansätze.
6-18
- Jörg Desel:
Petri Net Model Synthesis from Scenarios.
19-26
- Mario Friske, Bernd-Holger Schlingloff:
Abdeckungskriterien in der modellbasierten Testfallgenerierung: Stand der Technik und Perspektiven.
27-34
- Matthias Gehrke, Petra Nawratil, Oliver Niggemann, Wilhelm Schäfer, Martin Hirsch:
Scenario-Based Verification of Automotive Software Systems.
35-42
- Michael G. Hinchey, Tiziana Margaria, James L. Rash, Christopher A. Rouff, Bernhard Steffen:
Enhanced Requirements-Based Programming for Embedded Systems Design.
43-52
- Michaela Huhn, Tilo Mücke:
Comparing Heuristics for Model Based Testsuite Generation.
53-62
- Hardi Hungar:
UML-basierte Entwicklung sicherheitskritischer Systeme im Bahnbereich.
63-64
- Leandro Soares Indrusiak, Manfred Glesner:
An Actor-Oriented Model-Based Design Flow for Systems-on-Chip.
65-74
- Iulian Ober, Susanne Graf, Yuri Yushtein:
Using an UML profile for timing analysis with the IF validation tool-set.
75-84
- Alexander Pretschner:
Zur Kosteneffektivität des modellbasierten Testens.
85-94
- Franz J. Rammig, Marcelo Götz, Tales Heimfarth, Peter Janacik, Simon Oberthür:
Real-time Operating Systems for Self-coordinating Embedded Systems.
95-104
- Jan Romberg:
Some motivation and current results for synchronous modeling and implementation.
105-112
- Ina Schieferdecker, Jürgen Großmann:
Testing of Embedded Control Systems with Continous Signals.
113-122
- Andy Schürr, Johannes Jakob:
Domänenspezifische Integration von Modellierungswerkzeugen mit Sichten.
123-130
- Justyna Zander-Nowicka, Ina Schieferdecker, Tibor Farkas:
Derivation of Executable Test Models from Embedded System Models using Model Driven Architecture Artefacts - Automotive Domain -.
131-140
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