Safety Of Computer Architectures

Download Safety Of Computer Architectures full books in PDF, epub, and Kindle. Read online Safety Of Computer Architectures ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!

Safety of Computer Architectures

Author : Jean-Louis Boulanger
Publisher : John Wiley & Sons
ISBN 13 : 1118600800
Total Pages : 371 pages
Book Rating : 4.1/5 (186 download)

DOWNLOAD NOW!

Book Synopsis Safety of Computer Architectures by : Jean-Louis Boulanger

Download or read book Safety of Computer Architectures written by Jean-Louis Boulanger and published by John Wiley & Sons. This book was released on 2013-01-09 with total page 371 pages. Available in PDF, EPUB and Kindle. Book excerpt: It 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).

Computer Architecture and Security

Author : Shuangbao Paul Wang
Publisher : John Wiley & Sons
ISBN 13 : 111816881X
Total Pages : 342 pages
Book Rating : 4.1/5 (181 download)

DOWNLOAD NOW!

Book Synopsis Computer Architecture and Security by : Shuangbao Paul Wang

Download or read book Computer Architecture and Security written by Shuangbao Paul Wang and published by John Wiley & Sons. This book was released on 2013-01-10 with total page 342 pages. Available in PDF, EPUB and Kindle. Book excerpt: The first book to introduce computer architecture for security and provide the tools to implement secure computer systems This book provides the fundamentals of computer architecture for security. It covers a wide range of computer hardware, system software and data concepts from a security perspective. It is essential for computer science and security professionals to understand both hardware and software security solutions to survive in the workplace. Examination of memory, CPU architecture and system implementation Discussion of computer buses and a dual-port bus interface Examples cover a board spectrum of hardware and software systems Design and implementation of a patent-pending secure computer system Includes the latest patent-pending technologies in architecture security Placement of computers in a security fulfilled network environment Co-authored by the inventor of the modern Computed Tomography (CT) scanner Provides website for lecture notes, security tools and latest updates

Computer Architecture and Organization

Author : Shuangbao Paul Wang
Publisher : Springer Nature
ISBN 13 : 9811656622
Total Pages : 344 pages
Book Rating : 4.8/5 (116 download)

DOWNLOAD NOW!

Book Synopsis Computer Architecture and Organization by : Shuangbao Paul Wang

Download or read book Computer Architecture and Organization written by Shuangbao Paul Wang and published by Springer Nature. This book was released on 2021-11-29 with total page 344 pages. Available in PDF, EPUB and Kindle. Book excerpt: In 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.

A Safety Licensable Computing Architecture

Author : Wolfgang A Halang
Publisher : World Scientific
ISBN 13 : 9814502472
Total Pages : 280 pages
Book Rating : 4.8/5 (145 download)

DOWNLOAD NOW!

Book Synopsis A Safety Licensable Computing Architecture by : Wolfgang A Halang

Download or read book A Safety Licensable Computing Architecture written by Wolfgang A Halang and published by World Scientific. This book was released on 1993-12-30 with total page 280 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book describes the design of a low complexity, fault-detecting computer architecture for utilisation in programmable logic controllers (PLCs) for process control purposes. The cyclic operating mode of PLCs and a specification level graphical programming paradigm based on interconnecting application-oriented standard software function modules are architecturally supported. Thus, by design, there is no semantic gap between the specification, programming and machine execution levels enabling the safety licensing of application software by diverse back translation, an extremely simple but rigorous method.

The Apollo Guidance Computer

Author : Frank O'Brien
Publisher : Springer Science & Business Media
ISBN 13 : 1441908773
Total Pages : 440 pages
Book Rating : 4.4/5 (419 download)

DOWNLOAD NOW!

Book Synopsis The Apollo Guidance Computer by : Frank O'Brien

Download or read book The Apollo Guidance Computer written by Frank O'Brien and published by Springer Science & Business Media. This book was released on 2010-06-25 with total page 440 pages. Available in PDF, EPUB and Kindle. Book excerpt: The technological marvel that facilitated the Apollo missions to the Moon was the on-board computer. In the 1960s most computers filled an entire room, but the spacecraft’s computer was required to be compact and low power. Although people today find it difficult to accept that it was possible to control a spacecraft using such a ‘primitive’ computer, it nevertheless had capabilities that are advanced even by today’s standards. This is the first book to fully describe the Apollo guidance computer’s architecture, instruction format and programs used by the astronauts. As a comprehensive account, it will span the disciplines of computer science, electrical and aerospace engineering. However, it will also be accessible to the ‘space enthusiast’. In short, the intention is for this to be the definitive account of the Apollo guidance computer. Frank O’Brien’s interest in the Apollo program began as a serious amateur historian. About 12 years ago, he began performing research and writing essays for the Apollo Lunar Surface Journal, and the Apollo Flight Journal. Much of this work centered on his primary interests, the Apollo Guidance Computer (AGC) and the Lunar Module. These Journals are generally considered the canonical online reference on the flights to the Moon. He was then asked to assist the curatorial staff in the creation of the Cradle of Aviation Museum, on Long Island, New York, where he helped prepare the Lunar Module simulator, a LM procedure trainer and an Apollo space suit for display. He regularly lectures on the Apollo computer and related topics to diverse groups, from NASA's computer engineering conferences, the IEEE/ACM, computer festivals and university student groups.

Digital Logic Design and Computer Organization with Computer Architecture for Security

Author : Nikrouz Faroughi
Publisher : McGraw Hill Professional
ISBN 13 : 0071838082
Total Pages : 573 pages
Book Rating : 4.0/5 (718 download)

DOWNLOAD NOW!

Book Synopsis Digital Logic Design and Computer Organization with Computer Architecture for Security by : Nikrouz Faroughi

Download or read book Digital Logic Design and Computer Organization with Computer Architecture for Security written by Nikrouz Faroughi and published by McGraw Hill Professional. This book was released on 2014-09-08 with total page 573 pages. Available in PDF, EPUB and Kindle. Book excerpt: A COMPREHENSIVE GUIDE TO THE DESIGN & ORGANIZATION OF MODERN COMPUTING SYSTEMS Digital Logic Design and Computer Organization with Computer Architecture for Security provides practicing engineers and students with a clear understanding of computer hardware technologies. The fundamentals of digital logic design as well as the use of the Verilog hardware description language are discussed. The book covers computer organization and architecture, modern design concepts, and computer security through hardware. Techniques for designing both small and large combinational and sequential circuits are thoroughly explained. This detailed reference addresses memory technologies, CPU design and techniques to increase performance, microcomputer architecture, including "plug and play" device interface, and memory hierarchy. A chapter on security engineering methodology as it applies to computer architecture concludes the book. Sample problems, design examples, and detailed diagrams are provided throughout this practical resource. COVERAGE INCLUDES: Combinational circuits: small designs Combinational circuits: large designs Sequential circuits: core modules Sequential circuits: small designs Sequential circuits: large designs Memory Instruction set architecture Computer architecture: interconnection Memory system Computer architecture: security

Fault Tolerant Computer Architecture

Author : Daniel Sorin
Publisher : Springer Nature
ISBN 13 : 3031017234
Total Pages : 103 pages
Book Rating : 4.0/5 (31 download)

DOWNLOAD NOW!

Book Synopsis Fault Tolerant Computer Architecture by : Daniel Sorin

Download or read book Fault Tolerant Computer Architecture written by Daniel Sorin and published by Springer Nature. This book was released on 2022-05-31 with total page 103 pages. Available in PDF, EPUB and Kindle. Book excerpt: For many years, most computer architects have pursued one primary goal: performance. Architects have translated the ever-increasing abundance of ever-faster transistors provided by Moore's law into remarkable increases in performance. Recently, however, the bounty provided by Moore's law has been accompanied by several challenges that have arisen as devices have become smaller, including a decrease in dependability due to physical faults. In this book, we focus on the dependability challenge and the fault tolerance solutions that architects are developing to overcome it. The two main purposes of this book are to explore the key ideas in fault-tolerant computer architecture and to present the current state-of-the-art - over approximately the past 10 years - in academia and industry. Table of Contents: Introduction / Error Detection / Error Recovery / Diagnosis / Self-Repair / The Future

Safety of Computer Control Systems 1983 (Safecomp ' 83)

Author : J. A. Baylis
Publisher : Elsevier
ISBN 13 : 1483153703
Total Pages : 282 pages
Book Rating : 4.4/5 (831 download)

DOWNLOAD NOW!

Book Synopsis Safety of Computer Control Systems 1983 (Safecomp ' 83) by : J. A. Baylis

Download or read book Safety of Computer Control Systems 1983 (Safecomp ' 83) written by J. A. Baylis and published by Elsevier. This book was released on 2014-05-17 with total page 282 pages. Available in PDF, EPUB and Kindle. Book excerpt: Safety of Computer Control Systems 1983: Achieving Safe Real Time Computer Systems contains the proceedings of the Third IFAC/IFIP Workshop held at Cambridge, UK on September 20-22, 1983. Composed of 36 chapters, separated into the eight sessions of the workshop, this book begins with a discussion of the safety and reliability of computer control systems. Subsequent chapters explore the systems design for safety and reliability; fault tolerance, recovery, and use of redundancy; and aspects of fault tolerance for system reliability. Other chapters detail specification techniques; system development and quality assurance; verifications and validations; case studies; as well as scheduling, networks, and communications.

Safety of Computer Control Systems 1992 (SAFECOMP' 92)

Author : H.H. Frey
Publisher : Elsevier
ISBN 13 : 1483297365
Total Pages : 332 pages
Book Rating : 4.4/5 (832 download)

DOWNLOAD NOW!

Book Synopsis Safety of Computer Control Systems 1992 (SAFECOMP' 92) by : H.H. Frey

Download or read book Safety of Computer Control Systems 1992 (SAFECOMP' 92) written by H.H. Frey and published by Elsevier. This book was released on 2014-05-23 with total page 332 pages. Available in PDF, EPUB and Kindle. Book excerpt: SAFECOMP '92 advances the state-of-the-art, reviews experiences of the past years, considers the guidance now available and identifies the skills, methods, tools and techniques required for the safety of computer control systems.

Safety of Computer Control Systems 1985 (Safecomp '85)

Author : W. J. Quirk
Publisher : Elsevier
ISBN 13 : 1483190870
Total Pages : 192 pages
Book Rating : 4.4/5 (831 download)

DOWNLOAD NOW!

Book Synopsis Safety of Computer Control Systems 1985 (Safecomp '85) by : W. J. Quirk

Download or read book Safety of Computer Control Systems 1985 (Safecomp '85) written by W. J. Quirk and published by Elsevier. This book was released on 2016-06-03 with total page 192 pages. Available in PDF, EPUB and Kindle. Book excerpt: Safety of Computer Control Systems 1985 (Safecomp '85): Achieving Safe Real Time Computer Systems presents the proceedings of the Fourth IFAC Workshop, held in Como, Italy, on October 1–3, 1985. This book discusses a wide range of topics ranging from direct process control through robotics to operator assistance. Organized into 28 chapters, this compilation of papers begins with an overview of the implementation of atomic actions by means of concurrent programming constructs. This text then examines the safety-related applications that usually demand the provision of redundant resources within the system. Other chapters consider the safe performance of an industrial robot system that relies on several factors. This book discusses as well the increasing demand for Computer Assisted Decision Making (CADM) both in engineering and service industries. The final chapter deals with the ways of reducing the effects of an error introduced during the design of a program. This book is a valuable resource for software engineers.

Computer Architecture

Author : Joseph D. Dumas II
Publisher : CRC Press
ISBN 13 : 1351835165
Total Pages : 396 pages
Book Rating : 4.3/5 (518 download)

DOWNLOAD NOW!

Book Synopsis Computer Architecture by : Joseph D. Dumas II

Download or read book Computer Architecture written by Joseph D. Dumas II and published by CRC Press. This book was released on 2018-10-03 with total page 396 pages. Available in PDF, EPUB and Kindle. Book excerpt: Future computing professionals must become familiar with historical computer architectures because many of the same or similar techniques are still being used and may persist well into the future. Computer Architecture: Fundamentals and Principles of Computer Design discusses the fundamental principles of computer design and performance enhancement that have proven effective and demonstrates how current trends in architecture and implementation rely on these principles while expanding upon them or applying them in new ways. Rather than focusing on a particular type of machine, this textbook explains concepts and techniques via examples drawn from various architectures and implementations. When necessary, the author creates simplified examples that clearly explain architectural and implementation features used across many computing platforms. Following an introduction that discusses the difference between architecture and implementation and how they relate, the next four chapters cover the architecture of traditional, single-processor systems that are still, after 60 years, the most widely used computing machines. The final two chapters explore approaches to adopt when single-processor systems do not reach desired levels of performance or are not suited for intended applications. Topics include parallel systems, major classifications of architectures, and characteristics of unconventional systems of the past, present, and future. This textbook provides students with a thorough grounding in what constitutes high performance and how to measure it, as well as a full familiarity in the fundamentals needed to make systems perform better. This knowledge enables them to understand and evaluate the many new systems they will encounter throughout their professional careers.

Security Patterns in Practice

Author : Eduardo Fernandez-Buglioni
Publisher : John Wiley & Sons
ISBN 13 : 1119970482
Total Pages : 532 pages
Book Rating : 4.1/5 (199 download)

DOWNLOAD NOW!

Book Synopsis Security Patterns in Practice by : Eduardo Fernandez-Buglioni

Download or read book Security Patterns in Practice written by Eduardo Fernandez-Buglioni and published by John Wiley & Sons. This book was released on 2013-06-25 with total page 532 pages. Available in PDF, EPUB and Kindle. Book excerpt: Learn to combine security theory and code to produce secure systems Security is clearly a crucial issue to consider during the design and implementation of any distributed software architecture. Security patterns are increasingly being used by developers who take security into serious consideration from the creation of their work. Written by the authority on security patterns, this unique book examines the structure and purpose of security patterns, illustrating their use with the help of detailed implementation advice, numerous code samples, and descriptions in UML. Provides an extensive, up-to-date catalog of security patterns Shares real-world case studies so you can see when and how to use security patterns in practice Details how to incorporate security from the conceptual stage Highlights tips on authentication, authorization, role-based access control, firewalls, wireless networks, middleware, VoIP, web services security, and more Author is well known and highly respected in the field of security and an expert on security patterns Security Patterns in Practice shows you how to confidently develop a secure system step by step.

Computer Safety, Reliability, and Security

Author : Maritta Heisel
Publisher : Springer
ISBN 13 : 3540301380
Total Pages : 349 pages
Book Rating : 4.5/5 (43 download)

DOWNLOAD NOW!

Book Synopsis Computer Safety, Reliability, and Security by : Maritta Heisel

Download or read book Computer Safety, Reliability, and Security written by Maritta Heisel and published by Springer. This book was released on 2004-10-29 with total page 349 pages. Available in PDF, EPUB and Kindle. Book excerpt: Theimportanceofsafetyandsecurityisgrowingsteadily.Safetyisaqualityc- racteristic that traditionally has been considered to be important in embedded systems, and security is usually an essential property in business applications. There is certainly a tendency to use software-based solutions in safety-critical applications domains, which increases the importance of safety engineering te- niques. These include modelling and analysis techniques as well as appropriate processes and tools. And it is surely correct that the amount of con?dential data that require protection from unauthorized access is growing. Therefore, security is very important. On the one hand, the traditional motivations for addressing safety and security still exist, and their relevance has improved. On the other hand, safety and security requirements occur increasingly in the same system. At present, many software-based systems interact with technical equipment and they communicate, e.g., with users and other systems. Future systems will more and more interact with many other entities (technical systems, people, the en- ronment). In this situation, security problems may cause safety-related failures. It is thus necessary to address safety and security. It is furthermore required to take into account the interactions between these two properties.

Modern Computer Architecture and Organization

Author : Jim Ledin
Publisher : Packt Publishing Ltd
ISBN 13 : 1803238232
Total Pages : 667 pages
Book Rating : 4.8/5 (32 download)

DOWNLOAD NOW!

Book Synopsis Modern Computer Architecture and Organization by : Jim Ledin

Download or read book Modern Computer Architecture and Organization written by Jim Ledin and published by Packt Publishing Ltd. This book was released on 2022-05-04 with total page 667 pages. Available in PDF, EPUB and Kindle. Book excerpt: A no-nonsense, practical guide to current and future processor and computer architectures that enables you to design computer systems and develop better software applications across a variety of domains Key FeaturesUnderstand digital circuitry through the study of transistors, logic gates, and sequential logicLearn the architecture of x86, x64, ARM, and RISC-V processors, iPhones, and high-performance gaming PCsStudy the design principles underlying the domains of cybersecurity, bitcoin, and self-driving carsBook Description Are you a software developer, systems designer, or computer architecture student looking for a methodical introduction to digital device architectures, but are overwhelmed by the complexity of modern systems? This step-by-step guide will teach you how modern computer systems work with the help of practical examples and exercises. You'll gain insights into the internal behavior of processors down to the circuit level and will understand how the hardware executes code developed in high-level languages. This book will teach you the fundamentals of computer systems including transistors, logic gates, sequential logic, and instruction pipelines. You will learn details of modern processor architectures and instruction sets including x86, x64, ARM, and RISC-V. You will see how to implement a RISC-V processor in a low-cost FPGA board and write a quantum computing program and run it on an actual quantum computer. This edition has been updated to cover the architecture and design principles underlying the important domains of cybersecurity, blockchain and bitcoin mining, and self-driving vehicles. By the end of this book, you will have a thorough understanding of modern processors and computer architecture and the future directions these technologies are likely to take. What you will learnUnderstand the fundamentals of transistor technology and digital circuitsExplore the concepts underlying pipelining and superscalar processingImplement a complete RISC-V processor in a low-cost FPGAUnderstand the technology used to implement virtual machinesLearn about security-critical computing applications like financial transaction processingGet up to speed with blockchain and the hardware architectures used in bitcoin miningExplore the capabilities of self-navigating vehicle computing architecturesWrite a quantum computing program and run it on a real quantum computerWho this book is for This book is for software developers, computer engineering students, system designers, reverse engineers, and anyone looking to understand the architecture and design principles underlying modern computer systems: ranging from tiny, embedded devices to warehouse-size cloud server farms. A general understanding of computer processors is helpful but not required.

Navigating Computer Systems Architecture

Author : Barrett Williams
Publisher : Barrett Williams
ISBN 13 :
Total Pages : 119 pages
Book Rating : 4./5 ( download)

DOWNLOAD NOW!

Book Synopsis Navigating Computer Systems Architecture by : Barrett Williams

Download or read book Navigating Computer Systems Architecture written by Barrett Williams and published by Barrett Williams. This book was released on 2024-10-23 with total page 119 pages. Available in PDF, EPUB and Kindle. Book excerpt: Unlock the mysteries of computer systems architecture with "Navigating Computer Systems Architecture," an essential eBook for anyone eager to delve into the intricacies of computing. This comprehensive guide offers a detailed roadmap through the dynamic landscape of computer architecture, making complex concepts accessible and engaging. Start your journey with a foundational understanding in Chapter 1, where the historical evolution of system architectures unfolds, setting the stage for what’s to come. From there, dive into the core components of computer organization, uncovering the interplay between processor, memory, and I/O systems. As you progress, the essentials of digital logic and datapath design come to life, complete with a practical case study on ALU design. Explore the fundamental principles of Instruction Set Architecture (ISA) and gain a deep appreciation for its role in computing. Discover the fascinating world of x86 ISA and RISC architecture, analyzing their distinctive features and benefits. Get equipped to understand pipeline architecture and the challenges of superscalar and VLIW designs, laying the groundwork for mastering advanced performance technologies. Memory management moves into the spotlight in subsequent chapters, revealing the intricacies of cache design, virtual memory systems, and cutting-edge trends in cache architecture. Investigate the evolution and mechanics of multiprocessor and multicore systems, and learn the core principles of secure system design. As the world moves toward energy efficiency and green computing, explore strategies for low-power design and the integration of GPUs into modern systems. Finally, peer into the future with emerging trends like quantum and neuromorphic computing. Concluding with reflections on bridging theory with real-world applications, this eBook empowers readers with the knowledge to navigate the ever-evolving landscape of computer systems architecture. Whether you’re a seasoned professional or an enthusiastic learner, this guide is your gateway to mastering the art and science of computer systems.

Safety and Reliability – Safe Societies in a Changing World

Author : Stein Haugen
Publisher : CRC Press
ISBN 13 : 1351174649
Total Pages : 4379 pages
Book Rating : 4.3/5 (511 download)

DOWNLOAD NOW!

Book Synopsis Safety and Reliability – Safe Societies in a Changing World by : Stein Haugen

Download or read book Safety and Reliability – Safe Societies in a Changing World written by Stein Haugen and published by CRC Press. This book was released on 2018-06-15 with total page 4379 pages. Available in PDF, EPUB and Kindle. Book excerpt: Safety and Reliability – Safe Societies in a Changing World collects the papers presented at the 28th European Safety and Reliability Conference, ESREL 2018 in Trondheim, Norway, June 17-21, 2018. The contributions cover a wide range of methodologies and application areas for safety and reliability that contribute to safe societies in a changing world. These methodologies and applications include: - foundations of risk and reliability assessment and management - mathematical methods in reliability and safety - risk assessment - risk management - system reliability - uncertainty analysis - digitalization and big data - prognostics and system health management - occupational safety - accident and incident modeling - maintenance modeling and applications - simulation for safety and reliability analysis - dynamic risk and barrier management - organizational factors and safety culture - human factors and human reliability - resilience engineering - structural reliability - natural hazards - security - economic analysis in risk management Safety and Reliability – Safe Societies in a Changing World will be invaluable to academics and professionals working in a wide range of industrial and governmental sectors: offshore oil and gas, nuclear engineering, aeronautics and aerospace, marine transport and engineering, railways, road transport, automotive engineering, civil engineering, critical infrastructures, electrical and electronic engineering, energy production and distribution, environmental engineering, information technology and telecommunications, insurance and finance, manufacturing, marine transport, mechanical engineering, security and protection, and policy making.

Computer Safety, Reliability and Security

Author : Wolfgang Ehrenberger
Publisher : Springer Science & Business Media
ISBN 13 : 3540651101
Total Pages : 384 pages
Book Rating : 4.5/5 (46 download)

DOWNLOAD NOW!

Book Synopsis Computer Safety, Reliability and Security by : Wolfgang Ehrenberger

Download or read book Computer Safety, Reliability and Security written by Wolfgang Ehrenberger and published by Springer Science & Business Media. This book was released on 1998-09-23 with total page 384 pages. Available in PDF, EPUB and Kindle. Book excerpt: Computers and their interactions are becoming the characteristic features of our time: Many people believe that the industrial age is going over into the information age. In the same way as life of the beginning of this century was dominated by machines, factories, streets and railways, the starting century will be characterised by computers and their networks. This change naturally affects also the institutions and the installations our lives depend upon: power plants, including nuclear ones, chemical plants, mechanically working factories, cars, railways and medical equipment; they all depend on computers and their connections. In some cases it is not human life that may be endangered by computer failure, but large investments; e. g. if a whole plant interrupts its production for a long time. In addition to loss of life and property one must not neglect public opinion, which is very critical in many countries against major technical defects. The related computer technology, its hardware, software and production process differ between standard applications and safety related ones: In the safety case it is normally not only the manufacturers and the customers that are involved, but a third party, usually an assessor, who is taking care of the public interest on behalf of a state authority. Usually safety engineers are in a better position than their colleagues from the conventional side, as they may spend more time and money on a particular task and use better equipment.