Rapid Prototyping Software for Avionics Systems (eBook)
160 Seiten
Wiley (Verlag)
978-1-119-05063-6 (ISBN)
Nicolas Larrieu is Full Professor at the research group ResCo at the TELECOM laboratory of ENAC (French Civil Aviation University). His research topics deal with designing new communication architectures and original security architectures for emerging networks such as IP-based aeronautical communication networks or UAV communication networks. He is currently involved in several activities for the SESAR European program where he can extend and validate his research results. Antoine Varet gained his doctorate at the research group ResCo at the TELECOM laboratory of ENAC (French Civil Aviation University). His current research topics concern the improvement and automation of network security protocols and the protection of the privacy of data through innovating network protocols.
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
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
CONCLUSION 109
BIBLIOGRAPHY 117
INDEX 131
Erscheint lt. Verlag | 13.10.2014 |
---|---|
Sprache | englisch |
Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
Technik ► Elektrotechnik / Energietechnik | |
Technik ► Fahrzeugbau / Schiffbau | |
Technik ► Luft- / Raumfahrttechnik | |
Schlagworte | Computer Science • Informatik • Software Design • Software-Design |
ISBN-10 | 1-119-05063-4 / 1119050634 |
ISBN-13 | 978-1-119-05063-6 / 9781119050636 |
Haben Sie eine Frage zum Produkt? |
Größe: 3,2 MB
Kopierschutz: Adobe-DRM
Adobe-DRM ist ein Kopierschutz, der das eBook vor Mißbrauch schützen soll. Dabei wird das eBook bereits beim Download auf Ihre persönliche Adobe-ID autorisiert. Lesen können Sie das eBook dann nur auf den Geräten, welche ebenfalls auf Ihre Adobe-ID registriert sind.
Details zum Adobe-DRM
Dateiformat: EPUB (Electronic Publication)
EPUB ist ein offener Standard für eBooks und eignet sich besonders zur Darstellung von Belletristik und Sachbüchern. Der Fließtext wird dynamisch an die Display- und Schriftgröße angepasst. Auch für mobile Lesegeräte ist EPUB daher gut geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen eine
Geräteliste und zusätzliche Hinweise
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich