Criteria for software to safety-critical complex certifiable systems development
| Autor: | E.V. Peskov, GosNIIAS, Moscow, Russia, N.K. Gorelits, A.S. Gukova |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
Computer science
media_common.quotation_subject управление конфигурацией кбо сертифицируемые системы lcsh:QA75.5-76.95 Software DO-178C do-178c разработка по кт-178с Quality (business) авионика Software analysis pattern General Environmental Science media_common Requirements management Configuration management процессы жц сложные системы business.industry Software development разработка сложных систем Risk analysis (engineering) Data exchange выбор по General Earth and Planetary Sciences анализ по жизненный цикл lcsh:Electronic computers. Computer science системная инженерия business |
| Zdroj: | Труды Института системного программирования РАН, Vol 30, Iss 4, Pp 63-78 (2018) |
| ISSN: | 2220-6426 2079-8156 |
| DOI: | 10.15514/ispras-2018-30(4)-4 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|