VxWorks
The World’s Leading Real-Time Operating System for the Intelligent Edge
For nearly 35 years, VxWorks has been used to ensure the security, safety, and reliability you need to design and build mission-critical embedded systems that simply must work.
VxWorks® is the industry’s most trusted and widely deployed real-time operating system (RTOS) for mission-critical embedded systems that must be secure and safe. It delivers a proven, real-time, and deterministic runtime combined with a modern approach to development. Regardless of industry or device type, companies building intelligent edge systems rely on the VxWorks pedigree of security, safety, high performance, and reliability.
VxWorks is a deterministic, priority-based preemptive RTOS with low latency and minimal jitter. It is built on an upgradable, future-proof architecture to help you rapidly respond to changing market requirements and technology advancements.
Learn more
Ansys medini analyze
Ansys medini analyze implements key safety analysis methods (HAZOP, HARA, FHA, FTA, FME(C)A, FMEDA, etc.) in one integrated tool. It supports the efficient and consistent execution of the analysis activities that are required by safety standards. Ansys medini analyze is a model-based, integrated tool supporting safety analysis for safety-critical electrical and electronic (E/E) and software (SW) controlled systems. It allows for consistent and efficient application of industry guidelines, specifically tailored to industry standards, such as ISO 26262, IEC 61508, ARP 4761, ISO 21448 or MIL-STD-882E. With Ansys medini analyze, inconsistencies in the functional safety analysis are eliminated, and the certification process is accelerated. Engineers can recognize up to a 50% decrease in efforts for functional safety analysis and a similar decrease in time to market. Automate safety analysis in electronic and software systems.
Learn more
Helix QAC
For over 30 years, Helix QAC has been the trusted static code analyzer for C and C++ programming languages. With its depth and accuracy of analysis, Helix QAC has been the preferred static code analyzer in tightly regulated and safety-critical industries that need to meet rigorous compliance requirements. Often, this involves verifying compliance with coding standards, such as MISRA and AUTOSAR, and functional safety standards, such as ISO 26262. Helix QAC is certified for functional safety compliance by TÜV-SÜD, including IEC 61508, ISO 26262, EN 50128, IEC 60880, and IEC 62304. In addition, it is also certified in ISO 9001 | TickIT plus Foundation Level, which is one of the most widely adopted standards to ensure that your requirements are not only met but exceeded as well. Prioritize coding issues based on the severity of risk. Helix QAC helps you to target the most critical defects using filters, suppressions, and baselines.
Learn more
YNQ
YNQ is a portable SMB server and client stack developed by Visuality Systems, written in ANSI C and designed to run on embedded, IoT, or non-Windows systems while ensuring full interoperability with Windows-based machines. It enables remote file operations (write, edit, copy, delete, update) over a network without needing to transfer entire files locally, while maintaining a small resource footprint ideal for constrained environments. YNQ supports full compatibility across all SMB dialects (from NTLM 0.12 through SMB 3.1.1), including backward compatibility, making it broadly applicable across SMB ecosystems. It offers security features such as Kerberos (domain-join, delegation), NTLM/NTLMv2, message signing, SMB encryption, and pre-authentication integrity. YNQ is modular and comprises four product components; Standalone Client, Corporate Client (with Active Directory registration capability), Standalone Server, and Corporate Server.
Learn more
