An artificial vision aided NDGPS/INS system has been developed and tested in the dynamic environment of a ground and flight vehicle to evaluate the overall system performance. The results show the significant advantages in position accuracy and situation awareness. Accuracy meets the CAT-I precision approach and landing using NDGPS/INS integration. Also we confirm the proposed system is effecti...

M ODERN air transportation has an excellent flight safety record. When failures do occur in flight, owing to the training and experience of the pilots almost always results in a safe landing. This is evidenced by a rate of only 1.35 accidents per one million hours flown in 2007 by U.S. air carriers [1]. Despite this excellent record, the pilots’ responsibility to land safely in case of an emerg...

The number of fatal accidents involving public transport aircraft has increased significantly in recent years and, because more and more "wide-bodied" aircraft have been coming into service, this has resulted in a rapid increase in the number of fatalities. A combined attack on the problem by all concerned with flight safety is required to improve the situation. The collection and analysis of a...

Many European airports are located in close proximity to residential or protected areas. Aircraft noise emissions caused by the landing and taking off of aircraft are a big problem in these areas. From an operational point of view, the method for reducing noise is to reduce traffic volume or change its organization, especially during the night. Some procedures and tools have been developed to s...

The aim of this paper is to conceive the possibility of applying the Required Navigation Performance (RNP) requirements where Global Navigation Satellite System (GNSS) augmentations are considered for the Automatic Take-Off and Landing (ATOL). An aircraft, belonging to the Medium Altitude Long Endurance (MALE) category of Unmanned Aerial System (UAS) has been considered as case-study. Once the ...

Demands for planetary landing Unmanned exploratory missions to e.g. Mars involve a landing phase, where the spacecraft descends vertically to the planetary surface. In order to minimize the impact during landing a breaking system of parachutes and airbags is employed. This system is uncontrolled and hence not able to adapt to unforeseeable situations. Indeed, landing spacecraft may easily hit a...

The objective of NASA’s Small Aircraft Transportation System (SATS) Concept of Operations (ConOps) is to facilitate High Volume Operation (HVO) of advanced small aircraft operating in nontowered non-radar airports. Given the safety-critical nature of SATS, its analysis accuracy is extremely important. However, the commonly used analysis techniques, like simulation and traditional model checking...

Complexity theory suggests that we see performance as an emergent property, the result of complex interactions and relationships. This can clash, however, with what stakeholders see as legitimate and normal in accident investigations. When systems fail, it is still common to blame components (e.g. human errors) and when they succeed spectacularly, to think in terms of individual heroism (e.g. t...

1. Introduction Active remote sensors are turning into indispensible tools for aviation. Especially, coherent lidar systems which can detect atmospheric aviation hazards such as wake-vortices, air drafts, wind shear and turbulence have received wide interest. Such lidars have been deployed with increasing numbers at airports and research facilities around the world. Some of the common aviation ...

This paper presents a solution to the landing gear system case study using Event-B and Rodin. We study the whole system (both the digital part and the controlled part). We use feature augmentation to build an abstract model of the whole system and structural refinement to detail more specifically the digital part. The required safety properties are formalised and proved. We propose a specific a...