The Engineering of Reliable Embedded Systems: Developing Software for 'SIL0' to 'SIL3' Designs Using Time-Triggered Architectures

Backend Service Reliability Engineering: Stepwise Exploration of Stability and Recovery (Reliable Systems, Embedded Engineering & Game Development Series)

Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems

C++ Embedded Systems Development: Building Reliable Software for Hardware Constrained Environments (Modern C++ Engineering Series)

CAN and CANopen for Embedded Systems Engineers: Designing Reliable Real-Time Communication Architectures for Industrial Devices