Biblio

Filters: Author is Ken Keefre, University of Illinolis at Urbana-Champaing  [Clear All Filters]
2016-10-24
Ken Keefre, University of Illinolis at Urbana-Champaing, William H. Sanders, University of Illinois at Urbana-Champaign.  2016.  ADVISE – Adversary View Security Evaluation: Practical Metrics for Enterprise Security Engineering (poster).
2016-11-15
Ken Keefre, University of Illinolis at Urbana-Champaing, William H. Sanders, University of Illinois at Urbana-Champaign.  2015.  Reliability Analysis with Dynamic Reliability Block Diagrams in the Mobius Modeling Tool. 9th EAI International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2015).

Reliability block diagram (RBD) models are a commonly used reliability analysis method. For static RBD models, combinatorial solution techniques are easy and efficient. However, static RBDs are limited in their ability to express varying system state, dependent events, and non-series-parallel topologies. A recent extension to RBDs, called Dynamic Reliability Block Diagrams (DRBD), has eliminated those limitations. This tool paper details the RBD implementation in the M¨obius modeling framework and provides technical details for using RBDs independently or in composition with other M¨obius modeling formalisms. The paper explains how the graphical front-end provides a user-friendly interface for specifying RBD models. The back-end implementation that interfaces with the M¨obius AFI to define and generate executable models that the M¨obius tool uses to evaluate system metrics is also detailed.

Ken Keefre, University of Illinolis at Urbana-Champaing, William H. Sanders, University of Illinois at Urbana-Champaign.  2015.  Reliability Analysis with Dynamic Reliability Block Diagrams in the Mobius Modeling Tool. 9th EAI International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2015).

Reliability block diagram (RBD) models are a commonly used reliability analysis method. For static RBD models, combinatorial solution techniques are easy and efficient. However, static RBDs are limited in their ability to express varying system state, dependent events, and non-series-parallel topologies. A recent extension to RBDs, called Dynamic Reliability Block Diagrams (DRBD), has eliminated those limitations. This tool paper details the RBD implementation in the M¨obius modeling framework and provides technical details for using RBDs independently or in composition with other M¨obius modeling formalisms. The paper explains how the graphical front-end provides a user-friendly interface for specifying RBD models. The back-end implementation that interfaces with the M¨obius AFI to define and generate executable models that the M¨obius tool uses to evaluate system metrics is also detailed.