Outcome of a Dagstuhl Seminar: Model-Based Engineering of Embedded Real-Time Systems 2007

Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz (Eds.): Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers. Lecture Notes in Computer Science 6100 Springer 2011, ISBN 978-3-642-16276-3

Part I: Foundation

Bernhard Schätz, Holger Giese:
Models of Reactive Systems - Communication, Concurrency, and Causality. 3-15
Holger Giese, Stefan Neumann, Oliver Niggemann, Bernhard Schätz:
Model-Based Integration. 17-54

Part II: Language Engineering

Jonathan Sprinkle, Bernhard Rumpe, Hans Vangheluwe, Gabor Karsai:
Metamodelling - State of the Art and Research Challenges. 57-76
Mass Soldal Lund, Atle Refsdal, Ketil Stølen:
Semantics of UML Models for Dynamic Behavior - A Survey of Different Approaches. 77-103

Part III: Modeling

Stefan Resmerita, Patricia Derler, Wolfgang Pree, Andreas Naderlinger:
Modeling and Simulation of TDL Applications. 107-128
Sébastien Gérard, Huáscar Espinoza, François Terrier, Bran Selic:
Modeling Languages for Real-Time and Embedded Systems - Requirements and Standards-Based Solutions. 129-154
Ingolf Krüger, Claudiu Farcas, Emilia Farcas, Massimiliano Menarini:
Requirements Modeling for Embedded Realtime Systems. 155-199
Michaela Huhn, Hardi Hungar:
UML for Software Safety and Certification - Model-Based Development of Safety-Critical Software-Intensive Systems. 201-237

Part IV: Model Analysis

Tihamer Levendovszky, Bernhard Rumpe, Bernhard Schätz, Jonathan Sprinkle:
Model Evolution and Management. 241-270
Christian Buckl, Alois Knoll, Ina Schieferdecker, Justyna Zander:
Model-Based Analysis and Development of Dependable Systems. 271-293

Part V: Approaches

Philippe Cuenot, Patrick Frey, Rolf Johansson, Henrik Lönn, Yiannis Papadopoulos, Mark-Oliver Reiser, Anders Sandberg, David Servat, Ramin Tavakoli Kolagari, Martin Törngren, et al.:
The EAST-ADL Architecture Description Language for Automotive Embedded Software. 297-307
Claudia Priesterjahn, Matthias Tichy, Stefan Henkler, Martin Hirsch, Wilhelm Schäfer:
Fujaba4Eclipse Real-Time Tool Suite. 309-315
Florian Hölzl, Martin Feilkas:
AutoFocus 3 - A Scientific Tool Prototype for Model-Based Development of Component-Based, Reactive, Distributed Systems. 317-322
Elodie Legros, Wilhelm Schäfer, Andy Schürr, Ingo Stürmer:
MATE - A Model Analysis and Transformation Environment for MATLAB Simulink. 323-328
Oliver Niggemann, Anne Geburzi, Joachim Stroop:
Benefits of System Simulation for Automotive Applications. 329-336
Ingo Weisemöller, Felix Klar, Andy Schürr:
Development of Tool Extensions with MOFLON. 337-343
De-Jiu Chen, Martin Törngren, Magnus Persson, Lei Feng, Tahir Naseer Qureshi:
Towards Model-Based Engineering of Self-configuring Embedded Systems. 345-353
Ulrich Freund:
Representation of Automotive Software Description Means in ASCET. 355-360
Sébastien Gérard, Cédric Dumoulin, Patrick Tessier, Bran Selic:
Papyrus: A UML2 Tool for Domain-Specific Language Modeling. 361-368
Janos Sztipanovits, Gabor Karsai, Sandeep Neema, Ted Bapty:
The Model-Integrated Computing Tool Suite. 369-376
Tibor Farkas, Torsten Klein, Harald Röbig:
Application of Quality Standards to Multiple Artifacts with a Universal Compliance Solution. 377-384

Last update Wed May 22 02:44:39 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page