OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Preface to the special issue: architecture-driven semantic analysis of embedded systems

Hugues, Jérôme and Sokolsky, Oleg Preface to the special issue: architecture-driven semantic analysis of embedded systems. (2015) Science of Computer Programming, 106. 1-2. ISSN 0167-6423

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
141kB

Official URL: http://dx.doi.org/10.1016/j.scico.2015.05.002

Abstract

Semantics of architectural languages and semantics-based transformations of architectural models have been the topic of a Dagstuhl seminar “Architecture- Driven Semantic Analysis of Embedded Systems” held in July 2012. This issue contains a selection of papers that arose from presentations and discussions at the seminar. Seven papers were submitted in response to an open call for contri- butions to the special issue. Each paper was reviewed by at least three reviewers. At least one reviewer of every paper was not involved with the Dagstuhl semi- nar, in order to ensure a broad appeal of the selected papers. Following several rounds of reviewing, four papers were selected for the issue. Collectively, these papers cover the typical challenges in developing high-assurance toolchains that support architecture-centric development of DES.

Item Type:Article
Additional Information:Thanks to Elsevier editor. The definitive version is available at http://www.sciencedirect.com The original PDF of the article can be found at Science of Computer Programming website : http://www.sciencedirect.com/science/article/pii/S016764231500091X?np=y
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
Other partners > University of Pennsylvania (USA)
Laboratory name:
Statistics:download
Deposited By: Jerome Hugues
Deposited On:03 Sep 2015 11:50

Repository Staff Only: item control page