001448488 000__ 05294cam\a2200565\a\4500
001448488 001__ 1448488
001448488 003__ OCoLC
001448488 005__ 20230310004241.0
001448488 006__ m\\\\\o\\d\\\\\\\\
001448488 007__ cr\un\nnnunnun
001448488 008__ 220806s2022\\\\sz\\\\\\ob\\\\000\0\eng\d
001448488 019__ $$a1337855293
001448488 020__ $$a9783030975791$$q(electronic bk.)
001448488 020__ $$a3030975797$$q(electronic bk.)
001448488 020__ $$z3030975789
001448488 020__ $$z9783030975784
001448488 0247_ $$a10.1007/978-3-030-97579-1$$2doi
001448488 035__ $$aSP(OCoLC)1337943911
001448488 040__ $$aEBLCP$$beng$$epn$$cEBLCP$$dGW5XE$$dYDX$$dEBLCP$$dOCLCQ$$dOCLCF$$dOCLCQ
001448488 049__ $$aISEA
001448488 050_4 $$aQA76.758
001448488 08204 $$a005.1$$223/eng/20220808
001448488 1001_ $$aZaeske, Wanja.
001448488 24510 $$aDevOps for airborne software :$$bexploring modern approaches /$$cWanja Zaeske, Umut Durak.
001448488 260__ $$aCham :$$bSpringer,$$c2022.
001448488 300__ $$a1 online resource (67 pages)
001448488 336__ $$atext$$btxt$$2rdacontent
001448488 337__ $$acomputer$$bc$$2rdamedia
001448488 338__ $$aonline resource$$bcr$$2rdacarrier
001448488 4901_ $$aSpringerBriefs in computer science
001448488 504__ $$aIncludes bibliographical references.
001448488 5050_ $$aIntro -- Preface -- Contents -- Acronyms -- 1 Introduction -- 1.1 Issues in Airborne Development -- 1.2 From Agile to DevOps -- 1.3 Constraints in Avionic Software Engineering -- 1.4 Structure -- References -- 2 Background -- 2.1 Certification in Avionics: DO-178 -- 2.2 Version Control with Git -- 2.3 Rust, a Modern Systems Programming Language -- 2.4 Test-Driven Development -- 2.5 Automation in DevOps -- 2.5.1 Continuous Integration -- 2.5.2 Continuous Delivery -- 2.5.3 Continuous Deployment -- 2.6 Behavior-Driven Development -- 2.7 Embedded Virtualization -- 2.7.1 Virtualization in Avionics
001448488 5058_ $$a2.7.2 XtratuM Next Generation -- 2.8 Nix and Hydra -- 2.9 RTLola -- References -- 3 Approach -- 3.1 Development -- 3.1.1 Avoiding Errors -- 3.1.2 Requirements from Plan to Verification -- 3.1.3 Unifying Build System and Package Manager -- 3.2 Operation -- 3.2.1 Operating Product and Toolchain -- 3.2.2 Monitoring the Product -- 3.2.3 Closing the Feedback Loop -- 3.3 Summary -- References -- 4 Demonstrator and Evaluation -- 4.1 TAWS and openTAWS -- 4.2 Enhancing Hypervisor Partitions with Rust -- 4.3 Streamlining the Requirements Engineering with BDD -- 4.4 Continuous Integration
001448488 5058_ $$a4.4.1 GitHub Actions -- 4.4.2 Nix and Hydra -- 4.5 Monitoring with RTLola -- References -- 5 Outlook and Conclusion -- 5.1 Outlook -- 5.1.1 Modify Setup for Full XNG Compatibility -- 5.1.2 Allow for Code Coverage Analysis -- 5.1.3 RTLola and Rust for Resilience -- 5.1.4 Online Monitoring for Software Planning -- 5.1.5 Operating Development Grade Products in Real Aircraft -- 5.1.6 Shortcomings of Nix -- 5.1.7 Fulfilling More DO-178 Objectives -- 5.2 Conclusion -- References
001448488 506__ $$aAccess limited to authorized users.
001448488 520__ $$aThis 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 implementing a 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.
001448488 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed August 8, 2022).
001448488 650_0 $$aSoftware engineering.
001448488 650_0 $$aComputer software$$xDevelopment.
001448488 650_0 $$aAeronautics$$xComputer programs.
001448488 655_0 $$aElectronic books.
001448488 7001_ $$aDurak, Umut.
001448488 77608 $$iPrint version:$$aZaeske, Wanja.$$tDevOps for Airborne Software.$$dCham : Springer International Publishing AG, ©2022$$z9783030975784
001448488 830_0 $$aSpringerBriefs in computer science.
001448488 852__ $$bebk
001448488 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-97579-1$$zOnline Access$$91397441.1
001448488 909CO $$ooai:library.usi.edu:1448488$$pGLOBAL_SET
001448488 980__ $$aBIB
001448488 980__ $$aEBOOK
001448488 982__ $$aEbook
001448488 983__ $$aOnline
001448488 994__ $$a92$$bISE