Learning Computer Architecture With Raspberry Pi

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

Learning Computer Architecture with Raspberry Pi

Author : Eben Upton
Publisher : John Wiley & Sons
ISBN 13 : 1119183936
Total Pages : 535 pages
Book Rating : 4.1/5 (191 download)

DOWNLOAD NOW!

Book Synopsis Learning Computer Architecture with Raspberry Pi by : Eben Upton

Download or read book Learning Computer Architecture with Raspberry Pi written by Eben Upton and published by John Wiley & Sons. This book was released on 2016-09-13 with total page 535 pages. Available in PDF, EPUB and Kindle. Book excerpt: Use your Raspberry Pi to get smart about computing fundamentals In the 1980s, the tech revolution was kickstarted by a flood of relatively inexpensive, highly programmable computers like the Commodore. Now, a second revolution in computing is beginning with the Raspberry Pi. Learning Computer Architecture with the Raspberry Pi is the premier guide to understanding the components of the most exciting tech product available. Thanks to this book, every Raspberry Pi owner can understand how the computer works and how to access all of its hardware and software capabilities. Now, students, hackers, and casual users alike can discover how computers work with Learning Computer Architecture with the Raspberry Pi. This book explains what each and every hardware component does, how they relate to one another, and how they correspond to the components of other computing systems. You'll also learn how programming works and how the operating system relates to the Raspberry Pi's physical components. Co-authored by Eben Upton, one of the creators of the Raspberry Pi, this is a companion volume to the Raspberry Pi User Guide An affordable solution for learning about computer system design considerations and experimenting with low-level programming Understandable descriptions of the functions of memory storage, Ethernet, cameras, processors, and more Gain knowledge of computer design and operation in general by exploring the basic structure of the Raspberry Pi The Raspberry Pi was created to bring forth a new generation of computer scientists, developers, and architects who understand the inner workings of the computers that have become essential to our daily lives. Learning Computer Architecture with the Raspberry Pi is your gateway to the world of computer system design.

Raspberry Pi Computer Architecture Essentials

Author : Andrew K. Dennis
Publisher : Packt Publishing Ltd
ISBN 13 : 1784398608
Total Pages : 233 pages
Book Rating : 4.7/5 (843 download)

DOWNLOAD NOW!

Book Synopsis Raspberry Pi Computer Architecture Essentials by : Andrew K. Dennis

Download or read book Raspberry Pi Computer Architecture Essentials written by Andrew K. Dennis and published by Packt Publishing Ltd. This book was released on 2016-03-22 with total page 233 pages. Available in PDF, EPUB and Kindle. Book excerpt: Explore Raspberry Pi's architecture through innovative and fun projects About This Book Explore Raspberry Pi 2's hardware through the Assembly, C/C++, and Python programming languages Experiment with connecting electronics up to your Raspberry Pi 2 and interacting with them through software Learn about the Raspberry Pi 2 architecture and Raspbian operating system through innovative projects Who This Book Is For Raspberry Pi Computer Architecture Essentials is for those who are new and those who are familiar with the Raspberry Pi. Each topic builds upon earlier ones to provide you with a guide to Raspberry Pi's architecture. From the novice to the expert, there is something for everyone. A basic knowledge of programming and Linux would be helpful but is not required. What You Will Learn Set up your Raspberry Pi 2 and learn about its hardware Write basic programs in Assembly Language to learn about the ARM architecture Use C and C++ to interact with electronic components Find out about the Python language and how to use it to build web applications Interact with third-party microcontrollers Experiment with graphics and audio programming Expand Raspberry Pi 2's storage mechanism by using external devices Discover Raspberry Pi 2's GPIO pins and how to interact with them In Detail With the release of the Raspberry Pi 2, a new series of the popular compact computer is available for you to build cheap, exciting projects and learn about programming. In this book, we explore Raspberry Pi 2's hardware through a number of projects in a variety of programming languages. We will start by exploring the various hardware components in detail, which will provide a base for the programming projects and guide you through setting up the tools for Assembler, C/C++, and Python. We will then learn how to write multi-threaded applications and Raspberry Pi 2's multi-core processor. Moving on, you'll get hands on by expanding the storage options of the Raspberry Pi beyond the SD card and interacting with the graphics hardware. Furthermore, you will be introduced to the basics of sound programming while expanding upon your knowledge of Python to build a web server. Finally, you will learn to interact with the third-party microcontrollers. From writing your first Assembly Language application to programming graphics, this title guides you through the essentials. Style and approach This book takes a step-by-step approach to exploring Raspberry Pi's architecture through projects that build upon each other. Each project provides you with new information on how to interact with an aspect of the Raspberry Pi and Raspbian operating system, providing a well-rounded guide.

Raspberry Pi Computer Architecture Essentials

Author : Steven Haley
Publisher :
ISBN 13 : 9781725952430
Total Pages : 214 pages
Book Rating : 4.9/5 (524 download)

DOWNLOAD NOW!

Book Synopsis Raspberry Pi Computer Architecture Essentials by : Steven Haley

Download or read book Raspberry Pi Computer Architecture Essentials written by Steven Haley and published by . This book was released on 2016-09-22 with total page 214 pages. Available in PDF, EPUB and Kindle. Book excerpt: Furthermore, you will be introduced to the basics of sound programming while expanding upon your knowledge of Python to build a web server. Finally, you will learn to interact with the third-party microcontrollers. In this book, we explore Raspberry Pi 2's hardware through a number of projects in a variety of programming languages. We will start by exploring the various hardware components in detail, which will provide a base for the programming projects and guide you through setting up the tools for Assembler, C/C++, and Python. We will then learn how to write multi-threaded applications and Raspberry Pi 2's multi-core processor. Moving on, you'll get hands on by expanding the storage options of the Raspberry Pi beyond the SD card and interacting with the graphics hardware.

Computer Architecture with Python and ARM

Author : Alan Clements
Publisher : Packt Publishing Ltd
ISBN 13 : 1837632014
Total Pages : 412 pages
Book Rating : 4.8/5 (376 download)

DOWNLOAD NOW!

Book Synopsis Computer Architecture with Python and ARM by : Alan Clements

Download or read book Computer Architecture with Python and ARM written by Alan Clements and published by Packt Publishing Ltd. This book was released on 2023-07-31 with total page 412 pages. Available in PDF, EPUB and Kindle. Book excerpt: Learn computer architecture with Python and ARM, simulating assembly program execution and designing a computer simulator Purchase of the print or Kindle book includes a free PDF eBook Key Features Build a computer simulator with Python: Learn computer architecture by designing and constructing a simulator Python for architecture: Use Python to simulate and execute assembly language instructions ARM programming on Raspberry Pi: Explore ARM assembly language and run programs on Raspberry Pi Book DescriptionThis comprehensive guide offers a unique and immersive learning experience by combining Python programming with ARM architecture. Starting with an introduction to computer architecture and the flow of data within a computer system, you’ll progress to building your own interpreter using Python. You’ll see how this foundation enables the simulation of computer operations and learn ways to enhance a simulator by adding new instructions and displaying improved results. As you advance, you’ll explore the TC1 Assembler and Simulator Program to gain insights into instruction analysis and explore practical examples of simulators. This will help you build essential skills in understanding complex computer instructions, strengthening your grasp of computer architecture. Moreover, you’ll be introduced to the Raspberry Pi operating system, preparing you to delve into the detailed language of the ARM computer. This includes exploring the ARM instruction set architecture, data-processing instructions, subroutines, and the stack. With clear explanations, practical examples, and coding exercises, this resource will enable you to design and construct your own computer simulator, simulate assembly language programs, and leverage the Raspberry Pi for ARM programming.What you will learn Master the core principles of computer architecture Understand the role of registers, memory, and data flow in computers Discover how to design and implement a computer simulator using Python Simulate and execute assembly language programs on the simulator Enhance the simulator using new instructions for improved output Analyze complex computer instructions for deeper architectural understanding Explore the ARM instruction set and data processing on the Raspberry Pi Develop proficiency in writing, assembling, and running ARM code on the Raspberry Pi Who this book is for This book is for university students studying computer science, particularly those enrolled in a computer architecture module. With its practical approach and succinct explanations, it is also suitable for hobbyists, enthusiasts, and self-learners seeking a deeper understanding of computer systems. The book assumes foundational knowledge of number bases, binary arithmetic, and Boolean logic concepts. While it primarily caters to the computer science field, this book is less geared toward electrical or electronics engineering.

Raspberry Pi Assembly Language Programming

Author : Stephen Smith
Publisher : Apress
ISBN 13 : 148425287X
Total Pages : 380 pages
Book Rating : 4.4/5 (842 download)

DOWNLOAD NOW!

Book Synopsis Raspberry Pi Assembly Language Programming by : Stephen Smith

Download or read book Raspberry Pi Assembly Language Programming written by Stephen Smith and published by Apress. This book was released on 2019-10-23 with total page 380 pages. Available in PDF, EPUB and Kindle. Book excerpt: Gain all the skills required to dive into the fundamentals of the Raspberry Pi hardware architecture and how data is stored in the Pi’s memory. This book provides you with working starting points for your own projects while you develop a working knowledge of Assembly language programming on the Raspberry Pi. You'll learn how to interface to the Pi’s hardware including accessing the GPIO ports. The book will cover the basics of code optimization as well as how to inter-operate with C and Python code, so you'll develop enough background to use the official ARM reference documentation for further projects. With Raspberry Pi Assembly Language Programming as your guide you'll study how to read and reverse engineer machine code and then then apply those new skills to study code examples and take control of your Pi’s hardware and software both. What You'll Learn Program basic ARM 32-Bit Assembly Language Interface with the various hardware devices on the Raspberry Pi Comprehend code containing Assembly language Use the official ARM reference documentation Who This Book Is For Coders who have already learned to program in a higher-level language like Python, Java, C#, or C and now wish to learn Assembly programming.

Raspberry Pi User Guide

Author : Gareth Halfacree
Publisher : John Wiley & Sons
ISBN 13 : 1118464494
Total Pages : 318 pages
Book Rating : 4.1/5 (184 download)

DOWNLOAD NOW!

Book Synopsis Raspberry Pi User Guide by : Gareth Halfacree

Download or read book Raspberry Pi User Guide written by Gareth Halfacree and published by John Wiley & Sons. This book was released on 2012-08-30 with total page 318 pages. Available in PDF, EPUB and Kindle. Book excerpt: Make the most out of the world’s first truly compact computer It's the size of a credit card, it can be charged like a smartphone, it runs on open-source Linux, and it holds the promise of bringing programming and playing to millions at low cost. And now you can learn how to use this amazing computer from its co-creator, Eben Upton, in Raspberry Pi User Guide. Cowritten with Gareth Halfacree, this guide gets you up and running on Raspberry Pi, whether you're an educator, hacker, hobbyist, or kid. Learn how to connect your Pi to other hardware, install software, write basic programs, and set it up to run robots, multimedia centers, and more. Gets you up and running on Raspberry Pi, a high-tech computer the size of a credit card Helps educators teach students how to program Covers connecting Raspberry Pi to other hardware, such as monitors and keyboards, how to install software, and how to configure Raspberry Pi Shows you how to set up Raspberry Pi as a simple productivity computer, write basic programs in Python, connect to servos and sensors, and drive a robot or multimedia center Adults, kids, and devoted hardware hackers, now that you've got a Raspberry Pi, get the very most out of it with Raspberry Pi User Guide.

Operating Systems Foundations with Linux on the Raspberry Pi

Author : Wim Vanderbauwhede
Publisher : Arm Education Media
ISBN 13 : 9781911531203
Total Pages : 344 pages
Book Rating : 4.5/5 (312 download)

DOWNLOAD NOW!

Book Synopsis Operating Systems Foundations with Linux on the Raspberry Pi by : Wim Vanderbauwhede

Download or read book Operating Systems Foundations with Linux on the Raspberry Pi written by Wim Vanderbauwhede and published by Arm Education Media. This book was released on 2019-12 with total page 344 pages. Available in PDF, EPUB and Kindle. Book excerpt: The aim of this book is to provide a practical introduction to the foundations of modern operating systems, with a particular focus on GNU/Linux and the Arm platform. The unique perspective of the authors is that they explain operating systems theory and concepts but also ground them in practical use through illustrative examples.

Raspberry Pi Gaming - Second Edition

Author : Shea Silverman
Publisher : Packt Publishing Ltd
ISBN 13 : 1784394289
Total Pages : 140 pages
Book Rating : 4.7/5 (843 download)

DOWNLOAD NOW!

Book Synopsis Raspberry Pi Gaming - Second Edition by : Shea Silverman

Download or read book Raspberry Pi Gaming - Second Edition written by Shea Silverman and published by Packt Publishing Ltd. This book was released on 2015-02-20 with total page 140 pages. Available in PDF, EPUB and Kindle. Book excerpt: If you are someone who loves to play games and are interested in learning more about the capabilities of your Raspberry Pi, this book is for you. Basic knowledge of Raspberry Pi programming is expected.

Programming with 64-Bit ARM Assembly Language

Author : Stephen Smith
Publisher : Apress
ISBN 13 : 1484258819
Total Pages : 436 pages
Book Rating : 4.4/5 (842 download)

DOWNLOAD NOW!

Book Synopsis Programming with 64-Bit ARM Assembly Language by : Stephen Smith

Download or read book Programming with 64-Bit ARM Assembly Language written by Stephen Smith and published by Apress. This book was released on 2020-05-01 with total page 436 pages. Available in PDF, EPUB and Kindle. Book excerpt: Mastering ARM hardware architecture opens a world of programming for nearly all phones and tablets including the iPhone/iPad and most Android phones. It’s also the heart of many single board computers like the Raspberry Pi. Gain the skills required to dive into the fundamentals of the ARM hardware architecture with this book and start your own projects while you develop a working knowledge of assembly language for the ARM 64-bit processor. You'll review assembly language programming for the ARM Processor in 64-bit mode and write programs for a number of single board computers, including the Nvidia Jetson Nano and the Raspberry Pi (running 64-bit Linux). The book also discusses how to target assembly language programs for Apple iPhones and iPads along with 64-Bit ARM based Android phones and tablets. It covers all the tools you require, the basics of the ARM hardware architecture, all the groups of ARM 64-Bit Assembly instructions, and how data is stored in the computer’s memory. In addition, interface apps to hardware such as the Raspberry Pi’s GPIO ports. The book covers code optimization, as well as how to inter-operate with C and Python code. Readers will develop enough background to use the official ARM reference documentation for their own projects. With Programming with 64-Bit ARM Assembly Language as your guide you’ll study how to read, reverse engineer and hack machine code, then be able to apply these new skills to study code examples and take control of both your ARM devices’ hardware and software. What You'll LearnMake operating system calls from assembly language and include other software libraries in your projects Interface apps to hardware devices such as the Raspberry Pi GPIO ports Reverse engineer and hack code Use the official ARM reference documentation for your own projects Who This Book Is For Software developers who have already learned to program in a higher-level language like Python, Java, C#, or even C and now wish to learn Assembly programming.

But how Do it Know?

Author : J. Clark Scott
Publisher : John C Scott
ISBN 13 : 0615303765
Total Pages : 223 pages
Book Rating : 4.6/5 (153 download)

DOWNLOAD NOW!

Book Synopsis But how Do it Know? by : J. Clark Scott

Download or read book But how Do it Know? written by J. Clark Scott and published by John C Scott. This book was released on 2009 with total page 223 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book thoroughly explains how computers work. It starts by fully examining a NAND gate, then goes on to build every piece and part of a small, fully operational computer. The necessity and use of codes is presented in parallel with the apprioriate pieces of hardware. The book can be easily understood by anyone whether they have a technical background or not. It could be used as a textbook.

Raspberry Pi User Guide

Author : Eben Upton
Publisher : John Wiley & Sons
ISBN 13 : 1119264367
Total Pages : 327 pages
Book Rating : 4.1/5 (192 download)

DOWNLOAD NOW!

Book Synopsis Raspberry Pi User Guide by : Eben Upton

Download or read book Raspberry Pi User Guide written by Eben Upton and published by John Wiley & Sons. This book was released on 2016-08-29 with total page 327 pages. Available in PDF, EPUB and Kindle. Book excerpt: Learn the Raspberry Pi 3 from the experts! Raspberry Pi User Guide, 4th Edition is the "unofficial official" guide to everything Raspberry Pi 3. Written by the Pi's creator and a leading Pi guru, this book goes straight to the source to bring you the ultimate Raspberry Pi 3 manual. This new fourth edition has been updated to cover the Raspberry Pi 3 board and software, with detailed discussion on its wide array of configurations, languages, and applications. You'll learn how to take full advantage of the mighty Pi's full capabilities, and then expand those capabilities even more with add-on technologies. You'll write productivity and multimedia programs, and learn flexible programming languages that allow you to shape your Raspberry Pi into whatever you want it to be. If you're ready to jump right in, this book gets you started with clear, step-by-step instruction from software installation to system customization. The Raspberry Pi's tremendous popularity has spawned an entire industry of add-ons, parts, hacks, ideas, and inventions. The movement is growing, and pushing the boundaries of possibility along with it—are you ready to be a part of it? This book is your ideal companion for claiming your piece of the Pi. Get all set up with software, and connect to other devices Understand Linux System Admin nomenclature and conventions Write your own programs using Python and Scratch Extend the Pi's capabilities with add-ons like Wi-Fi dongles, a touch screen, and more The credit-card sized Raspberry Pi has become a global phenomenon. Created by the Raspberry Pi Foundation to get kids interested in programming, this tiny computer kick-started a movement of tinkerers, thinkers, experimenters, and inventors. Where will your Raspberry Pi 3 take you? The Raspberry Pi User Guide, 3rd Edition is your ultimate roadmap to discovery.

Inside the Machine

Author : Jon Stokes
Publisher : No Starch Press
ISBN 13 : 1593271042
Total Pages : 320 pages
Book Rating : 4.5/5 (932 download)

DOWNLOAD NOW!

Book Synopsis Inside the Machine by : Jon Stokes

Download or read book Inside the Machine written by Jon Stokes and published by No Starch Press. This book was released on 2007 with total page 320 pages. Available in PDF, EPUB and Kindle. Book excerpt: Om hvordan mikroprocessorer fungerer, med undersøgelse af de nyeste mikroprocessorer fra Intel, IBM og Motorola.

Teach Yourself VISUALLY Raspberry Pi

Author : Richard Wentk
Publisher : John Wiley & Sons
ISBN 13 : 1118768191
Total Pages : 320 pages
Book Rating : 4.1/5 (187 download)

DOWNLOAD NOW!

Book Synopsis Teach Yourself VISUALLY Raspberry Pi by : Richard Wentk

Download or read book Teach Yourself VISUALLY Raspberry Pi written by Richard Wentk and published by John Wiley & Sons. This book was released on 2014-02-10 with total page 320 pages. Available in PDF, EPUB and Kindle. Book excerpt: Full-color, step-by-step guidance for learning to use Raspberry Pi! Raspberry Pi is an inexpensive, single-board computer that serves as an introductory board for students and developing computer professionals. This image-driven, visual guide shows you how the Raspberry Pi can be easily used as a stand-alone computer, a media center, a web server, and much more. Vivid, full-color images bring Raspberry Pi projects to life, while well-illustrated circuit diagrams and step-by-step practical advice cover everything from working with the included software to branching out into typical but more complex endeavors. Covers interesting topics for students and aspiring computer professionals Demonstrates how to create custom projects, work with the Raspberry OS, install other operating systems, get the most out of the Raspberry Pi, and much more Encourages users to study and tinker with the Raspberry Pi Teach Yourself VISUALLY Raspberry Pi is an ideal resource for anyone who learns better with visual instruction and puts them well on their way to making the most of this low-cost computer.

Introduction to Computer Organization

Author : Robert G. Plantz
Publisher : No Starch Press
ISBN 13 : 1718500106
Total Pages : 514 pages
Book Rating : 4.7/5 (185 download)

DOWNLOAD NOW!

Book Synopsis Introduction to Computer Organization by : Robert G. Plantz

Download or read book Introduction to Computer Organization written by Robert G. Plantz and published by No Starch Press. This book was released on 2022-01-25 with total page 514 pages. Available in PDF, EPUB and Kindle. Book excerpt: This hands-on tutorial is a broad examination of how a modern computer works. Classroom tested for over a decade, it gives readers a firm understanding of how computers do what they do, covering essentials like data storage, logic gates and transistors, data types, the CPU, assembly, and machine code. Introduction to Computer Organization gives programmers a practical understanding of what happens in a computer when you execute your code. You may never have to write x86-64 assembly language or design hardware yourself, but knowing how the hardware and software works will give you greater control and confidence over your coding decisions. We start with high level fundamental concepts like memory organization, binary logic, and data types and then explore how they are implemented at the assembly language level. The goal isn’t to make you an assembly programmer, but to help you comprehend what happens behind the scenes between running your program and seeing “Hello World” displayed on the screen. Classroom-tested for over a decade, this book will demystify topics like: How to translate a high-level language code into assembly language How the operating system manages hardware resources with exceptions and interrupts How data is encoded in memory How hardware switches handle decimal data How program code gets transformed into machine code the computer understands How pieces of hardware like the CPU, input/output, and memory interact to make the entire system work Author Robert Plantz takes a practical approach to the material, providing examples and exercises on every page, without sacrificing technical details. Learning how to think like a computer will help you write better programs, in any language, even if you never look at another line of assembly code again.

Machine Learning with the Raspberry Pi

Author : Donald J. Norris
Publisher : Apress
ISBN 13 : 1484251741
Total Pages : 571 pages
Book Rating : 4.4/5 (842 download)

DOWNLOAD NOW!

Book Synopsis Machine Learning with the Raspberry Pi by : Donald J. Norris

Download or read book Machine Learning with the Raspberry Pi written by Donald J. Norris and published by Apress. This book was released on 2019-11-29 with total page 571 pages. Available in PDF, EPUB and Kindle. Book excerpt: Using the Pi Camera and a Raspberry Pi board, expand and replicate interesting machine learning (ML) experiments. This book provides a solid overview of ML and a myriad of underlying topics to further explore. Non-technical discussions temper complex technical explanations to make the hottest and most complex topic in the hobbyist world of computing understandable and approachable. Machine learning, also commonly referred to as deep learning (DL), is currently being integrated into a multitude of commercial products as well as widely being used in industrial, medical, and military applications. It is hard to find any modern human activity, which has not been "touched" by artificial intelligence (AI) applications. Building on the concepts first presented in Beginning Artificial Intelligence with the Raspberry Pi, you’ll go beyond simply understanding the concepts of AI into working with real machine learning experiments and applying practical deep learning concepts to experiments with the Pi board and computer vision. What you learn with Machine Learning with the Raspberry Pi can then be moved on to other platforms to go even further in the world of AI and ML to better your hobbyist or commercial projects. What You'll Learn Acquire a working knowledge of current ML Use the Raspberry Pi to implement ML techniques and algorithms Apply AI and ML tools and techniques to your own work projects and studies Who This Book Is For Engineers and scientists but also experienced makers and hobbyists. Motivated high school students who desire to learn about ML can benefit from this material with determination.

The Official Raspberry Pi Beginner's Guide

Author :
Publisher :
ISBN 13 : 9781912047680
Total Pages : pages
Book Rating : 4.0/5 (476 download)

DOWNLOAD NOW!

Book Synopsis The Official Raspberry Pi Beginner's Guide by :

Download or read book The Official Raspberry Pi Beginner's Guide written by and published by . This book was released on 2018-12-10 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

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).