Proceedings of the Institute for System Programming of the RAS
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Proceedings of ISP RAS:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Proceedings of the Institute for System Programming of the RAS, 2018, Volume 30, Issue 4, Pages 63–78
DOI: https://doi.org/10.15514/ISPRAS-2018-30(4)-4
(Mi tisp347)
 

This article is cited in 2 scientific papers (total 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
Full-text PDF (969 kB) Citations (2)
References:
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.
Bibliographic databases:
Document Type: Article
Language: English
Citation: N. K. Gorelits, A. S. Gukova, E. V. Peskov, “Criteria for software to safety-critical complex certifiable systems development”, Proceedings of ISP RAS, 30:4 (2018), 63–78
Citation in format AMSBIB
\Bibitem{GorGukPes18}
\by N.~K.~Gorelits, A.~S.~Gukova, E.~V.~Peskov
\paper Criteria for software to safety-critical complex certifiable systems development
\jour Proceedings of ISP RAS
\yr 2018
\vol 30
\issue 4
\pages 63--78
\mathnet{http://mi.mathnet.ru/tisp347}
\crossref{https://doi.org/10.15514/ISPRAS-2018-30(4)-4}
\elib{https://elibrary.ru/item.asp?id=35544583}
Linking options:
  • https://www.mathnet.ru/eng/tisp347
  • https://www.mathnet.ru/eng/tisp/v30/i4/p63
  • This publication is cited in the following 2 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Proceedings of the Institute for System Programming of the RAS
    Statistics & downloads:
    Abstract page:124
    Full-text PDF :116
    References:15
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024