Muutke küpsiste eelistusi

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

,
  • Formaat: PDF+DRM
  • Ilmumisaeg: 13-Oct-2014
  • Kirjastus: ISTE Ltd and John Wiley & Sons Inc
  • Keel: eng
  • ISBN-13: 9781119050575
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 171,60 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
  • Raamatukogudele
Rapid Prototyping Software for Avionics Systems: Model-oriented Approaches for Complex Systems CertificationSuurem pilt
  • Formaat: PDF+DRM
  • Ilmumisaeg: 13-Oct-2014
  • Kirjastus: ISTE Ltd and John Wiley & Sons Inc
  • Keel: eng
  • ISBN-13: 9781119050575
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

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 of automatic software code generation tools using models makes it possible to reduce the development phase as well as the final solution testing.

This 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.

Introduction ix
Chapter 1 Developing Model-Based Design Methods in Software Engineering
1(22)
1.1 The history of model-based design
1(2)
1.2 The Unified Modeling Language, a support for model-based methods
3(10)
1.2.1 The philosophy and history of the Unified Modeling Language
3(2)
1.2.2 The Unified Modeling Language normalized diagrams
5(7)
1.2.3 The advantages of model-based design
12(1)
1.3 Formal model-based validation techniques
13(10)
1.3.1 Model Checking
14(4)
1.3.2 Formal theorem proving
18(1)
1.3.3 Code assertion
19(1)
1.3.4 Applying for certification for complex systems
20(3)
Chapter 2 Methodology for Rapid Prototyping Avionic Software
23(38)
2.1 The specificities of the avionic domain
23(9)
2.1.1 System virtualization: integrated modular avionics
24(3)
2.1.2 MILS: divide and conquer, to rule over a secure world
27(3)
2.1.3 Processing security and safety aspects simultaneously
30(2)
2.2 The certification of an avionic system
32(4)
2.2.1 The qualification of tools for certification
32(1)
2.2.2 Model-based development approaches in aeronautics
33(3)
2.2.3 A sophisticated methodology for the development of complex onboard systems
36(1)
2.3 Methodology of rapid development in seven stages
36(23)
2.3.1 Presentation of the different stages
36(3)
2.3.2 Advantages of the methodology
39(6)
2.3.3 Example of the benefits of using our model-based methodology
45(1)
2.3.4 Instantiation of the methodology with different tools
46(13)
2.4
Chapter summary
59(2)
Chapter 3 Implementing the Prototyping Methodology to Develop a Next Generation Avionic Router
61(48)
3.1 Introduction to next generation aeronautical communication domains
61(10)
3.1.1 Avionic and aeronautical network domains
61(4)
3.1.2 Communication standards and protocols for next generation aeronautics
65(2)
3.1.3 The benefits of a next generation avionic router: secure next generation router
67(4)
3.2 Implementing the SNG router
71(14)
3.2.1 Architecture of the SNG router software
71(3)
3.2.2 Routing functionalities (IPv4)
74(5)
3.2.3 Filtering functionalities (IPv4)
79(6)
3.3 Evaluating the performance of the SNG router
85(21)
3.3.1 Experimental framework
85(3)
3.3.2 Metrics and tools for evaluating performance
88(8)
3.3.3 Results of the performance measurements
96(10)
3.4
Chapter summary
106(3)
Conclusion 109(8)
Bibliography 117(14)
Index 131
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.
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97811190505752e.html
Märksõnad: