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

DevOps for Airborne Software

Exploring Modern Approaches

    • 42,99 €
    • 42,99 €

Publisher Description

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.

GENRE
Computing & Internet
RELEASED
2022
27 July
LANGUAGE
EN
English
LENGTH
67
Pages
PUBLISHER
Springer International Publishing
PROVIDER INFO
Springer Science & Business Media LLC
SIZE
2.1
MB
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
2022
Leveraging Applications of Formal Methods, Verification and Validation Leveraging Applications of Formal Methods, Verification and Validation
2021
Reliable Software Technologies - Ada-Europe 2007 Reliable Software Technologies - Ada-Europe 2007
2007
Evaluation of Novel Approaches to Software Engineering Evaluation of Novel Approaches to Software Engineering
2021
Software Technologies Software Technologies
2014
Software Architecture Software Architecture
2020
Objective Information Theory Objective Information Theory
2023
The Amazing Journey of Reason The Amazing Journey of Reason
2019
Manifold Learning Manifold Learning
2024
Twitter Data Analytics Twitter Data Analytics
2013
Developing Sustainable and Energy-Efficient Software Systems Developing Sustainable and Energy-Efficient Software Systems
2023
A Primer on Quantum Computing A Primer on Quantum Computing
2019