Gorelits Natalia Kirillovna

Publications in Math-Net.Ru

1. Analysis of Russian software supporting onboard systems development lifecycle in context of import substitution policy
   
   Proceedings of ISP RAS, 32:2 (2020),  175–190
2. Requirements management for safety-critical systems. Overview of solutions
   
   Proceedings of ISP RAS, 31:1 (2019),  25–48
3. Criteria for software to safety-critical complex certifiable systems development
   
   Proceedings of ISP RAS, 30:4 (2018),  63–78
4. Certifiable onboard real-time operation system JetOS for Russian aircrafts design
   
   Proceedings of ISP RAS, 29:3 (2017),  171–178
5. Practical experience of software and system engineering approaches in requirements management for software development in aviation industry
   
   Proceedings of ISP RAS, 28:2 (2016),  173–180