An approach to the verification of the Center-TRACON Automation System

被引：0

作者：

Lygeros, J ^{[1
]}

Pappas, GJ ^{[1
]}

Sastry, S ^{[1
]}

机构：

[1] Univ Calif Berkeley, Dept Elect Engn & Comp Sci, Berkeley, CA 94720 USA

来源：

HYBRID SYSTEMS: COMPUTATION AND CONTROL | 1998年 / 1386卷

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

The Center-TRACON Automation System (CTAS) is a collection of planning and control software functions that generate landing schedules and advisories to assist air traffic controllers in handling traffic in the en-route and terminal areas. In this paper, we propose a formal safety analysis methodology to determine the correctness of CTAS with respect to safety. Four large classes of safety nations are identified for the CTAS problem: nominal, robust, structural and degraded. For nominal safety questions we seek conditions under which the system is guaranteed to be nominally safe.

引用

页码：289 / 304

页数：16

共 50 条

[1] UPGRADING THE NEW-YORK TRACON AUTOMATION SYSTEM
ANDERSON, RH
34TH ANNUAL AIR TRAFFIC CONTROL ASSOCIATION CONFERENCE PROCEEDINGS, 1989, : 429 - 435
[2] An Approach toward Reuse of Engineering Models in the Automation of System Verification
Foster, George J.
Helm, Annette L.
2011 IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON 2011), 2011, : 556 - 562
[3] System approach to design automation
Ivandic, Z
Kljajin, M
PROCEEDINGS OF THE 5TH INTERNATIONAL DESIGN CONFERENCE DESIGN 98, 1998, : 139 - 144
[4] The Lambda approach to system verification
Hughes, RB
Musgrave, G
HARDWARE/SOFTWARE CO-DESIGN, 1996, 310 : 427 - 451
[5] Formal Verification of Downtimeless System Evolution in Embedded Automation Controllers
Suender, Christoph
Vyatkin, Valeriy
Zoitl, Alois
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2013, 12 (01)
[6] Specification and formal verification of safety properties in a point automation system
Sener, Ibrahim
Kaymakci, Ozgur Turay
Ustoglu, Ilker
Cansever, Galip
TURKISH JOURNAL OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES, 2016, 24 (03) : 1384 - 1396
[7] System approach to automation and robotization of drivage
Zinov'ev, V. V.
Mayorov, A. E.
Starodubov, A. N.
Nikolaev, P., I
GEODYNAMICS AND STRESS STATE OF THE EARTH'S INTERIOR (GSSEI 2017), 2018, 134
[8] An integrated approach for automation of distribution system
Khedkar, MK
Gohokar, VN
IEEE/PES TRANSMISSION AND DISTRIBUTION CONFERENCE AND EXHIBITION 2002: ASIA PACIFIC, VOLS 1-3, CONFERENCE PROCEEDINGS: NEW WAVE OF T&D TECHNOLOGY FROM ASIA PACIFIC, 2002, : 2106 - 2110
[9] IT services management automation - An automation centric approach leveraging configuration control, audit verification and process analytics
Ayachitula, Naga
Buco, Melissa
Diao, Yixin
Fisher, Bradford
Loewenstern, David
Ward, Chris
MANAGING VIRTUALIZATION OF NETWORKS AND SERVICES, PROCEEDINGS, 2007, 4785 : 195 - +
[10] TOSHIBA FACTORY AUTOMATION SYSTEM DEVELOPMENT CENTER.
Kobayashi, Yoshikata
Advanced Robotics, 1987, 2 (02) : 201 - 204

← 1 2 3 4 5 →