July 26, 2021
A detailed technical overview of formal verification within the context of the DO-254 (ED-80) standard is now available to download.
October 8, 2019
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.
September 10, 2019
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
Safety verification calls for increased collaboration across the supply chain, experts say. The challenge is finding ways to make that happen.
June 19, 2018
Verification of the coming generation of highly autonomous vehicles needs says Peter Davies, director of security concepts at Thales.
May 24, 2017
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
A one-day conference on using agile development techniques for embedded systems takes place in the UK on 3 May.
March 8, 2017
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.
March 6, 2017
Xpedition adds vibration and acceleration analysis to shorten physical PCB test times for ruggedized and safety-critical designs.
September 20, 2016
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.