Computer architecture and logic design Books
Springer Fachmedien Wiesbaden Logikkalküle in der Informatik: Wie wird Logik
Book SynopsisIm Mittelpunkt steht das Spannungsverhältnis zwischen einerseits dem herkömmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalküls, also zwischen Semantik und Syntax. Wie dieser Graben überwunden wird, wird für verschiedene auch nicht-klassische Logiken vorgeführt: Prädikatenlogik, modale, temporale, nichtmonotone, epistemische Logik und andere. Dadurch wird insbesondere auch eine einführende Übersicht über Logiken gegeben, die an manchen Stellen der Informatik benötigt werden, zu deren Verständnis man sich aber kein ganzes spezielles Buch anschaffen möchte. Das Buch enthält einen einheitlichen Ansatz für verschiedene Logiken. Table of ContentsAussagenlogik - Prädikatenlogik – SLD-Kalkül – Modale Logik – Temporale Logik – Epistemische Logik – Deontische Logik – Nichtmonotone Logik – Default-Logik
£23.74
Springer Introduction to Reconfigurable Computing: Architectures, Algorithms, and Applications
Book SynopsisThis work is a comprehensive study of the field. It provides an entry point to the novice willing to move in the research field reconfigurable computing, FPGA and system on programmable chip design. The book can also be used as teaching reference for a graduate course in computer engineering, or as reference to advance electrical and computer engineers. It provides a very strong theoretical and practical background to the field, from the early Estrin’s machine to the very modern architecture such as embedded logic devices.Trade ReviewThe book by Christophe Bobda, however, has also been written for people with a software background, substantially reducing the educational leap by bridging the gap. His book has the potential to become a best-seller and to stimulate the urgently needed transformation of the software developer population’s mind set, by playing a similar role as known from the famous historic Mead-&-Conway textbook for the VLSI design revolution. Reiner Hartenstein, IEEE fellow, Professor, TU Kaiserslautern "Table of ContentsForeword. Preface. List of Figures. List of Tables. 1. INTRODUCTION. 1 General Purpose Computing. 2 Domain Specific Processors. 3 Application Specific Processors. 4 Reconfigurable Computing. 5 Fields of Application. 6 Organization of the book. 2. RECONFIGURABLE ARCHITECTURES. 1 Early Work. 2 Simple Programmable Logic Devices. 3 Complex Programmable Logic Device. 4 Field Programmable Gate Arrays. 5 Coarse-grained reconfigurable devices. 6 Conclusion. 3. IMPLEMENTATION. 1 Integration. 2 FPGA Design Flow. 3 Logic Synthesis. 4 Conclusion. 4. HIGH-LEVEL SYNTHESIS FOR RECONFIGURABLE DEVICES. 1 Modelling. 2 Temporal partitioning algorithms. 3 Conclusion. 5. TEMPORAL PLACEMENT. 1 Off-Line Temporal Placement. 2 On-Line Temporal Placement. 3 Managing the Device’s Free Space with Empty Rectangles. 4 Managing the Device’s Occupied Space. 5 Conclusion. 6. ON-LINE COMMUNICATION. 1 Direct Communication. 2 Communication Over Third Party. 3 Bus-based Communication. 4 Circuit Switching. 5 Network on Chip. 6 The Dynamic Network on Chip (DyNoC). 7 Routing Packets. 8 Analysis of efficiency. 9 DyNoC Implementation on FPGAs. 10 Conclusion. 7. PARTIAL RECONFIGURATION DESIGN. 1 Partial Reconfiguration on Virtex Devices. 2 Bitstream Manipulation with JBits. 3 The Modular Design Flow. 4 The Early Access Design Flow. 5 Creating partially reconfigurable designs. 6 Partial Reconfiguration using Handel-C Designs. 7 Platform design. 8 Enhancement in the Platform Design. 9 Conclusion. 8. SYSTEM ONA PROGRAMMABLE CHIP. 1 Introduction to SoPC. 2 Adaptive Multiprocessing on Chip. 3 Conclusion. 9. APPLICATIONS. 1 Pattern Matching. 2 Video Streaming. 3 Distributed Arithmetic. 4 Adaptive controller. 5 Adaptive Cryptographic Systems. 6 Software Defined Radio. 7 High Performance Computing. 8 Conclusion References. Appendices. A Hints to Labs. 1 Prerequisites. 2 Reorganization of the project Video8nonpr. B Party. C QuickPart-YTutorial.
£80.99
Springer Verlag, Singapore Compact and Fast Machine Learning Accelerator for
Book SynopsisThis book presents the latest techniques for machine learning based data analytics on IoT edge devices. A comprehensive literature review on neural network compression and machine learning accelerator is presented from both algorithm level optimization and hardware architecture optimization. Coverage focuses on shallow and deep neural network with real applications on smart buildings. The authors also discuss hardware architecture design with coverage focusing on both CMOS based computing systems and the new emerging Resistive Random-Access Memory (RRAM) based systems. Detailed case studies such as indoor positioning, energy management and intrusion detection are also presented for smart buildings.Table of ContentsComputing on Edge Devices in Internet-of-things (IoT).- The Rise of Machine Learning in IoT system.- Least-squares-solver for Shadow Neural Network.- Tensor-solver for Deep Neural Network.- Distributed-solver for Networked Neural Network.- Conclusion.
£98.99
Springer Verlag, Singapore Computer Architecture and Organization:
Book SynopsisIn today’s workplace, computer and cybersecurity professionals must understand both hardware and software to deploy effective security solutions. This book introduces readers to the fundamentals of computer architecture and organization for security, and provides them with both theoretical and practical solutions to design and implement secure computer systems. Offering an in-depth and innovative introduction to modern computer systems and patent-pending technologies in computer security, the text integrates design considerations with hands-on lessons learned to help practitioners design computer systems that are immune from attacks. Studying computer architecture and organization from a security perspective is a new area. There are many books on computer architectures and many others on computer security. However, books introducing computer architecture and organization with security as the main focus are still rare. This book addresses not only how to secure computer components (CPU, Memory, I/O, and network) but also how to secure data and the computer system as a whole. It also incorporates experiences from the author’s recent award-winning teaching and research. The book also introduces the latest technologies, such as trusted computing, RISC-V, QEMU, cache security, virtualization, cloud computing, IoT, and quantum computing, as well as other advanced computing topics into the classroom in order to close the gap in workforce development. The book is chiefly intended for undergraduate and graduate students in computer architecture and computer organization, as well as engineers, researchers, cybersecurity professionals, and middleware designers.Table of Contents
£47.49
Springer Verlag, Singapore Digital Design from the VLSI Perspective:
Book SynopsisThis volume covers digital design techniques, exercises and applications. The book discusses digital design and implementation in the context of VLSI and embedded system design. It covers basic digital design techniques to high speed design techniques. The contents also cover performance improvement, optimization concepts and design case studies. It includes pedagogical features such as design examples and illustrations. This book will be a useful guide for hardware engineers, logic design engineers, professionals and hobbyists looking to learn and use the digital design to develop VLSI based algorithms, architectures and products.Table of Contents
£42.74
Springer Verlag, Singapore Parallel and Distributed Computing, Applications
Book SynopsisThis book constitutes the refereed proceedings of the International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT) which was held in Jeju, Korea in August, 2023. The papers of this volume are organized in topical sections on wired and wireless communication systems, high dimensional data representation and processing, networks and information security, computing techniques for efficient networks design, electronic circuits for communication systems.Table of ContentsTrack 1. Networking and Architectures.- Track 2. Software Systems and Technologies.- Track 3. Algorithms and Applications.- Track 4. Security and Privacy
£123.49
Cambridge University Press Digital Systems Engineering
a huge range and FREE tracked UK delivery on ALL orders.
£71.99
Cambridge University Press Digital Design
Book SynopsisThis introductory textbook provides students with a system-level perspective and the tools they need to understand, analyze and design digital systems. Going beyond the design of simple combinational and sequential modules, it shows how such modules are used to build complete systems, reflecting real-world digital design. All the essential topics are covered, including design and analysis of combinational and sequential modules, as well as system timing and synchronization. It also teaches how to write Verilog HDL in a productive and maintainable style that enables CAD tools to do much of the tedious work. A complete introduction to digital design is given through clear explanations, extensive examples and online Verilog files. The teaching package is completed with lecture slides, labs and a solutions manual for instructors. Assuming no previous digital knowledge, this textbook is ideal for undergraduate digital design courses that will prepare students for modern digital practice.Trade Review'Dally and Harting blend circuit and architecture design in a clear and constructive manner on the basis of their exceptional experience in digital design. Students will discover a modern and effective way to understand the fundamental underpinning of digital design, by being exposed to the different abstraction levels and views of computing systems.' Giovanni De Micheli, École Polytechnique Fédérale de Lausanne'Bill and Curt have combined decades of academic and industry experience to produce a textbook that teaches digital system design from a very practical perspective without sacrificing the theoretical understanding needed to train tomorrow's engineers. Their approach pushes students to understand not just what they are designing but also what they are building. By presenting key advanced topics, such as synthesis, delay and logical effort, and synchronization, at the introductory level, this book is in the rare position of providing both practical advice and deep understanding. In doing so, this book will prepare students well even as technology, tools, and techniques change in the future.' David Black-Schaffer, Uppsala University'Everything you would expect from a book on digital design from [Professor] Dally. Decades of practical experience are distilled to provide the tools necessary to design and compose complete digital systems. A clear and well written text that covers the basics and system-level issues equally well. An ideal starting point for the microprocessor and SoC designers of the future!' Robert Mullins, University of Cambridge and the Raspberry Pi Foundation'This textbook sets a new standard for how digital system design is taught to undergraduates. The practical approach and concrete examples [provide] a solid foundation for anyone who wants to understand or design modern complex digital systems.' Steve Keckler, University of Texas, Austin'This book not only teaches how to do digital design, but more importantly shows how to do good design. It stresses the importance of modularization with clean interfaces, and the importance of producing digital artifacts that not only meet their specifications, but which can also be easily understood by others. It uses an aptly chosen set of examples and the Verilog code used to implement them … It includes a section on the design of asynchronous logic, a topic that is likely to become increasingly important as energy consumption becomes a primary concern in digital systems … The final appendix on Verilog coding style is particularly useful. This book will be valuable not only to students, but to practitioners in the area. I recommend it highly.' Chuck Thacker, Microsoft'A terrific book with a terrific point of view of systems. Everything interesting - and awful - that happens in digital design happens because engineers must integrate ideas from bits to blocks, from signals to CPUs. The book does a great job of focusing on the important stuff, moving from foundations to systems, with the right amount of HDL (Verilog) focus to make everything practical and relevant.' Rob A. Rutenbar, University of Illinois, Urbana-ChampaignTable of ContentsPart I. Introduction: 1. The digital abstraction; 2. The practice of digital system design; Part II. Combinational Logic: 3. Boolean algebra; 4. CMOS logic circuits; 5. Delay and power of CMOS circuits; 6. Combinational logic design; 7. Verilog descriptions of combinational logic; 8. Combinational building blocks; 9. Combinational examples; Part III. Arithmetic Circuits: 10. Arithmetic circuits; 11. Fixed- and floating-point numbers; 12. Fast arithmetic circuits; 13. Arithmetic examples; Part IV. Synchronous Sequential Logic: 14. Sequential logic; 15. Timing constraints; 16. Datapath sequential logic; 17. Factoring finite-state machines; 18. Microcode; 19. Sequential examples; Part V. Practical Design: 20. Verification and test; Part VI. System Design: 21. System-level design; 22. Interface and system-level timing; 23. Pipelines; 24. Interconnect; 25. Memory systems; Part VII. Asynchronous Logic: 26. Asynchronous sequential circuits; 27. Flip-flops; 28. Metastability and synchronization failure; 29. Synchronizer design; Appendix A. Verilog coding style; References; Index of Verilog modules; Subject index.
£60.99
Cambridge University Press Theoretical Foundations of VLSI Design 10 Cambridge Tracts in Theoretical Computer Science Series Number 10
a huge range and FREE tracked UK delivery on ALL orders.
£54.18
Cambridge University Press Modelling Auditory Processing 7 Distinguished Dissertations in Computer Science Series Number 7
a huge range and FREE tracked UK delivery on ALL orders.
£43.30
Cambridge University Press Computer Architecture and Implementation
a huge range and FREE tracked UK delivery on ALL orders.
£74.99
Cambridge University Press Computer Architecture and Implementation
a huge range and FREE tracked UK delivery on ALL orders.
£52.20
Cambridge University Press Designing Digital Computer Systems with Verilog
a huge range and FREE tracked UK delivery on ALL orders.
£57.13
Cambridge University Press Boolean Functions
a huge range and FREE tracked UK delivery on ALL orders.
£155.00
Cambridge University Press Programming in Ada 2012 with a Preview of Ada 2022
a huge range and FREE tracked UK delivery on ALL orders.
£84.99
Cambridge University Press Elements of Logical Reasoning
Book SynopsisSome of our earliest experiences of the conclusive force of an argument come from school mathematics: faced with a mathematical proof, we cannot deny the conclusion once the premises have been accepted. Behind such arguments lies a more general pattern of 'demonstrative arguments' that is studied in the science of logic. Logical reasoning is applied at all levels, from everyday life to advanced sciences, and a remarkable level of complexity is achieved in everyday logical reasoning, even if the principles behind it remain intuitive. Jan von Plato provides an accessible but rigorous introduction to an important aspect of contemporary logic: its deductive machinery. He shows that when the forms of logical reasoning are analysed, it turns out that a limited set of first principles can represent any logical argument. His book will be valuable for students of logic, mathematics and computer science.Trade Review'Elements of Logical Reasoning fills a gap by providing some much needed explanation and motivation to an otherwise dry literature.' Henry Towsner, The Mathematical IntelligencerTable of ContentsPart I. First Steps in Logical Reasoning: 1. Starting points; 2. Rules of proof; 3. Natural deduction; 4. Proof search; 5. Classical natural deduction; 6. Proof search in classical logic; 7. The semantics of propositional logic; Part II. Logical Reasoning with the Quantifiers: 8. The quantifiers; 9. Derivations in predicate logic; 10. The semantics of predicate logic; Part III. Beyond Pure Logic: 11. Equality and axiomatic theories; 12. Elements of the proof theory of arithmetic; Part IV. Complementary Topics: 13. Normalization and cut elimination; 14. Deductive machinery from Aristotle to Heyting.
£28.47
Cambridge University Press Mathematical Logic and Computation
Book SynopsisThis book presents mathematical logic from the syntactic point of view, with an emphasis on aspects that are fundamental to computer science. It is an excellent introduction for graduate students and advanced undergraduates interested in logic in mathematics, computer science, and philosophy, and an invaluable reference for professional logicians.Trade Review'Avigad provides a much needed introduction to mathematical logic that foregrounds the role of syntax and computability in our understanding of consistency and inconsistency. The result provides a jumping off point to any of the fields of modern logic, not only teaching the technical groundwork, but also providing a window into how to think like a logician.' Henry Towsner, University of Pennsylvania'This book by one of the most knowledgeable researchers in the field covers a remarkably broad selection of material without sacrificing depth. Its clear organization and unified approach - focused on a syntactic approach and on the role of computation - make it suitable for a wide range of introductory logic sequences at the upper-level undergraduate and graduate level, as well as a valuable resource for background material in more advanced logic courses.' Denis Hirschfeldt, University of Chicago'… an excellent addition to the literature, with plenty more than enough divergences and side-steps from the more well-trodden paths through the material to be consistently interesting … this is most certainly a book to make sure your library gets.' Peter Smith, Logic MattersTable of ContentsPreface; 1. Fundamentals; 2. Propositional Logic; 3. Semantics of Propositional Logic; 4. First-Order Logic; 5. Semantics of First-Order Logic; 6. Cut Elimination; 7. Properties of First-Order Logic; 8. Primitive Recursion; 9. Primitive Recursive Arithmetic; 10. First-Order Arithmetic; 11. Computability 12. Undecidability and Incompleteness; 13. Finite Types; 14. Arithmetic and Computation; 15. Second-Order Logic and Arithmetic; 16. Subsystems of Second-Order Arithmetic; 17. Foundations; Appendix; References; Notation; Index.
£59.99
Cambridge University Press Computer Architecture for Scientists
Book SynopsisThe dramatic increase in computer performance has been extraordinary, but not for all computations: it has key limits and structure.Software architects, developers, and even data scientists need to understand how exploit the fundamental structure of computer performance to harness it for future applications. Ideal for upper level undergraduates, Computer Architecture for Scientists covers four key pillars of computer performance and imparts a high-level basis for reasoning with and understanding these concepts: Small is fast how size scaling drives performance; Implicit parallelism how a sequential program can be executed faster with parallelism; Dynamic locality skirting physical limits, by arranging data in a smaller space; Parallelism increasing performance with teams of workers. These principles and models provide approachable high-level insights and quantitative modelling without distracting low-level detail. Finally, the text covers the GPU and machine-learning accelerators tTrade Review'Andrew Chien's Computer Architecture for Scientists: Principles and Practice is a timely and much-needed treatment of how computer architecture impacts the scalability and performance of the computing systems and the data-driven processes that operate at the upper levels of the software stack. Aimed at software engineers and data scientists, this book provides a holistic and principled coverage of technology-agnostic concepts that govern the interplay between hardware capabilities and software performance. Understanding this interplay is crucial as it allows practitioners not only to reason about the performance of the systems they develop, but in fact to design these systems in a way that leverages the architectural features of the hardware systems on which they are built.' Azer Bestavros, Associate Provost for Computing and Data Sciences, Boston University'This is a very timely book on computer architecture aimed at the new generation of computational scientists and data scientists. The end of Dennard Scaling, coupled with the breakthrough of Deep Neural Networks in Machine Learning, has led to the need for a radical re-think in the teaching of computer architecture. Andrew Chien's book addresses this need and gives scientific software developers a high-level understanding of the emerging computer architectures and the design principles they require to obtain maximum computer performance from their programs.' Tony Hey, Chief Data Scientist, Rutherford Appleton Lab, U.K.'Hurray for Computer Architecture for Scientists! Finally, a book aimed squarely at the rising complexities at the intersection of Moore's Law scaling of technology and the dizzying array of diverse computer architectures that have resulted. General versus special-purpose, programmable versus configurable, and a growing basket of colors and flavors of parallelism. While these make sense to working computer architects and chip designers – what of scientists and engineers just trying to get stuff done? Chien does a splendid job of translating and demystifying why and how computer architectures matter, how users can understand them, and use these insights to wrestle them into submission to do good science.' Rob A. Rutenbar, Distinguished Professor of Computer Science and Electrical and Computer Engineering, University of Pittsburgh'Andrew Chien's book connects the dots from interdependent architectural choices to underlying calculus of performance and in the process strikes a balance between high-level view of the machine and its realizations. It is essential that users of these tools have an intimate understanding of the principles and mechanisms that make computing machines deliver efficient and high performance without becoming hardware designers themselves. The book provides such insights through its succinctly stated principles that both educate and enlighten about fundamental abstractions in computing.' Rajesh Gupta, Professor of Computer Science and Engineering, University of California, San DiegoTable of ContentsPreface; 1. Computing and the transformation of society; 2. Instruction sets, software, and instruction execution; 3. Processors: small is fast and scaling; 4. Sequential abstraction, but parallel implementation; 5. Memories: exploiting dynamic locality; 6. The general-purpose computer; 7. Beyond sequential: parallelism in multi-core and the Cloud; 8. Accelerators: customized architectures for performance; 9. Computing performance: past, present, and future; References, Index.
£58.12
McGraw Hill Education India Loose Leaf for Fundamentals of Digital Logic with
Book Synopsis
£174.60
ISTE Ltd and John Wiley & Sons Inc Model Driven Engineering for Distributed
Book SynopsisModel-based development methods, and supporting technologies, can provide the techniques and tools needed to address the dilemma between reducing system development costs and time, and developing increasingly complex systems. This book provides the information needed to understand and apply model-drive engineering (MDE) and model-drive architecture (MDA) approaches to the development of embedded systems. Chapters, written by experts from academia and industry, cover topics relating to MDE practices and methods, as well as emerging MDE technologies. Much of the writing is based on the presentations given at the Summer School “MDE for Embedded Systems” held at Brest, France, in September 2004.Table of ContentsChapter Summary xi Chapter 1. Model Transformation: A Survey of the State of the Art 1 Tom MENS 1.1. Model-driven engineering 1 1.2. Model transformation 2 1.3. Model transformation languages 5 1.4. Model transformation activities 8 1.5. Conclusion 14 1.6. Acknowledgements 14 1.7. Bibliography 15 Chapter 2. Model-Based Code Generation 21 Chris RAISTRICK 2.1. Introduction 21 2.2. The model-driven architecture (MDA) process 22 2.3. The automated approach to code generation 23 2.4. Domain modeling 25 2.5. The executable UML (xUML) formalism 29 2.6. System generation 31 2.7. Executable UML to code mappings 34 2.8. Conclusions 41 2.9. Bibliography 42 Chapter 3. Testing Model Transformations: A Case for Test Generation from Input Domain Models 43 Benoit BAUDRY 3.1. Introduction 43 3.2. Challenges for testing systems with large input domains 46 3.3. Selecting test data in large domains 52 3.4. Metamodel-based test input generation 58 3.5. Conclusion 67 3.6. Acknowledgements 68 3.7. Bibliography 68 Chapter 4. Symbolic Execution-Based Techniques for Conformance Testing 73 Christophe GASTON, Pascale LE GALL, Nicolas RAPIN and Assia TOUIL 4.1. Context 73 4.2. Input output symbolic transition systems 79 4.3. Symbolic execution 84 4.4. Conformance testing for IOSTS 87 4.5. Concluding remarks 96 4.6. Bibliography 101 Chapter 5. Using MARTE and SysML for Modeling Real-Time Embedded Systems 105 Huascar ESPINOZA, Daniela CANCILA, Sébastien GÉRARD and Bran SELIC 5.1. Introduction 105 5.2. Background 108 5.3. Scenarios of combined usage 113 5.4. Combination Strategies 125 5.5. Related work 130 5.6. Conclusion 133 5.7. Acknowledgements 134 5.8. Bibliography 134 Chapter 6. Software Model-based Performance Analysis 139 Dorina C. PETRIU 6.1. Introduction 139 6.2. Performance models 142 6.3. Software model with performance annotations 148 6.4. Mapping from software to performance model 155 6.5. Using a pivot language: Core Scenario Model (CSM) 158 6.6. Case study performance model 160 6.7. Conclusions 162 6.8. Acknowledgements 163 6.9. Bibliography 163 Chapter 7. Model Integration for Formal Qualification of Timing-Aware Software Data Acquisition Components 167 Jean-Philippe BABAU, Philippe DHAUSSY and Pierre-Yves PILLAIN 7.1. Introduction 167 7.2. System modeling 170 7.3. Variation points modeling 182 7.4. Experiments and results 189 7.5. Conclusion 194 7.6. Bibliography 195 Chapter 8. SoC/SoPC Development using MDD and MARTE Profile 201 Denis AULAGNIER, Ali KOUDRI, Stéphane LECOMTE, Philippe SOULARD, Joël CHAMPEAU, Jorgiano VIDAL, Gilles PERROUIN and Pierre LERAY 8.1. Introduction 201 8.2. Related works 203 8.3. MOPCOM process and models 206 8.4. Application 210 8.5. System analysis 211 8.6. Abstract modeling level 214 8.7. Execution modeling level 216 8.8. Detailed modeling level 220 8.9. Tooling Support 223 8.10. HDL Code Generation 225 8.11. Conclusion 228 8.12. Acknowledgements 229 8.13. Bibliography 229 List of Authors 233 Index 237
£132.00
ISTE Ltd and John Wiley & Sons Inc Safety of Computer Architectures
Book SynopsisIt is currently quite easy for students or designers/engineers to find very general books on the various aspects of safety, reliability and dependability of computer system architectures, and partial treatments of the elements that comprise an effective system architecture. It is not so easy to find a single source reference for all these aspects of system design. However, the purpose of this book is to present, in a single volume, a full description of all the constraints (including legal contexts around performance, reliability norms, etc.) and examples of architectures from various fields of application, including: railways, aeronautics, space, automobile and industrial automation. The content of the book is drawn from the experience of numerous people who are deeply immersed in the design and delivery (from conception to test and validation), safety (analysis of safety: FMEA, HA, etc.) and evaluation of critical systems. The involvement of real world industrial applications is handled in such as a way as to avoid problems of confidentiality, and thus allows for the inclusion of new, useful information (photos, architecture plans/schematics, real examples).Trade Review"The text is clearly written, well-illustrated, and includes a helpful glossary." (Booknews, 1 February 2011)Table of ContentsIntroduction xiii Chapter 1. Principles 1 Jean-Louis BOULANGER 1.1. Introduction 1 1.2. Presentation of the basic concepts: faults, errors and failures 1 1.3. Safe and/or available architecture 7 1.4. Resetting a processing unit 7 1.5. Overview of safety techniques 8 1.6. Conclusion 45 1.7. Bibliography 45 Chapter 2. Railway Safety Architecture 47 Jean-Louis BOULANGER 2.1. Introduction 47 2.2. Coded secure processor 47 2.3. Other applications 53 2.4. Regulatory and normative context 60 2.5. Conclusion 66 2.6. Bibliography 66 Chapter 3. From the Coded Uniprocessor to 2oo3 69 Gilles LEGOFF and Christophe GIRARD 3.1. Introduction 69 3.2. From the uniprocessor to the dual processor with voter 71 3.3. CSD: available safety computer 80 3.4. DIVA evolutions 93 3.5. New needs and possible solutions 99 3.6. Conclusion 101 3.7. Assessment of installations 102 3.8. Bibliography 103 Chapter 4. Designing a Computerized Interlocking Module: a Key Component of Computer-Based Signal Boxes Designed by the SNCF 105 Marc ANTONI 4.1. Introduction 105 4.2. Issues 107 4.3. Railway safety: fundamental notions 116 4.4. Development of the computerized interlocking module 124 4.5. Conclusion 145 4.6. Bibliography 147 Chapter 5. Command Control of Railway Signaling Safety: Safety at Lower Cost 149 Daniel DRAGO 5.1. Introduction 149 5.2. A safety coffee machine 149 5.3. History of the PIPC 150 5.4. The concept basis 155 5.5. Postulates for safety requirements 157 5.6. Description of the PIPC architecture7 159 5.7. Description of availability principles 173 5.8. Software architecture 176 5.9. Protection against causes of common failure 186 5.10. Probabilistic modeling 188 5.11. Summary of safety concepts 194 5.12. Conclusion 197 5.13. Bibliography 198 Chapter 6. Dependable Avionics Architectures: Example of a Fly-by-Wire system 199 Pascal TRAVERSE, Christine BEZARD, Jean-Michel CAMUS, Isabelle LACAZE, Hervé LEBERRE, Patrick RINGEARD and Jean SOUYRIS 6.1. Introduction 199 6.2. System breakdowns due to physical failures 205 6.3. Manufacturing and design errors 215 6.4. Specific risks 223 6.5. Human factors in the development of flight controls 225 6.6. Conclusion 229 6.7. Bibliography 229 Chapter 7. Space Applications 233 Jean-Paul BLANQUART and Philippe MIRAMONT 7.1. Introduction 233 7.2. Space system 233 7.3. Context and statutory obligation 237 7.4. Specific needs 243 7.5. Launchers: the Ariane 5 example 252 7.6. Satellite architecture 281 7.7. Orbital transport: ATV example 292 7.8. Summary and conclusions 302 7.9. Bibliography 304 Chapter 8. Methods and Calculations Relative to “Safety Instrumented Systems” at TOTAL 307 Yassine CHAABI and Jean-Pierre SIGNORET 8.1. Introduction 307 8.2. Specific problems to be taken into account 308 8.3. Example 1: system in 2/3 modeled by fault trees 322 8.4. Example 2: 2/3 system modeled by the stochastic Petri net 328 8.5. Other considerations regarding HIPS 333 8.6. Conclusion 342 8.7. Bibliography 343 Chapter 9. Securing Automobile Architectures 345 David LIAIGRE 9.1. Context 345 9.2. More environmentally-friendly vehicles involving more embedded electronics 347 9.3. Mastering the complexity of electronic systems 348 9.4. Security concepts in the automotive field 350 9.5. Which security concepts for which security levels of the ISO 26262 standard? 364 9.6. Conclusion 376 9.7. Bibliography 377 Chapter 10. SIS in Industry 379 Grégory BUCHHEIT and Olaf MALASSE 10.1. Introduction 379 10.2. Safety loop structure 384 10.3. Constraints and requirements of the application 407 10.4. Analysis of a safety loop 413 10.5. Conclusion 423 10.6. Bibliography 424 Chapter 11. A High-Availability Safety Computer 425 Sylvain BARO 11.1. Introduction 425 11.2. Safety computer 426 11.3. Applicative redundancy 433 11.4. Integrated redundancy 433 11.5. Conclusion 443 11.6. Bibliography 446 Chapter 12. Safety System for the Protection of Personnel in the CERN Large Hadron Collider 447 Pierre NININ, Silvia GRAU, Tomasz LADZINSKI and Francesco VALENTINI 12.1. Introduction 447 12.2. LACS 450 12.3. LASS 452 12.4. Functional safety methodology 459 12.5. Test strategy 466 12.6. Feedback 472 12.7. Conclusions 473 12.8. Bibliography 474 Glossary 477 List of Authors 485 Index 487
£132.00
