Embedded Systems

Embedded Hardware and Operating Systems

Embedded Software and Hardware Architecture

Introduction to Embedded Systems Software and Development Environments

Introduction to FPGA Design for Embedded Systems

System Validation (4): Modelling Software, Protocols, and other behaviour

System Validation (2): Model process behaviour

Web Connectivity and Security in Embedded Systems

Embedded Systems Design

Modeling and Debugging Embedded Systems

Embedded System Design with ARM

Quantitative Formal Modeling and Worst-Case Performance Analysis

Introduction to the Internet of Things and Embedded Systems

System Validation: Automata and behavioural equivalences

Embedded Systems - Shape The World: Multi-Threaded Interfacing