{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":39,"n_cols":5,"rows_kept":39,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[10,2,10,3],[11,2,11,3],[12,2,12,3],[13,2,13,3],[14,2,14,3],[15,2,15,3],[16,2,16,3],[20,2,20,3],[25,2,25,3],[25,4,25,5],[26,2,26,3],[26,4,26,5],[27,2,27,3],[27,4,27,5],[28,2,28,3],[29,2,29,3],[30,2,30,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[34,2,34,3],[35,2,35,3],[36,2,36,3],[37,2,37,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910825784103321"]
[null,null,"Autore",null,"Boulanger Jean-Louis"]
[null,null,"Titolo",null,"Safety management for software-based equipment / / Jean-Louis Boulanger"]
[null,null,"Pubbl/distr/stampa",null,"Hoboken, N.J., : ISTE Ltd./John Wiley and Sons Inc., 2013"]
[null,null,"ISBN",null,"9781118578612"]
[{"$nulls":4},"1118578619"]
[{"$nulls":4},"9781118579916"]
[{"$nulls":4},"1118579917"]
[{"$nulls":4},"9781118578650"]
[{"$nulls":4},"1118578651"]
[null,null,"Edizione",null,"[1st ed.]"]
[null,null,"Descrizione fisica",null,"1 online resource (193 p.)"]
[null,null,"Collana",null,"Focus series in computer engineering and IT, , 2051-2481"]
[null,null,"Disciplina",null,"621.392"]
[null,null,"Soggetti",null,"Computer security"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"CONTENTS; INTRODUCTION; CHAPTER 1. SAFETY MANAGEMENT; 1.1.Introduction; 1.2.Dependability; 1.3.Conclusion; 1.4.Bibliography; CHAPTER 2. FROM SYSTEM TO SOFTWARE; 2.1.Introduction; 2.2 Systems of command and control; 2.3 System; 2.4 Software implementation; 2.5.Conclusion; 2.6.Bibliography; 2.7.Glossary; CHAPTER 3. CERTIFIABLE SYSTEMS; 3.1. Introduction; 3.2. Normative context; 3.3.Conclusion; 3.4.Bibliography; 3.5.Glossary; CHAPTER 4. RISK AND SAFETY LEVELS; 4.1. Introduction; 4.2. Basic definitions; 4.3.Safety implementation; 4.4. In standards IEC 61508 and IEC 61511; 4.5.Conclusions"]
[{"$nulls":4},"4.6.Bibliography4.7.Acronyms; CHAPTER 5. PRINCIPLES OF HARDWARE SAFETY; 5.1. Introduction; 5.2 Safe and/or available hardware; 5.3.Reset of a processing unit; 5.4. Presentation of safety control techniques; 5.5. Conclusion; 5.6.Bibliography; 5.7.Glossary; CHAPTER 6. PRINCIPLES OF SOFTWARE SAFETY; 6.1. Introduction; 6.2. Techniques to make software application safe; 6.3.Other forms of diversification; 6.4.Overall summary; 6.5.Quality management; 6.6.Conclusion; 6.7.Bibliography; 6.8.Glossary; CHAPTER 7. CERTIFICATION; 7.1. Introduction; 7.2. Independent assessment; 7.3. Certification"]
[{"$nulls":4},"7.4. Certification in the rail sector7.5.Automatic systems; 7.6.Aircraft; 7.7. Nuclear; 7.8. Automotive; 7.9. Spacecraft; 7.10.Safety case; 7.11. "]
[{"$nulls":4},"Conclusion; 7.12. Bibliography; 7.13. Glossary; CONCLUSION; INDEX"]
[null,null,null,"Sommario/riassunto","A review of the principles of the safety of software-based equipment, this book begins by presenting the definition principles of safety objectives. It then moves on to show how it is possible to define a safety architecture (including redundancy, diversification, error-detection techniques) on the basis of safety objectives and how to identify objectives related to software programs. From software objectives, the authors present the different safety techniques (fault detection, redundancy and quality control). \"Certifiable system\" aspects are taken into account throughout the book.  C"]
[null,"2.","Record Nr.",null,"UNISANNIOMOD1393379"]
[null,null,"Autore",null,"Peña-Ruiz, Henri"]
[null,null,"Titolo",null,"Che cos'è la laicità : minoranze e comunità nello stato democratico / Henri Pena-Ruiz ; prefazione di Gaetano Pecora"]
[null,null,"Pubbl/distr/stampa",null,"Lungro, : Marco editore, 2006"]
[null,null,"Titolo uniforme",null,"Qu'est-ce que la laicité?"]
[null,null,"ISBN",null,"8888897593"]
[null,null,"Descrizione fisica",null,"XIX, 247 p.; 21 cm."]
[null,null,"Collana",null,"I viaggi ; 4"]
[null,null,"Disciplina",null,"322.1"]
[null,null,"Soggetti",null,"Laicismo"]
[null,null,"Collocazione",null,"POZZO LIB.ECON MON                467801POZZO LIB.ECON MON                4678"]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]