• Media type: E-Article; Text; Electronic Conference Proceeding
  • Title: 07451 Summary – Model-Based Engineering of Embedded Real-Time Systems
  • Contributor: Giese, Holger [Author]; Karsai, Gabor [Author]; Lee, Edward [Author]; Rumpe, Bernhard [Author]; Schätz, Bernhard [Author]
  • imprint: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2007
  • Language: English
  • DOI: https://doi.org/10.4230/DagSemProc.07451.2
  • Keywords: real-time systems ; validation & verification ; domain-specific languages ; tool-support ; embedded systems ; Models ; MDD ; model-based
  • Origination:
  • Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Description: 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.
  • Access State: Open Access