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
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
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
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
