14360 search results - page 21 / 2872 » Time Modeling in MARTE |
102
click to vote
CIMCA
2006
IEEE
15 years 9 months ago
2006
IEEE
The MPSG (Message-based Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control envir...
141
click to vote
DSRT
2005
IEEE
15 years 8 months ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
106
click to vote
SCIENTOMETRICS
2010
14 years 9 months ago
2010
This paper proves two regularities that where found in the paper [V. Larivi
158
click to vote
ECRTS
2005
IEEE
15 years 8 months ago
2005
IEEE
Cache memories have been extensively used to bridge the gap between high speed processors and relatively slower main memories. However, they are sources of predictability problems...
134
click to vote
ECBS
2010
IEEE
15 years 10 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...