safety-critical systems

A detailed technical overview of formal verification within the context of the DO-254 (ED-80) standard is now available to download.

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.

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

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

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

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

A one-day conference on using agile development techniques for embedded systems takes place in the UK on 3 May.

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.

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

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.