vendor: Aldec
vendor: LDRA
vendor: Absint
Statically analyze a task’s intrinsic cache and pipeline behavior…
Let you simplify and automate the qualification process considerably…
Helps you identify application parts that cause worst execution time . . .
Windows® based, integrated FPGA design creation and simulation solution…
Design verification solution for RTL code written in VHDL, Verilog, and SystemVerilog…
Fully customized hardware and software platform that augments target board testing…
Feature-rich family of SoC/ASIC pre-silicon physical prototyping and hardware embedded…
Fully automated and scalable hybrid verification environment for SoC and ASIC design…
Addresses verification needs of engineers crafting tomorrow’s cutting-edge FPGA…
Reprogrammable prototyping solution for Microchip RTAX-S/S and RTSX-SU space-flight…
Unified requirements lifecycle management solution designed for FPGA and ASICs…
Improve quality, reduce rework, prove compliance, and get to market faster
A safe software solution for data communications in embedded systems…
Consolidate diverse embedded systems with different reliability and security requirements…
Consolidate multiple operating systems with different safety requirements on a single system-on-a-chip…
An embedded OS pre-certified for IEC 61508 SIL3, ISO 26262 ASIL D and IEC 62304 Class C…
Comprehensive software platform for mission-critical embedded systems…
Foundational development platform for the next generation…
Streamline safety certifications and compliance with embedded software solutions from BlackBerry QNX…
Edaway provides hardware and software consulting services, that focus on the design and development of a physical product or of software application, including support for V&V activities and for certification aspects.Â
Edaway has signed a cooperative agreement with Mindway S.r.l., for providing design services to its customers, in Europe and outside Europe.Â
Edaway provides Level 1 technical support to the distributed tools, and the technical interface with the supplier for Level 2 and Level 3 support.Â
Edaway DO-254 Training covers all aspects of Hardware Considerations in Airborne Systems and Equipment Certification…
Edaway DO-178C Training covers all aspects of Software Considerations in Airborne Systems and Equipment Certification…
The MISRA C language subset is a world-leading set of software guidelines, to facilitate code safety, security, portability…
Edaway DO-178C Training covers all Software aspects in Airborne Systems…
Edaway DO-254 Training covers all Hardware aspects in Airborne Systems…
3-day course provides delegates with a thorough understanding of testing methodologies….
2-day course focused on the software-related elements of ISO 26262:2018.
1-day course focused on functional safety in the automotive industry in ISO 26262.
The MISRA C language subset is a world-leading set of software guidelines…
QNX Trainings are focused on features of the QNX® Neutrino® RTOS…
Leveraging Model Driven Software Development and Automated Software Verification to Deliver Next Generation Avionics Systems.
vendor: Aldec
vendor: LDRA
vendor: Absint
Statically analyze a task’s intrinsic cache and pipeline behavior…
Let you simplify and automate the qualification process considerably…
Helps you identify application parts that cause worst execution time . . .
Windows® based, integrated FPGA design creation and simulation solution…
Design verification solution for RTL code written in VHDL, Verilog, and SystemVerilog…
Fully customized hardware and software platform that augments target board testing…
Feature-rich family of SoC/ASIC pre-silicon physical prototyping and hardware embedded…
Fully automated and scalable hybrid verification environment for SoC and ASIC design…
Addresses verification needs of engineers crafting tomorrow’s cutting-edge FPGA…
Reprogrammable prototyping solution for Microchip RTAX-S/S and RTSX-SU space-flight…
Unified requirements lifecycle management solution designed for FPGA and ASICs…
Improve quality, reduce rework, prove compliance, and get to market faster
A safe software solution for data communications in embedded systems…
Consolidate diverse embedded systems with different reliability and security requirements…
Consolidate multiple operating systems with different safety requirements on a single system-on-a-chip…
An embedded OS pre-certified for IEC 61508 SIL3, ISO 26262 ASIL D and IEC 62304 Class C…
Comprehensive software platform for mission-critical embedded systems…
Foundational development platform for the next generation…
Streamline safety certifications and compliance with embedded software solutions from BlackBerry QNX…
Edaway provides hardware and software consulting services, that focus on the design and development of a physical product or of software application, including support for V&V activities and for certification aspects.Â
Edaway has signed a cooperative agreement with Mindway S.r.l., for providing design services to its customers, in Europe and outside Europe.Â
Edaway provides Level 1 technical support to the distributed tools, and the technical interface with the supplier for Level 2 and Level 3 support.Â
Edaway DO-254 Training covers all aspects of Hardware Considerations in Airborne Systems and Equipment Certification…
Edaway DO-178C Training covers all aspects of Software Considerations in Airborne Systems and Equipment Certification…
The MISRA C language subset is a world-leading set of software guidelines, to facilitate code safety, security, portability…
Edaway DO-178C Training covers all Software aspects in Airborne Systems…
Edaway DO-254 Training covers all Hardware aspects in Airborne Systems…
3-day course provides delegates with a thorough understanding of testing methodologies….
2-day course focused on the software-related elements of ISO 26262:2018.
1-day course focused on functional safety in the automotive industry in ISO 26262.
The MISRA C language subset is a world-leading set of software guidelines…
QNX Trainings are focused on features of the QNX® Neutrino® RTOS…
Leveraging Model Driven Software Development and Automated Software Verification to Deliver Next Generation Avionics Systems.
TQSP module provides artefacts and guidance to simplify the process of qualifying the LDRA tool suite.
Today’s complex software-based safety critical systems depend on software tools for automation and efficiency. “Tool qualification” is a generic term to describe a process designed to ensure that the risk of a tool error impacting the safety of a system is acceptably low – either because the errors are few, or because they cannot impact safety. Most functional safety standards define processes to achieve tool qualification by considering the application of the tool, and the environment in which it is deployed.
The application considerations are designed to ensure that the tool is used in such a way that potential errors are either avoided or detected. The environmental perspective looks to ensure that the installed tool works as part of the broader tool chain to which it contributes, building confidence and trust in the tool and its use.
All standards have a classification phase to establish the required confidence in the tool and a qualification phase that provides this level of confidence for some or all of its functionality. However, the classification and qualification methods differ in some details.
A TQSP is an optional module available for the LDRA tool suite. Each TQSP module provides artefacts and guidance to simplify the process of qualifying the LDRA tool suite for use as a verification tool in a project-specific environment.
SGS TÜV SAAR and TÜV SÜD are both independent certifying agencies who have evaluated LDRA’s development and testing practices and issued certificates for the tool suite verifying it is qualified to be used in safety-related software development. Their validation of LDRA tools is adequate assurance of their suitability for most projects.
For more demanding projects that require project specific tool qualification, TQSP modules greatly reduce the time and effort of qualifying the LDRA tool suite for use as a verification tool in a project environment. LDRA provides TQSPs for Programming Standards Checking, Structural Coverage Analysis, Data and Control Coupling and Unit Test.Â
Tool Verification Plan. This document identifies the user’s required activities for tool qualification in a step-by-step fashion, including instructions on how to complete the template documents in the TQSP and how to assemble the required verification data to support qualification in their tool operational environment.
This document is concerned with supporting the project requirement to submit a Tool Verification Plan (TVP) with the aim of demonstrating and verifying that the tool suite meets its stated Tool Operational Requirements (TOR) under normal operating conditions.
Tool Qualification Plan. This document describes the tool, its function, and how it relates to the user’s certification. The user completes sections of the document to customize it to their project.
The processes identified in this LDRA supplied document are designed to provide support for the generation of the project Plan for Software Aspects of Certification (PSAC) and the results are summarised in the project Software Accomplishment Summary (SAS).
Tool Accomplishment Summary. This document summarizes the activities performed in support of tool qualification. The TAS includes tool configuration identification and installation reports.
This document is provided in support of the project requirement to submit a Software Accomplishment Summary (SAS) and is therefore concerned with providing documented confirmation of test outcomes.
Test scenarios designed by LDRA to show tool compliance to the TORs in the tool operational environment. The user executes these test scenarios as part of the qualification effort.
Tool Accomplishment Summary. This document summarizes the activities performed in support of tool qualification. The TAS includes tool configuration identification and installation reports.
This document is provided in support of the project requirement to submit a Software Accomplishment Summary (SAS) and is therefore concerned with providing documented confirmation of test outcomes.
The LDRA DO-178 Tool Qualification Support Pack has been leveraged on over 250 DO-178 certifications for 80 different organisations. These figures include over 85 DAL A certifications of the most critical of all DO-178 compliant applications.
ISO 26262 TQSP was introduced more recently, drawing on the same proven principles as its DO-178 equivalent. It has helped many teams develop ASIL D projects on their way to compliance.Â
We are also seeing increasing numbers of development teams in other sectors looking to leverage our expertise in tool qualification, using tool qualification packs based on the same approach.Â
This website uses cookies to improve your experience. We'll assume you're ok with this, but you can opt-out if you wish. Read More
This website uses cookies to improve your experience. We'll assume you're ok with this, but you can opt-out if you wish. Read More