Volume 18, Issue 1-2

March 2014

Special Issue on “Brazilian Workshop on Embedded Systems from 2012” and Special Issue on “Languages, Models, and Model Based Design”

Issue Editors:

6 articles in this issue

State-based scheduling analysis for distributed real-time systems
Tayfun Gezgin
Ingo Stierand
Achim Rettberg
OriginalPaper 09 July 2013 Pages: 1 - 18
Efficient schedulability tests for real-time embedded systems with urgent routines
J. Augusto Santos Jr.
George Lima
Konstantinos Bletsas
OriginalPaper 01 August 2013 Pages: 19 - 38
Dynamically reconfigurable hardware/software mobile agents
David Cemin
Marcelo Götz
Carlos Eduardo Pereira
OriginalPaper 05 October 2013 Pages: 39 - 60
Editorial introduction
Martin Radetzki
Axel Jantsch
EditorialNotes 21 July 2012 Pages: 61 - 62
Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions
Jens Brandt
Mike Gemünde
Jean-Pierre Talpin
OriginalPaper 06 July 2012 Pages: 63 - 97
ASDeX: a formal specification for analog circuit enabling a full automated design validation
Mingyu Ma
Lars Hedrich
Christian Sporrer
OriginalPaper 30 June 2012 Pages: 99 - 118

Search