Scipediacontent: Scipediacontent moved page Draft Content 741759003 to Schaffer et al 2012a

2021-02-02T07:33:10Z

Scipediacontent moved page Draft Content 741759003 to Schaffer et al 2012a

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

2021-02-02T07:33:08Z

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

New page

== Abstract ==

This paper proposes a solution to air traffic control (ATC) using an enhanced SIMD machine model called an Associative Processor (AP). Our solution 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 AP solution supports accurate predictions of worst case execution times and guarantees all deadlines are met. Furthermore, the software developed based on the AP model is much simpler and smaller in size than the current corresponding ATC software. As the associative processor is built from SIMD hardware, it is considerably cheaper and simpler than the MIMD hardware currently used to support ATC. We have designed a prototype for eight ATC real-time tasks on Clear Speed CSX600 accelerator that is used to emulate AP. Performance is evaluated in terms of execution time and predictability and is compared to the fastest host-only version implemented using OpenMP on an 8-core multiprocessor (MIMD). Our extensive experiments show that the AP implementation meets all deadlines that can be statically scheduled. To the contrary, some tasks miss their deadlines when implemented on MIMD. It is shown that the proposed AP solution will support accurate and meaningful predictions of worst case execution times and will guarantee that all deadlines are met.

== Original document ==

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

* [http://www.cs.kent.edu/%7Eparallel/papers/LSPP2012YuanBaker.pdf http://www.cs.kent.edu/%7Eparallel/papers/LSPP2012YuanBaker.pdf]

* [http://xplorestaging.ieee.org/ielx5/6269389/6270391/06270843.pdf?arnumber=6270843 http://xplorestaging.ieee.org/ielx5/6269389/6270391/06270843.pdf?arnumber=6270843],
: [http://dx.doi.org/10.1109/ipdpsw.2012.210 http://dx.doi.org/10.1109/ipdpsw.2012.210]

* [http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000006270843 http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000006270843],
: [https://dblp.uni-trier.de/db/conf/ipps/ipdps2012w.html#YuanBMS12 https://dblp.uni-trier.de/db/conf/ipps/ipdps2012w.html#YuanBMS12],
: [https://academic.microsoft.com/#/detail/2042625178 https://academic.microsoft.com/#/detail/2042625178]

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

Schaffer et al 2012a - Revision history

Scipediacontent: Scipediacontent moved page Draft Content 741759003 to Schaffer et al 2012a

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