Normal view

Received — 2 August 2026 ⏭

Electronic Design
Demonstrating SPARK with a Mars Rover (Part 4): Formalizing Safety 24 July 2026 at 14:41

Demonstrating SPARK with a Mars Rover (Part 4): Formalizing Safety

Electronic Design

By: (Tony Aiello)

24 July 2026 at 14:41

Cyber-physical systems and SPARK offer a good way to develop and test safety-critical systems.

Received — 25 July 2026 ⏭

Electronic Design
A Solution for Embedding “Approximate Nearest Neighbor” Search 16 July 2026 at 16:37

A Solution for Embedding “Approximate Nearest Neighbor” Search

Electronic Design

By: (undefined)

16 July 2026 at 16:37

McObject’s eXtremeDB 9.0 adds ANN indexes.

Received — 16 July 2026 ⏭

Electronic Design
Trusted Firmware Development for Connected Mobility Systems 15 July 2026 at 21:51

Trusted Firmware Development for Connected Mobility Systems

Electronic Design

By: (Dayman Pang)

15 July 2026 at 21:51

Reliable connected mobility starts with disciplined firmware development — from secure boot and MISRA C to CI/CD, testing, and traceable compliance evidence.

Electronic Design
Demonstrating SPARK with a Mars Rover (Part 3): Improving the System 10 July 2026 at 17:10

Demonstrating SPARK with a Mars Rover (Part 3): Improving the System

Electronic Design

By: (Tony Aiello)

10 July 2026 at 17:10

Cyber-physical systems and SPARK are good ways to develop and test safety-critical systems.

Received — 9 June 2026 ⏭

Electronic Design
Same Firmware, Different Behavior: Understanding Configuration Effects in EDK2 4 June 2026 at 19:37

Same Firmware, Different Behavior: Understanding Configuration Effects in EDK2

Electronic Design

By: (Swastik Ghosh)

4 June 2026 at 19:37

Firmware configuration is more than just enabling features — it can quietly reshape execution or fundamentally alter system behavior, as revealed through an analysis of EDK2 firmware.

Received — 2 June 2026 ⏭

Electronic Design
Quick Poll: Writing Bug-Free Code for Embedded Applications 26 May 2026 at 21:06

Quick Poll: Writing Bug-Free Code for Embedded Applications

Electronic Design

By: bwong@endeavorb2b.com (William G. Wong)

26 May 2026 at 21:06

We would all like to deliver bug-free code, but that's not always as easy as it might sound.

Received — 31 May 2026 ⏭

Electronic Design
Building an Efficient Side-Channel-Resilient Post-Quantum Root-of-Trust Design 19 May 2026 at 15:19

Building an Efficient Side-Channel-Resilient Post-Quantum Root-of-Trust Design

Electronic Design

By: (Dr. Andrea Caforio)

19 May 2026 at 15:19

This article dives deep into the engineering tradeoffs required to achieve side-channel-resilient PQC implementations on modern root-of-trust (RoT) devices that must meet high-assurance security certifications.