Cargando…
Developing Safety-Critical Software : a Practical Guide for Aviation Software and DO-178C Compliance.
""It is easy to notice the author's extensive and hands-on knowledge in the domain. ... Such experience emanates from the book pages. ... The book is a must for anyone engaged in developing, verifying, or certifying airborne systems. ... [It] offers very clear but relatively concise e...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Hoboken :
CRC Press,
2013.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Mi 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn908079945 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr |n||||||||| | ||
| 008 | 150509s2013 xx o 000 0 eng d | ||
| 040 | |a EBLCP |b eng |e pn |c EBLCP |d YDXCP |d OCLCO |d OCLCQ |d OCLCO |d OCLCF |d OCLCO |d OCLCQ |d EBLCP |d N$T |d MERUC |d OCLCQ |d NLE |d IDB |d YDX |d OCLCQ |d INT |d AU@ |d OCLCQ |d UKMGB |d WYU |d OCLCQ |d UKAHL |d NLW |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 015 | |a GBB839522 |2 bnb | ||
| 015 | |a GBB839522. |2 bnb | ||
| 016 | 7 | |a 018428203 |2 Uk | |
| 019 | |a 1027128737 |a 1028189276 |a 1058128504 |a 1064924513 |a 1119958813 |a 1274640156 | ||
| 020 | |a 9781439813690 |q (electronic bk.) | ||
| 020 | |a 1439813698 |q (electronic bk.) | ||
| 029 | 1 | |a AU@ |b 000056086649 | |
| 029 | 1 | |a UKMGB |b 018428203 | |
| 035 | |a (OCoLC)908079945 |z (OCoLC)1027128737 |z (OCoLC)1028189276 |z (OCoLC)1058128504 |z (OCoLC)1064924513 |z (OCoLC)1119958813 |z (OCoLC)1274640156 | ||
| 037 | |a TANDF_206316 |b Ingram Content Group | ||
| 043 | |a n-us--- | ||
| 050 | 4 | |a TL564 .R54 2015 | |
| 072 | 7 | |a TEC |x 009000 |2 bisacsh | |
| 082 | 0 | 4 | |a 629.1300285/5 |a 629.13002855 |
| 084 | |a COM051230 |a TEC009070 |2 bisacsh | ||
| 049 | |a UAMI | ||
| 100 | 1 | |a Rierson, Leanna. | |
| 245 | 1 | 0 | |a Developing Safety-Critical Software : |b a Practical Guide for Aviation Software and DO-178C Compliance. |
| 260 | |a Hoboken : |b CRC Press, |c 2013. | ||
| 300 | |a 1 online resource (596 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Preface; Acknowledgments; Author; Part I Introduction; 1. Introduction and Overview; Part II Context of Safety-Critical Software Development ; 2. Software in the Context of the System; 3. Software in the Context of the System Safety Assessment; Part III Developing Safety-Critical Software Using DO-17; 4. Overview of DO-178C and Supporting Documents; 5. Software Planning; 6. Software Requirements; 7. Software Design; 8. Software Implementation: Coding and Integration; 9. Software Verification; 10. Software Configuration Management; 11. Software Quality Assurance. | |
| 505 | 8 | |a 12. Certification LiaisonPart IV Tool Qualification and DO-178C Supplements ; 13. DO-330 and Software Tool Qualification; 14. DO-331 and Model-Based Development and Verification; 15. DO-332 and Object-Oriented Technology and Related Techniques; 16. DO-333 and Formal Methods; Part V Special Topics; 17. Noncovered Code (Dead, Extraneous, and Deactivated Code); 18. Field-Loadable Software; 19. User-Modifiable Software; 20. Real-Time Operating Systems; 21. Software Partitioning ; 22. Configuration Data; 23. Aeronautical Data; 24. Software Reuse ; 25. Reverse Engineering. | |
| 505 | 8 | |a 26. Outsourcing and Offshoring Software Life Cycle Activities Appendix A: Example Transition Criteria ; Appendix B: Real-Time Operating System Areas of Concern ; Appendix C: Questions to Consider When Selecting a Real-Time Operating System for a Safety-Critical System ; Appendix D: Software Service History Questions. | |
| 520 | |a ""It is easy to notice the author's extensive and hands-on knowledge in the domain. ... Such experience emanates from the book pages. ... The book is a must for anyone engaged in developing, verifying, or certifying airborne systems. ... [It] offers very clear but relatively concise explanation of the process of developing software-intensive aviation systems under guidance of RTCA DO-178C and related documents. The book does an outstanding job of providing necessary basics with very practical 'dos and don'ts'. ... can be used as a base reference for software aspects of airborne systems develop. | ||
| 506 | 1 | |a Legal Deposit; |c Only available on premises controlled by the deposit library and to one user at any one time; |e The Legal Deposit Libraries (Non-Print Works) Regulations (UK). |5 WlAbNL | |
| 540 | |a Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force. |5 WlAbNL | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Aeronautics |x Data processing. | |
| 650 | 0 | |a Aeronautics |x Safety measures. | |
| 650 | 0 | |a Aeronautics |x Safety regulations |z United States. | |
| 650 | 0 | |a Computer software |x Reliability. | |
| 650 | 0 | |a Computer software |x Development. | |
| 650 | 6 | |a Aéronautique |x Informatique. | |
| 650 | 6 | |a Aéronautique |x Sécurité |x Mesures. | |
| 650 | 6 | |a Aéronautique |x Sécurité |x Règlements |z États-Unis. | |
| 650 | 6 | |a Logiciels |x Fiabilité. | |
| 650 | 7 | |a TECHNOLOGY & ENGINEERING |x Engineering (General) |2 bisacsh | |
| 650 | 7 | |a Aeronautics |x Data processing |2 fast | |
| 650 | 7 | |a Aeronautics |x Safety measures |2 fast | |
| 650 | 7 | |a Aeronautics |x Safety regulations |2 fast | |
| 650 | 7 | |a Computer software |x Development |2 fast | |
| 650 | 7 | |a Computer software |x Reliability |2 fast | |
| 651 | 7 | |a United States |2 fast |1 https://id.oclc.org/worldcat/entity/E39PBJtxgQXMWqmjMjjwXRHgrq | |
| 758 | |i has work: |a Developing Safety-Critical Software (Text) |1 https://id.oclc.org/worldcat/entity/E39PD3bdBBQQgGw6yF4m6RfHWC |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Rierson, Leanna. |t Developing Safety-Critical Software : A Practical Guide for Aviation Software and DO-178C Compliance. |d Hoboken : CRC Press, ©2013 |z 9781439813683 |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=1719366 |z Texto completo |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH24367023 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL4744242 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL1719366 | ||
| 938 | |a EBSCOhost |b EBSC |n 1499726 | ||
| 938 | |a YBP Library Services |b YANK |n 15643042 | ||
| 938 | |a YBP Library Services |b YANK |n 9727317 | ||
| 994 | |a 92 |b IZTAP | ||