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

Wireless data transmission interfaces have advantages that ensure their wide and almost inevitable application in a number of tasks of creating modern automation systems, cyber-physical systems, Industrial Internet of Things, and sensor networks. However, there is a certain methodological gap between radiophysicists who are engaged in the design of wireless networks, and IT specialists who need to implement them into various computing systems. The gap is caused by the insufficiently high quality of documentation, ...

The article analyzes the problems of creating custom cyber-physical systems (CPS) and approaches to their design using computing platforms. The features and typical problems of the three main scenarios of creating a CPS are shown: 1) by applied specialists only; 2) by IT specialists only; 3) by applied and IT specialists jointly. The last scenario is considered in detail. The need for explicit allocation of interfaces for interaction between applied and IT specialists, explicit allocation of the CPS computing plat...

The article deals with the problem of embedded computing systems testing and debug. The embedded systems design process, actual problems and existing solutions are analyzed from this perspective. The method of testing and debug based on model-oriented record and replay of the computational process is proposed, as well as the corresponding specification model for real-time computational processes. The specification model is a modified control flow graph. The key advantage of the proposed method is an abstract defin...

The article deals with the problem of debug of hardware computational units intended for stream data processing on FPGA. Modern solutions are usually oriented to debug of a hardware unit implementation in a simulator with some model input data or to observing the implemented design in the prototype with real target system environment. However effective analysis and debug of implemented computational algorithms requires combined debug with test data exchange between hardware unit model in simulator and its implemen...