License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.2.7.30
URN: urn:nbn:de:0030-drops-37343
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2012/3734/
Go back to Dagstuhl Reports

Feiler, Peter ; Hugues, Jérôme ; Sokolsky, Oleg
Weitere Beteiligte (Hrsg. etc.): Peter Feiler and Jérôme Hugues and Oleg Sokolsky

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

pdf-format:
dagrep_v002_i007_p030_s12272.pdf (0.8 MB)

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.

BibTeX - Entry

@Article{feiler_et_al:DR:2012:3734,
  author =	{Peter Feiler and J{\'e}r{\^o}me Hugues and Oleg Sokolsky},
  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 =	{Peter Feiler and J{\'e}r{\^o}me Hugues and Oleg Sokolsky},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2012/3734},
  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}
}

Keywords: Architectu Description Language, AADL, EAST-ADL, MARTE, Verification, Validation, Analysis, Embedded Systems, Model-Driven techniques
Collection: Dagstuhl Reports, Volume 2, Issue 7
Issue Date: 2012
Date of publication: 10.10.2012

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