safety-critical systems

July 26, 2021

Learn how to apply formal verification to safety-critical aviation designs

A detailed technical overview of formal verification within the context of the DO-254 (ED-80) standard is now available to download.
Article  |  Topics: Verification  |  Tags: , , , , , , ,   |  Organizations:
October 8, 2019

Automotive companies form self-driving vehicle computing group

Arm is among a group of automotive OEMs and component suppliers who have set up a consortium to try to coordinate the development of autonomous-vehicle electronics.
Article  |  Topics: Blog - EDA, Embedded  |  Tags: , , ,   |  Organizations: , ,
September 10, 2019

Digital twin points the way to system-level vehicle safety

The digital-twin concept provides several avenues to achieving better safety analysis and is likely to benefit from Siemens' integration of Mentor activities.
August 6, 2019

Increased cooperation seen as vital for automotive safety verification

Safety verification calls for increased collaboration across the supply chain, experts say. The challenge is finding ways to make that happen.
June 19, 2018

Holistic verification change needed for self-driving cars

Verification of the coming generation of highly autonomous vehicles needs says Peter Davies, director of security concepts at Thales.
May 24, 2017

Austemper tools straddle the functional-safety flow

Austemper Design Systems has launched a portfolio of tools that span the development lifecycle of projects that need to demonstrate functional safety.
April 18, 2017

Conference to look at agile development for embedded

A one-day conference on using agile development techniques for embedded systems takes place in the UK on 3 May.
Article  |  Topics: Blog - Embedded  |  Tags: , ,
March 8, 2017

Verification Futures tackles safety and security

The Verification Futures conference organized by European EDA consultancy TV&S returns for its seventh year in early April with a focus on safety and security in the growing area of cyber-physical systems.
Article  |  Topics: Blog - EDA, Embedded  |  Tags: , , , ,   |  Organizations:
March 6, 2017

Mentor’s Xpedition virtualizes simulation for ruggedized, safety-critical designs

Xpedition adds vibration and acceleration analysis to shorten physical PCB test times for ruggedized and safety-critical designs.
September 20, 2016

Debut for safety-critical ARMv8 core

ARM has launched the first of its Cortex-R series of processors to be based on the v8R architecture, providing greater protection for software tasks from each other.
Article  |  Topics: Blog - Embedded, IP  |  Tags: , , , , , ,   |  Organizations:

PLATINUM SPONSORS

Synopsys Cadence Design Systems Siemens EDA
View All Sponsors