DSP Processer-in-the-Loop Tests Based on Automatic Code Generation

The digital signal processing (DSP) processor-in-the-loop tests based on automatic code generation technology are studied. Firstly, the idea of model-based design is introduced, and the principle and method of embedded code automatic generation technology are analyzed by taking the automatic code generation of the DSP control algorithm for pulse width modulation (PWM) output as an example. Then, the control system model is established on MATLAB/Simulink. After verifying the model through simulation, the target board platform is established with DSP as the core processor, and the automatically generated code is tested by the processor-in-the-loop (PIL). The results show that the technology greatly shortens the development cycle of the project, improves the robustness and consistency of the control code, and can be widely used in the complex algorithm development process of the controller, from intelligent design and modeling to implementation.

Smart-Contracts in the digital economy: Contractual regulation and dispute resolution

This article has been prepared for the research purpose of identifying, disclosing, and justifying certain trends in the development of civil law and procedures in the context of the spread of smart contract practices and the expansion of their spheres of application. At the moment, there is no uniform approach to choosing an optimal form for the legal regulation of smart contracts within the system of contract law in modern legal systems or international law; meanwhile, globalization and the digitalization of the economy imply the growth of cross-border transactions. The emergence of smart contracts is due to the development of e-commerce, in which the parties’ interactions are carried out electronically instead of in physical exchanges or direct physical contact. Smart contracts gaining popularity in circulation are based on two interrelated elements: firstly, they eliminate a person’s direct participation in some or all cases of executing the agreement using an automated code designed for execution without reference to the intentions of the contracting parties after publication; secondly, they make use of decentralized blockchain technology, and also provide automatic code execution without any party’s potential intervention, so as to eliminate or reduce the self-control and third-party control of the commitment.This study examines the content, conclusion, validity, protection of rights and legitimate interests of the parties, interpretation, and legal nature of smart contracts. The research materials used foreign experience in resolving disputes from smart contracts on digital platforms (Kleros, JUR, Aragon Network Justice, OpenCourt, OpenBazaar), as well as domestic and foreign literature on smart contracts. This research has been prepared based on general (deduction, dialectical analysis, intersectoral relations of objects) and specialized (comparative-legal, economic-legal) methods of scientific experimentation.The authors conclude that there are no grounds for considering a smart contract as a new classification element of the system of contractual regulation (type or kind of contract). In addition, the analysis shows that the resolution of smart contract disputes through digital platforms remains radically uncertain, and currently is not creating obvious advantages in comparison with traditional judicial proceedings.

Automatic Code Generation of Safety Mechanisms in Model-Driven Development

In order to meet regulatory standards in the domain of safety-critical systems, these systems have to include a set of safety mechanisms depending on the Safety Integrity Level (SIL). This article proposes an approach for how such safety mechanisms may be generated automatically via Model-Driven Development (MDD), thereby improving developer productivity and decreasing the number of bugs that occur during manual implementation. The approach provides a structured way to define safety requirements, which may be parsed automatically and are used for the generation of software-implemented safety mechanisms, as well as the initial configuration of hardware-implemented safety mechanisms. The approach for software-implemented safety mechanisms relies on the Unified Modeling Language (UML) for representing these mechanisms in the model and uses model transformations to realize them in an intermediate model, from which code may be generated with simple 1:1 mappings. The approach for hardware-implemented safety mechanisms builds upon a template-based code snippet repository and a graphical user interface for configuration. The approach is applied to the development of a safety-critical fire detection application and the runtime of the model transformations is evaluated, indicating a linear scalability of the transformation steps. Furthermore, we evaluate the runtime and memory overhead of the generated code.

NEW DESIGN OF PLC-BASED ROBOTIC CONTROL SYSTEM FOR CONCRETE PRINTING IN BUILDING CONSTRUCTION

This paper presents a new platform for the development of an open control system for a robotic arm designed for the 3D printing of buildings. This platform uses a very efficient system of automatic code generation which greatly simplifies the process of robotic arm synthesis and analysis while allowing the deployment of custom control algorithms. An experimental workplace, with a reduced and simplified robotic arm, has been developed for the purpose of testing the platform. The mechanical and electrical construction of this experimental workplace is explained. The control system platform is also introduced and data from the test results are included. Both the advantages and disadvantages are discussed at the end.

Application of Automatic Code Generation Based on PSIM in Digital Control BUCK Circuit

In recent years, digital control has been widely used in the field of power electronics. Automatic code generation, as a graphical software writing method, has brought great convenience to the writing of electronic control software due to a series of advantages such as easy to write and easy to simulate and verify. Simcoder in PSIM is an automatic code generation software that enables the automatic generation of complete DSP control program projects. In this article, the current and voltage loops of a typical average current controlled BUCK circuit are designed as an example, and the use of PSIM and Simcoder is described in detail. Based on the main circuit and Matlab parameter calculations, the model is simulated and the self-generated code is downloaded into the TMS320F28335 to test the output voltage and current of the hardware circuit. The circuit output has the advantage of stable output voltage with small steady-state error and low voltage overshoot, demonstrating the practicality and efficiency of automatic code generation on this project.

SymPKF (v1.0): a symbolic and computational toolbox for the design of parametric Kalman filter dynamics

Recent research in data assimilation has led to the introduction of the parametric Kalman filter (PKF): an implementation of the Kalman filter, whereby the covariance matrices are approximated by a parameterized covariance model. In the PKF, the dynamics of the covariance during the forecast step rely on the prediction of the covariance parameters. Hence, the design of the parameter dynamics is crucial, while it can be tedious to do this by hand. This contribution introduces a Python package, SymPKF, able to compute PKF dynamics for univariate statistics and when the covariance model is parameterized from the variance and the local anisotropy of the correlations. The ability of SymPKF to produce the PKF dynamics is shown on a nonlinear diffusive advection (the Burgers equation) over a 1D domain and the linear advection over a 2D domain. The computation of the PKF dynamics is performed at a symbolic level, but an automatic code generator is also introduced to perform numerical simulations. A final multivariate example illustrates the potential of SymPKF to go beyond the univariate case.