- Table View
- List View
This book deals with air-ground aeronautical communications. The main goal is to give the reader a survey of the currently deployed, emerging and future communications systems dedicated to digital data communications between the aircraft and the ground, namely the data link. Those communication systems show specific properties relatively to those commonly used for terrestrial communications. In this book, the system architectures are more specifically considered from the access to the application layers as radio and physical functionalities have already been addressed in detail in others books.The first part is an introduction to aeronautical communications, their specific concepts, properties, requirements and terminology. The second part presents the currently used systems for air ground communications in continental and oceanic area. The third part enlightens the reader on the emerging and future communication systems and some leading research projects focused on this scope. Finally, before the conclusion, the fourth part gives several main challenges and research directions currently under investigation.
The design, implementation and validation of avionics and aeronautical systems have become extremely complex tasks due to the increase of functionalities that are deployed in current avionics systems and the need to be able certify them before putting them into production. This book proposes a methodology to enable the rapid prototyping of such a system by considering from the start the certification aspects of the solution produced. This method takes advantage of the model-based design approaches as well as the use of formal methods for the validation of these systems. Furthermore, the use of automatic software code generation tools using models makes it possible to reduce the development phase as well as the final solution testing. This book presents, firstly, an overview of the model-based design approaches such as those used in the field of aeronautical software engineering. Secondly, an original methodology that is perfectly adapted to the field of aeronautical embedded systems is introduced. Finally, the authors illustrate the use of this method using a case study for the design, implementation and testing of a new generation aeronautical router.