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

154 Pages·2014·4.59 MB·English

by  Nicolas Larrieu

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