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.
LDRAunit is a cost-effective, stand-alone unit and integration test tool that doesn’t require investment in a complete tool chain. LDRAunit automates and increases test throughput and repeatability to significantly increase overall test effectiveness. Software development managers seeking to develop the highest quality code in the most cost-effective manner leverage automated unit/integration testing to avoid the potential delays caused by inefficient manual low-level testing strategies. These traditional techniques are often inadequate and postpone the discovery and correction of defects until late in system test where they are more expensive to fix.
LDRAunit utilizes sophisticated control flow and data flow analysis techniques to determine full details of the interface to the unit(s) under test. This level of information then enables LDRAunit to automatically generate test drivers removing the need for manual scripting. Stubs can be written by hand or generated automatically for functions, methods, constructors, system calls, packages, generics, etc. The automatically generated “managed stubs” are sufficiently complete to allow the test harness to build and execute. Exceptions can be automatically caught, and test cases can be passed or failed dependent on whether exceptions have been raised. The exception handling method is configurable.
LDRAunit stores groups of test cases as sequences. Exported sequences are stored in Test Case Files (TCF) which contain all the information required to re-run the test cases. TCFs can be grouped with regression reports and can be stored for regression verification. They can be either saved with the source file, saved via a software configuration management (SCM) system, or used as an annotation. Requirements-based testing documentation can be included and stored – perhaps reasons why particular values were chosen, or tags to map to a requirement management system.
Both the LDRA quality management system and the LDRAunit tool are certified. LDRA has maintained (ISO 9001 certification) for over 25 years. LDRAunit is approved by SGS-TÜV Saar and TÜV SUD for the following functional safety standards:
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