Scipediacontent: Scipediacontent moved page Draft Content 633376120 to Balouki Jarrar 2018a

2021-02-15T09:40:33Z

Scipediacontent moved page Draft Content 633376120 to Balouki Jarrar 2018a

Scipediacontent: Created page with " == Abstract == We propose a general formal modeling and verification of the air traffic control system (ATC). This study is based on the International Civil Aviation Organiz..."

2021-02-15T09:40:30Z

Created page with " == Abstract == We propose a general formal modeling and verification of the air traffic control system (ATC). This study is based on the International Civil Aviation Organiz..."

New page

== Abstract ==

We propose a general formal modeling and verification of the air traffic control system (ATC). This study is based on the International Civil Aviation Organization (ICAO), Federal Aviation Administration (FAA), and National Aeronautics and Space Administration (NASA) standards and recommendations. It provides a sophisticated assistance system that helps in visualizing aircrafts and presents automatic bugs detection. In such a critical safety system, the use of robust formal methods that assure bugs absence is highly required. Therefore, this work suggests a formalism of discrete transition systems based on abstraction and refinement along proofs. These ensure the consistency of the system by means of invariants preservation and deadlock freedom. Hence, all invariants hold permanently providing a handy solution for bugs absence verification. It follows that the said deadlock freedom ensures a continuous running of a given system. This specification and modeling technique enable the system to be corrected by construction.

Document type: Article

== Full document ==
<pdf>Media:Draft_Content_633376120-beopen776-3522-document.pdf</pdf>

== Original document ==

The different versions of the original document can be found in:

* [http://dx.doi.org/10.1155/2018/1692432 http://dx.doi.org/10.1155/2018/1692432] under the license http://creativecommons.org/licenses/by/4.0/

* [https://doi.org/10.1155/2018/1692432 https://doi.org/10.1155/2018/1692432] under the license http://creativecommons.org/licenses/by/4.0

* [http://downloads.hindawi.com/journals/mse/2018/1692432.pdf http://downloads.hindawi.com/journals/mse/2018/1692432.pdf],
: [http://downloads.hindawi.com/journals/mse/2018/1692432.xml http://downloads.hindawi.com/journals/mse/2018/1692432.xml],
: [http://dx.doi.org/10.1155/2018/1692432 http://dx.doi.org/10.1155/2018/1692432] under the license cc-by

* [http://dx.doi.org/10.1155/2018/1692432 http://dx.doi.org/10.1155/2018/1692432],
: [https://doaj.org/toc/1687-5591 https://doaj.org/toc/1687-5591],
: [https://doaj.org/toc/1687-5605 https://doaj.org/toc/1687-5605] under the license http://creativecommons.org/licenses/by/4.0/

* [https://www.hindawi.com/journals/mse/2018/1692432 https://www.hindawi.com/journals/mse/2018/1692432],
: [http://downloads.hindawi.com/journals/mse/2018/1692432.pdf http://downloads.hindawi.com/journals/mse/2018/1692432.pdf],
: [https://academic.microsoft.com/#/detail/2892342489 https://academic.microsoft.com/#/detail/2892342489]

← Older revision	Revision as of 09:40, 15 February 2021
(No difference)

Balouki Jarrar 2018a - Revision history

Scipediacontent: Scipediacontent moved page Draft Content 633376120 to Balouki Jarrar 2018a

Scipediacontent: Created page with " == Abstract == We propose a general formal modeling and verification of the air traffic control system (ATC). This study is based on the International Civil Aviation Organiz..."