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 ...

Automation of complex technological and laboratory systems requires the creation of specialized mixed-critical computing systems. They must control the technological process at several levels (control subsystem) and maintain the user interface with technological data management (information subsystem). So, they execute tasks with significantly different criticality. Also, it is assumed that the development of physical components, the implementation and configuration of the control subsystem at different stages of ...