|
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
|
