Development of safety-critical systems : (Record no. 6886)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03421 a2200325 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20260213093455.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 251101b |||||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783031279003 |
| 040 ## - CATALOGING SOURCE | |
| Language of cataloging | eng |
| Transcribing agency | DLC |
| Modifying agency | SAIU |
| Original cataloging agency | SAIU |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Edition number | 23 |
| Classification number | 004.2 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Karmakar, Gopinath, |
| Relator term | author |
| 245 ## - TITLE STATEMENT | |
| Title | Development of safety-critical systems : |
| Remainder of title | architecture and software / |
| Statement of responsibility, etc | Gopinath Karmakar, Amol Wakankar, Ashutosh Kabra, Paritosh Pandya. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | First edition |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Cham : |
| Name of producer, publisher, distributor, manufacturer | Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2023. |
| 264 #4 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Date of production, publication, distribution, manufacture, or copyright notice | ©2023. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 373 pages ; |
| 336 ## - Content type term (R) | |
| Source (NR) | rdacontent |
| Content type term (R) | text |
| Content type code (R) | txt |
| 337 ## - Media Type (R) | |
| Source (NR) | unmediated |
| Media type term (R) | rdamedia |
| Media type code (R) | n |
| 338 ## - Carrier Type (R) | |
| Source (NR) | rdacarrier |
| Carrier type term (R) | text |
| Carrier type code (R) | nc |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc | Includes bibliographical references and index |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | This book provides professionals and students with practical guidance for the development of safety-critical computer-based systems. It covers important aspects ranging from complying with standards and guidelines to the necessary software development process and tools, and also techniques pertaining to model-based application development platforms as well as qualified programmable controllers. After a general introduction to the book’s topic in chapter 1, chapter 2 discusses dependability aspects of safety systems and how architectural design at the system level helps deal with failures and yet achieves the targeted dependability attributes. Chapter 3 presents the software development process which includes verification and validation at every stage, essential to the development of software for systems performing safety functions. It also explains how the process helps in developing a safety case that can be independently verified and validated. The subsequent chapter 4 presents some important standards and guidelines, which apply to different industries and in different countries. Chapter 5 then discusses the steps towards complying with the standards at every phase of development. It offers a guided tour traversing the path of software qualification by exploring the necessary steps towards achieving the goal with the help of case studies. Chapter 6 highlights the application of formal methods for the development of safety systems software and introduces some available notations and tools which assist the process. Finally, chapter 7 presents a detailed discussion on the importance and the advantages of qualified platforms for safety systems application development, including programmable controller (PLC) and formal model-based development platforms. Each chapter includes case studies illustrating the subject matter. The book is aimed at both practitioners and students interested in the art and science of developing computer-based systems for safety-critical applications. Both audiences will get insights into the tools and techniques along with the latest developments in the design, analysis and qualification, which are constrained by the regulatory and compliance requirements mandated by the applicable guides and standards. It also addresses the needs of professionals and young graduates who specialize in the development of necessary tools and qualified platforms. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Software engineering |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Data protection |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computers |
| General subdivision | Reliability |
| 700 #0 - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Wakankar, Amol |
| Relator term | author |
| 700 #0 - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Kabra, Ashutosh |
| Relator term | author |
| 700 #0 - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Pandya, Paritosh |
| Relator term | author |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Books |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Home library | Current library | Collection code | Shelving location | Date acquired | Cost, normal purchase price | Source of acquisition | Total Checkouts | Full call number | Barcode | Date last seen | Cost, replacement price | Price effective from | Koha item type | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Withdrawn status |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Sai University Library | Sai University Library | SCDS | General stacks | 2025-11-03 | 5071.04 | Feel Books | 004.2 KAR | 002039 | 2025-11-03 | 7296.50 | 2025-11-03 | Reference | Dewey Decimal Classification |