Compositional programming and testing of dynamic distributed systems

Compositional Programming and Testing of Dynamic Distributed Systems

Distributed systems are notoriously difficult to get right as they must deal with concurrency and failures. This paper proposes techniques for building reliable distributed systems with two central contributions: (1) We propose a module system based on the theory of compositional trace refinement for dynamic systems consisting of asynchronouslycommunicating state machines, where state machines ...

Compositional Reasoning for Dynamic Distributed Systems

coordination of protective schemes in distribution and subtransmission systems including distributed generation

نصب منابع پراکنده در سیستم های توزیع و فوق توزیع علاوه بر مزیت های فراوان، مشکلاتی را هم به همراه دارد. یکی از این مشکلات تأثیر این منابع روی اندازه جریان های اتصال کوتاه است. به طور معمول از حفاظت های مبتنی بر اصل جریان زیاد در سیستم های توزیع و فوق توزیع استفاده می شود. از مهمترین طرح های حفاظتی استفاده شده در فیدرهای توزیع، حفاظت فیوز- ریکلوزر است. همچنین از طرح های حفاظتی جریان زیاد جهتی در...

Compositional Testing of Communication Systems

In this paper, we propose the compositional test method (C-method), which exploits the structure of component-based communication systems. The C-method first tests each component separately for output and/or transfer faults, using one of the traditional test methods, then checks for composability, and finally tests the composite system for composition faults. To check for composability and to d...

A Testing Platform for Teaching Secure Distributed Systems Programming

In this paper, we report on our experience with transitioning a research platform for performing adversarial testing on distributed system implementations into a tool for teaching students how to implement robust distributed systems. We present how we integrated the tool in a graduate-level distributed systems course by describing the modifications we made to the tool, the projects used in conj...