Methods of formalized quality assessment of intelligent transport systems

Abstract

Abstract The purpose of the paper is to identify the main problems of creating software systems with a given level of reliability for intelligent transport systems. Considering the importance of this approach and the gained experience, the paper discusses design solutions to ensure software reliability in the development process. The paper is based on domestic and foreign experience of software design for intelligent information systems, which include transport systems. The issues of achieving a given level of software reliability during the control process are considered taking into account the continuation of the development process. It also reflects efforts to model and evaluate the reliability of software systems by considering the most common types of software reliability assessment models during development, as well as to predict the reliability during maintenance. The emphasis is upon detecting and correcting software errors.