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.
Consolidate multiple operating systems with different safety requirements on a single system-on-a-chip.
The QNX® Hypervisor for Safety is the safety-certified variant of the QNX® Hypervisor. Pre-certified by TÜV Rheinland to ISO 26262 ASIL D, IEC 61508 SIL3 and IEC 62304 Class C, it offers simpler and faster certification of your automotive, industrial and medical mission-critical systems.
With non-safety OSs (Android™, Linux®) contained in QNX Hypervisor for Safety virtual machines, you can focus your certification efforts and funds on certifying only your safety-critical components
The QNX Hypervisor for Safety lets you manage multiple guest systems on a single system on a chip (SoC), including unmodified Android and Linux.
The QNX Hypervisor for Safety separates and isolates guest systems from each other in its safety-certified virtual machines, so you can consolidate diverse systems with different functional safety requirements on one ARM or x86 SoC. With guests contained in virtual machines, you can deploy your safety-critical virtualized system confident that each system is isolated and protected from outside interference, whether due to error (bugs) or malicious intent.
The QNX Hypervisor for Safety leverages the latest ARMv8 and x86-64 virtualization extensions to offer versatile virtualization solutions with guest systems and the hypervisor itself contained and isolated.
OSs and their applications can run as guest systems in thin virtual machines, limiting the hypervisor to handling events and exceptions. Just as easily, guest systems can run in virtual machines, but with a full system implemented directly on the hypervisor (“bare metal”).
Devices in a QNX Hypervisor system can be physical devices (including pass-through devices) or virtual devices, including emulation and para-virtualized devices from our virtual device library. Diverse OSs share the same SoC, and they can share physical devices, reducing product hardware costs.
The QNX Hypervisor for Safety includes a virtual device developer’s API reference and a developer’s guide, complete with examples of virtual device source code you can use as models, including para-virtualized devices built to the VirtIO standards.
The QNX Hypervisor for Safety is fully API-compatible with the QNX® Neutrino® RTOS, so you won’t need any ramp-up time to begin work: You’ll develop non-safety and safety-critical applications on the same foundations, and you’ll be able to continue working in the QNX® Software Development Platform’s POSIX-compliant environment and using the QNX® Momentics® Tool Suite.
A safety-certified foundation and qualified toolchains mean that you’ll have confidence in the software you build, and you’ll have a quick and smooth certification process.
With the QNX Hypervisor for Safety you’ll be able to build your systems with C and C++ toolchains (including pre-certified math libraries) classified as TCL3 and T3 according to ISO 26262 ASIL D, IEC 61508 SIL3 and IEC 62304 Class C. You’ll need to certify only the parts of the system you build, not the foundational OS and services or the toolchains you use to build them.
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