RUS  ENG
Full version
JOURNALS // Proceedings of the Institute for System Programming of the RAS // Archive

Proceedings of ISP RAS, 2018 Volume 30, Issue 4, Pages 63–78 (Mi tisp347)

This article is cited in 2 papers

Criteria for software to safety-critical complex certifiable systems development

N. K. Gorelits, A. S. Gukova, E. V. Peskov

State Research Institute of Aviation Systems

Abstract: Nowadays there is an actual problem in aviation industry - how to make the development of complex safety-critical systems certifiable according to international and domestic standards and regulations like DO-178C, DO-254, ARP 4754A, ARP 4761 etc. In the article configuration management process from the development lifecycle of DO-178C is considered as the main source of criteria for the development tool selection. Selected criteria can be applied to software tool, which supports entire development lifecycle of aviation software, as well as to software tools supporting some individual lifecycle processes. The activities of configuration management process provide work with all project lifecycle data, its storage, integrity, security, manageability and information support for data exchange between the remaining lifecycle processes, maintenance of the history of changes etc. Compliance with the principles of the configuration management process allows project managers to control development, ensure the required quality and reliability of the product; also, its certifiability and the necessary level of confidence in security, reduce financial and time development costs. As example of using criteria one of the most widely known in industry software tool for requirements development and management was analyzed for compliance with the chosen criteria.

Keywords: DO-178C, qualification requirements 178C, software development, software analysis, software choosing, certifiable systems, complex systems, complex systems development, avionics, on-board equipment, lifecycle processes, lifecycle, configuration management, system engineering.

Language: English

DOI: 10.15514/ISPRAS-2018-30(4)-4



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024