|
SoHaR provides analyses and tools for architecture design and tradeoffs. Technologies that we use (and can transfer) include:
SoHaR has unparalleled experience in utilizing
all of these techniques, individually and in combination,
and can provide you with the exact set of models, analyses
and solutions suitable for your project.
Markov Modeling
Markov modeling extends the traditional approaches of reliability
and availability by means of state diagrams to handle reconfigurable
systems (such as hot/standby redundant systems).
Related Links: Projects and Publication, Markov tool
Reliability Block Diagrams (RBD)
Reliability Block Diagrams are the traditional approach to
modeling a system, as a set of series and parallel elements,
to obtain the failure probability and downtime through
combinatorial methods.
Related Links: Reliability
prediction tool, RAM-Commander
Petri Net Analysis
Petri Net Analysis is a graphical method
that extends simulations to include information system states
(both allowable and failed).
Related Links: Projects
and Publication
Simulations (Monte Carlo methods)
Monte Carlo simulations use defined distributions and random
numbers to simulate the behavior of a system.
Related Links: Projects
and Publication
|
