Zobrazeno 1 - 3
of 3
pro vyhledávání: '"кт-178с"'
Publikováno v:
Труды Института системного программирования РАН, Vol 30, Iss 4, Pp 63-78 (2018)
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
Externí odkaz:
https://doaj.org/article/a9d4862e61e846749d3ea1a2f39f6605
Autor:
Yu. A. Solodelov, N. K. Gorelits
Publikováno v:
Труды Института системного программирования РАН, Vol 29, Iss 3, Pp 171-178 (2018)
JetOS is a prospective onboard real-time operating system (RTOS). Nowadays GosNIIAS develops JetOS in the scope of the research and development project. One of the most important tasks during JetOS development is to create the DO-178C certification k
Externí odkaz:
https://doaj.org/article/e36c0405d8b2417b9022676a1a2d1dfb
Publikováno v:
Труды Института системного программирования РАН, Vol 30, Iss 4, Pp 63-78 (2018)
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ad0fea4a750f83389c5b4bad2ebde684
https://doi.org/10.15514/ispras-2018-30(4)-4
https://doi.org/10.15514/ispras-2018-30(4)-4