Biomedical Embedded Systems / From Design to Security Nathan Allen, Hammond Pearce, Partha Roop

Format:

Book

Author/Creator:

Allen Nathan, Pearce Hammond, Roop Partha, author.

Series:

ACM books - Collection 3 ; #68.

ACM books, 2374-6777 ; #68

Language:

English

Subjects (All):

Functional Biomedical Embedded Systems(Computer Science).

Genre:

Electronic books.

Physical Description:

1 PDF (xxxiv, 342pages) LuaTEX

Edition:

First Edition

Place of Publication:

[New York, NY, USA] : Association for Computing Machinery; [2025].

System Details:

Mode of access: World Wide Web

System requirements: Adobe Acrobat Reader

Contents:

List of Figures

List of Tables

List of Listings

List of Acronyms

Foreword

Preface

Genesis

Why We Wrote This Book

How to Read This Book

Acknowledgments

1 Introduction

1.1 Embedded Systems

1.2 Concurrency and Models of Computation

1.3 Biomedical Embedded Systems

1.4 Summary

2 Background: Embedded Systems

2.1 Processors

2.2 Environmental Interfacing

2.3 Controller Basics

2.4 Timing Analysis

2.5 Summary

Exercises

3 Introduction to Concurrency and Synchronization

3.1 Asynchronous Concurrency, Scheduling, and Parallelism

3.2 Shared Memory

3.3 Synchronization Primitives

3.4 Summary

4 The Synchronous Approach

4.1 Synchronous Concurrency Using Esterel

4.2 Boolean Mealy Machines

4.3 SCCharts

4.4 Capturing Time

4.5 Summary

5 Background: The Cardiac System

5.1 Cardiac Electrophysiology and the Conduction System

5.2 Cardiac Models and Abstractions

5.3 Pacemakers for Treatment of Bradycardia

5.4 Summary

6 Pacemaker Design

6.1 Design in SCCharts

6.2 Implementation on the Nios II Platform

6.3 Closed-Loop Testing

6.4 Summary

7 Formal Verification of a Pacemaker

7.1 Design in UPPAAL

7.2 Formal Verification

7.3 Timing Analysis

7.4 Summary

8 Runtime Verification and Runtime Enforcement

8.1 Motivation

8.2 Regular Languages and Automata

8.3 Timed Properties

8.4 Runtime Methods

8.5 Easy-RTE

8.6 Summary

Exercise

9 Cybersecurity in Cyber-Physical Systems: An Introduction

9.1 What is Cybersecurity?

9.2 A Brief History of Cyber-Physical Attacks

9.3 Cybersecurity and Cyber-Physical Systems: Key Concepts and Overview

9.4 Summary

10 Hardware Enforcers for Mitigating Cyber-Physical Attacks

10.1 Pacemaker Risks and the Threat Landscape

10.2 Securing via Runtime Enforcement

10.3 Securing the Runtime Enforcer

10.4 Summary

11 Outlook

11.1 Pedagogy

11.2 Future Work

Appendix A

Lab-Application Programming with the Altera HAL

A.1 Memory-Mapped Registers and Platform Designer

A.2 System.h and Hardware Abstraction Layer APIs

A.3 Accessing File-Based Peripherals

A.4 Using Interrupts Through Hardware Abstraction Layer APIs

A.5 Programming Techniques

A.6 SCCharts

A.7 Executing SCCharts on Nios II

Bibliography

Authors' Biographies

Index

Other Format:

Print version:

ISBN:

3731333

9798400731549

9798400731525

Access Restriction:

Restricted for use by site license.