Software for dependable systems : sufficient evidence?
The focus of Software for Dependable Systems is a set of fundamental principles that underlie software system dependability and that suggest a different approach to the development and assessment of dependable software.Unfortunately, it is difficult to assess the dependability of software. The field...
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | E-Book Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Washington, D.C
National Academies Press
2007
|
| Ausgabe: | 1 |
| Schlagworte: | |
| ISBN: | 9780309103947, 0309103940 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | The focus of Software for Dependable Systems is a set of fundamental principles that underlie software system dependability and that suggest a different approach to the development and assessment of dependable software.Unfortunately, it is difficult to assess the dependability of software. The field of software engineering suffers from a pervasive lack of evidence about the incidence and severity of software failures; about the dependability of existing software systems; about the efficacy of existing and proposed development methods; about the benefits of certification schemes; and so on. There are many anecdotal reports, which-although often useful for indicating areas of concern or highlighting promising avenues of research-do little to establish a sound and complete basis for making policy decisions regarding dependability. The committee regards claims of extraordinary dependability that are sometimes made on this basis for the most critical of systems as unsubstantiated, and perhaps irresponsible. This difficulty regarding the lack of evidence for system dependability leads to two conclusions: (1) that better evidence is needed, so that approaches aimed at improving the dependability of software can be objectively assessed, and (2) that, for now, the pursuit of dependability in software systems should focus on the construction and evaluation of evidence.The committee also recognized the importance of adopting the practices that are already known and used by the best developers; this report gives a sample of such practices. Some of these (such as systematic configuration management and automated regression testing) are relatively easy to adopt; others (such as constructing hazard analyses and threat models, exploiting formal notations when appropriate, and applying static analysis to code) will require new training for many developers. However valuable, though, these practices are in themselves no silver bullet, and new techniques and methods will be required in order to build future software systems to the level of dependability that will be required. |
|---|---|
| AbstractList | The focus of Software for Dependable Systems is a set of fundamental principles that underlie software system dependability and that suggest a different approach to the development and assessment of dependable software.Unfortunately, it is difficult to assess the dependability of software. The field of software engineering suffers from a pervasive lack of evidence about the incidence and severity of software failures; about the dependability of existing software systems; about the efficacy of existing and proposed development methods; about the benefits of certification schemes; and so on. There are many anecdotal reports, which-although often useful for indicating areas of concern or highlighting promising avenues of research-do little to establish a sound and complete basis for making policy decisions regarding dependability. The committee regards claims of extraordinary dependability that are sometimes made on this basis for the most critical of systems as unsubstantiated, and perhaps irresponsible. This difficulty regarding the lack of evidence for system dependability leads to two conclusions: (1) that better evidence is needed, so that approaches aimed at improving the dependability of software can be objectively assessed, and (2) that, for now, the pursuit of dependability in software systems should focus on the construction and evaluation of evidence.The committee also recognized the importance of adopting the practices that are already known and used by the best developers; this report gives a sample of such practices. Some of these (such as systematic configuration management and automated regression testing) are relatively easy to adopt; others (such as constructing hazard analyses and threat models, exploiting formal notations when appropriate, and applying static analysis to code) will require new training for many developers. However valuable, though, these practices are in themselves no silver bullet, and new techniques and methods will be required in order to build future software systems to the level of dependability that will be required. |
| Author | Jackson, Daniel National Research Council (U.S.). Committee on Certifiably Dependable Software Systems Thomas, Martyn Millett, Lynette I. |
| Author_xml | – sequence: 1 fullname: National Research Council (U.S.). Committee on Certifiably Dependable Software Systems – sequence: 2 fullname: Jackson, Daniel – sequence: 3 fullname: Thomas, Martyn – sequence: 4 fullname: Millett, Lynette I. |
| BackLink | https://cir.nii.ac.jp/crid/1130282272995592576$$DView record in CiNii |
| BookMark | eNqN0EtLw0AQAOAVrdjW-htyEMRDdXdmn15ES31AwYPiNWw2E4yNSe2mLf57oxXBm3OYZYZvBnYGbK9uamLsSPAzYQD0uRAOcIeNnLEcudPaoLW7v7Xg6KTpsQFwbhUKzsU-63cjYIyQ_ICNYnzlXYC0Am2f6cemaDd-SUnRLJOcFlTnPqsoiR-xpbeYXCRxVRRlKKluE1qXOdWBLg9Zr_BVpNHPO2TPN9Onyd149nB7P7majb0GdDgGEjYvtLCeAuYSNeQWlDRFpowKUnKPiqwLHihoI1B3XaWkIMyczmSOQ3a6XezjnDbxpanamK4ryppmHtM_V_ifFcaBk5092drFsnlfUWzTbxa6Xy59lU6vJ4jGgtadPN7KuizTUH5lIZCDBTDgnFIOlNH4CfEQc7k |
| ContentType | eBook Book |
| DBID | RYH |
| DEWEY | 005 |
| DOI | 10.17226/11923 |
| DatabaseName | CiNii Complete |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 9780309667388 0309667380 9780309179294 0309179297 |
| Edition | 1 |
| ExternalDocumentID | 9780309667388 9780309179294 EBC3378266 BB08277847 |
| GroupedDBID | -VX 089 38. 8JS A4J AABBV AAFQY ABARN ABIAV ABMRC ACLGV ADHWY ADVEM ADWOK AERYV AFTHB AFXKH AHJNT AHQWO AHWGJ AJFER AKHYG ALMA_UNASSIGNED_HOLDINGS AZZ BBABE BPBUR CZZ DUGUG EBSCA GEOUK HF4 JJU MYL NK1 NK2 PQQKQ RQV RYH ABQPQ IVK IWL |
| ID | FETCH-LOGICAL-a62393-2e18df618aec3d4362d82547fb575c440a35e89ca2ec6713675c5541e3b96b4d3 |
| ISBN | 9780309103947 0309103940 |
| IngestDate | Tue Aug 05 08:05:44 EDT 2025 Wed Feb 12 06:10:48 EST 2025 Wed Dec 10 11:46:21 EST 2025 Thu Jun 26 23:36:05 EDT 2025 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| LCCN | 2008531001 |
| LCCallNum_Ident | QA76.76.R44N35 2007 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-a62393-2e18df618aec3d4362d82547fb575c440a35e89ca2ec6713675c5541e3b96b4d3 |
| Notes | Also available via the Internet Includes bibliographical references (p. 110-116) HTTP:URL=http://books.nap.edu/catalog/11923.html HTTP:URL=http://www.loc.gov/catdir/toc/fy1001/2008531001.html Information=Table of contents only |
| OCLC | 923277140 |
| OpenAccessLink | https://nap.nationalacademies.org/11923 |
| PQID | EBC3378266 |
| PageCount | 147 |
| ParticipantIDs | askewsholts_vlebooks_9780309667388 askewsholts_vlebooks_9780309179294 proquest_ebookcentral_EBC3378266 nii_cinii_1130282272995592576 |
| PublicationCentury | 2000 |
| PublicationDate | c2007 2007 2007-08-14 |
| PublicationDateYYYYMMDD | 2007-01-01 2007-08-14 |
| PublicationDate_xml | – year: 2007 text: c2007 |
| PublicationDecade | 2000 |
| PublicationPlace | Washington, D.C |
| PublicationPlace_xml | – name: Washington, D.C |
| PublicationYear | 2007 |
| Publisher | National Academies Press |
| Publisher_xml | – name: National Academies Press |
| SSID | ssj0000248138 ssib036186236 ssib046400004 |
| Score | 2.2667255 |
| Snippet | The focus of Software for Dependable Systems is a set of fundamental principles that underlie software system dependability and that suggest a different... |
| SourceID | askewsholts proquest nii |
| SourceType | Aggregation Database Publisher |
| SubjectTerms | Computer software Computer software -- Reliability Reliability Software engineering Systems software Systems software -- Reliability |
| TableOfContents | FrontMatter -- Preface -- Acknowledgment of Reviewers -- Contents -- Summary -- 1 Assessment: Software Systems and Dependability Today -- 2 Proposed Approach -- 3 Broader Issues -- 4 Findings and Recommendations -- 5 Bibliography -- Appendixes -- A: Biographies of Committee Members and Staff -- B: Open Session Briefers -- C: Statement of Task |
| Title | Software for dependable systems : sufficient evidence? |
| URI | https://cir.nii.ac.jp/crid/1130282272995592576 https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=3378266 https://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9780309179294 https://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9780309667388 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3Nb9MwFH9ihQO78C0KDFmIG0pZEsdOuCC1Kh8CDSQG2i2yXUeKNgJasrH-97zn2Em7HSYOXKw2avJSvye_3_sGeKkS1IlJrKPCom2CCFxHimc8ygoUH610KnU_bEIeHORHR8VX31ChdeMEZNPkFxfF7__KaryGzKbS2X9g9_BQvICfkem4IttxvYSIh6-h0rbq_lAiF2UO9sNtXV1U36y5dcZ_e-ZaRlACgPXzRENqH3mEg2cw5OO5knVTnzjP7Owb1WTN6Aj5WXedtRRoWFBedlUjoTWeXQPN4V02O6Jvl_T3xe2biSl9bRk1NlgPIutqFfsA1ud1Q3lJrz7OtlwV8pKrYvgTPvXftlt5Jr1JSyEfCk_3fTivHPAycTMpYwKmowobEgvnc4Q0UqLK3YEdKdAav_l--eX7p8HtRi3c4jR3cXtPyHf-Ggn7EVRE6rUjtAu7qj1GpYMKqWsRhTR1fUV3O0ByeBcmVKRyD27Y5j7cCaM5mD-pH4AIDGAoDGwUBuaFgb1hoyiwIApvH8KPd8vDxYfIj8iIlKDmdVFi43xViThX1qQrjnBkRTa_rDTicMP5vkozmxdGJdYISf35MoMIMrapLoTmq_QRTJpfjX0MbJ9rUwmuBM_xPmO0VMbwgpoOIM4z2RRebOxCeX7iwvltGfZOItLm1_zIDZnNp7CHO1iamtaYQucIU9HKo26IZABPgYW9Ld39PlG5XM4XaYqYVogn1zziKdweJfAZTLrTM7sHt8x5V7enz71U_AVi5Gpj |
| linkProvider | ProQuest Ebooks |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Software+for+dependable+systems+%3A+sufficient+evidence%3F&rft.au=National+Research+Council+%28U.S.%29.+Committee+on+Certifiably+Dependable+Software+Systems&rft.au=Jackson%2C+Daniel&rft.au=Thomas%2C+Martyn&rft.au=Millett%2C+Lynette+I.&rft.date=2007-01-01&rft.pub=National+Academies+Press&rft.isbn=9780309103947&rft_id=info:doi/10.17226%2F11923&rft.externalDocID=BB08277847 |
| thumbnail_m | http://cvtisr.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fvle.dmmserver.com%2Fmedia%2F640%2F97803091%2F9780309179294.jpg http://cvtisr.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fvle.dmmserver.com%2Fmedia%2F640%2F97803096%2F9780309667388.jpg |