Credo methodology : Modeling and analyzing a peer-to-peer system in credo
Dagsetning
Höfundar
Journal Title
Journal ISSN
Volume Title
Útgefandi
Útdráttur
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.
Lýsing
Efnisorð
compositional verification, distributed systems, dynamic reconfiguration, schedulability analysis, testing, Theoretical Computer Science, General Computer Science
Citation
Grabe, I, Jaghoori, M M, Aichernig, B, Baier, C, Blechmann, T, De Boer, F, Griesmayer, A, Broch Johnsen, E, Klein, J, Klüppelholz, S, Kyas, M, Leister, W, Schlatte, R, Stam, A, Steffen, M, Tschirner, S, Xuedong, L & Yi, W 2010, 'Credo methodology : Modeling and analyzing a peer-to-peer system in credo', Electronic Notes in Theoretical Computer Science, vol. 266, no. C, pp. 33-48. https://doi.org/10.1016/j.entcs.2010.08.047