Hazop+Isograph
|
Polyspace Code ProverMathWorks
|
|||||
Related Products
|
||||||
About
With Isograph’s Hazop software, you no longer need to have numerous documents, paper-based sheets, or other items you can easily lose track of, everything is stored in one easy-to-view, edit, and manage the project. Our software complies with recognized standards, including but not limited to ISO 26262, IEC 61508, AIAG & VDA, ISO 21434, ARP 4761, SN29500, IEC 61709, FIDES, DO-356, and ED-203. Isograph’s Hazop software was designed simply with a Hazop in mind. No complicated extras, no confusing add-ons. Hazop has simplicity at its core, easily view, track and manage actions assigned to members of staff. The Causes tab allows the user to enter and view information relating to the causes associated with the Hazop study.
|
About
Polyspace Code Prover is a static analysis tool designed to prove the absence of critical runtime errors in C and C++ code without executing it. By utilizing formal methods, it analyzes all code paths and input scenarios to identify potential issues such as overflows, divide-by-zero errors, and out-of-bounds accesses. It provides insights into variables' ranges and identifies unreachable code, helping developers optimize software performance and ensure quality. Polyspace Code Prover supports safety standards like IEC 61508, ISO 26262, and DO-178C, making it suitable for industries requiring rigorous software certification.
|
|||||
Platforms Supported
Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook
|
Platforms Supported
Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook
|
|||||
Audience
Businesses looking for a powerful Hazop software to vastly simplify the customizing, recording, managing and reporting processes
|
Audience
Companies searching for a solution to verify software interprocedural, control, and data flow behavior
|
|||||
Support
Phone Support
24/7 Live Support
Online
|
Support
Phone Support
24/7 Live Support
Online
|
|||||
API
Offers API
|
API
Offers API
|
|||||
Screenshots and Videos |
Screenshots and Videos |
|||||
Pricing
No information available.
Free Version
Free Trial
|
Pricing
No information available.
Free Version
Free Trial
|
|||||
Reviews/
|
Reviews/
|
|||||
Training
Documentation
Webinars
Live Online
In Person
|
Training
Documentation
Webinars
Live Online
In Person
|
|||||
Company InformationIsograph
Founded: 1986
United Kingdom
www.isograph.com/software/hazop/
|
Company InformationMathWorks
Founded: 1984
United States
www.mathworks.com/products/polyspace-code-prover.html
|
|||||
Alternatives |
Alternatives |
|||||
|
|
|
|||||
|
|
|
|||||
|
|
|
|||||
|
|
|
|||||
Categories |
Categories |
|||||
Integrations
C
C++
SonarQube Server
VectorCAST
Veracode
|
||||||
|
|
|