Cargando…
Developing safety-critical software : a practical guide for aviation software and do-178c compliance /
The amount of software used in safety-critical systems is increasing at a rapid rate. At the same time, software technology is changing, projects are pressed to develop software faster and more cheaply, and the software is being used in more critical ways. Developing Safety-Critical Software: A Prac...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Boca Raton, FL :
CRC Press,
©[2017]
|
| Edición: | First edition. |
| Temas: | |
| Acceso en línea: | Texto completo (Requiere registro previo con correo institucional) |
MARC
| LEADER | 00000cam a2200000Mi 4500 | ||
|---|---|---|---|
| 001 | OR_on1048770181 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 180420s20172013fluab ob 001 0 eng d | ||
| 040 | |a U3W |b eng |e rda |e pn |c U3W |d NLE |d OCLCO |d OCLCF |d OTZ |d UKMGB |d TYFRS |d OCLCQ |d NLW |d K6U |d OCLCO |d CZL |d DST |d OCLCQ |d OCLCO | ||
| 015 | |a GBB841038 |2 bnb | ||
| 015 | |a GBB841038. |2 bnb | ||
| 016 | 7 | |a 018659730 |2 Uk | |
| 019 | |a 1017962351 |a 1063685721 |a 1120039135 |a 1275044409 |a 1295595507 |a 1300516835 |a 1303342366 | ||
| 020 | |a 9781439813690 |q (e-book ; |q PDF) | ||
| 020 | |a 1439813698 | ||
| 020 | |a 9781439813683 |q (hardback) | ||
| 020 | |a 143981368X | ||
| 020 | |a 9781351834056 | ||
| 020 | |a 1351834053 | ||
| 020 | |a 9781351825368 | ||
| 020 | |a 1351825364 | ||
| 024 | 7 | |a 10.1201/9781315218168 |2 doi | |
| 029 | 1 | |a UKMGB |b 018659730 | |
| 029 | 1 | |a AU@ |b 000070045946 | |
| 029 | 1 | |a AU@ |b 000061912825 | |
| 035 | |a (OCoLC)1048770181 |z (OCoLC)1017962351 |z (OCoLC)1063685721 |z (OCoLC)1120039135 |z (OCoLC)1275044409 |z (OCoLC)1295595507 |z (OCoLC)1300516835 |z (OCoLC)1303342366 | ||
| 037 | |a 9781351834056 |b Ingram Content Group | ||
| 043 | |a n-us--- | ||
| 050 | 4 | |a TL564 |b .R54 2013 | |
| 072 | 7 | |a COM |x 051230 |2 bisacsh | |
| 072 | 7 | |a TEC |x 009070 |2 bisacsh | |
| 082 | 0 | 4 | |a 629.1300285/5 |2 23 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Rierson, Leanna, |e author. | |
| 245 | 1 | 0 | |a Developing safety-critical software : |b a practical guide for aviation software and do-178c compliance / |c by Leanna Rierson. |
| 250 | |a First edition. | ||
| 264 | 1 | |a Boca Raton, FL : |b CRC Press, |c ©[2017] | |
| 264 | 4 | |c ©2013 | |
| 300 | |a 1 online resource (610 pages) : |b 24 illustrations, text file, PDF | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | 0 | |t Part Part I Introduction -- chapter 1 Introduction and Overview -- part Part II: Context of Safety-Critical Software Development -- chapter 2 Software in the Context of the System -- chapter 3 Software in the Context of the System Safety Assessment -- part Part III: Developing Safety-Critical Software Using DO-178C -- chapter 4 Overview of DO-178C and Supporting Documents -- chapter 5 Software Planning -- chapter 6 Software Requirements -- chapter 7 Software Design -- chapter 8 Software Implementation: Coding and Integration -- chapter 9 Software Verification -- chapter 10 Software Configuration Management -- chapter 11 Software Quality Assurance -- chapter 12 Certification Liaison -- part Part IV: Tool Qualification and DO-178C Supplements -- chapter 13 DO-330 and Software Tool Qualification -- chapter 14 DO-331 and Model-Based Development and Verification -- chapter 15 DO-332 and Object-Oriented Technology and Related Techniques -- chapter 16 DO-333 and Formal Methods -- part Part V: Special Topics -- chapter 17 Noncovered Code (Dead, Extraneous, and Deactivated Code) -- chapter 18 Field-Loadable Software -- chapter 19 User-Modifiable Software -- chapter 20 Real-Time Operating Systems -- chapter 21 Software Partitioning -- chapter 22 Configuration Data -- chapter 23 Aeronautical Data -- chapter 24 Software Reuse -- chapter 25 Reverse Engineering -- chapter 26 Outsourcing and Offshoring Software Life Cycle Activities. |
| 520 | 3 | |a The amount of software used in safety-critical systems is increasing at a rapid rate. At the same time, software technology is changing, projects are pressed to develop software faster and more cheaply, and the software is being used in more critical ways. Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance equips you with the information you need to effectively and efficiently develop safety-critical, life-critical, and mission-critical software for aviation. The principles also apply to software for automotive, medical, nuclear, and other safety-critical domains. | |
| 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 | ||
| 546 | |a English. | ||
| 590 | |a O'Reilly |b O'Reilly Online Learning: Academic/Public Library Edition | ||
| 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 Development. | |
| 650 | 0 | |a Computer software |x Reliability. | |
| 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 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 | |
| 710 | 2 | |a CRC Press. | |
| 776 | 0 | 8 | |i Print version: |z 9781439813683 |w (DLC) 2012035000 |
| 856 | 4 | 0 | |u https://learning.oreilly.com/library/view/~/9781439813683/?ar |z Texto completo (Requiere registro previo con correo institucional) |
| 938 | |a Taylor & Francis |b TAFR |n 9781315218168 | ||
| 994 | |a 92 |b IZTAP | ||