A modelling and analysis environment for LARES

Alexander Gouberman,Martin Riedl,Johann Schuster,Markus Siegle

MMB'12/DFT'12 Proceedings of the 16th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance（2012）

引用 1|浏览2

暂无评分

摘要

This paper presents a toolset for modelling and analysis of fault tolerant systems based on LARES (LAnguage for REconfigurable Systems), an easy-to-learn formalism that allows its users to describe system structure, dynamic failure and repair behaviour.

查看译文

关键词

analysis environment,reconfigurable systems,fault tolerant system,easy-to-learn formalism,dynamic failure,repair behaviour,system structure

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要