970 search results - page 5 / 194 » Reliability Analysis of Concurrent Systems Using LTSA |
167
click to vote
ASPLOS
2009
ACM
15 years 10 months ago
2009
ACM
Future processors are expected to observe increasing rates of hardware faults. Using Dual-Modular Redundancy (DMR), two cores of a multicore can be loosely coupled to redundantly ...
TVLSI
2008
14 years 9 months ago
2008
Lifetime concerns for complex systems-on-a-chip (SoC) designs due to decreasing levels in reliability motivate the development of solutions to ensure reliable operation. A precurso...
CASES
2008
ACM
14 years 11 months ago
2008
ACM
Detailed or cycle-accurate/bit-accurate (CABA) simulation is a critical phase in the design flow of embedded systems. However, with increasing system complexity, full detailed sim...
103
click to vote
UML
2005
Springer
15 years 3 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
WOSP
2005
ACM
15 years 3 months ago
2005
ACM
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment...