Scipediacontent: Scipediacontent moved page Draft Content 999833610 to Yuan et al 2010a

2021-02-02T07:16:56Z

Scipediacontent moved page Draft Content 999833610 to Yuan et al 2010a

Scipediacontent: Created page with " == Abstract == This paper proposes a SIMD solution to air traffic control (ATC) using an enhanced SIMD machine model called an Associative Processor (AP). This differs from..."

2021-02-02T07:16:52Z

Created page with " == Abstract == This paper proposes a SIMD solution to air traffic control (ATC) using an enhanced SIMD machine model called an Associative Processor (AP). This differs from..."

New page

== Abstract ==

This paper proposes a SIMD solution to air traffic control (ATC) using an enhanced SIMD machine model called an Associative Processor (AP). This differs from previous ATC systems that are designed for MIMD computers and have a great deal of difficulty meeting the predictability requirements for ATC, which are critical for meeting the strict certification standards required for safety critical software components. The proposed SIMD solution will support accurate and meaningful predictions of worst case execution times and will guarantee all deadlines are met. Also, the software will be much simpler and smaller in size than the current corresponding ATC software. An important consequence of these features is that the V&V (Validation and Verification) process will be considerably simpler than for current ATC software. Additionally, the associative processor is enhanced SIMD hardware and is considerably cheaper and simpler than the MIMD hardware currently used to support ATC. The ClearSpeed CSX600 accelerator is used to emulate the AP model. A preliminary implementation of the proposed method has been developed and experimental results comparing MIMD and CSX600 approaches are presented. The performance of CSX600 has better scalability, efficiency, and predictability than that of MIMD.

== Original document ==

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

* [http://www.cs.kent.edu/%7Eparallel/papers/LSPP-10-Final.pdf http://www.cs.kent.edu/%7Eparallel/papers/LSPP-10-Final.pdf]

* [http://xplorestaging.ieee.org/ielx5/5465895/5470678/05470820.pdf?arnumber=5470820 http://xplorestaging.ieee.org/ielx5/5465895/5470678/05470820.pdf?arnumber=5470820],
: [http://dx.doi.org/10.1109/ipdpsw.2010.5470820 http://dx.doi.org/10.1109/ipdpsw.2010.5470820]

* [http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000005470820 http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000005470820],
: [https://dblp.uni-trier.de/db/conf/ipps/ipdps2010w.html#YuanBDNM10 https://dblp.uni-trier.de/db/conf/ipps/ipdps2010w.html#YuanBDNM10],
: [https://ieeexplore.ieee.org/document/5470820 https://ieeexplore.ieee.org/document/5470820],
: [https://academic.microsoft.com/#/detail/1981162463 https://academic.microsoft.com/#/detail/1981162463]

← Older revision	Revision as of 07:16, 2 February 2021
(No difference)

Yuan et al 2010a - Revision history

Scipediacontent: Scipediacontent moved page Draft Content 999833610 to Yuan et al 2010a

Scipediacontent: Created page with " == Abstract == This paper proposes a SIMD solution to air traffic control (ATC) using an enhanced SIMD machine model called an Associative Processor (AP). This differs from..."