Credo Methodology

Authors:
Immo Grabe;Mohammad Mahdi Jaghoori;Bernhard Aichernig;Christel Baier;Tobias Blechmann;Frank de Boer;Andreas Griesmayer;Einar Broch Johnsen;Joachim Klein;Sascha Klüppelholz;Marcel Kyas;Wolfgang Leister;Rudolf Schlatte;Andries Stam;Martin Steffen;Simon Tschirner;Liang Xuedong;Wang Yi
Affiliations:
CWI, Amsterdam, The Netherlands and CAU Kiel, Germany;CWI, Amsterdam, The Netherlands;UNU - IIST, Macau, China;TU Dresden, Germany;TU Dresden, Germany;CWI, Amsterdam, The Netherlands;UNU - IIST, Macau, China;University of Oslo, Norway;TU Dresden, Germany;TU Dresden, Germany;University of Oslo, Norway;NR, Oslo, Norway;UNU - IIST, Macau, China;Almende, The Netherlands;University of Oslo, Norway;University of Uppsala, Sweden;RRHF, Oslo, Norway;University of Uppsala, Sweden
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2010

Citing 10
Cited 2

Maude: specification and programming in rewriting logic

Theoretical Computer Science - Rewriting logic and its applications
Reo: a channel-based coordination model for component composition

Mathematical Structures in Computer Science
Model-based validation of QoS properties of biomedical sensor networks

EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Schedulability and Compatibility of Real Time Asynchronous Objects

RTSS '08 Proceedings of the 2008 Real-Time Systems Symposium
Coordinating Object Oriented Components Using Data-Flow Networks

Formal Methods for Components and Objects
Dynamic Symbolic Execution for Testing Distributed Objects

TAP '09 Proceedings of the 3rd International Conference on Tests and Proofs
Modeling and Testing Multi-Threaded Asynchronous Systems with Creol

Electronic Notes in Theoretical Computer Science (ENTCS)
Modular schedulability analysis of concurrent objects in creol

FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Executable interface specifications for testing asynchronous creol components

FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Type-Safe runtime class upgrades in creol

FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems

The credo methodology

FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Puff, the magic protocol

Formal modeling

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.