Rapid Prototyping Software for Avionics Systems

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.

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.

INTRODUCTION ixCHAPTER 1. DEVELOPING MODEL-BASED DESIGN METHODS IN SOFTWAREENGINEERING 11.1. The history of model-based design 11.2. The Unified Modeling Language, a support for model-basedmethods 31.2.1. The philosophy and history of the Unified ModelingLanguage 31.2.2. The Unified Modeling Language normalized diagrams 51.2.3. The advantages of model-based design 121.3. Formal model-based validation techniques 131.3.1. Model Checking 141.3.2. Formal theorem proving 181.3.3. Code assertion 191.3.4. Applying for certification for complex systems 20CHAPTER 2. METHODOLOGY FOR RAPID PROTOTYPING AVIONICSOFTWARE 232.1. The specificities of the avionic domain 232.1.1. System virtualization: integrated modular avionics 242.1.2. MILS: divide and conquer, to rule over a secureworld 272.1.3. Processing security and safety aspects simultaneously302.2. The certification of an avionic system 322.2.1. The qualification of tools for certification 322.2.2. Model-based development approaches in aeronautics 332.2.3. A sophisticated methodology for the development ofcomplex onboard systems 362.3. Methodology of rapid development in seven stages 362.3.1. Presentation of the different stages 362.3.2. Advantages of the methodology 392.3.3. Example of the benefits of using our model-basedmethodology 452.3.4. Instantiation of the methodology with different tools462.4. Chapter summary 59CHAPTER 3. IMPLEMENTING THE PROTOTYPING METHODOLOGY TODEVELOP A NEXT GENERATION AVIONIC ROUTER 613.1. Introduction to next generation aeronautical communicationdomains 613.1.1. Avionic and aeronautical network domains 613.1.2. Communication standards and protocols for next generationaeronautics 653.1.3. The benefits of a next generation avionic router: securenext generation router 673.2. Implementing the SNG router 713.2.1. Architecture of the SNG router software 713.2.2. Routing functionalities (IPv4) 743.2.3. Filtering functionalities (IPv4) 793.3. Evaluating the performance of the SNG router 853.3.1. Experimental framework 853.3.2. Metrics and tools for evaluating performance 883.3.3. Results of the performance measurements 963.4. Chapter summary 106CONCLUSION 109BIBLIOGRAPHY 117INDEX 131