The problem of optimization of software system architecture choice is considered taking into account changes of requirements in iterative technologies of design and reengineering. The solution is offered on the base of correction of alternatives' characteristics which were accounted on previous iteration or modification of existing software system during reengineering. This method prevents recalculations for evaluation and selection process. The method of pairwise substitution is applied for alternatives' characteristics correction. Its concept lies in compensation on supremacy of criterion change. Multicriteria optimization of substitution is carried out using nonlinear scalar convolution what improves validity of selected decision.

The scientific problem investigated and solved in the article is to ensure the completeness and adequacy of the quality model of the filtering software subsystem to its requirements and the constructiveness and reliability of methods for evaluating the unified characteristics and quality properties included in the model.The built quality model is adequate to the requirements of the filtering software and contains a set of selected characteristics, compliance criteria and metrics, which allows to obtain a unified method of quality assessment for different Kalman's filters and other digital filters and choose a more efficient and accurate filter for the filtering subsystem of several competitors, which increases the reliability of software monitoring systems and safety of aircraft.The quality model of filtering software created in the article was used to compare and obtain quality estimates of adaptive Kalman filter and αβ-filter, which are most often used in practice to solve the problems of filtering trajectory and navigation parameters of aircraft.Unified quality model by analogy can be easily modified, adapted and used to assess the quality of software components of digital signal filtering in other related areas, especially in subject areas where critical software systems operate, for which the state of the object is monitored based on parametric information sensors.

No abstract

Розглянуто питання побудови процедури сертифікації програмного забезпечення автоматизованих систем контролю як одного з класів критичних програмних систем, для яких сертифікація відповідності є обов’язковою. Розроблено методи формалізації процедури формування критеріїв якос-ті та побудовано узагальнену модель якості програмного забезпечення. Створення таких методів дає можливість підвищити ефективність і якість випробувань, а тому зменшує трудомісткість цієї операції та збільшує достовірність результатів сертифікації відповідності.

No abstract