IEC Certification Kit 1.1

for IEC 61508 and ISO 26262

System Requirements

Product Requirements

• Requires MATLAB
• Requires PolySpace Client for C/C++ for use with PolySpace Verifier for C

General System Requirements for

Windows
Linux
Solaris

Product Version Availability

IEC Certification Kit (for IEC 61508 and ISO 26262) is available on the following platforms:

Operating System	Product Version
Linux	1.1
Windows	1.1

See a full list of available products for:

Linux Linux x86-64 Mac OS X (Intel 64) Mac OS X (Intel) Solaris 64 Windows Windows x64

Note: Because of problems with the Java VM, there are limitations for some products on some platforms. For details, please see the Platform Limitations section in your products' Release Notes