Software architectural design, also known as top-level design, describes the software top-level structure and organization and identifies the various components. The concept of an automated air traffic flight control system which controls airplanes requires a high degree of operational integrity and availability. One possible solution to alleviate air travel congestion could be the automation of air traffic control and allowing it to have direct control over airplane flight paths. Such a system would, in theory, reduce the workload of the flight crew and the air traffic controllers, as well as increase traffic flow. This paper presents several analyses of such a conceptual system from a “net-centric” perspective. First, the system’s operation is described from the context of a flight, to provide a basis for the discussion of various system models and views. Spiral development model stages as well as related events which occur during system design give an idea of how the system would be developed incrementally. Formal methods can be used to improve software security but can be costly and also have limitations of scale, training, and applicability. To compensate for the limitations of scale, formal methods can be applied to selected parts or properties of a software project, in contrast to applying them to the entire system. The concept of object-oriented development (OOD) has gradually matured from being presented. The OOD can still be regarded as one of the mainstream development models. UML includes a standardized graphical notation used to create an abstract model of a system, referred to as a UML model. We describe AATFCS system with UML modeling techniques. AADL is an extensible and allows us to introduce new properties; we can define a set of properties specific to the data state variable. In this paper we present the AADL language for AATFCS system.