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