13 search results - page 1 / 3 » Compositional Translation of Simulink Models into Synchronou... |
SIES
2010
IEEE
13 years 2 months ago
2010
IEEE
SEFM
2006
IEEE
13 years 11 months ago
2006
IEEE
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitio...
ESTIMEDIA
2008
Springer
13 years 6 months ago
2008
Springer
We propose a method to automatically transform synchronous data flow diagrams into synchronous block diagrams. The idea is to use triggers, a mechanism that allows a block to be f...
FORTE
2008
13 years 6 months ago
2008
The paper studies a distributed implementation method for the BIP (Behavior, Interaction, Priority) component framework for modeling heterogeneous systems. BIP offers two powerful ...
SSS
2010
Springer
13 years 2 months ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...