1655 search results - page 163 / 331 » State, Event, Time and Diagram in System Modeling |
186
click to vote
HYBRID
2001
Springer
15 years 11 months ago
2001
Springer
Efficient algorithms exist for fault detection and isolation of physical systems based on functional redundancy. In a qualitative approach, this redundancy can be captured by a tem...
158
click to vote
CODES
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we propose an effective automatic generation approach for a Cycle-Count Accurate Memory Model (CCAMM) from the Clocked Finite State Machine (CFSM) of the Cycle Accu...
180
click to vote
QEST
2005
IEEE
15 years 12 months ago
2005
IEEE
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL, and allows for th...
203
click to vote
HASE
1998
IEEE
15 years 10 months ago
1998
IEEE
Fault trees provide a graphical and logical framework for analyzing the reliability of systems. A fault tree provides a conceptually simple modeling framework to represent the sys...
156
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
The Behavior Action Simulation Platform (BASP) has been in existence since early 2000, when it was first applied to small-team reconnaissance scenarios for the United States Marin...