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.
An embedded OS pre-certified for IEC 61508 SIL3, ISO 26262 ASIL D and IEC 62304 Class C.
Streamline your products’ functional safety certifications with our pre-certified microkernel operating system specifically tailored for safety-critical embedded systems and toolchains pre-qualified for building these systems.
Ideal for building complex safe systems, the QNX® OS for Safety is a full-featured, real-time OS designed for use in every sector where reliable, functionally safe embedded software is critical: medical devices, industrial controls, aerospace, automotive, power generation, robotics and rail transportation. It includes the safety certificates and documentation you need to correctly develop and certify your safety-critical software systems.
Develop QNX OS for Safety 2.2.3-based products in the cloud:
QNX® Accelerate is an initiative that lets you develop mission-critical embedded systems based on BlackBerry® QNX® technology. By harnessing the agility, speed, and scale of the cloud, it empowers developers in new ways—enabling better collaboration, increasing development efficiencies, and reducing time-to-market.
Focus your efforts on developing the systems your customers need. The QNX OS for Safety will meet your performance and reliability requirements and facilitate your systems’ safety certifications.
The QNX OS for Safety is certified by TĂśV Rheinland to IEC 61508 SIL 3, ISO 26262 ASIL D and IEC 62304 Class C. It includes toolchains qualified to ISO 26262 and IEC 61508 TCL3 and T3 requirements. And, our C++ library add-on is certified to ISO 26262 ASIL B/D.
The QNX OS for Safety can be used as a Safety Element out of Context (SEooC) to realize safety goals up to IEC 61508 SIL 3, ISO 26262 ASIL D and IEC 62304 Class C.
The QNX OS for Safety includes a safety-certified variant of the QNX® Neutrino® microkernel RTOS, which has proven the fundamental dependability of its design for more than 40 years and in hundreds of millions of embedded systems. QNX OS for Safety is designed with the temporal and spatial isolation needed to protect itself and your system from both internal faults and outside interference.
A safety-certified OS and qualified toolchains mean that you’ll have confidence in the software you build, and that you’ll have a quick and smooth certification process.
With the QNX OS for Safety you’ll be able to build your systems with C and C++ toolchains classified as TCL3 and T3 according to ISO 26262 and IEC 61508. You’ll need to certify only the parts of the system you build, not the OS you build it on or the toolchains you use to build it.
If you’re familiar with the QNX Neutrino RTOS and POSIX APIs, you won’t need ramp-up time to begin your development work. The QNX OS for Safety is fully API-compatible with the QNX Neutrino RTOS API.
Develop non-safety as well as safety-critical applications on the same foundation OS while continuing to use the QNX® Momentics® Tool Suite.
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