TY - JOUR
T1 - Credo methodology
T2 - Modeling and analyzing a peer-to-peer system in credo
AU - Grabe, Immo
AU - Jaghoori, Mohammad Mahdi
AU - Aichernig, Bernhard
AU - Baier, Christel
AU - Blechmann, Tobias
AU - De Boer, Frank
AU - Griesmayer, Andreas
AU - Broch Johnsen, Einar
AU - Klein, Joachim
AU - Klüppelholz, Sascha
AU - Kyas, Marcel
AU - Leister, Wolfgang
AU - Schlatte, Rudolf
AU - Stam, Andries
AU - Steffen, Martin
AU - Tschirner, Simon
AU - Xuedong, Liang
AU - Yi, Wang
PY - 2010/10/12
Y1 - 2010/10/12
N2 - Credo offers tools and techniques to model and analyze highly reconfigurable distributed systems. In this paper, we present an integrated methodology to use the Credo tool suite. In this methodology, we advertise the use of top-down design, component-based modeling and compositional analysis to address the complexity of highly reconfigurable distributed systems. As a running example, we model a peer-to-peer file-sharing system and show how and when to apply the different modeling and analysis techniques of Credo.
AB - Credo offers tools and techniques to model and analyze highly reconfigurable distributed systems. In this paper, we present an integrated methodology to use the Credo tool suite. In this methodology, we advertise the use of top-down design, component-based modeling and compositional analysis to address the complexity of highly reconfigurable distributed systems. As a running example, we model a peer-to-peer file-sharing system and show how and when to apply the different modeling and analysis techniques of Credo.
KW - compositional verification
KW - distributed systems
KW - dynamic reconfiguration
KW - schedulability analysis
KW - testing
UR - https://www.scopus.com/pages/publications/77957287850
U2 - 10.1016/j.entcs.2010.08.047
DO - 10.1016/j.entcs.2010.08.047
M3 - 文章
AN - SCOPUS:77957287850
SN - 1571-0661
VL - 266
SP - 33
EP - 48
JO - Electronic Notes in Theoretical Computer Science
JF - Electronic Notes in Theoretical Computer Science
IS - C
ER -