THE METHOD AND ALGORITHMS FOR FUNCTIONAL ENGINEERING OF APPLICATION SOFTWARE FOR LOGIC CONTROLLER USING VISUAL MODELS
The article describes a method and algorithms for functional engineering of application software for programmable logic controllers using visual models. The main results of the investigation of existing design methods are given. Computer models, visually similar to controlled technological objects and processes, seem to be the most suitable tools for ensuring consistency, the least requiring additional knowledge from the customer. The investigation showed the absence of such visual models that could be used in functional engineering, provided an opportunity for agreement with both the customer and the developer, and at the same time relied on the mathematical apparatus of formal specifications. The proposed visual models of automated technological complexes are described, which differ from the known ones by the possibility of their use as a human-machine interface in functional engineering, which allows ensuring the consistency of design solutions. A method for application software engineering, an algorithm for constructing visual models and an algorithm for specifications design of software blocks within the framework of the method are presented, which differ in the joint use of visual models and formal specifications in the functional design of software blocks. An illustrative example of the application of the proposed method and algorithms is given.