Статья: Математическое обоснование современных эвристических подходов к проектированию сложных систем

Рассматривается современный эвристический подход к про-ектированию сложных технических систем в гражданской авиации на основе V-процесса, рекомендуемого руководством ARP4754A. Дается интерпретация и формально-математическое обоснование этого подхода на языке современной алгебры в рамках новой парадигмы в теории систем, развиваемой на основе общего принципа изоморфизма. Обсуждается возможность сопряжения этого подхода с перспективным телеоцентрическим подходом. Доказывается, что эти и любые другие эвристические подходы к проектированию систем должны отвечать условиям теоремы о реализации. Тем самым обеспечивается научное обоснование широко используемого подхода к системному проектированию и предлагается вариант его развития.