DCCL: verification of component systems with ensembles

Authors:
Jiří Barnat;Nikola Beneš;Ivana Černá;Zuzana Petruchová
Affiliations:
Faculty of Informatics, Masaryk University, Brno, Czech Rep;Faculty of Informatics, Masaryk University, Brno, Czech Rep;Faculty of Informatics, Masaryk University, Brno, Czech Rep;Faculty of Informatics, Masaryk University, Brno, Czech Rep
Venue:
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
Year:
2013

Citing 8
Cited 0

Model checking

Model checking
Component-based software engineering: putting the pieces together

Component-based software engineering: putting the pieces together
Component Software: Beyond Object-Oriented Programming

Component Software: Beyond Object-Oriented Programming
The temporal logic of programs

SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Software Engineering for Ensembles

Software-Intensive Systems and New Computing Paradigms
DiVinE: Parallel Distributed Model Checker

PDMC-HIBI '10 Proceedings of the 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology
Towards a system model for ensembles

Formal modeling
Towards Dependable Emergent Ensembles of Components: The DEECo Component Model

WICSA-ECSA '12 Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture

Quantified Score

Hi-index	0.00

Visualization

Abstract

Current trends in computing include building distributed systems out of autonomous adaptive components. Communication between the components may be local and communication channels may change over time. This emergent behaviour of communication may be seen as the creation and dissolution of component ensembles. Clearly, correctness of such systems is an important issue. We provide a verification-oriented modelling language for describing these component-ensemble systems as well as a verification tool. The processes of the components as well as the ensemble communication are described in a C++-like fashion. The tool is an extension of the parallel and distributed verification environment DiVinE. We also describe several demonstrative examples and use them to experimentally evaluate our approach.