Rapid Prototyping Software for Avionics Systems: Model-oriented Approaches for Complex Systems Certification

طراحی، پیاده‌سازی و اعتبارسنجی سیستم‌های اویونیک و هوانوردی به دلیل افزایش قابلیت‌هایی که در سیستم‌های اویونیک کنونی مستقر شده‌اند و نیاز به تایید آنها قبل از تولید آنها به وظایف بسیار پیچیده‌ای تبدیل شده‌اند.

این کتاب روشی را پیشنهاد می‌کند تا نمونه‌سازی سریع چنین سیستمی را با در نظر گرفتن جنبه‌های گواهی‌نامه راه‌حل تولید شده از ابتدا فراهم کند. این روش از رویکردهای طراحی مبتنی بر مدل و همچنین استفاده از روش‌های رسمی برای اعتبارسنجی این سیستم‌ها بهره می‌برد. علاوه بر این، استفاده از ابزارهای خودکار تولید کد نرم افزار با استفاده از مدل ها، کاهش مرحله توسعه و همچنین تست راه حل نهایی را ممکن می سازد.

این کتاب ابتدا مروری بر رویکردهای طراحی مبتنی بر مدل مانند موارد مورد استفاده در زمینه مهندسی نرم افزار هوانوردی ارائه می دهد. در مرحله دوم، یک روش اصلی که کاملاً با حوزه سیستم های تعبیه شده هوانوردی سازگار است، معرفی شده است. در نهایت، نویسندگان استفاده از این روش را با استفاده از یک مطالعه موردی برای طراحی، اجرا و آزمایش یک مسیریاب هوانوردی نسل جدید نشان می‌دهند.

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.