fpga level in-target testing for do-254 compliance · pdf file›do-254 is widely...
TRANSCRIPT
Alex Grove
www.aldec.com2
Verification vs. Validation
We have discussed RTL verification before
In DO-254 this is called analysis
Validation: a mostly manual step where review is fundamental to this process. Significant amount of documentation & spreadsheets.
Today we are talking about Validation as well as Verification
Validation: are we building the right product?Verification: are we building the product right?
www.aldec.com3
So what is Safety Critical?
Where the electronic system could cause actual harm
Not just life & limb, also the environment
Sectors and standards
Avionics (RTCA DO-254/ED-80)
Industrial (IEC 61511)
Nuclear (IEC 62566)
Automotive (ISO 26262)
Transportation / Railway
www.aldec.com4
Certification, Compliance, & Qualification
Certification: the aircraft/engine
Independent audit with regularity body (EASA,FAA)
Compliance: the devices, CCA, LRUs, Systems
Comply to a given industry standards
Design Assurance Levels (DAL) vary depending on function and its criticality
Evidence required to demonstrate compliance
Qualification: typically applied to tools
www.aldec.com5
Developing for Safety-Critical Safety is the highest priority
The device/system must perform reliably and function as intended based on the requirements under normal and foreseeable abnormalconditions
Design Assurance
Confidence based on the elimination of uncertainty
Good design practices are common
DO-254 is widely considered as best practice
Requirement to comply to industry standards The business driver for DA activities
www.aldec.com6
Developing for Safety-Critical
Requirements are central to the development process
Design activities are based on the requirements Requirements are the start of the design phase
Requirements inform the Designers what they need to design
Verification activities are based on the requirements Requirements are the start of test planning phase
Requirements inform the Verification Engineers what they need to verify
Requirements are validated throughout the development process DO-254 defines a requirements capture/allocation process
DO-254 requires all derived requirements to be validated
www.aldec.com7
The Requirements Challenge
Requirements are often poorly defined
What if the requirements are badly written?
What if the requirements are not verifiable?
What if the requirements change?
Requirements-Based Verification (RBV) addresses three major issues
Ensures that requirements are correct, complete, unambiguous, verifiable and logically consistent
Ensures that the design/system correctly implements the requirements
Ensures that the final product meets the requirements
www.aldec.com8
Requirements-Based Verification
FPGA
Requirements Capture
Reviews
Analysis
Tests
www.aldec.com9
RBV Methods for Safety-Critical Reviews
Requirements Review and Validation
Design Review
Test Plan Review
Test Results Review
Planning Identify requirements to be
verified
Define functional coverage
Analysis Traceability (correlation of data)
Impact Analysis and Change Control
HDL DRC
CDC Analysis
Simulation
Coverage Analysis
Static Timing Analysis
Testing FPGA Level Tests
FPGA/Board Integration Tests
DO-254 Randall Fulton: hardware flies, not simulations
www.aldec.com10
Avionics V&V Example
Requirements Capture
Conceptual Design
Detailed Design
Implementation
Physical Testing
* Aldec White Paper: Managing Validation and Verification Activities for DO-254
www.aldec.com11
Avionics V&V Example
www.aldec.com12
Example Graphical View12
www.aldec.com13
How do we track and record the review activities? How do I build traceability? Do I have a test for each requirement? Am I meeting the coverage goals? What design and verification elements are impacted
due to a requirement change? Have I tested all of the requirements? How do I track the progress? How long before we are done?
Some Common Questions
www.aldec.com14
Managing RBV Activities with Spec-TRACER
Spec-TRACER Requirements Lifecycle Management for FPGAs and SoCs
Facilitates requirements capture, review, validation, coverage analysis, impact analysis and traceability
Traceability to HDL design, testbench, coverage results, log files and waveforms
Facilitates test plan creation and tests management
14
www.aldec.com15
Conclusion Todays safety-critical FPGAs/SoCs continue to increase in size
and complexity Industry standards recommend requirement based approach
for safety-critical FPGAs/SoCs to ensure high-reliability and safe products
By adopting such an approach ensures: Requirements are correct, complete, unambiguous & logically consistent
Design/system correctly implements the requirements
Design/system meets the requirements
Managing the activities for RBV can be an overwhelming task whats needed is a systematic approach to manage them
- this is the motivation behind Aldecs Spec-TRACER solution
www.aldec.com16
Online Demonstration Videos
https://www.aldec.com/en/support/resources/multimedia/presentations?type=1&submit=Browse&category=3&products=47
https://www.aldec.com/en/support/resources/multimedia/presentations?type=1&submit=Browse&category=3&products=47
www.aldec.com17
Solutions
Riviera-PROAdvanced Verification Platform
Active-HDLFPGA Design and Simulation
ALINT-PRODesign Rule Checking
HESHW/SW Validation Platform
Spec-TRACERRequirements Lifecycle Management
DO-254/CTSFPGA Level In-Target Testing
HES-7SoC/ASIC Prototyping
RTAX/RTSXPrototyping Microsemi Rad-Tolerant Devices
Direct OfficesCorp. Headquarters N. America
Ph +1.702.990.4400 [email protected]
Europe Ph +44.129.520.1240 [email protected]
Israel [email protected] [email protected] [email protected] [email protected] [email protected]
Training www.aldec.com/trainingSupport www.aldec.com/supportBlog www.aldec.com/company/blog
Q & A
mailto:[email protected]:[email protected]:[email protected]:[email protected]:[email protected]:[email protected]:[email protected]://www.aldec.com/traininghttp://www.aldec.com/supporthttp://www.aldec.com/company/bloghttp://www.linkedin.com/company/aldechttp://www.linkedin.com/company/aldechttps://plus.google.com/104159194096270392156/posts?hl=en&partnerid=gplp0https://plus.google.com/104159194096270392156/posts?hl=en&partnerid=gplp0http://www.aldec.com/en/rsshttp://www.aldec.com/en/rsshttp://www.twitter.com/AldecInchttp://www.twitter.com/AldecInchttps://www.facebook.com/AldecInchttps://www.facebook.com/AldecInchttp://www.youtube.com/AldecInchttp://www.youtube.com/AldecInc