Welcome to IEEE P2851!
Title: Exchange/Interoperability Format for Safety Analysis and Safety Verification of IP, SoC and Mixed Signal ICs
Purpose: The IEEE P2851 goal is to provide an exchangeable and interoperable format for safety analysis and verification activities to facilitate intellectual property (IP) and system-on-chip (SoC) providers to deliver results to safety-critical system integrators in a consistent way and also enable interoperability among tools provided by electronic design automation (EDA) tool vendors.
Need for this project: The development of IPs and SoCs for safety critical applications is rapidly emerging due to the growth of applications such as automated driving or robotics. Standards such as ISO 26262 (automotive), IEC 61508 (industrial) and many others are requiring IP vendors and SoC providers in executing safety analyses (such as FMEA, FMEDA, FMECA, FTA) and related safety verification activities – such as fault injection – and deliver results to system integrators. EDA vendors are also starting to provide tools to automate those activities. However, at this time, there is not a common language or format to provide those results. In the end system integrators are struggling with many different types of data, so spending a huge amount of effort to reconsolidate, compare, integrate, combine the data. For that reason, the safety critical community is strongly asking for a solution to accelerate the safety engineering process while reducing risks and costs.
Scope: This standard defines a data format with which results of safety analyses (such as FMEA, FMEDA, FMECA, FTA) and related safety verification activities – such as fault injection – executed for IPs, SoCs and mixed signal ICs can be exchanged and made available to system integrators. The format will define languages, data fields and parameters with which the result of those analyses and verification activities can be represented, in a technology independent way. The scope has also been extended to include items, systems, and SW as well. Artificial intelligence is also a key part of the activity. The goal is for IEEE P2851 to become a family of standards (P2851.1, 0.2, 0.3, and so on) covering broader functional safety topics, such as system-and SW-level safety analyses and formal/semiformal representations of assumption of use, and also extending to adjacent domains, such as cybersecurity analyses and related verification methodologies.
Future scope: End goal of P2851 is to become a family of standards (P2851.1, .2, .3 etc) covering broader functional safety topics such as system level safety analyses, formal/semi-formal representation of assumption of uses. As also to extend to other domains such as Cybersecurity analyses and related verification methodologies.
Relationship with Accellera Proposed Functional Safety WG: An Accellera Proposed Functional Safety WG was created to determine FS topics that Accellera was requested to explore. IEEE P2851 is an overall framework within which some of the pieces could be partially or fully developed through the Accellera FSWG and then transferred to P2851 to be part of a standard of P2851 sequence, or referenced by. This approach is similar to the successful methodology used to develop several of the standards developed under the DASC. These standards include, SystemC, SystemVerilog, UPF, UVM, IP-XACT and others. The P2851 WG is preparing a detailed description of the overall framework for the sequence of standards and related topics.
Note: This is an Entity based project and IEEE SA Corporate membership is required. Please review IEEE SA Corporate member list here to confirm if your company is a corporate member. Click here to learn more about IEEE SA Membership.
Jyotika Athavale, email@example.com
Nir Maor, firstname.lastname@example.org
Meirav Nitzan, Meirav.Nitzan@synopsys.com
IEEE Program Manager
Jonathan Goldberg, email@example.com