На качественном уровне определены цель и значимость динамической отработки и аттестации программного обеспечения (ПО) БЦВМ в форме «электронных пусков» в контексте общей технологии создания систем управления (СК). Неформально изложена методология динамической отработки ПО БЦВМ, что рассматривается как очень важная составляющая прикладной теории программирования БЦВМ СК ракетно-космической тематики, относящиеся к классу систем жесткого реального времени. В терминах поточной модели рассмотрены базовые схемы динамической отработки ПО БЦВМ и сформулированы основные концепции их инструментальной поддержки в CASE-средах (Computer Aided Software Engineering): концепции связанных целевых контуров, синхронизации данных и адаптивного управления технологическими процессами. Представлены обобщения опыта работ АО Хартрон, начиная с 1960-х pp., В области создания ПО встроенных БЦВМ СК по профилирующим направлениям ракетно-космической тематики: тяжелая ракета-носитель «Энергия», семейство функциональных модулей «Квант», «Кристалл», « спектр »,« Природа »орбитальных пилотируемых станций, семейство межконтинентальных баллистических ракет с разделяющимися головными частями, включая ракеты типов SS18 и SS19, транспортный корабль снабжения и энергетический функционально-грузовой модуль американо-российской програмы международной космической станции« Альфа »и др. Корректность и практическая эффективность концепций подтверждена положительными результатами динамической отработки ПО БЦВМ при обеспечении более 300 пусков (циклов натурных испытаний) ракет и космических аппаратов различных типов.