Search Results

Documents authored by Feiler, Peter


Document
Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272)

Authors: Peter Feiler, Jérôme Hugues, and Oleg Sokolsky

Published in: Dagstuhl Reports, Volume 2, Issue 7 (2013)


Abstract
Architectural modeling of complex embedded systems is gaining prominence in recent years, both in academia and in industry. An architectural model represents components in a distributed system as boxes with well-defined interfaces, connections between ports on component interfaces, and specifies component properties that can be used in analytical reasoning about the model. Models are hierarchically organized, so that each box can contain another system inside, with its own set of boxes and connections between them. The goal of Dagstuhl Seminar 12272 ``Architecture-Driven Semantic Analysis of Embedded Systems'' is to bring together researchers who are interested in defining precise semantics of an architecture description language and using it for building tools that generate analytical models from architectural ones, as well as generate code and configuration scripts for the system. This report documents the program and the outcomes of the presentations and working groups held during the seminar.

Cite as

Peter Feiler, Jérôme Hugues, and Oleg Sokolsky. Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272). In Dagstuhl Reports, Volume 2, Issue 7, pp. 30-55, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)


Copy BibTex To Clipboard

@Article{feiler_et_al:DagRep.2.7.30,
  author =	{Feiler, Peter and Hugues, J\'{e}r\^{o}me and Sokolsky, Oleg},
  title =	{{Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272)}},
  pages =	{30--55},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{7},
  editor =	{Feiler, Peter and Hugues, J\'{e}r\^{o}me and Sokolsky, Oleg},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.7.30},
  URN =		{urn:nbn:de:0030-drops-37343},
  doi =		{10.4230/DagRep.2.7.30},
  annote =	{Keywords: Architectu Description Language, AADL, EAST-ADL, MARTE, Verification, Validation, Analysis, Embedded Systems, Model-Driven techniques}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail