DCCL: Verification of Component Systems with Ensembles

Logo poskytovatele

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

BARNAT Jiří BENEŠ Nikola ČERNÁ Ivana PETRUCHOVÁ Zuzana

Rok publikování 2013
Druh Článek ve sborníku
Konference CBSE '13 Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www http://doi.acm.org/10.1145/2465449.2465453
Doi http://dx.doi.org/10.1145/2465449.2465453
Obor Informatika
Klíčová slova adaptation; component-based development; ensemble; formal verification; specification language
Popis 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.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.