Abstract: A system comprises at least one computer device in communication with one or more server computers. The system converts unstructured text into usable order details, and uses instant messaging to notify recipients of the order details. The notices include electronic web links that launch a web interface that generates an editable, pre-populated electronic order ticket based on the order details. Submission of the electronic order ticket launches an auction during which the recipients may respond with offers to fulfill to the electronic order ticket. If after the auction more than one response is needed to fill the electronic order ticket, the system automatically allocates how and in which order the responses will be used to fill the electronic order ticket. If the electronic order ticket is not completely filled after the auction, the electronic order ticket is submitted to one or more additional exchanges for further filling.

Abstract: A system may include a computer readable medium and a processor communicatively coupled to the computer readable medium. The processor may be configured to: obtain a graphical image file, the graphical image file including an image, wherein the image includes a portion including textual characters, wherein each textual character of the textual characters is formed of line segments; and convert the graphical image file to at least one file including hardware directives that when executed cause a recreation of the image of the graphical image file to be drawn, wherein a size of the at least one file is smaller than the graphical image file.

Abstract: A flight chart conversion system is disclosed. A host computing device is configured to: convert flight chart file(s) to SVG flight chart file(s) defined in XML; preprocess each of the SVG flight chart file(s) by removing filled shapes overlapping navigational paths, detecting font characters, and replacing the font characters with font character references; convert the SVG flight chart file(s) to flight chart(s) defined in set(s) of aircraft display hardware directives; compress each of the flight chart(s) and the respective metadata; and combine the flight chart(s) and the respective metadata into a flight chart database.

Abstract: A system may include a computer readable medium and a processor communicatively coupled to the computer readable medium. The processor may be configured to: obtain a graphical image file, the graphical image file including an image, wherein the image includes a portion including textual characters, wherein each textual character of the textual characters is formed of line segments; and convert the graphical image file to at least one file including hardware directives that when executed cause a recreation of the image of the graphical image file to be drawn, wherein a size of the at least one file is smaller than the graphical image file.

Abstract: A system and method for verifying cache coherency in a safety-critical avionics processing environment includes a multi-core processor (MCP) having multiple cores, each core having at least an L1 data cache. The MCP may include a shared L2 cache. The MCP may designate one core as primary and the remainder as secondary. The primary core and secondary cores create valid TLB mappings to a data page in system memory and lock L1 cache lines in their data caches. The primary core locks an L2 cache line in the shared cache and updates its locked L1 cache line. When notified of the update, the secondary cores check the test pattern received from the primary core with the updated test pattern in their own L1 cache lines. If the patterns match, the test passes; the MCP may continue the testing process by updating the primary and secondary statuses of each core.

Abstract: A system and method for detection and correction of single-bit errors in a multi-core processing resource (MCPR) of an avionics processing system includes a RAM EDAC testing module called by the MCPR health monitor to access EDAC registers of a system-on-chip module coupled to the MCPR and access memory addresses passed by the MCPR health monitor to detect single-bit errors. Single-bit errors detected in memory mapped to the hypervisor are corrected by the RAM EDAC testing module. Single-bit errors detected in memory associated with a partition or core of the MCPR are corrected by the health monitor running on the particular partition or core with which the memory portion is associated. Single-bit errors may be detected in unmapped memory associated with a partition or core by accessing the unmapped memory via a temporary TLB entry.

Abstract: A multi-core processor system and a method of operating the system allocates fault queues in a shared system memory for each virtual machine of a partitioned guest operating system running on a core or partition of the processor system. Health monitors of the partitioned guest operating system log faults in the fault queue corresponding to the appropriate virtual machine. The health monitors may take additional action in response to warning-level or virtual machine-level faults. A health monitor of the multi-core processor resource then polls each fault queue, as well as the partition-level and module-level event logs maintained by the module operating system, for available faults and logs all faults in a single nonvolatile event log of the multi-core processor resource.