License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.07451.2
URN: urn:nbn:de:0030-drops-12720
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2007/1272/
Go to the corresponding Portal

Giese, Holger ; Karsai, Gabor ; Lee, Edward ; Rumpe, Bernhard ; Schätz, Bernhard

07451 Summary -- Model-Based Engineering of Embedded Real-Time Systems

pdf-format:
07451.SWM.ExtAbst.1272.pdf (0.03 MB)

Abstract

Today, embedded software plays a central role in most advanced technical systems such as airplanes, cell phones, and cars, and has become the main driver for innovation. Development, evolution, configuration and maintenance of embedded and distributed software nowadays often are serious challenges as a drastic increase of the software complexity can be observed in practice. The application of model-based engineering technologies to embedded real-time systems seems to be a good candidate to tackle some of the resulting problems.

BibTeX - Entry

@InProceedings{giese_et_al:DagSemProc.07451.2,
  author =	{Giese, Holger and Karsai, Gabor and Lee, Edward and Rumpe, Bernhard and Sch\"{a}tz, Bernhard},
  title =	{{07451 Summary – Model-Based Engineering of Embedded Real-Time Systems}},
  booktitle =	{Model-Based Engineering of Embedded Real-Time Systems},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7451},
  editor =	{Holger Giese and Gabor Karsai and Edward Lee and Bernhard Rumpe and Bernhard Sch\"{a}tz},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2007/1272},
  URN =		{urn:nbn:de:0030-drops-12720},
  doi =		{10.4230/DagSemProc.07451.2},
  annote =	{Keywords: Models, model-based, MDD, embedded systems, real-time systems, validation \& verification, tool-support, domain-specific languages}
}

Keywords: Models, model-based, MDD, embedded systems, real-time systems, validation & verification, tool-support, domain-specific languages
Collection: 07451 - Model-Based Engineering of Embedded Real-Time Systems
Issue Date: 2007
Date of publication: 13.12.2007

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI