Justifying the Dependability of Computer-based Systems : With Applications in Nuclear Engineering
What evidence is sufficient to justify the release of a computer-based safety critical system? How should this evidence be presented to certification bodies or regulatory authorities? What best practices should be applied? These are just a few of the questions addressed by Justifying the Dependabili...
Sábháilte in:
| Príomhchruthaitheoir: | |
|---|---|
| Formáid: | Livre numérique |
| Teanga: | Anglais |
| Foilsithe / Cruthaithe: |
London :
Springer London : Springer e-books
[20..].
Cham : Springer Nature |
| Sraith: | Springer Series in Reliability Engineering
|
| Rochtain ar líne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nóta: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Justifying the dependability of computer-based systems, with applications in nuclear engineering, Pierre-Jacques Courtois, London, Springer, 2008, 1 vol. (XVIII-323 p.), Springer series in reliability engineering / series editor, professor Hoang Pham,..., 978-1-84800-371-2 |
| LEADER | 03828nam a22003137a 4500 | ||
|---|---|---|---|
| 001 | 940691 | ||
| 008 | 081009q2000 xx ||| |||| 00| 0 eng d | ||
| 009 | PPN128123435 | ||
| 020 | |a 9781848003729 | ||
| 041 | 0 | |a eng | |
| 082 | |a 658.56 | ||
| 100 | 1 | |a Courtois, Pierre-Jacques, |d 1937- | |
| 245 | 1 | 0 | |a Justifying the Dependability of Computer-based Systems : |b With Applications in Nuclear Engineering |c by Pierre-Jacques Courtois. |
| 260 | |a London : |b Springer London : |b Springer e-books. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Springer Series in Reliability Engineering |x 1614-7839 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 1 | |a The Context Current Practices Axiomatic Justification and Uncertainty Justification and Dependability Case Prescriptions Requirements, Claims and Evidence Arguments, Syntax and Semantics Axiomatic Principles and Limits Descriptions Structures and Interpretations Embedded Computer System Structures Methodological Implications Pre-existing Systems and Components Construction Methods Postface | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a What evidence is sufficient to justify the release of a computer-based safety critical system? How should this evidence be presented to certification bodies or regulatory authorities? What best practices should be applied? These are just a few of the questions addressed by Justifying the Dependability of Computer-based Systems, which provides a framework for the justification of the dependability of a computer-based system. The book also explores some of the more fundamental aspects of safety evaluation, such as the nature of models, arguments, evidence and documentation, and the ways to deal with different types of risk and uncertainty. Justifying the Dependability of Computer-based Systems will be of value to software, computer system, instrumentation and control engineers, and regulators working in industry sectors such as nuclear safety. Pierre-Jacques Courtois is a Professor in the Department of Computer Science and Engineering at the Catholic University of Louvain-la-Neuve, with particular research interests in safety-critical software for the nuclear industry. He has more than fifteen years experience in the nuclear safety industry, having worked as a nuclear safety advisor in Finland and the UK, and as a consultant to the International Atomic Energy Agency (IAEA) and the Organisation for Economic Co-operation and Development (OECD) | ||
| 776 | 0 | |0 143110489 |t Justifying the dependability of computer-based systems |o with applications in nuclear engineering |f Pierre-Jacques Courtois |c London |n Springer |d 2008 |p 1 vol. (XVIII-323 p.) |s Springer series in reliability engineering / series editor, professor Hoang Pham,... |z 978-1-84800-371-2 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/978-1-84800-372-9 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-4P3695GB-0 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747857830 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/978-1-84800-372-9 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750875321 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/978-1-84800-372-9 |z Accès INSA CVL | |
| 997 | |0 940691 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||