Abstract:An Air Traffic Control System (ATCS) is a highly complex, real-time, and mission-critical system in software engineering, computer engineering, mathematical engineering, and design science. A general and rigorous methodology for complex system modeling and refinement via a closed loop of analysis-synthesis is presented in denotational mathematics where the entire behaviors of a system are embodied as a synthesis of all analytic behaviors at the component level. The formal analysissynthesis methodology is elaborated in a design paradigm of ATCS. An efficient denotational mathematics, Real-Time Process Algebra (RTPA), is adopted for modeling and refining the structures and functions of ATCS. In the analysis phase, the architectural models of ATCS are created and refined by a set of formal structure models (SMs), while the functional models of ATCS are specified and refined by a set of behavioral process models (PMs) at the component level. In the synthesis phase, the ATCS system is composed by the component PMs and SMs by process dispatching techniques. This work demonstrates that a highly complex ATCS system can be systematically and rigorously modeled, specified, and refined by RTPA and its methodology. As a result, the workload and complexity of large-scale software system modeling and development are efficiently reduced in software engineering. This work is presented in two papers in serial due to its excessive length. The conceptual and structural models of ATCS are described in this paper, followed by the behavioral process models of ATCS as elaborated in a succeeding paper in JAMA 2(1).

Design Of Atp (Auto Train Protection) Software Architecture Based On Hierarchical Component Model

A hierarchical modeling method for AUTOSAR software components

SmartSAR: A Component-Based Hierarchy Software Platform for Automotive Electronics

Model-based Software Development for Automatic Train Protection System

The Analysis and Design of an ATP Automatic Detective System Based on Distributed Simulation

Research on modeling and simulation of vehicle-on-board Automatic Train Protection subsystem of Communication Based Train Control system

The Modeling and Simulation of High-Speed Railway Signal Equipment Based on Component Technology

Functional Safety Assessment for the Carborne ATP of Train Control System

The Critical Techniques of A Distributed ATP Simulation Detective System

Modeling safety-critical system requirements with hierarchical state machine

Implementation of ATP Algorithm for High Speed Trains

A Novel Approach To Automatic Code Generation For Automatic Train Protection

Reliability analysis of digital protection's software based on architecture

Application Of Modeling And Decision Tree In Railway System

Design and Evaluation of Universal On-board Train Interface Unit

Configurable hierarchical modeling method for intelligent plant

Train-Centric Communication Based Autonomous Train Control System

Denotational Mathematical Models of an Air Traffic Control System (ATCS-I): Structure Models of Architectures in RTPA

Physical Architecture Simulation Based on System Dynamics Modelling for an Autonomous Transportation System Scenario

A Software Architecture For Artificial Transportation Systems - Principles And Framework

360138 MODELING RAILWAY SIGNALLING CONTROL SOFTWARE WITH OBJECT-BASED ARCHITECTUR(Signal,Technical Session)