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 SCADE Architect
Ansys SCADE Architect has been specifically developed for system engineers. It provides full support of industrial systems engineering processes, such as ARP 4754A, ISO 26262 and EN 50126. SCADE Architect features functional and architectural system modeling and verification in a SysML-based environment. Ansys SCADE Architect has been specifically developed for system engineers; the underlying SysML™ technology is hidden, making modeling more user-friendly and intuitive. Ansys tools support software development aligned to the FACE Technical Standard at both the model and generated code levels, providing users with an easy workflow that passes the FACE Conformance Test Suite (CTS), a necessary test process included in the FACE Technical Standard.
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
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
