死Produkte苏珥statischen Codeanalyse Polyspace®basieren auf formalen Methoden,死死Abwesenheit是Laufzeitfehler贝艾伦moglichen Steuerungs——和Datenflussen beweisen。Gepruft了Codierungsregeln、Sicherheitsrisiken Code-Metriken和hunderte weiterer Fehlerklassen。
Polyspace访问
Erkennen您Codierfehler, uberprufen您死Ergebnisse statischer Analysen和uberwachen您Softwarequalitatsmetriken
Polyspace错误发现者
Prufen您Programmierregeln, Sicherheitsstandards和Codemetriken法登您bug
Polyspace错误发现者服务器
Servercomputern Erkennung冯Softwarefehlern mithilfe statischer Analysen再见
Polyspace代码验证
Weisen【周伟森】您死Abwesenheit是Laufzeitfehler formell票,auszufuhren ohne代码
Polyspace代码验证服务器
Nachweis der Abwesenheit冯Laufzeitfehlern软件
Ada Polyspace客户端
Nachweis der Abwesenheit冯Laufzeitfehlern Quellcode化生
Ada Polyspace服务器
代码改Computer-Clustern verifizieren和Metriken veroffentlichen
Automatisierte statische Codeanalyse mittels正式Methoden毛皮C / c++和艾达
Qualitat
法登您bug和beweisen您正式模Abwesenheit冯kritischen Laufzeitfehlern——ohne Testfalle Code-Ausfuhrung。
Sicherheit
Stellen您死Konformitat麻省理工学院Sicherheitsstandards她MISRA, ISO 26262、IEC 61508, - 178和FDA-Vorschriften自信和dokumentieren您您。
Sicherheit
Uberprufen您死Konformitat麻省理工学院安全标准是不是CWE, CERT-C, ISO / IEC 17961和weiteren。
沃尔沃汽车
麻省理工学院Polyspace能帮我们死Softwaresicherheit和-qualitat gewahrleisten, indem我们是Laufzeitfehler还有伏尔jed Codezusammenfuhrung identifizieren和beheben(合并)。
阿莱尼亚·马基公司
贝der statischen Codeanalyse在Polyspace-Tools将der编码Hinblick auf Laufzeitfehler uberpruft,死Einhaltung冯MISRA-Coding-Standards将sichergestellt和es了Artefakte毛皮死做- 178 zertifizierung erstellt。
Miracor
Polyspace unterstutzt Miracor dabei, Qualitat和Fehlerfreiheit较为Aufsichtsbehorden, einschließlich der美国食品和药物管理局(FDA),祖茂堂beweisen,恩祖belegen dass unser Gerat自信坚持。