2187 search results - page 4 / 438 » Performance analysis of distributed embedded systems |
143
click to vote
LCTRTS
2010
Springer
15 years 10 months ago
2010
Springer
This paper extends the methodology of analytic real-time analysis of distributed embedded systems towards merging and extracting sub-streams based on event type information. For e...
138
click to vote
EATIS
2007
ACM
15 years 7 months ago
2007
ACM
This paper presents a new fault injection tool called Exhaustif (Exhaustive Workbench for Systems Reliability). Exhaustif is a SWIFI fault injection tool for fault tolerance verif...
112
click to vote
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
126
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
131
click to vote
RTCSA
2008
IEEE
15 years 9 months ago
2008
IEEE
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...