• About Us
  • Products
    Active-HDL NEW

    vendor: Aldec

    Windows® based, integrated FPGA design creation and simulation solution for team-based environments.
    LDRAvault NEW

    vendor: LDRA

    LDRAvault provides a web-interface that automatically aggregates reports and results from the LDRA tool suite.
    aiT WCET Analyzer NEW

    vendor: Absint

    Statically analyze a task’s intrinsic cache and pipeline behavior based on formal cache and pipeline models.
    aiTWCET Analyzer NEW

    Statically analyze a task’s intrinsic cache and pipeline behavior…

    Astreè TOP

    Statically analyzes whether the programming language is used correctly…

    CompCert

    Formally verified optimizing C compiler…

    Qualification Support

    Let you simplify and automate the qualification process considerably…

    StackAnalyzer

    Automatically determines the worst-case stack usage of the tasks…

    TimeProfiler

    Helps you identify application parts that cause worst execution time . . .

    TimeWeaver

    Estimates the worst-case execution time (WCET) of tasks . . .

    Active-HDL TOP

    Windows® based, integrated FPGA design creation and simulation solution…

    Alint-PRO

    Design verification solution for RTL code written in VHDL, Verilog, and SystemVerilog…

    DO-254/CTS

    Fully customized hardware and software platform that augments target board testing…

    HES NEW

    Feature-rich family of SoC/ASIC pre-silicon physical prototyping and hardware embedded…

    HES-DVM

    Fully automated and scalable hybrid verification environment for SoC and ASIC design…

    QEMU Co-Sim

    HW/SW cosimulation interface between RivieraPRO and QEMU…

    Riviera-PRO TOP

    Addresses verification needs of engineers crafting tomorrow’s cutting-edge FPGA…

    RTAX-RTSX

    Reprogrammable prototyping solution for Microchip RTAX-S/S and RTSX-SU space-flight…

    Spec-TRACER

    Unified requirements lifecycle management solution designed for FPGA and ASICs…

    TySOM

    Xilinx and Microcip family of embedded system prototyping boards FPGAs based…

    OpenArbor TOP

    An Eclipse-based IDE & Tool Set for Embedded Real-time…

    Deos

    A Time & Space Partitioned RTOS Verified to DO-178C DAL A Guidance…

    HeartOS

    A POSIX-based Hard Real-time Operating System (RTOS)…

    ICAP/4 Pro

    A fully integrated hierarchical…

    ICAP/4 RF Deluxe

    Expands ICAP/4Rx with focused RF…

    ICAP/4 Rx

    Your prescription for reducing…

    ICAP/4 Rx Power Deluxe

    Expands ICAP/4Rx with focused power…

    ICAP/4 Win

    An extensive SPICE toolset for for analog…

    ICAP/4 Win Power Deluxe

    Expands the ICAP/4 Windows tool suite..

    ICAP/4 Win Power/RF Deluxe

    Combines the ICAP/4Windows Power & RF Deluxe…

    ICAP/4 Win RF Deluxe

    Expands the ICAP/4Windows tool suite with RF …

    Power Supply Designer

    Combines the ICAP/4Windows Power Deluxe & Library…

    Test Designer™

    Features the ICAP/4 PRO analog and mixed-signal…

    Jama Connect

    Improve quality, reduce rework, prove compliance, and get to market faster

    LDRA Tool Suite

    Flagship platform that delivers open and extensible solutions…

    LDRAcover

    Cost-effective, stand-alone code coverage tool…

    LDRArules

    Cost-effective, stand-alone rules checker…

    LDRAunit

    Cost-effective, stand-alone unit and integration testing tool…

    LDRAvault

    LDRAvault provides a web-interface that automatically aggregates reports…

    TQSP TOP

    Generic term to describe a process designed to ensure that the risk…

    QNX Black Channel Communications

    A safe software solution for data communications in embedded systems…

    QNX Hypervisor

    Consolidate diverse embedded systems with different reliability and security requirements…

    QNX Hypervisor for Safety

    Consolidate multiple operating systems with different safety requirements on a single system-on-a-chip…

    QNX OS for Safety

    An embedded OS pre-certified for IEC 61508 SIL3, ISO 26262 ASIL D and IEC 62304 Class C…

    QNX Software Dev Platform 7.1 TOP

    Comprehensive software platform for mission-critical embedded systems…

    QNX Software Dev Platform 8.0 NEW

    Foundational development platform for the next generation…

    Safety Certifications

    Streamline safety certifications and compliance with embedded software solutions from BlackBerry QNX…

  • Services
    Consulting

    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. 

    Design

    Edaway has signed a cooperative agreement with Mindway S.r.l., for providing design services to its customers, in Europe and outside Europe. 

    Technical Support

    Edaway provides Level 1 technical support to the distributed tools, and the technical interface with the supplier for Level 2 and Level 3 support. 

  • Partners
  • Trainings
    DO-254 NEW

    Edaway DO-254 Training covers all aspects of Hardware Considerations in Airborne Systems and Equipment Certification…

    DO-178 NEW

    Edaway DO-178C Training covers all aspects of Software Considerations in Airborne Systems and Equipment Certification…

    MISRA C NEW

    The MISRA C language subset is a world-leading set of software guidelines, to facilitate code safety, security, portability…

    DO-178 TOP

    Edaway DO-178C Training covers all Software aspects in Airborne Systems…

    DO-254 TOP

    Edaway DO-254 Training covers all Hardware aspects in Airborne Systems…

    LDRA Training

    3-day course provides delegates with a thorough understanding of  testing methodologies….

    ISO 26262:2018 Compliant SW Dev

    2-day course focused on the software-related elements of ISO 26262:2018.

    ISO 26262:2018 & Automotive Func. Safety

    1-day course focused on functional safety in the automotive industry in ISO 26262.

    MISRA C

    The MISRA C language subset is a world-leading set of software guidelines…

    QNX Training

    QNX Trainings are focused on features of the QNX® Neutrino® RTOS…

    Ansys Webinar

    Leveraging Model Driven Software Development and Automated Software Verification to Deliver Next Generation Avionics Systems.

  • Careers
  • Contact
  • About Us
  • Products
    Active-HDL NEW

    vendor: Aldec

    Windows® based, integrated FPGA design creation and simulation solution for team-based environments.
    LDRAvault NEW

    vendor: LDRA

    LDRAvault provides a web-interface that automatically aggregates reports and results from the LDRA tool suite.
    aiT WCET Analyzer NEW

    vendor: Absint

    Statically analyze a task’s intrinsic cache and pipeline behavior based on formal cache and pipeline models.
    aiTWCET Analyzer NEW

    Statically analyze a task’s intrinsic cache and pipeline behavior…

    Astreè TOP

    Statically analyzes whether the programming language is used correctly…

    CompCert

    Formally verified optimizing C compiler…

    Qualification Support

    Let you simplify and automate the qualification process considerably…

    StackAnalyzer

    Automatically determines the worst-case stack usage of the tasks…

    TimeProfiler

    Helps you identify application parts that cause worst execution time . . .

    TimeWeaver

    Estimates the worst-case execution time (WCET) of tasks . . .

    Active-HDL TOP

    Windows® based, integrated FPGA design creation and simulation solution…

    Alint-PRO

    Design verification solution for RTL code written in VHDL, Verilog, and SystemVerilog…

    DO-254/CTS

    Fully customized hardware and software platform that augments target board testing…

    HES NEW

    Feature-rich family of SoC/ASIC pre-silicon physical prototyping and hardware embedded…

    HES-DVM

    Fully automated and scalable hybrid verification environment for SoC and ASIC design…

    QEMU Co-Sim

    HW/SW cosimulation interface between RivieraPRO and QEMU…

    Riviera-PRO TOP

    Addresses verification needs of engineers crafting tomorrow’s cutting-edge FPGA…

    RTAX-RTSX

    Reprogrammable prototyping solution for Microchip RTAX-S/S and RTSX-SU space-flight…

    Spec-TRACER

    Unified requirements lifecycle management solution designed for FPGA and ASICs…

    TySOM

    Xilinx and Microcip family of embedded system prototyping boards FPGAs based…

    OpenArbor TOP

    An Eclipse-based IDE & Tool Set for Embedded Real-time…

    Deos

    A Time & Space Partitioned RTOS Verified to DO-178C DAL A Guidance…

    HeartOS

    A POSIX-based Hard Real-time Operating System (RTOS)…

    ICAP/4 Pro

    A fully integrated hierarchical…

    ICAP/4 RF Deluxe

    Expands ICAP/4Rx with focused RF…

    ICAP/4 Rx

    Your prescription for reducing…

    ICAP/4 Rx Power Deluxe

    Expands ICAP/4Rx with focused power…

    ICAP/4 Win

    An extensive SPICE toolset for for analog…

    ICAP/4 Win Power Deluxe

    Expands the ICAP/4 Windows tool suite..

    ICAP/4 Win Power/RF Deluxe

    Combines the ICAP/4Windows Power & RF Deluxe…

    ICAP/4 Win RF Deluxe

    Expands the ICAP/4Windows tool suite with RF …

    Power Supply Designer

    Combines the ICAP/4Windows Power Deluxe & Library…

    Test Designer™

    Features the ICAP/4 PRO analog and mixed-signal…

    Jama Connect

    Improve quality, reduce rework, prove compliance, and get to market faster

    LDRA Tool Suite

    Flagship platform that delivers open and extensible solutions…

    LDRAcover

    Cost-effective, stand-alone code coverage tool…

    LDRArules

    Cost-effective, stand-alone rules checker…

    LDRAunit

    Cost-effective, stand-alone unit and integration testing tool…

    LDRAvault

    LDRAvault provides a web-interface that automatically aggregates reports…

    TQSP TOP

    Generic term to describe a process designed to ensure that the risk…

    QNX Black Channel Communications

    A safe software solution for data communications in embedded systems…

    QNX Hypervisor

    Consolidate diverse embedded systems with different reliability and security requirements…

    QNX Hypervisor for Safety

    Consolidate multiple operating systems with different safety requirements on a single system-on-a-chip…

    QNX OS for Safety

    An embedded OS pre-certified for IEC 61508 SIL3, ISO 26262 ASIL D and IEC 62304 Class C…

    QNX Software Dev Platform 7.1 TOP

    Comprehensive software platform for mission-critical embedded systems…

    QNX Software Dev Platform 8.0 NEW

    Foundational development platform for the next generation…

    Safety Certifications

    Streamline safety certifications and compliance with embedded software solutions from BlackBerry QNX…

  • Services
    Consulting

    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. 

    Design

    Edaway has signed a cooperative agreement with Mindway S.r.l., for providing design services to its customers, in Europe and outside Europe. 

    Technical Support

    Edaway provides Level 1 technical support to the distributed tools, and the technical interface with the supplier for Level 2 and Level 3 support. 

  • Partners
  • Trainings
    DO-254 NEW

    Edaway DO-254 Training covers all aspects of Hardware Considerations in Airborne Systems and Equipment Certification…

    DO-178 NEW

    Edaway DO-178C Training covers all aspects of Software Considerations in Airborne Systems and Equipment Certification…

    MISRA C NEW

    The MISRA C language subset is a world-leading set of software guidelines, to facilitate code safety, security, portability…

    DO-178 TOP

    Edaway DO-178C Training covers all Software aspects in Airborne Systems…

    DO-254 TOP

    Edaway DO-254 Training covers all Hardware aspects in Airborne Systems…

    LDRA Training

    3-day course provides delegates with a thorough understanding of  testing methodologies….

    ISO 26262:2018 Compliant SW Dev

    2-day course focused on the software-related elements of ISO 26262:2018.

    ISO 26262:2018 & Automotive Func. Safety

    1-day course focused on functional safety in the automotive industry in ISO 26262.

    MISRA C

    The MISRA C language subset is a world-leading set of software guidelines…

    QNX Training

    QNX Trainings are focused on features of the QNX® Neutrino® RTOS…

    Ansys Webinar

    Leveraging Model Driven Software Development and Automated Software Verification to Deliver Next Generation Avionics Systems.

  • Careers
  • Contact

PRODUCTS

Explore our range of innovative solutions.

Partners
Clear
Product
Active-HDL
Active-HDL™ is a Windows® based, integrated FPGA design creation and simulation solution for team-based...
Find out more
Product
aiT WCET Analyzer
aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks...
Find out more
Product
Alint-PRO
ALINT-PRO™ is a design verification solution for RTL code written in VHDL, Verilog, and SystemVerilog,...
Find out more
Product
Astreè
Astrée is a static analyzer for safety-critical software written or gen­er­ated in C or C++.
Find out more
Product
CompCert
CompCert is a formally verified optimizing C compiler.
Find out more
Product
Deos
Deos, a Time & Space Partitioned, Multi-core Enabled, RTOS Verified to DO-178C/ED-12C DAL A
Find out more
Product
DO-254/CTS
DO-254/CTS™ is a fully customized hardware and software platform that augments target board testing to...
Find out more
Product
HeartOS
HeartOS – A POSIX-based Hard Real-time Operating System
Find out more
Product
HES
Find out more
Product
HES-DVM
HES-DVM™ is a fully automated and scalable hybrid verification environment for SoC and ASIC designs.
Find out more
Product
ICAP/4 Professional
Premiere Analog & Mixed-Signal Solution Made Easy If the industry’s highest-performing and...
Find out more
Product
ICAP/4 RF Deluxe
Your Prescription for Reduced Complexity ICAP/4Rx RF Deluxe is an extended version of ICAP/4Rx, including...
Find out more
1 2 3 4
About Edaway
Topic
Partners
Engage Edaway