Aviation is a growing contributor to climate change, with unique impacts due to the altitude of emissions. If existing traffic growth rates continue, radical engineering solutions will be required to prevent aviation becoming one of the dominant contributors to climate change. This paper reviews the engineering options for mitigating the climate impacts of aviation using aircraft and airspace t...

One of the intended purposes of recently proposed Global Navigation Satellite System (GNSS) signals is the provision of high integrity positioning sufficient for use in aviation. Caution is required, as the integrity requirements for aviation, particularly precision approach, are very strict. There must be less than a one in ten million chance of providing misleading information to the pilot. F...

Since the terrorist attacks of September 11, 2001, aviation security policy has remained a focus of national attention. We develop mathematical models to address some prominent problems in aviation security. We explore first whether securing aviation deserves priority over other potential targets. We compare the historical risk of aviation terrorism to that posed by other forms of terrorism and...

Currently, within the National Emissions Inventory (NEI), airport, including aircraft, emissions are estimated at the county level as area sources and are represented only in the surface layer of air quality models. In reality, however, aircraft release their emissions both on the surface and while airborne. Therefore, in order to provide a realistic representation of all emissions from aircraf...

Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct result at the right time is the fundamental goal of such systems. Formally specifying the system functions and the timing requirements is the crucial step towards achieving such a goal. Aviation systems often need to be modified or upgraded on a regular basis, ...

Teh aim of dis work is to provide insight into alcohol-kerosene fuels and their promising use as an alternative in commercial aviation. A detailed chemical and physical experimental analysis is drawn, wif a focus on teh advantage of teh isopropanol-kerosene blend. Despite reported beneficial isopropanol effects on retarding fuel combustion, knocking prevention, and much lower emissions, few...