Software applications need to change and adapt as modern architectures evolve. Nowadays advancement in chip design translates to increased parallelism. Exploiting such parallelism is a major challenge in modern software engineering. Multicore processors are about to introduce a significant change in the way we design and use fundamental data structures. In this work we describe the design and programming principles of a software library of highly concurrent scalable and nonblocking data containers. In this project we have created algorithms and data structures for handling fundamental computations in massively multithreaded contexts, and we have incorporated these into a usable library with familiar look and feel. In this work we demonstrate the first design and implementation of a wait-free hash table. Our multiprocessor data structure design allows a large number of threads to concurrently insert, remove, and retrieve information. Non-blocking designs alleviate the problems traditionally associated with the use of mutual exclusion, such as bottlenecks and thread-safety. Lock-freedom provides the ability to share data without some of the drawbacks associated with locks, however, these designs remain susceptible to starvation. Furthermore, wait-freedom provides all of the benefits of lock-free synchronization with the added assurance that every thread makes progress in a finite number of steps. This implies deadlock-freedom, livelock-freedom, starvation-freedom, freedom from priority inversion, and thread-safety. The challenges of providing the desirable progress and correctness guarantees of wait-free objects makes their design and implementation difficult. There are few wait-free data structures described in the literature. Using only standard atomic operations provided by the hardware, our design is portable; therefore, it is applicable to a variety of data-intensive applications including the domains of embedded systems and supercomputers. Our experimental evaluation shows that our hash table design outperforms the most advanced locking solution, provided by Intel's TBB library, by 22.

关键词：电子信息；软件；设计；架构；多核处理器；算法；数据结构

查看摘要 索取原文[41页]

Information systems belonging to the DoD and U.S. Army experience cyber attacks on a daily basis. Increasingly, these attacks are targeting popular third-party applications, instead of focusing on vulnerabilities in Microsoft software. The DoD responded to this threat by adopting Citadel Hercules, which did not find a willing audience with the U.S. Army. Instead, the Army adopted Microsoft Systems Management Server (SMS), followed by System Center Configuration Manager (SCCM) 2007 to meet this threat. After more than five years, the rollout of SCCM to all organizations within the U.S. Army is still incomplete. This study provides an overview of the threats facing U.S. Army information systems and looks at how the Army has addressed this challenge in the past. Next, the study takes a system engineering approach to identifying an optimal tool for mitigating third-party vulnerabilities and suggests potential alternatives to SCCM. In addition, the study utilizes a cost benefit analysis approach to aid in evaluating the potential Return on Investment (ROI) provided by each tool. The purpose of this study is to answer the question: What is the most optimal solution for mitigating vulnerabilities in third-party applications on U.S. Army information systems.

关键词：电子信息；软件；信息系统；漏洞

查看摘要 索取原文[167页]

Adoption of commercial off-the-shelf (COTS) products in safety critical systems has been seen as a promising acquisition strategy to improve mission affordability and, yet, has come with significant barriers and challenges. Attempts to integrate COTS software components into NASA human rated flight systems have been, for the most part, complicated by verification and validation (V&V) requirements necessary for flight certification per NASA s own standards. For software that is from COTS sources, and, in general from 3rd party sources, either commercial, government, modified or open source, the expectation is that it meets the same certification criteria as those used for in-house and that it does so as if it were built in-house. The latter is a critical and hidden issue. This paper examines the longstanding barriers and challenges in the use of 3rd party software in safety critical systems and cover recent efforts to use COTS software in NASA s Multi-Purpose Crew Vehicle (MPCV) project. It identifies some core artifacts that without them, the use of COTS and 3rd party software is, for all practical purposes, a nonstarter for affordable and timely insertion into flight critical systems. The paper covers the first use in a flight critical system by NASA of COTS software that has prior FAA certification heritage, which was shown to meet the RTCA-DO-178B standard, and how this certification may, in some cases, be leveraged to allow the use of analysis in lieu of testing. Finally, the paper proposes the establishment of an open source forum for development of safety critical 3rd party software.

关键词：电子信息；软件；飞行系统；认证；安全系统

查看摘要 索取原文[14页]

This final report contains the findings from the trustworthy composition of pre-designed software components project. Since DoD software is often developed at multiple vendor sites, individual components may be verified and delivered to an integrator--but the integration might fail because of behavioral incompatibility of the component interfaces. This work proposed behavioral types of interfaces by extracting the polychronous model from source code, and then using the theory of polychronous composition to check if the composition satisfied all of the requirements. The computation of composition properties (type inference) required novel development of a specialized Boolean theory for Prime Implicates, which provided a huge computational improvement through highly efficient generation of Prime Implicates.

关键词：电子信息；软件；嵌入式；预设计

查看摘要 索取原文[93页]

Flight controllers in NASA s mission control centers work day and night to ensure that missions succeed and crews are safe. The IT goals of NASA mission control centers are similar to those of most businesses: to evolve IT infrastructure from basic to dynamic. This paper describes Mission Control Technologies (MCT), an application platform that is powering mission control today and is designed to meet the needs of future NASA control centers. MCT is an extensible platform that provides GUI components and a runtime environment. The platform enables NASA's IT goals through its use of lightweight interfaces and configurable components, which promote standardization and incorporate useful solution patterns. The MCT architecture positions mission control centers to reach the goal of dynamic IT, leading to lower cost of ownership, and treating software as a strategic investment.

关键词：电子信息；软件；应用程序；飞行控制软件

查看摘要 索取原文[9页]

Why APPs are important to the military: (1) Information is presented in a manner that users want to see, (2) Speed of building and deploying tool, and (3) Community comfort with development and use of APPs. To streamline its operations in a rapidly advancing world, the Army is creating an online APP marketplace in the hopes of empowering its soldiers and boosting efficiency.

关键词：电子信息；软件；国防部；应用商店

查看摘要 索取原文[11页]

VoMBB has become a buzz word in the Global Telecom industry in the recent times, and it is expected to drive business in the coming years. Conceptually, VoMBB includes a carrier-grade voice feature over LTE, Wi-Fi, and HSPA/HSPA  network. While VoWi-Fi has been in the industry for a long time, VoLTE and VoHSPA are still in their infancy phase, but the Global Telecom industry is unanimously in favor of the future of these two technologies. Consequent to the higher penetration of HSPA than LTE, VoHSPA is expected to acquire the market faster than its counterpart VoLTE, during the period 2012-2016. In addition, the Wi-Fi-supported small cell technology is expected to open great avenues for VoWi-Fi.

关键词：移动宽带；语音；VoMBB；电信行业；无线网络；LTE；HSPA/ HSPA

查看摘要 索取原文[94页]

An automation system helps companies to optimize their business operations by effectively controlling their production processes. Automation systems include the following major products: DCS, MES, PLC, PLM, APC, industrial sensors, industrial robotics, and SCADA. These automation products are widely used by different process industries including Oil and Gas, Power, Pharmaceutical, Pulp and Paper, and Food and Beverages. In addition, these automation products help companies by providing real-time information which improves the efficiency of the entire plant, and increases the total cost of ownership.

关键词：自动化系统；生产流程；业务运营

查看摘要 索取原文[86页]

A CDN is a system of servers placed at various geographical locations to enable sharing of files among users in order to reduce loading time and avoid bottlenecks in users' networks. It is a large distributed system of servers deployed in multiple data centers across the internet. The goal of a CDN is to serve content to end-users ensuring high availability of content and high performance of the server. CDN servers are often used to speed up the delivery and loading time of websites. For example, a website can be hosted in the US, but some of the files (typically large images) can be hosted elsewhere so the main server serving the content doesn’t get slowed down. Additionally, these files may be hosted in a different country or even a different continent so the visitors from those regions can experience faster loading time on the website.

关键词：CDN；服务器；共享；文件

查看摘要 索取原文[58页]

This report covers the present scenario and the growth prospects of the Global Commercial Airport Information System market for the period 2012-2016. To calculate the market size, the report considers the overall revenue generated from the sale of information system to various airports across the world. Airport information system include IT hardware, software, and services which support airport infrastructure. It also presents the vendor landscape and a corresponding detailed analysis of the top four vendors in the Global Commercial Airport Information System market. In addition, the report discusses the major drivers that influence the growth of the Global Commercial Airport Information System market. It also outlines the challenges being faced by the vendors and the market at large, as well as the key trends that are emerging in the market.

关键词：商业机场；信息系统；市场；市场规模

查看摘要 索取原文[60页]