Найдено научных статей и публикаций: 4, для научной тематики: Real-time software
1.
Tyugashev A., Ermakov I.,Ilyin I.
, 2012
The paper is devoted to a complex problem in Russian Aerospace Industry connected with reliability and safety of software. There are an analysis of the state -of -the -art, problem statement and ways to get a moremore reliable and safer software. It has been declared that there isThe a ‘crisis’ in c...
The paper is devoted to a complex problem in Russian Aerospace Industry connected with reliability and safety of software. There are an analysis of the state -of -the -art, problem statement and ways to get a moremore reliable and safer software. It has been declared that there isThe a ‘crisis’ in critical software development in the Russian Aerospace Industry has been declared, and wayshow to overcome it areis being discussed. The Ppaper for-mulates the basics of the complex approach including specialized integrated CASE tools development, usage of coding/specifying/verification standards, and knowledge base for developers
Proc. Program Semantics, Specification and Verification: Theory and Applications (PSSV 2012), July 1-2, 2012 in Nizhni Novgorod, Russia, PP121-129
2.
Kalentyev A., Tyugashev A., Bogatov A., Shulyndin A.
- ЯрГУ , 2011
Visual toolset for real-time onboard programs verification support...
Visual toolset for real-time onboard programs verification support
Proc. Program Semantics, Specification and Verification: Theory and Applications. Saint-Petersburg, 2011 P120-127
3.
А.А. Калентьев, А.А. Тюгашев
- Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета) , 2010
Статья посвящена вопросам использования графических языков программирования в жизненном цикле бортового программного обеспечения космических аппаратов. Проведен обзор вариантов применения визуального программирования с использованием графических языков, на стадиях спецификации, проектирования, напис...
Статья посвящена вопросам использования графических языков программирования в жизненном цикле бортового программного обеспечения космических аппаратов. Проведен обзор вариантов применения визуального программирования с использованием графических языков, на стадиях спецификации, проектирования, написания и отладки программ. Подчеркнуто, что главной причиной использования графических средств при создании бортового программного обеспечения космических аппаратов является возможность достижения лучшего взаимопонимания в коллективе специалистов по бортовым системам, алгоритмистов, программистов, что позволяет создавать более надежные и качественные программные системы
Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета). 2010. № 2. С. 248-259.
4.
A Tyugashev
- Journal of Computer and Systems Sciences International , 2006
Integrated development environment for real-time control algorithms degign has been presented....
Integrated development environment for real-time control algorithms degign has been presented.
Journal of Computer and Systems Sciences International. 2006. Т. 45. № 2. С. 287-300.