Cyber-Physical Systems: The Linguistic Aspect
- PDF / 143,961 Bytes
- 15 Pages / 594 x 792 pts Page_size
- 69 Downloads / 188 Views
CYBER-PHYSICAL SYSTEMS: THE LINGUISTIC ASPECT A. B. Godlevsky1† and M. K. Morokhovets1‡
UDC 004.415.2:621.337.1
Abstract. An approach to the design of control systems of technical objects is proposed. Its peculiarity is linguistically driven design. A methodology for designing control systems is presented, which is developed based on this approach and is destined for use at the design stage preceding the construction of a formal model. Keywords: control system, linguistically driven design, methodology for designing control systems, cyber-physical system. INTRODUCTION The creation of cyber-physical systems (CPSs), i.e., systems in which physical objects and computer programs interact [1, 2], includes the design and development of their control (hardware or software) components. We note several significant aspects of creating such systems and their functioning. 1. Of great importance is the initial stage of designing a system, which is related to the collection, analysis, and development of requirements on the system. Negative consequences of omissions in performing this step (costs for reworks, the elimination of vulnerabilities in the complete product, etc.) were noted by different authors at different times (see, for example, [3–5]). The special area called requirements engineering [6, 7] was formed, which considers methods of transition from customer requests represented, as a rule, in natural languages to a model and then to a functioning system satisfying the customer’s wishes. However, the need to design, develop, and improve methods and means for handling requirements still exists. 2. The life cycle of a system (the period from its design to its decommissioning) includes its maintenance and sometimes its modification. The presence of documentation substantiating the choices and decisions made and taken at the stage of designing the system is useful when it is required to change the existing system (to improve its performance characteristics or to provide its new opportunities without depriving its already existing advantages). 3. In creating systems, formal methods of verification and validation are currently used [8, 9], which requires the construction of a formal model of the system being designed. Requirements on a system are first formulated, as a rule, in natural language (NL). The transition from these requirements to a formal model of the system is a separate problem, the creation of methods and means of which began a special direction of investigations called requirements tracing [10, 11]. It is expedient to conduct a design process in such a way that, already at its early stages, a model of the object being designed is created, which is verified in the course of construction, is rather easily formalized at subsequent design stages, and is the basis for creating documentation (suitable for use in modification and reengineering). This work proposes the approach of linguistically driven development of requirements at the initial design stage of a CPS component such as a control system (CS). This appr
Data Loading...
