• Complain

Alexandru Radovici - Getting Started with Secure Embedded Systems: Developing IoT Systems for micro:bit and Raspberry Pi Pico Using Rust and Tock

Here you can read online Alexandru Radovici - Getting Started with Secure Embedded Systems: Developing IoT Systems for micro:bit and Raspberry Pi Pico Using Rust and Tock full text of the book (entire story) in english for free. Download pdf and epub, get meaning, cover and reviews about this ebook. year: 2022, publisher: Apress, genre: Computer. Description of the work, (preface) as well as reviews are available. Best literature library LitArk.com created for fans of good reading and offers a wide selection of genres:

Romance novel Science fiction Adventure Detective Science History Home and family Prose Art Politics Computer Non-fiction Religion Business Children Humor

Choose a favorite category and find really read worthwhile books. Enjoy immersion in the world of imagination, feel the emotions of the characters or learn something new for yourself, make an fascinating discovery.

Alexandru Radovici Getting Started with Secure Embedded Systems: Developing IoT Systems for micro:bit and Raspberry Pi Pico Using Rust and Tock
  • Book:
    Getting Started with Secure Embedded Systems: Developing IoT Systems for micro:bit and Raspberry Pi Pico Using Rust and Tock
  • Author:
  • Publisher:
    Apress
  • Genre:
  • Year:
    2022
  • Rating:
    3 / 5
  • Favourites:
    Add to favourites
  • Your mark:
    • 60
    • 1
    • 2
    • 3
    • 4
    • 5

Getting Started with Secure Embedded Systems: Developing IoT Systems for micro:bit and Raspberry Pi Pico Using Rust and Tock: summary, description and annotation

We offer to read an annotation, description, summary or preface (depends on what the author of the book "Getting Started with Secure Embedded Systems: Developing IoT Systems for micro:bit and Raspberry Pi Pico Using Rust and Tock" wrote himself). If you haven't found the necessary information about the book — write in the comments, we will try to find it.

Build secure and reliable IoT applications for micro:bit and Raspberry Pi Pico by using Rust and Tock.

One of the first Operating Systems written in Rust, Tock is designed to safely run multiple applications on low power devices, enabling you to build a secure foundation for IoT systems. It is an open-source OS that has recently gained popularity as companies such as Google[1] explore and integrate it into their products.

This book guides you through the steps necessary to customize and integrate Tock into your devices. First, youll explore the characteristics of Tock and how to run it on two of the most popular IoT platforms: micro:bit and Raspberry Pi Pico. Youll also take a look at Rust and how to use it for building secure applications with Tock.

The book focuses on the Tock kernel internals and presents the steps necessary to integrate new features. From simple drivers to the more complex asynchronous ones, you are provided with a detailed description of the Tock kernel API.

Next, youll review the Tock applications framework for C. Starting from simple Tock APIs to the more complex Inter-Process Communication system, this book provides a complete overview of the Tock application ecosystem.

By taking a practical approach, Getting Started with Secure Embedded Systems provides a starting point for building a secure IoT foundation using the Tock Operating System.

You will:

  • Use Rust for embedded systems development
  • Write applications and drivers for Tock
  • Customize the Tock kernel for specific hardware platforms
  • Set a solid base for building secure and reliable IoT applications
  • Use Tock to ensure the security of your microcontrollers and integrate them into your projects
  • Manage products that rely on Tock

Who This Book Is For

IoT system designers, developers, and integrators who are familiar with operating systems concepts. The book can also be suitable for people with less experience, who want to gain an overview of the latest hardware and software technologies related to building secure IoT systems.

Alexandru Radovici: author's other books


Who wrote Getting Started with Secure Embedded Systems: Developing IoT Systems for micro:bit and Raspberry Pi Pico Using Rust and Tock? Find out the surname, the name of the author of the book and a list of all author's works by series.

Getting Started with Secure Embedded Systems: Developing IoT Systems for micro:bit and Raspberry Pi Pico Using Rust and Tock — read online for free the complete book (whole text) full work

Below is the text of the book, divided by pages. System saving the place of the last page read, allows you to conveniently read the book "Getting Started with Secure Embedded Systems: Developing IoT Systems for micro:bit and Raspberry Pi Pico Using Rust and Tock" online for free, without having to search again every time where you left off. Put a bookmark, and you can go to the page where you finished reading at any time.

Light

Font size:

Reset

Interval:

Bookmark:

Make
Contents
Landmarks
Book cover of Getting Started with Secure Embedded Systems Alexandru - photo 1
Book cover of Getting Started with Secure Embedded Systems
Alexandru Radovici and Ioana Culic
Getting Started with Secure Embedded Systems
Developing IoT Systems for micro:bit and Raspberry Pi Pico Using Rust and Tock
Logo of the publisher Alexandru Radovici Wyliodrin Bucharest Romania - photo 2
Logo of the publisher
Alexandru Radovici
Wyliodrin, Bucharest, Romania
Ioana Culic
Wyliodrin, Bucharest, Romania
ISBN 978-1-4842-7788-1 e-ISBN 978-1-4842-7789-8
https://doi.org/10.1007/978-1-4842-7789-8
Alexandru Radovici and Ioana Culic 2022
This work is subject to copyright. All rights are solely and exclusively licensed by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed.
The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use.
The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors give a warranty, expressed or implied, with respect to the material contained herein or for any errors or omissions that may have been made. The publisher remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

This Apress imprint is published by the registered company APress Media, LLC part of Springer Nature.

The registered company address is: 1 New York Plaza, New York, NY 10004, U.S.A.

Any source code or other supplementary material referenced by the author in this book is available to readers on GitHub via the books product page, located at www.apress.com/978-1-4842-7788-1. For more detailed information, please visit http://www.apress.com/source-code.

Acknowledgments

We would like to thank the Tock Core Team for their support, especially to Leon Schrmann (University of Stuttgart) and Branden Ghena (Northwestern University). Their feedback has been very important and has helped us greatly improve the books contents.

A special thank you goes to our colleagues tefan Dan Ciocrlan and Jan Alexandru Vduva from the University Politehnica of Bucharest for their suggestions that helped us improve this book.

Thank you all for your support.

Table of Contents
About the Authors
Alexandru Radovici

has a PhD in the field of mobile computing and works as an Assistant Professor at the Politehnica University of Bucharest, teaching subjects related to operating systems, compilers, and Internet of Things. Alexandru believes in the power of education and teaching is his passion, so 14 years ago he founded an NGO that focuses on organizing IT educational events. Alexandru is also the co-founder and CEO of Wyliodrin, being in touch with the latest IoT technologies. Alexandru has been a contributor to Tock, adding boards such as the STM32 Discovery Kit and the micro:bit and adding support for screens and touch screens.

Ioana Culic

is currently a PhD candidate in the field of Internet of Things and the co-founder of Wyliodrin, a company that offers educational and industrial IoT solutions. She is a Teaching Assistant at the Politehnica University of Bucharest and has also been teaching IoT technologies to high-school and university students at different events for the last five years. Despite the technical background, writing has always been Ioanas passion and she managed to mix the two. She has published several articles in magazines such as MagPi and Make and books on Internet of Things technologies. Ioana has been porting Tock to the RP2040 microcontroller.

About the Technical Reviewer
Sai Yamanoor

is an embedded systems engineer working for an industrial gases company in Buffalo, NY. His interests, deeply rooted in DIY and open source hardware, include developing gadgets that aid behavior modification. He has published two books with his brother, and in his spare time, he likes to build things that improve quality of life. You can find his project portfolio at http://saiyamanoor.com .

The Author(s), under exclusive license to APress Media, LLC, part of Springer Nature 2022
A. Radovici, I. Culic Getting Started with Secure Embedded Systems https://doi.org/10.1007/978-1-4842-7789-8_1
1. Embedded Systems and Architectures
Alexandru Radovici
(1)
Wyliodrin, Bucharest, Romania

Computers have been around us for many years. Even though most of us think of computers as boxes attached to a keyboard, a mouse, and a display, most of the computers used today are nothing like that. They are machines that crunch numbers, and they are everywhere. All the home appliances or even our cars have a computer inside; some have even more than one (e.g., in the case of a car, there is a computer that is driving the engine and another one that displays a friendly interface inside your vehicle and allows you to listen to your favorite song while driving). The Cloud we often refer to consists of large computers that look like boxes with blinking lights stored in large cool-aired rooms. The personal computer that we use daily, a laptop or a phone, is just the tip of the iceberg. Like most icebergs, the great majority of computers are not visible as they are embedded into devices, performing computations needed for the devices functioning. These are called embedded computers or embedded systems.

The Eagle Has Landed

The first time computers were embedded into physical systems takes us back to NASAs Apollo program. Due to the complexities involved in maneuvering the Apollo spacecraft, in the 1960s, NASA turned to MITs Instrumentation Laboratory (nowadays a not-for-profit research institution called Draper Laboratory (AGC), one of the first embedded systems, was built.

As we can notice in Figure , the AGC looked very different from the computers we are familiar with today. Having the capabilities of a small chip, the Apollo Guidance Computer was built as a big ruggedized box, shielded to withstand the harsh outer space environment. The computer did most of its work without any human intervention. Astronauts could interface with the AGC using the display and keyboard interface (DSKY) , also called the dis-kee. As the primary purpose of the AGC was to control the spacecraft, it had dedicated interfaces capable of reading and controlling various subsystems like the RADAR, the Telemetry Link (link to NASAs control center), and the engines.

Now, lets take some time to analyze the main hardware parameters of the AGC. The core was a 16-bit (15 information + 1 error detection) silicon integrated circuit (what we usually call a CPU today) capable of running at a clock speed of 2.048 MHz, with about 4 KB of RAM and approximately 72 KB of Program Memory (what we call today a read-only storage system). This is the powerful computer that flew us to the moon. To put it in perspective, your social media profile picture is 10,000 times larger than the AGCs RAM, and the simplest
Next page
Light

Font size:

Reset

Interval:

Bookmark:

Make

Similar books «Getting Started with Secure Embedded Systems: Developing IoT Systems for micro:bit and Raspberry Pi Pico Using Rust and Tock»

Look at similar books to Getting Started with Secure Embedded Systems: Developing IoT Systems for micro:bit and Raspberry Pi Pico Using Rust and Tock. We have selected literature similar in name and meaning in the hope of providing readers with more options to find new, interesting, not yet read works.


Reviews about «Getting Started with Secure Embedded Systems: Developing IoT Systems for micro:bit and Raspberry Pi Pico Using Rust and Tock»

Discussion, reviews of the book Getting Started with Secure Embedded Systems: Developing IoT Systems for micro:bit and Raspberry Pi Pico Using Rust and Tock and just readers' own opinions. Leave your comments, write what you think about the work, its meaning or the main characters. Specify what exactly you liked and what you didn't like, and why you think so.