ebook img

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

154 Pages·2014·4.59 MB·English
Save to my drive
Quick download
Download
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.

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

Rapid Prototyping of Software for Avionics Systems FOCUS SERIES Series Editor Guy Pujolle Rapid Prototyping of Software for Avionics Systems Model-oriented Approaches for Complex Systems Certification Nicolas Larrieu Antoine Varet First published 2014 in Great Britain and the United States by ISTE Ltd and John Wiley & Sons, Inc. Apart from any fair dealing for the purposes of research or private study, or criticism or review, as permitted under the Copyright, Designs and Patents Act 1988, this publication may only be reproduced, stored or transmitted, in any form or by any means, with the prior permission in writing of the publishers, or in the case of reprographic reproduction in accordance with the terms and licenses issued by the CLA. Enquiries concerning reproduction outside these terms should be sent to the publishers at the undermentioned address: ISTE Ltd John Wiley & Sons, Inc. 27-37 St George’s Road 111 River Street London SW19 4EU Hoboken, NJ 07030 UK USA www.iste.co.uk www.wiley.com © ISTE Ltd 2014 The rights of Nicolas Larrieu and Antoine Varet to be identified as the authors of this work have been asserted by them in accordance with the Copyright, Designs and Patents Act 1988. Library of Congress Control Number: 2014949836 British Library Cataloguing-in-Publication Data A CIP record for this book is available from the British Library ISSN 2051-2481 (Print) ISSN 2051-249X (Online) ISBN 978-1-84821-764-5 Contents INTRODUCTION . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ix CHAPTER 1. DEVELOPING MODEL-BASED DESIGN METHODS IN SOFTWARE ENGINEERING . . . . . . . . . . . . . . . 1 1.1. The history of model-based design . . . . . . . . . . . . . . 1 1.2. The Unified Modeling Language, a support for model-based methods . . . . . . . . . . . . . . . . . . . . . . . 3 1.2.1. The philosophy and history of the Unified Modeling Language . . . . . . . . . . . . . . . . . . . . 3 1.2.2. The Unified Modeling Language normalized diagrams . . . . . . . . . . . . . . . . . . . . . . . . 5 1.2.3. The advantages of model-based design . . . . . . . . 12 1.3. Formal model-based validation techniques . . . . . . . . 13 1.3.1. Model Checking . . . . . . . . . . . . . . . . . . . . . . . . 14 1.3.2. Formal theorem proving . . . . . . . . . . . . . . . . . . 18 1.3.3. Code assertion . . . . . . . . . . . . . . . . . . . . . . . . . 19 1.3.4. Applying for certification for complex systems . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 CHAPTER 2. METHODOLOGY FOR RAPID PROTOTYPING AVIONIC SOFTWARE . . . . . . . . . . . . . . . . . . 23 2.1. The specificities of the avionic domain . . . . . . . . . . . 23 2.1.1. System virtualization: integrated modular avionics . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 2.1.2. MILS: divide and conquer, to rule over a secure world . . . . . . . . . . . . . . . . . . . . . . . . . 27 vi Rapid Prototyping of Software for Avionics Systems 2.1.3. Processing security and safety aspects simultaneously . . . . . . . . . . . . . . . . . . . . . . . 30 2.2. The certification of an avionic system . . . . . . . . . . . . 32 2.2.1. The qualification of tools for certification . . . . . . . 32 2.2.2. Model-based development approaches in aeronautics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 2.2.3. A sophisticated methodology for the development of complex onboard systems . . . . . . . . . . . 36 2.3. Methodology of rapid development in seven stages . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 2.3.1. Presentation of the different stages . . . . . . . . . . . 36 2.3.2. Advantages of the methodology . . . . . . . . . . . . . 39 2.3.3. Example of the benefits of using our model-based methodology . . . . . . . . . . . . . . . . . . . . . 45 2.3.4. Instantiation of the methodology with different tools . . . . . . . . . . . . . . . . . . . . . . . . . . 46 2.4. Chapter summary . . . . . . . . . . . . . . . . . . . . . . . . . 59 CHAPTER 3. IMPLEMENTING THE PROTOTYPING METHODOLOGY TO DEVELOP A NEXT GENERATION AVIONIC ROUTER . . . . . . . . . . . . . . . . . . . . 61 3.1. Introduction to next generation aeronautical communication domains . . . . . . . . . . . . . . . . . . . . . . . 61 3.1.1. Avionic and aeronautical network domains . . . . . 61 3.1.2. Communication standards and protocols for next generation aeronautics . . . . . . . . . . . . . . . . . 65 3.1.3. The benefits of a next generation avionic router: secure next generation router . . . . . . . . . . . . . 67 3.2. Implementing the SNG router . . . . . . . . . . . . . . . . 71 3.2.1. Architecture of the SNG router software . . . . . . . 71 3.2.2. Routing functionalities (IPv4) . . . . . . . . . . . . . . 74 3.2.3. Filtering functionalities (IPv4) . . . . . . . . . . . . . . 79 3.3. Evaluating the performance of the SNG router . . . . . 85 3.3.1. Experimental framework . . . . . . . . . . . . . . . . . 85 3.3.2. Metrics and tools for evaluating performance . . . . 88 3.3.3. Results of the performance measurements . . . . . . 96 3.4. Chapter summary . . . . . . . . . . . . . . . . . . . . . . . . . 106 Contents vii CONCLUSION . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109 BIBLIOGRAPHY . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117 INDEX . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131

Description:
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 metho
See more

The list of books you might like

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.