Architectural dependability evaluation with Arcade

Computer Science

• Formal Semantics 100%
• Case Study 50%
• Input/Output 50%
• State Space 50%
• Evaluation Approach 50%
• Application Area 50%
• Architectural Evaluation 50%
• Markov Chain 50%

Keyphrases

• Dependability Attributes 100%
• Formal Semantics 40%
• Modeling Approach 20%
• Input-output 20%
• State-space Reduction 20%
• New Circumstances 20%
• Extensible Framework 20%
• Evaluation Approach 20%
• New Modeling 20%
• State Space Generation 20%
• Interactive Markov Chains 20%
• Computational Reduction 20%
• Compositional Modeling 20%