LEADER 05417nam 2200661 450 001 9910826552803321 005 20200903223051.0 010 $a1-119-05063-4 010 $a1-119-05064-2 010 $a1-119-05057-X 035 $a(CKB)3710000000261359 035 $a(EBL)1816329 035 $a(SSID)ssj0001414552 035 $a(PQKBManifestationID)11734163 035 $a(PQKBTitleCode)TC0001414552 035 $a(PQKBWorkID)11432027 035 $a(PQKB)10493713 035 $a(MiAaPQ)EBC1816329 035 $a(Au-PeEL)EBL1816329 035 $a(CaPaEBR)ebr10954089 035 $a(CaONFJC)MIL652741 035 $a(OCoLC)893737458 035 $a(PPN)191455571 035 $a(EXLCZ)993710000000261359 100 $a20141020h20142014 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aRapid prototyping software for avionics systems $emodel-oriented approaches for complex systems certification /$fNicolas Larrieu, Antoine Varet 210 1$aLondon, England ;$aHoboken, New Jersey :$cISTE :$cWiley,$d2014. 210 4$dİ2014 215 $a1 online resource (154 p.) 225 1 $aFocus Series,$x2051-249X 300 $aDescription based upon print version of record. 311 $a1-322-21461-1 311 $a1-84821-764-1 320 $aIncludes bibliographical references and index. 327 $aCover; Title Page; Copyright; Contents; Introduction; I.1. The use of model-based approaches; I.2. Structure of this book; Chapter1: Developing Model-Based Design Methods in Software Engineering; 1.1. The history of model-based design; 1.2. The Unified Modeling Language, a support for model-based methods; 1.2.1. The philosophy and history of the Unified Modeling Language; 1.2.2. The Unified Modeling Language normalized diagrams; 1.2.3. The advantages of model-based design; 1.3. Formal model-based validation techniques; 1.3.1. Model Checking; 1.3.2. Formal theorem proving 327 $a1.3.3. Code assertion1.3.4. Applying for certification for complex systems; Chapter2: Methodology for Rapid Prototyping Avionic Software; 2.1. The specificities of the avionic domain; 2.1.1. System virtualization: integrated modular avionics; 2.1.1.1. ARINC 653 APEX interface: application executive; 2.1.1.2. AFDX bus: Avionics Full-Duplex switched ethernet; 2.1.2. MILS: divide and conquer, to rule over a secure world; 2.1.3. Processing security and safety aspects simultaneously; 2.2. The certification of an avionic system; 2.2.1. The qualification of tools for certification 327 $a2.2.2. Model-based development approaches in aeronautics2.2.2.1. DO-178C: Software Considerations in Airborne Systems and Equipment Certification; 2.2.2.2. DO-331: Model-based development and verification; 2.2.3. A sophisticated methodology for the development of complex onboard systems; 2.3. Methodology of rapid development in seven stages; 2.3.1. Presentation of the different stages; 2.3.2. Advantages of the methodology; 2.3.3. Example of the benefits of using our model-based methodology; 2.3.4. Instantiation of the methodology with different tools 327 $a2.3.4.1. Summary of compatible tool chains2.3.4.2. Organization of the architecture of the software solution; 2.3.4.3. Design: modeling with Simulink and Stateflow; 2.3.4.4. Transforming into the language C with Gene-Auto; 2.3.4.5. Execution with a strengthened onboard operating system; 2.3.4.5.1. Glueing and compiling code; 2.3.4.5.2. Integration with Sysgo PikeOS; 2.4. Chapter summary; Chapter3: Implementing the Prototyping Methodology to Develop a Next Generation Avionic Router; 3.1. Introduction to next generation aeronautical communication domains 327 $a3.1.1. Avionic and aeronautical network domains3.1.2. Communication standards and protocols for next generation aeronautics; 3.1.3. The benefits of a next generation avionic router: secure next generation router; 3.1.3.1. Interconnecting avionic domains with a next generation router; 3.1.3.2. Mutualization of ground-board aeronautical links by a next generation router; 3.2. Implementing the SNG router; 3.2.1. Architecture of the SNG router software; 3.2.2. Routing functionalities (IPv4); 3.2.2.1. The principles of routing for the SNG; 3.2.2.2. Implementing routing functionalities 327 $a3.2.2.2.1. Description of the structure of the routing table 330 $a 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 410 0$aFocus series (London, England) 606 $aRapid prototyping 615 0$aRapid prototyping. 676 $a620.0042 700 $aLarrieu$b Nicolas$01697036 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910826552803321 996 $aRapid prototyping software for avionics systems$94100889 997 $aUNINA