Deploying Formal in a DO-254 Program

The primary focus of DO-254, referred to as ED-80 in Europe, is hardware reliability of…

Accellera FuSa WG: White paper released!

The Accellera Functional Safety Working Group was formed to address critical industry challenges suppliers, systems…

Explanation of “Verification” in a DO-254 program

Often times, I’m asked to define what verification activities are required for a DO-254 program….

Orchestrating an ISO26262 Fault Campaign

ISO26262 remains the state-of-the-art standard governing the activities required to prove electronics and electronic systems…

Deploying HLS into a DO-254/ED-80 workflow

To remain competitive in a challenging market, avionics companies continue to innovate across all aircraft-related…

SystemVerilog

The Semantics of SystemVerilog Syntax

Trying to grasp any programming language from scratch can be a difficult task, especially when…

Siemens Verification Academy presents “Introduction to ISO 26262”

It’s likely no surprise that EV, ADAS, and AV applications are driving a new level…

Leveraging ISO 26262 tool certification in IEC 61508

The majority of safety critical standards contain a section discussing the activities and analysis required…