{"product_id":"rapid-prototyping-software-for-avionics-systems-model-oriented-approaches-for-complex-systems-certification-hardback-9781848217645","title":"Rapid Prototyping Software for Avionics Systems; Model-oriented Approaches for Complex Systems Certification (Hardback) 9781848217645","description":"\u003cfont face=\"Georgia\"\u003e\r\n\u003cp\u003e\u003cfont size=\"6\"\u003eRapid Prototyping Software for Avionics Systems\u003c\/font\u003e\u003cbr\u003e\r\n\u003cfont size=\"5\"\u003eModel-oriented Approaches for Complex Systems Certification\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\r\n\u003cp\u003e\u003cfont size=\"4\"\u003eNicolas Larrieu (Author), Antoine Varet (Author)\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e9781848217645, Wiley\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eHardback, published 21 November 2014\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e160 pages\u003cbr\u003e24.1 x 16.5 x 1.5 cm, 1.361 kg\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\r\n\r\n\u003cp align=\"justify\"\u003e\u003cstrong\u003e\u003cfont size=\"3\"\u003e\u003cp\u003e\u003cb\u003eThe 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.\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003eThis 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.\u003c\/p\u003e \u003cp\u003eThis 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.\u003c\/p\u003e\u003c\/font\u003e\u003c\/strong\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e\u003cp\u003eINTRODUCTION ix\u003c\/p\u003e \u003cp\u003e\u003cb\u003eCHAPTER 1. DEVELOPING MODEL-BASED DESIGN METHODS IN SOFTWARE ENGINEERING 1\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e1.1. The history of model-based design 1\u003c\/p\u003e \u003cp\u003e1.2. The Unified Modeling Language, a support for model-based methods 3\u003c\/p\u003e \u003cp\u003e1.2.1. The philosophy and history of the Unified Modeling Language 3\u003c\/p\u003e \u003cp\u003e1.2.2. The Unified Modeling Language normalized diagrams 5\u003c\/p\u003e \u003cp\u003e1.2.3. The advantages of model-based design 12\u003c\/p\u003e \u003cp\u003e1.3. Formal model-based validation techniques 13\u003c\/p\u003e \u003cp\u003e1.3.1. Model Checking 14\u003c\/p\u003e \u003cp\u003e1.3.2. Formal theorem proving 18\u003c\/p\u003e \u003cp\u003e1.3.3. Code assertion 19\u003c\/p\u003e \u003cp\u003e1.3.4. Applying for certification for complex systems 20\u003c\/p\u003e \u003cp\u003e\u003cb\u003eCHAPTER 2. METHODOLOGY FOR RAPID PROTOTYPING AVIONIC SOFTWARE 23\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e2.1. The specificities of the avionic domain 23\u003c\/p\u003e \u003cp\u003e2.1.1. System virtualization: integrated modular avionics 24\u003c\/p\u003e \u003cp\u003e2.1.2. MILS: divide and conquer, to rule over a secure world 27\u003c\/p\u003e \u003cp\u003e2.1.3. Processing security and safety aspects simultaneously 30\u003c\/p\u003e \u003cp\u003e2.2. The certification of an avionic system 32\u003c\/p\u003e \u003cp\u003e2.2.1. The qualification of tools for certification 32\u003c\/p\u003e \u003cp\u003e2.2.2. Model-based development approaches in aeronautics 33\u003c\/p\u003e \u003cp\u003e2.2.3. A sophisticated methodology for the development of complex onboard systems 36\u003c\/p\u003e \u003cp\u003e2.3. Methodology of rapid development in seven stages 36\u003c\/p\u003e \u003cp\u003e2.3.1. Presentation of the different stages 36\u003c\/p\u003e \u003cp\u003e2.3.2. Advantages of the methodology 39\u003c\/p\u003e \u003cp\u003e2.3.3. Example of the benefits of using our model-based methodology 45\u003c\/p\u003e \u003cp\u003e2.3.4. Instantiation of the methodology with different tools 46\u003c\/p\u003e \u003cp\u003e2.4. Chapter summary 59\u003c\/p\u003e \u003cp\u003e\u003cb\u003eCHAPTER 3. IMPLEMENTING THE PROTOTYPING METHODOLOGY TO DEVELOP A NEXT GENERATION AVIONIC ROUTER 61\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e3.1. Introduction to next generation aeronautical communication domains 61\u003c\/p\u003e \u003cp\u003e3.1.1. Avionic and aeronautical network domains 61\u003c\/p\u003e \u003cp\u003e3.1.2. Communication standards and protocols for next generation aeronautics 65\u003c\/p\u003e \u003cp\u003e3.1.3. The benefits of a next generation avionic router: secure next generation router 67\u003c\/p\u003e \u003cp\u003e3.2. Implementing the SNG router 71\u003c\/p\u003e \u003cp\u003e3.2.1. Architecture of the SNG router software 71\u003c\/p\u003e \u003cp\u003e3.2.2. Routing functionalities (IPv4) 74\u003c\/p\u003e \u003cp\u003e3.2.3. Filtering functionalities (IPv4) 79\u003c\/p\u003e \u003cp\u003e3.3. Evaluating the performance of the SNG router 85\u003c\/p\u003e \u003cp\u003e3.3.1. Experimental framework 85\u003c\/p\u003e \u003cp\u003e3.3.2. Metrics and tools for evaluating performance 88\u003c\/p\u003e \u003cp\u003e3.3.3. Results of the performance measurements 96\u003c\/p\u003e \u003cp\u003e3.4. Chapter summary 106\u003c\/p\u003e \u003cp\u003eCONCLUSION 109\u003c\/p\u003e \u003cp\u003eBIBLIOGRAPHY 117\u003c\/p\u003e \u003cp\u003eINDEX 131\u003c\/p\u003e\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eSubject Areas: Electronics \u0026amp; communications engineering [\u003ca title=\"See our other books on Electronics \u0026amp; communications engineering\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Electronics%20\u0026amp;%20communications%20engineering%20%5BTJ%5D%22\"\u003eTJ\u003c\/a\u003e]\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003c\/font\u003e","brand":"Wiley-ISTE","offers":[{"title":"Brand New","offer_id":52449391706392,"sku":"9781848217645","price":108.99,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0730\/2037\/5320\/files\/9781848217645.jpg?v=1785197876","url":"https:\/\/freshlyprintedbooks.co.uk\/products\/rapid-prototyping-software-for-avionics-systems-model-oriented-approaches-for-complex-systems-certification-hardback-9781848217645","provider":"Freshly Printed Books","version":"1.0","type":"link"}