The paper addresses the problem of structuring and managing large distributed systems constructed from many distributed objects. Specifically, the paper proposes a component model which can be used to compose objects into manageable entities. Components are specified using Darwin, an architecture description language developed by the authors. A mapping of distributed objects into Darwin compone...

Reactive programming paradigm successfully overcomes the limitations of observer pattern which has traditionally been used for developing event-driven distributed systems. Due to its declarative style, compositionality and automatic management of dependencies, reactive programming offers a promising new way for building complex distributed data-flow systems. This article outlines some open chal...

Industrial systems, like aircrafts or cars, are based on real-time distributed networks and require high level of robustness, reliability and adaptability. This paper first introduces our approach to implement a distributed monitor of real-time properties, and then introduce a new formalism, adaptive Petri nets, that will allow to model such complex, distributed and realtime systems. Keywords—D...