Browse

The work is dedicated to formalizing the process of designing embedded systems with distributed heterogeneous organization. The original model of representing a computational system as a set of computational platforms interconnected both hierarchically and within the same level is taken as the basis. The abstraction of a -design platform- is interpreted as a design solution that is fixed for reuse and provides an application interface for building an -upward- hierarchy of abstractions alongside specifications for ...