An Integrated Framework for Traceability and Impact Analysis in Requirements Verification of Cyber–Physical Systems

In the field of model-based design of Cyber–Physical Systems (CPS), seamless traceability of the process, from requirements to models to simulation results, is becoming increasingly important. It can be used to support several activities such as variant handling, impact analysis, component reuse, software maintenance and evolution, verification, and validation. Despite the fact that the relevance of traceability in the model-based design of CPSs is well known, current tools that support traceability management are inadequate in practice. The lack of comprehensive whole-lifecycle systems engineering support in a single tool is one of the main causes of such ineffective traceability management, where traceability relationships between artifacts are still manually generated and maintained. This paper aims at presenting an approach and a prototype for automatically generating and maintaining the appropriate traceability links between heterogeneous artifacts ranging from requirement models, through design models, down to simulation and verification results throughout the product life cycle in model-based design of CPSs. A use case study is presented to validate and illustrate the proposed method and prototype.

The System for Developing New Products at a Machine-building Enterprise Using System Engineering Techniques (For Example, PJSC MZIK)

This article describes the problem of the task of finding and developing a new product in the conditions of a machine-building enterprise, as well as the vision of solving this problem (organization of works on search of ideas and development of a new product within the life cycle of the product at the machine-building plant named after M.I. Kinin). The picture of the task as a whole - on creation of an effective system of product support according to the life cycle is described. Technical and project processes are also considered as they are seen for implementation according to GOST 15288. Keywords: product life cycle, requirements engineering, requirements verification, competence, production.

Applying CMMI Best Practices to Improve Processes

Today more and more organizations are demanding quality software products. To cover this demand, companies that provide computer solutions focus on the quality of their processes to generate value in a competitive market. This article presents the case study of an educational institution that decides to use the best practices of CMMI to improve the areas of management processes of requirements, verification and validation. The results of the improvement process show that the practices were improved, the defects decreased and the customer satisfaction was improved.