DevOps for Airborne Software DevOps for Airborne Software
SpringerBriefs in Computer Science

DevOps for Airborne Software

Exploring Modern Approaches

    • ‏39٫99 US$
    • ‏39٫99 US$

وصف الناشر

This Springer Brief presents a selection of tools and techniques which either enable or improve the use of DevOps for airborne software engineering. They are evaluated against the unique challenges of the aviation industry such as safety and airworthiness, and exercised using a demonstrator in order to gather first experience.

The book is structured as follows: after a short introduction to the main topics of the work in chapter 1, chapter 2 provides more information on the tools, techniques, software and standards required to implement the subsequently presented ideas. In particular, the development practice BDD, the relation between DevOps, CI & CD and both the Rust & the Nix programming language are introduced. In chapter 3 the authors explain and justify their ideas towards advancing the state of the art, mapping the aforementioned tools and techniques to the DevOps Cycle while considering aspects of Do-178C. Next, in chapter 4 the experiences gathered while implementinga demonstrator using the tools and techniques are described. Eventually, chapter 5 briefly summarizes the findings and presents a compilation of open points and missing pieces which are yet to be resolved.

The book targets three different reader groups. The first one are development managers from the aerospace industry who need to see examples and experience reports for the application of DevOps for airborne software. The second group are investigators in the safety-critical embedded systems domain who look for benchmarks at various application domains. And the third group are lecturers who offer graduate level software engineering courses for safety-critical software engineering.

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠٢٢
٢٧ يوليو
اللغة
EN
الإنجليزية
عدد الصفحات
٦٧
الناشر
Springer International Publishing
البائع
Springer Nature B.V.
الحجم
٢٫١
‫م.ب.‬
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
٢٠٢٢
Leveraging Applications of Formal Methods, Verification and Validation Leveraging Applications of Formal Methods, Verification and Validation
٢٠٢١
Reliable Software Technologies - Ada-Europe 2007 Reliable Software Technologies - Ada-Europe 2007
٢٠٠٧
Evaluation of Novel Approaches to Software Engineering Evaluation of Novel Approaches to Software Engineering
٢٠٢١
Software Technologies Software Technologies
٢٠١٤
Software Architecture Software Architecture
٢٠٢٠
The Amazing Journey of Reason The Amazing Journey of Reason
٢٠١٩
The Mathematical Theory of Semantic Communication The Mathematical Theory of Semantic Communication
٢٠٢٥
Developing Sustainable and Energy-Efficient Software Systems Developing Sustainable and Energy-Efficient Software Systems
٢٠٢٣
Health Informatics in the Cloud Health Informatics in the Cloud
٢٠١٢
Objective Information Theory Objective Information Theory
٢٠٢٣
Manifold Learning Manifold Learning
٢٠٢٤